Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Ilya Sergey
@inproceedings{DBLP:conf/cpp/ZhaoPA0S24,
author = {Qiyuan Zhao and
George P{\^{\i}}rlea and
Zhendong Ang and
Umang Mathur and
Ilya Sergey},
editor = {Amin Timany and
Dmitriy Traytel and
Brigitte Pientka and
Sandrine Blazy},
title = {Rooting for Efficiency: Mechanised Reasoning about Array-Based Trees
in Separation Logic},
booktitle = {Proceedings of the 13th {ACM} {SIGPLAN} International Conference on
Certified Programs and Proofs, {CPP} 2024, London, UK, January 15-16,
2024},
pages = {45--59},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3636501.3636944},
doi = {10.1145/3636501.3636944},
timestamp = {Thu, 11 Jan 2024 17:17:09 +0100},
biburl = {https://dblp.org/rec/conf/cpp/ZhaoPA0S24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-12733,
author = {Vladimir Gladshtein and
George P{\^{\i}}rlea and
Ilya Sergey},
title = {Small Scale Reflection for the Working Lean User},
journal = {CoRR},
volume = {abs/2403.12733},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.12733},
doi = {10.48550/ARXIV.2403.12733},
eprinttype = {arXiv},
eprint = {2403.12733},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-12733.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/ThyCGS23,
author = {Sewen Thy and
Andreea Costea and
Kiran Gopinathan and
Ilya Sergey},
title = {Adventure of a Lifetime: Extract Method Refactoring for Rust},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{OOPSLA2}},
pages = {658--685},
year = {2023},
url = {https://doi.org/10.1145/3622821},
doi = {10.1145/3622821},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/ThyCGS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/GopinathanKS23,
author = {Kiran Gopinathan and
Mayank Keoliya and
Ilya Sergey},
title = {Mostly Automated Proof Repair for Verified Libraries},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{PLDI}},
pages = {25--49},
year = {2023},
url = {https://doi.org/10.1145/3591221},
doi = {10.1145/3591221},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/GopinathanKS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/FialaI0PS23,
author = {Jon{\'{a}}s Fiala and
Shachar Itzhaky and
Peter M{\"{u}}ller and
Nadia Polikarpova and
Ilya Sergey},
title = {Leveraging Rust Types for Program Synthesis},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{PLDI}},
pages = {1414--1437},
year = {2023},
url = {https://doi.org/10.1145/3591278},
doi = {10.1145/3591278},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/FialaI0PS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/CosteaTCRRS23,
author = {Andreea Costea and
Abhishek Tiwari and
Sigmund Chianasta and
Kishore R and
Abhik Roychoudhury and
Ilya Sergey},
title = {Hippodrome: Data Race Repair Using Static Analysis Summaries},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {32},
number = {2},
pages = {41:1--41:33},
year = {2023},
url = {https://doi.org/10.1145/3546942},
doi = {10.1145/3546942},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tosem/CosteaTCRRS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/MengPRS23,
author = {Ruijie Meng and
George P{\^{\i}}rlea and
Abhik Roychoudhury and
Ilya Sergey},
editor = {Weizhi Meng and
Christian Damsgaard Jensen and
Cas Cremers and
Engin Kirda},
title = {Greybox Fuzzing of Distributed Systems},
booktitle = {Proceedings of the 2023 {ACM} {SIGSAC} Conference on Computer and
Communications Security, {CCS} 2023, Copenhagen, Denmark, November
26-30, 2023},
pages = {1615--1629},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3576915.3623097},
doi = {10.1145/3576915.3623097},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ccs/MengPRS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/padl/2024,
editor = {Martin Gebser and
Ilya Sergey},
title = {Practical Aspects of Declarative Languages - 26th International Symposium,
{PADL} 2024, London, UK, January 15-16, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14512},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-52038-9},
doi = {10.1007/978-3-031-52038-9},
isbn = {978-3-031-52037-2},
timestamp = {Thu, 18 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/padl/2024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-02601,
author = {Ruijie Meng and
George P{\^{\i}}rlea and
Abhik Roychoudhury and
Ilya Sergey},
title = {Distributed System Fuzzing},
journal = {CoRR},
volume = {abs/2305.02601},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.02601},
doi = {10.48550/ARXIV.2305.02601},
eprinttype = {arXiv},
eprint = {2305.02601},
timestamp = {Wed, 10 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-02601.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/JacobsMSS23,
author = {Swen Jacobs and
Kenneth McMillan and
Roopsha Samanta and
Ilya Sergey},
title = {Unifying Formal Methods for Trustworthy Distributed Systems (Dagstuhl
Seminar 23112)},
journal = {Dagstuhl Reports},
volume = {13},
number = {3},
pages = {32--48},
year = {2023},
url = {https://doi.org/10.4230/DagRep.13.3.32},
doi = {10.4230/DAGREP.13.3.32},
timestamp = {Fri, 20 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/JacobsMSS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/HoangTLS22,
author = {Tram Hoang and
Anton Trunov and
Leonidas Lampropoulos and
Ilya Sergey},
title = {Random testing of a higher-order blockchain language (experience report)},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{ICFP}},
pages = {886--901},
year = {2022},
url = {https://doi.org/10.1145/3547653},
doi = {10.1145/3547653},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/HoangTLS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aplas/2022,
editor = {Ilya Sergey},
title = {Programming Languages and Systems - 20th Asian Symposium, {APLAS}
2022, Auckland, New Zealand, December 5, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13658},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-21037-2},
doi = {10.1007/978-3-031-21037-2},
isbn = {978-3-031-21036-5},
timestamp = {Thu, 01 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aplas/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esop/2022,
editor = {Ilya Sergey},
title = {Programming Languages and Systems - 31st European Symposium on Programming,
{ESOP} 2022, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2022, Munich, Germany, April 2-7,
2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13240},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99336-8},
doi = {10.1007/978-3-030-99336-8},
isbn = {978-3-030-99335-1},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/AndersenS21,
author = {Kristoffer Just Arndal Andersen and
Ilya Sergey},
title = {Protocol combinators for modeling, testing, and execution of distributed
systems},
journal = {J. Funct. Program.},
volume = {31},
pages = {e3},
year = {2021},
url = {https://doi.org/10.1017/S095679682000026X},
doi = {10.1017/S095679682000026X},
timestamp = {Tue, 23 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/AndersenS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/WatanabeGPPS21,
author = {Yasunari Watanabe and
Kiran Gopinathan and
George P{\^{\i}}rlea and
Nadia Polikarpova and
Ilya Sergey},
title = {Certifying the synthesis of heap-manipulating programs},
journal = {Proc. {ACM} Program. Lang.},
volume = {5},
number = {{ICFP}},
pages = {1--29},
year = {2021},
url = {https://doi.org/10.1145/3473589},
doi = {10.1145/3473589},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/WatanabeGPPS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ItzhakyPPRS21,
author = {Shachar Itzhaky and
Hila Peleg and
Nadia Polikarpova and
Reuben N. S. Rowe and
Ilya Sergey},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {Deductive Synthesis of Programs with Pointers: Techniques, Challenges,
Opportunities - (Invited Paper)},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12759},
pages = {110--134},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81685-8\_5},
doi = {10.1007/978-3-030-81685-8\_5},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/ItzhakyPPRS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ItzhakyPPRS21,
author = {Shachar Itzhaky and
Hila Peleg and
Nadia Polikarpova and
Reuben N. S. Rowe and
Ilya Sergey},
editor = {Stephen N. Freund and
Eran Yahav},
title = {Cyclic program synthesis},
booktitle = {{PLDI} '21: 42nd {ACM} {SIGPLAN} International Conference on Programming
Language Design and Implementation, Virtual Event, Canada, June 20-25,
2021},
pages = {944--959},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3453483.3454087},
doi = {10.1145/3453483.3454087},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/ItzhakyPPRS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/Pirlea0S21,
author = {George P{\^{\i}}rlea and
Amrit Kumar and
Ilya Sergey},
editor = {Stephen N. Freund and
Eran Yahav},
title = {Practical smart contract sharding with ownership and commutativity
analysis},
booktitle = {{PLDI} '21: 42nd {ACM} {SIGPLAN} International Conference on Programming
Language Design and Implementation, Virtual Event, Canada, June 20-25,
2021},
pages = {1327--1341},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3453483.3454112},
doi = {10.1145/3453483.3454112},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/Pirlea0S21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/NguyenTSC21,
author = {Thanh{-}Toan Nguyen and
Quang{-}Trung Ta and
Ilya Sergey and
Wei{-}Ngan Chin},
editor = {Fritz Henglein and
Sharon Shoham and
Yakir Vizel},
title = {Automated Repair of Heap-Manipulating Programs Using Deductive Synthesis},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 22nd International
Conference, {VMCAI} 2021, Copenhagen, Denmark, January 17-19, 2021,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12597},
pages = {376--400},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-67067-2\_17},
doi = {10.1007/978-3-030-67067-2\_17},
timestamp = {Wed, 13 Jan 2021 17:58:39 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/NguyenTSC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-02490,
author = {Andreea Costea and
Abhishek Tiwari and
Sigmund Chianasta and
Kishore R and
Abhik Roychoudhury and
Ilya Sergey},
title = {{HIPPODROME:} Data Race Repair using Static Analysis Summaries},
journal = {CoRR},
volume = {abs/2108.02490},
year = {2021},
url = {https://arxiv.org/abs/2108.02490},
eprinttype = {arXiv},
eprint = {2108.02490},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-02490.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GopinathanS20,
author = {Kiran Gopinathan and
Ilya Sergey},
editor = {Shuvendu K. Lahiri and
Chao Wang},
title = {Certifying Certainty and Uncertainty in Approximate Membership Query
Structures},
booktitle = {Computer Aided Verification - 32nd International Conference, {CAV}
2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12225},
pages = {279--303},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-53291-8\_16},
doi = {10.1007/978-3-030-53291-8\_16},
timestamp = {Wed, 12 Aug 2020 15:15:44 +0200},
biburl = {https://dblp.org/rec/conf/cav/GopinathanS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/CosteaZPS20,
author = {Andreea Costea and
Amy Zhu and
Nadia Polikarpova and
Ilya Sergey},
editor = {Peter M{\"{u}}ller},
title = {Concise Read-Only Specifications for Better Synthesis of Programs
with Pointers},
booktitle = {Programming Languages and Systems - 29th European Symposium on Programming,
{ESOP} 2020, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2020, Dublin, Ireland, April 25-30,
2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12075},
pages = {141--168},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-44914-8\_6},
doi = {10.1007/978-3-030-44914-8\_6},
timestamp = {Fri, 14 May 2021 08:34:21 +0200},
biburl = {https://dblp.org/rec/conf/esop/CosteaZPS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2001-10723,
author = {Andreea Costea and
Amy Zhu and
Nadia Polikarpova and
Ilya Sergey},
title = {Concise Read-Only Specifications for Better Synthesis of Programs
with Pointers - Extended Version},
journal = {CoRR},
volume = {abs/2001.10723},
year = {2020},
url = {https://arxiv.org/abs/2001.10723},
eprinttype = {arXiv},
eprint = {2001.10723},
timestamp = {Thu, 30 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2001-10723.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-06458,
author = {Talia Ringer and
Karl Palmskog and
Ilya Sergey and
Milos Gligoric and
Zachary Tatlock},
title = {{QED} at Large: {A} Survey of Engineering of Formally Verified Software},
journal = {CoRR},
volume = {abs/2003.06458},
year = {2020},
url = {https://arxiv.org/abs/2003.06458},
eprinttype = {arXiv},
eprint = {2003.06458},
timestamp = {Wed, 07 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-06458.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-13312,
author = {Kiran Gopinathan and
Ilya Sergey},
title = {Certifying Certainty and Uncertainty in Approximate Membership Query
Structures - Extended Version},
journal = {CoRR},
volume = {abs/2004.13312},
year = {2020},
url = {https://arxiv.org/abs/2004.13312},
eprinttype = {arXiv},
eprint = {2004.13312},
timestamp = {Sat, 02 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-13312.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-05555,
author = {Vaivaswatha Nagaraj and
Jacob Johannsen and
Anton Trunov and
George P{\^{\i}}rlea and
Amrit Kumar and
Ilya Sergey},
title = {Compiling a Higher-Order Smart Contract Language to {LLVM}},
journal = {CoRR},
volume = {abs/2008.05555},
year = {2020},
url = {https://arxiv.org/abs/2008.05555},
eprinttype = {arXiv},
eprint = {2008.05555},
timestamp = {Mon, 17 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-05555.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ftpl/RingerPSGT19,
author = {Talia Ringer and
Karl Palmskog and
Ilya Sergey and
Milos Gligoric and
Zachary Tatlock},
title = {{QED} at Large: {A} Survey of Engineering of Formally Verified Software},
journal = {Found. Trends Program. Lang.},
volume = {5},
number = {2-3},
pages = {102--281},
year = {2019},
url = {https://doi.org/10.1561/2500000045},
doi = {10.1561/2500000045},
timestamp = {Wed, 07 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ftpl/RingerPSGT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/SergeyNJ0TH19,
author = {Ilya Sergey and
Vaivaswatha Nagaraj and
Jacob Johannsen and
Amrit Kumar and
Anton Trunov and
Ken Chan Guan Hao},
title = {Safer smart contract programming with Scilla},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{OOPSLA}},
pages = {185:1--185:30},
year = {2019},
url = {https://doi.org/10.1145/3360611},
doi = {10.1145/3360611},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/SergeyNJ0TH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/GorogiannisOS19,
author = {Nikos Gorogiannis and
Peter W. O'Hearn and
Ilya Sergey},
title = {A true positives theorem for a static race detector},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{POPL}},
pages = {57:1--57:29},
year = {2019},
url = {https://doi.org/10.1145/3290370},
doi = {10.1145/3290370},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/GorogiannisOS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/PolikarpovaS19,
author = {Nadia Polikarpova and
Ilya Sergey},
title = {Structuring the synthesis of heap-manipulating programs},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{POPL}},
pages = {72:1--72:30},
year = {2019},
url = {https://doi.org/10.1145/3290385},
doi = {10.1145/3290385},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/PolikarpovaS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/KolluriNSHS19,
author = {Aashish Kolluri and
Ivica Nikolic and
Ilya Sergey and
Aquinas Hobor and
Prateek Saxena},
editor = {Dongmei Zhang and
Anders M{\o}ller},
title = {Exploiting the laws of order in smart contracts},
booktitle = {Proceedings of the 28th {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2019, Beijing, China, July
15-19, 2019},
pages = {363--373},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3293882.3330560},
doi = {10.1145/3293882.3330560},
timestamp = {Thu, 23 Jun 2022 07:46:09 +0200},
biburl = {https://dblp.org/rec/conf/issta/KolluriNSHS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/AndersenS19,
author = {Kristoffer Just Arndal Andersen and
Ilya Sergey},
editor = {Jos{\'{e}} J{\'{u}}lio Alferes and
Moa Johansson},
title = {Distributed Protocol Combinators},
booktitle = {Practical Aspects of Declarative Languages - 21th International Symposium,
{PADL} 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11372},
pages = {169--186},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-05998-9\_11},
doi = {10.1007/978-3-030-05998-9\_11},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/AndersenS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/Sergey19,
author = {Ilya Sergey},
editor = {Peter Robinson and
Faith Ellen},
title = {Engineering Distributed Systems that We Can Trust (and Also Run)},
booktitle = {Proceedings of the 2019 {ACM} Symposium on Principles of Distributed
Computing, {PODC} 2019, Toronto, ON, Canada, July 29 - August 2, 2019},
pages = {306},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3293611.3338839},
doi = {10.1145/3293611.3338839},
timestamp = {Fri, 19 Jul 2019 08:02:49 +0200},
biburl = {https://dblp.org/rec/conf/podc/Sergey19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/AlbertGRS19,
author = {Elvira Albert and
Pablo Gordillo and
Albert Rubio and
Ilya Sergey},
editor = {Pierre Ganty and
Mohamed Ka{\^{a}}niche},
title = {Running on Fumes - Preventing Out-of-Gas Vulnerabilities in Ethereum
Smart Contracts Using Static Resource Analysis},
booktitle = {Verification and Evaluation of Computer and Communication Systems
- 13th International Conference, VECoS 2019, Porto, Portugal, October
9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11847},
pages = {63--78},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-35092-5\_5},
doi = {10.1007/978-3-030-35092-5\_5},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vecos/AlbertGRS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/BlackshearGOS18,
author = {Sam Blackshear and
Nikos Gorogiannis and
Peter W. O'Hearn and
Ilya Sergey},
title = {RacerD: compositional static race detection},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{OOPSLA}},
pages = {144:1--144:28},
year = {2018},
url = {https://doi.org/10.1145/3276514},
doi = {10.1145/3276514},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/BlackshearGOS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/SergeyWT18,
author = {Ilya Sergey and
James R. Wilcox and
Zachary Tatlock},
title = {Programming and proving with distributed protocols},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{POPL}},
pages = {28:1--28:30},
year = {2018},
url = {https://doi.org/10.1145/3158116},
doi = {10.1145/3158116},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/SergeyWT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsac/NikolicKSSH18,
author = {Ivica Nikolic and
Aashish Kolluri and
Ilya Sergey and
Prateek Saxena and
Aquinas Hobor},
title = {Finding The Greedy, Prodigal, and Suicidal Contracts at Scale},
booktitle = {Proceedings of the 34th Annual Computer Security Applications Conference,
{ACSAC} 2018, San Juan, PR, USA, December 03-07, 2018},
pages = {653--663},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3274694.3274743},
doi = {10.1145/3274694.3274743},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acsac/NikolicKSSH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/AlbertGLRS18,
author = {Elvira Albert and
Pablo Gordillo and
Benjamin Livshits and
Albert Rubio and
Ilya Sergey},
editor = {Shuvendu K. Lahiri and
Chao Wang},
title = {EthIR: {A} Framework for High-Level Analysis of Ethereum Bytecode},
booktitle = {Automated Technology for Verification and Analysis - 16th International
Symposium, {ATVA} 2018, Los Angeles, CA, USA, October 7-10, 2018,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11138},
pages = {513--520},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-01090-4\_30},
doi = {10.1007/978-3-030-01090-4\_30},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/AlbertGLRS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/PirleaS18,
author = {George P{\^{\i}}rlea and
Ilya Sergey},
editor = {June Andronick and
Amy P. Felty},
title = {Mechanising blockchain consensus},
booktitle = {Proceedings of the 7th {ACM} {SIGPLAN} International Conference on
Certified Programs and Proofs, {CPP} 2018, Los Angeles, CA, USA, January
8-9, 2018},
pages = {78--90},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3167086},
doi = {10.1145/3167086},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpp/PirleaS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Garcia-PerezGMS18,
author = {{\'{A}}lvaro Garc{\'{\i}}a{-}P{\'{e}}rez and
Alexey Gotsman and
Yuri Meshman and
Ilya Sergey},
editor = {Amal Ahmed},
title = {Paxos Consensus, Deconstructed and Abstracted},
booktitle = {Programming Languages and Systems - 27th European Symposium on Programming,
{ESOP} 2018, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April
14-20, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10801},
pages = {912--939},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89884-1\_32},
doi = {10.1007/978-3-319-89884-1\_32},
timestamp = {Tue, 05 Jul 2022 08:30:25 +0200},
biburl = {https://dblp.org/rec/conf/esop/Garcia-PerezGMS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Sergey0H18,
author = {Ilya Sergey and
Amrit Kumar and
Aquinas Hobor},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Temporal Properties of Smart Contracts},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {11247},
pages = {323--338},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03427-6\_25},
doi = {10.1007/978-3-030-03427-6\_25},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/Sergey0H18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1801-00687,
author = {Ilya Sergey and
Amrit Kumar and
Aquinas Hobor},
title = {Scilla: a Smart Contract Intermediate-Level LAnguage},
journal = {CoRR},
volume = {abs/1801.00687},
year = {2018},
url = {http://arxiv.org/abs/1801.00687},
eprinttype = {arXiv},
eprint = {1801.00687},
timestamp = {Tue, 17 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1801-00687.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-05969,
author = {{\'{A}}lvaro Garc{\'{\i}}a{-}P{\'{e}}rez and
Alexey Gotsman and
Yuri Meshman and
Ilya Sergey},
title = {Paxos Consensus, Deconstructed and Abstracted (Extended Version)},
journal = {CoRR},
volume = {abs/1802.05969},
year = {2018},
url = {http://arxiv.org/abs/1802.05969},
eprinttype = {arXiv},
eprint = {1802.05969},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-05969.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-06038,
author = {Ivica Nikolic and
Aashish Kolluri and
Ilya Sergey and
Prateek Saxena and
Aquinas Hobor},
title = {Finding The Greedy, Prodigal, and Suicidal Contracts at Scale},
journal = {CoRR},
volume = {abs/1802.06038},
year = {2018},
url = {http://arxiv.org/abs/1802.06038},
eprinttype = {arXiv},
eprint = {1802.06038},
timestamp = {Tue, 17 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-06038.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-07208,
author = {Elvira Albert and
Pablo Gordillo and
Benjamin Livshits and
Albert Rubio and
Ilya Sergey},
title = {EthIR: {A} Framework for High-Level Analysis of Ethereum Bytecode},
journal = {CoRR},
volume = {abs/1805.07208},
year = {2018},
url = {http://arxiv.org/abs/1805.07208},
eprinttype = {arXiv},
eprint = {1805.07208},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-07208.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-07022,
author = {Nadia Polikarpova and
Ilya Sergey},
title = {Structuring the Synthesis of Heap-Manipulating Programs},
journal = {CoRR},
volume = {abs/1807.07022},
year = {2018},
url = {http://arxiv.org/abs/1807.07022},
eprinttype = {arXiv},
eprint = {1807.07022},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-07022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1810-11605,
author = {Aashish Kolluri and
Ivica Nikolic and
Ilya Sergey and
Aquinas Hobor and
Prateek Saxena},
title = {Exploiting The Laws of Order in Smart Contracts},
journal = {CoRR},
volume = {abs/1810.11605},
year = {2018},
url = {http://arxiv.org/abs/1810.11605},
eprinttype = {arXiv},
eprint = {1810.11605},
timestamp = {Wed, 31 Oct 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-11605.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-03503,
author = {Nikos Gorogiannis and
Peter W. O'Hearn and
Ilya Sergey},
title = {A True Positives Theorem for a Static Race Detector - Extended Version},
journal = {CoRR},
volume = {abs/1811.03503},
year = {2018},
url = {http://arxiv.org/abs/1811.03503},
eprinttype = {arXiv},
eprint = {1811.03503},
timestamp = {Fri, 23 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-03503.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-10403,
author = {Elvira Albert and
Pablo Gordillo and
Albert Rubio and
Ilya Sergey},
title = {{GASTAP:} {A} Gas Analyzer for Smart Contracts},
journal = {CoRR},
volume = {abs/1811.10403},
year = {2018},
url = {http://arxiv.org/abs/1811.10403},
eprinttype = {arXiv},
eprint = {1811.10403},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-10403.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/DelbiancoSNB17,
author = {Germ{\'{a}}n Andr{\'{e}}s Delbianco and
Ilya Sergey and
Aleksandar Nanevski and
Anindya Banerjee},
title = {Concurrent Data Structures Linked in Time (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {3},
number = {2},
pages = {04:1--04:4},
year = {2017},
url = {https://doi.org/10.4230/DARTS.3.2.4},
doi = {10.4230/DARTS.3.2.4},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/DelbiancoSNB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/SergeyVJB17,
author = {Ilya Sergey and
Dimitrios Vytiniotis and
Simon L. Peyton Jones and
Joachim Breitner},
title = {Modular, higher order cardinality analysis in theory and practice},
journal = {J. Funct. Program.},
volume = {27},
pages = {e11},
year = {2017},
url = {https://doi.org/10.1017/S0956796817000016},
doi = {10.1017/S0956796817000016},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/SergeyVJB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/DelbiancoSNB17,
author = {Germ{\'{a}}n Andr{\'{e}}s Delbianco and
Ilya Sergey and
Aleksandar Nanevski and
Anindya Banerjee},
editor = {Peter M{\"{u}}ller},
title = {Concurrent Data Structures Linked in Time},
booktitle = {31st European Conference on Object-Oriented Programming, {ECOOP} 2017,
June 19-23, 2017, Barcelona, Spain},
series = {LIPIcs},
volume = {74},
pages = {8:1--8:30},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2017.8},
doi = {10.4230/LIPICS.ECOOP.2017.8},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/DelbiancoSNB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fc/SergeyH17,
author = {Ilya Sergey and
Aquinas Hobor},
editor = {Michael Brenner and
Kurt Rohloff and
Joseph Bonneau and
Andrew Miller and
Peter Y. A. Ryan and
Vanessa Teague and
Andrea Bracciali and
Massimiliano Sala and
Federico Pintore and
Markus Jakobsson},
title = {A Concurrent Perspective on Smart Contracts},
booktitle = {Financial Cryptography and Data Security - {FC} 2017 International
Workshops, WAHC, BITCOIN, VOTING, WTSC, and TA, Sliema, Malta, April
7, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10323},
pages = {478--493},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70278-0\_30},
doi = {10.1007/978-3-319-70278-0\_30},
timestamp = {Tue, 16 Aug 2022 23:04:23 +0200},
biburl = {https://dblp.org/rec/conf/fc/SergeyH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/WilcoxST17,
author = {James R. Wilcox and
Ilya Sergey and
Zachary Tatlock},
editor = {Benjamin S. Lerner and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi},
title = {Programming Language Abstractions for Modularly Verified Distributed
Systems},
booktitle = {2nd Summit on Advances in Programming Languages, {SNAPL} 2017, May
7-10, 2017, Asilomar, CA, {USA}},
series = {LIPIcs},
volume = {71},
pages = {19:1--19:12},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2017.19},
doi = {10.4230/LIPICS.SNAPL.2017.19},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/snapl/WilcoxST17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SergeyH17,
author = {Ilya Sergey and
Aquinas Hobor},
title = {A Concurrent Perspective on Smart Contracts},
journal = {CoRR},
volume = {abs/1702.05511},
year = {2017},
url = {http://arxiv.org/abs/1702.05511},
eprinttype = {arXiv},
eprint = {1702.05511},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SergeyH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Sergey16,
author = {Ilya Sergey},
editor = {Jacques Garrigue and
Gabriele Keller and
Eijiro Sumii},
title = {Experience report: growing and shrinking polygons for random testing
of computational geometry algorithms},
booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22,
2016},
pages = {193--199},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2951913.2951927},
doi = {10.1145/2951913.2951927},
timestamp = {Wed, 23 Jun 2021 15:34:31 +0200},
biburl = {https://dblp.org/rec/conf/icfp/Sergey16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/SergeyNBD16,
author = {Ilya Sergey and
Aleksandar Nanevski and
Anindya Banerjee and
Germ{\'{a}}n Andr{\'{e}}s Delbianco},
editor = {Eelco Visser and
Yannis Smaragdakis},
title = {Hoare-style specifications as correctness conditions for non-linearizable
concurrent objects},
booktitle = {Proceedings of the 2016 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2016, part of {SPLASH} 2016, Amsterdam, The Netherlands,
October 30 - November 4, 2016},
pages = {92--110},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2983990.2983999},
doi = {10.1145/2983990.2983999},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/SergeyNBD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DelbiancoSNB16,
author = {Germ{\'{a}}n Andr{\'{e}}s Delbianco and
Ilya Sergey and
Aleksandar Nanevski and
Anindya Banerjee},
title = {Concurrent Data Structures Linked in Time},
journal = {CoRR},
volume = {abs/1604.08080},
year = {2016},
url = {http://arxiv.org/abs/1604.08080},
eprinttype = {arXiv},
eprint = {1604.08080},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DelbiancoSNB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/PodkopaevSN16,
author = {Anton Podkopaev and
Ilya Sergey and
Aleksandar Nanevski},
title = {Operational Aspects of {C/C++} Concurrency},
journal = {CoRR},
volume = {abs/1606.01400},
year = {2016},
url = {http://arxiv.org/abs/1606.01400},
eprinttype = {arXiv},
eprint = {1606.01400},
timestamp = {Tue, 17 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/PodkopaevSN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/SergeyNB15,
author = {Ilya Sergey and
Aleksandar Nanevski and
Anindya Banerjee},
editor = {Jan Vitek},
title = {Specifying and Verifying Concurrent Algorithms with Histories and
Subjectivity},
booktitle = {Programming Languages and Systems - 24th European Symposium on Programming,
{ESOP} 2015, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2015, London, UK, April 11-18, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9032},
pages = {333--358},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46669-8\_14},
doi = {10.1007/978-3-662-46669-8\_14},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/SergeyNB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/SergeyNB15,
author = {Ilya Sergey and
Aleksandar Nanevski and
Anindya Banerjee},
editor = {David Grove and
Stephen M. Blackburn},
title = {Mechanized verification of fine-grained concurrent programs},
booktitle = {Proceedings of the 36th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, Portland, OR, USA, June 15-17,
2015},
pages = {77--87},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2737924.2737964},
doi = {10.1145/2737924.2737964},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/SergeyNB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SergeyNBD15,
author = {Ilya Sergey and
Aleksandar Nanevski and
Anindya Banerjee and
Germ{\'{a}}n Andr{\'{e}}s Delbianco},
title = {Hoare-style Specifications as Correctness Conditions for Non-linearizable
Concurrent Objects},
journal = {CoRR},
volume = {abs/1509.06220},
year = {2015},
url = {http://arxiv.org/abs/1509.06220},
eprinttype = {arXiv},
eprint = {1509.06220},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SergeyNBD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/JohnsonSEMH14,
author = {J. Ian Johnson and
Ilya Sergey and
Christopher Earl and
Matthew Might and
David Van Horn},
title = {Pushdown flow analysis with abstract garbage collection},
journal = {J. Funct. Program.},
volume = {24},
number = {2-3},
pages = {218--283},
year = {2014},
url = {https://doi.org/10.1017/S0956796814000100},
doi = {10.1017/S0956796814000100},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/JohnsonSEMH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/NanevskiLSD14,
author = {Aleksandar Nanevski and
Ruy Ley{-}Wild and
Ilya Sergey and
Germ{\'{a}}n Andr{\'{e}}s Delbianco},
editor = {Zhong Shao},
title = {Communicating State Transition Systems for Fine-Grained Concurrent
Resources},
booktitle = {Programming Languages and Systems - 23rd European Symposium on Programming,
{ESOP} 2014, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2014, Grenoble, France, April 5-13,
2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8410},
pages = {290--310},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54833-8\_16},
doi = {10.1007/978-3-642-54833-8\_16},
timestamp = {Thu, 14 Oct 2021 10:31:33 +0200},
biburl = {https://dblp.org/rec/conf/esop/NanevskiLSD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/Garcia-PerezNS14,
author = {{\'{A}}lvaro Garc{\'{\i}}a{-}P{\'{e}}rez and
Pablo Nogueira and
Ilya Sergey},
editor = {Wei{-}Ngan Chin and
Jurriaan Hage},
title = {Deriving interpretations of the gradually-typed lambda calculus},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2014 workshop on Partial evaluation
and program manipulation, {PEPM} 2014, January 20-21, 2014, San Diego,
California, {USA}},
pages = {157--168},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2543728.2543742},
doi = {10.1145/2543728.2543742},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/Garcia-PerezNS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/SergeyVJ14,
author = {Ilya Sergey and
Dimitrios Vytiniotis and
Simon L. Peyton Jones},
editor = {Suresh Jagannathan and
Peter Sewell},
title = {Modular, higher-order cardinality analysis in theory and practice},
booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21,
2014},
pages = {335--348},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2535838.2535861},
doi = {10.1145/2535838.2535861},
timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
biburl = {https://dblp.org/rec/conf/popl/SergeyVJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/JohnsonSEMH14,
author = {J. Ian Johnson and
Ilya Sergey and
Christopher Earl and
Matthew Might and
David Van Horn},
title = {Pushdown flow analysis with abstract garbage collection},
journal = {CoRR},
volume = {abs/1406.5106},
year = {2014},
url = {http://arxiv.org/abs/1406.5106},
eprinttype = {arXiv},
eprint = {1406.5106},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/JohnsonSEMH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SergeyNB14,
author = {Ilya Sergey and
Aleksandar Nanevski and
Anindya Banerjee},
title = {Specifying and Verifying Concurrent Algorithms with Histories and
Subjectivity},
journal = {CoRR},
volume = {abs/1410.0306},
year = {2014},
url = {http://arxiv.org/abs/1410.0306},
eprinttype = {arXiv},
eprint = {1410.0306},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SergeyNB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/DevrieseSCP13,
author = {Dominique Devriese and
Ilya Sergey and
Dave Clarke and
Frank Piessens},
editor = {Elvira Albert and
Shin{-}Cheng Mu},
title = {Fixing idioms: a recursion primitive for applicative DSLs},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2013 Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2013, Rome, Italy, January 21-22,
2013},
pages = {97--106},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2426890.2426910},
doi = {10.1145/2426890.2426910},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/DevrieseSCP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/SergeyDMMDCP13,
author = {Ilya Sergey and
Dominique Devriese and
Matthew Might and
Jan Midtgaard and
David Darais and
Dave Clarke and
Frank Piessens},
editor = {Hans{-}Juergen Boehm and
Cormac Flanagan},
title = {Monadic abstract interpreters},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '13, Seattle, WA, USA, June 16-19, 2013},
pages = {399--410},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2491956.2491979},
doi = {10.1145/2491956.2491979},
timestamp = {Fri, 30 Nov 2018 12:21:40 +0100},
biburl = {https://dblp.org/rec/conf/pldi/SergeyDMMDCP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/ClarkeOSW13,
author = {Dave Clarke and
Johan {\"{O}}stlund and
Ilya Sergey and
Tobias Wrigstad},
editor = {Dave Clarke and
James Noble and
Tobias Wrigstad},
title = {Ownership Types: {A} Survey},
booktitle = {Aliasing in Object-Oriented Programming. Types, Analysis and Verification},
series = {Lecture Notes in Computer Science},
volume = {7850},
pages = {15--58},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36946-9\_3},
doi = {10.1007/978-3-642-36946-9\_3},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/series/lncs/ClarkeOSW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/SergeyC12,
author = {Ilya Sergey and
Dave Clarke},
title = {A correspondence between type checking via reduction and type checking
via evaluation},
journal = {Inf. Process. Lett.},
volume = {112},
number = {1-2},
pages = {13--20},
year = {2012},
url = {https://doi.org/10.1016/j.ipl.2011.10.008},
doi = {10.1016/J.IPL.2011.10.008},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ipl/SergeyC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/SergeyC12,
author = {Ilya Sergey and
Dave Clarke},
editor = {Helmut Seidl},
title = {Gradual Ownership Types},
booktitle = {Programming Languages and Systems - 21st European Symposium on Programming,
{ESOP} 2012, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24
- April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7211},
pages = {579--599},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28869-2\_29},
doi = {10.1007/978-3-642-28869-2\_29},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/SergeyC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/EarlSMH12,
author = {Christopher Earl and
Ilya Sergey and
Matthew Might and
David Van Horn},
editor = {Peter Thiemann and
Robby Bruce Findler},
title = {Introspective pushdown analysis of higher-order programs},
booktitle = {{ACM} {SIGPLAN} International Conference on Functional Programming,
ICFP'12, Copenhagen, Denmark, September 9-15, 2012},
pages = {177--188},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2364527.2364576},
doi = {10.1145/2364527.2364576},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/EarlSMH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/SergeyMC12,
author = {Ilya Sergey and
Jan Midtgaard and
Dave Clarke},
editor = {Jeremy Gibbons and
Pablo Nogueira},
title = {Calculating Graph Algorithms for Dominance and Shortest Path},
booktitle = {Mathematics of Program Construction - 11th International Conference,
{MPC} 2012, Madrid, Spain, June 25-27, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7342},
pages = {132--156},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31113-0\_8},
doi = {10.1007/978-3-642-31113-0\_8},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/mpc/SergeyMC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1207-1813,
author = {Christopher Earl and
Ilya Sergey and
Matthew Might and
David Van Horn},
title = {Introspective Pushdown Analysis of Higher-Order Programs},
journal = {CoRR},
volume = {abs/1207.1813},
year = {2012},
url = {http://arxiv.org/abs/1207.1813},
eprinttype = {arXiv},
eprint = {1207.1813},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1207-1813.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ldta/SergeyC11,
author = {Ilya Sergey and
Dave Clarke},
editor = {Claus Brabrand and
Eric Van Wyk},
title = {From type checking by recursive descent to type checking with an abstract
machine},
booktitle = {Language Descriptions, Tools and Applications, {LDTA} 2011, Saarbr{\"{u}}cken,
Germany, March 26-27, 2011. Proceeding},
pages = {2},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1988783.1988785},
doi = {10.1145/1988783.1988785},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ldta/SergeyC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/ClarkeS09,
author = {Dave Clarke and
Ilya Sergey},
editor = {Pascal Costanza and
Richard P. Gabriel and
Robert Hirschfeld and
Jorge Vallejos},
title = {A semantics for context-oriented programming with layers},
booktitle = {International Workshop on Context-Oriented Programming, {COP} 2009,
Genova, Italy, July 7, 2009},
pages = {10:1--10:6},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1562112.1562122},
doi = {10.1145/1562112.1562122},
timestamp = {Tue, 06 Nov 2018 16:59:31 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/ClarkeS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:41 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
