Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Eric Koskinen
@article{DBLP:journals/pacmpl/AntonopoulosKLNNN23,
author = {Timos Antonopoulos and
Eric Koskinen and
Ton Chanh Le and
Ramana Nagasamudram and
David A. Naumann and
Minh Ngo},
title = {An Algebra of Alignment for Relational Verification},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{POPL}},
pages = {573--603},
year = {2023},
url = {https://doi.org/10.1145/3571213},
doi = {10.1145/3571213},
timestamp = {Fri, 10 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/AntonopoulosKLNNN23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/UnnoTGK23,
author = {Hiroshi Unno and
Tachio Terauchi and
Yu Gu and
Eric Koskinen},
title = {Modular Primal-Dual Fixpoint Logic Solving for Temporal Verification},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{POPL}},
pages = {2111--2140},
year = {2023},
url = {https://doi.org/10.1145/3571265},
doi = {10.1145/3571265},
timestamp = {Thu, 25 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/UnnoTGK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/ChenFNPBK23,
author = {Adam Chen and
Parisa Fathololumi and
Mihai Nicola and
Jared Pincus and
Tegan Brennan and
Eric Koskinen},
editor = {{\'{E}}tienne Andr{\'{e}} and
Jun Sun},
title = {Better Predicates and Heuristics for Improved Commutativity Synthesis},
booktitle = {Automated Technology for Verification and Analysis - 21st International
Symposium, {ATVA} 2023, Singapore, October 24-27, 2023, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {14216},
pages = {93--113},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-45332-8\_5},
doi = {10.1007/978-3-031-45332-8\_5},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/ChenFNPBK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-05740,
author = {Constantin Enea and
Parisa Fathololumi and
Eric Koskinen},
title = {The Commutativity Quotients of Concurrent Objects},
journal = {CoRR},
volume = {abs/2301.05740},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.05740},
doi = {10.48550/ARXIV.2301.05740},
eprinttype = {arXiv},
eprint = {2301.05740},
timestamp = {Thu, 19 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-05740.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-15584,
author = {Yuandong Cyrus Liu and
Ton{-}Chanh Le and
Timos Antonopoulos and
Eric Koskinen and
ThanhVu Nguyen},
title = {DrNLA: Extending Verification to Non-linear Programs through Dual
Re-writing},
journal = {CoRR},
volume = {abs/2306.15584},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.15584},
doi = {10.48550/ARXIV.2306.15584},
eprinttype = {arXiv},
eprint = {2306.15584},
timestamp = {Fri, 30 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-15584.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/ChenFKP22,
author = {Adam Chen and
Parisa Fathololumi and
Eric Koskinen and
Jared Pincus},
title = {Veracity: declarative multicore programming with commutativity},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{OOPSLA2}},
pages = {1726--1756},
year = {2022},
url = {https://doi.org/10.1145/3563349},
doi = {10.1145/3563349},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/ChenFKP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-04278,
author = {Timos Antonopoulos and
Eric Koskinen and
Ton Chanh Le and
Ramana Nagasamudram and
David A. Naumann and
Minh Ngo},
title = {An algebra of alignment for relational verification},
journal = {CoRR},
volume = {abs/2202.04278},
year = {2022},
url = {https://arxiv.org/abs/2202.04278},
eprinttype = {arXiv},
eprint = {2202.04278},
timestamp = {Fri, 18 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-04278.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-06229,
author = {Adam Chen and
Parisa Fathololumi and
Eric Koskinen and
Jared Pincus},
title = {Veracity: Declarative Multicore Programming with Commutativity},
journal = {CoRR},
volume = {abs/2203.06229},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.06229},
doi = {10.48550/ARXIV.2203.06229},
eprinttype = {arXiv},
eprint = {2203.06229},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-06229.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/LiuPDKLPX21,
author = {Yuandong Cyrus Liu and
Chengbin Pang and
Daniel Dietsch and
Eric Koskinen and
Ton{-}Chanh Le and
Georgios Portokalidis and
Jun Xu},
editor = {Hakjoo Oh},
title = {Proving {LTL} Properties of Bitvector Programs and Decompiled Binaries},
booktitle = {Programming Languages and Systems - 19th Asian Symposium, {APLAS}
2021, Chicago, IL, USA, October 17-18, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13008},
pages = {285--304},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-89051-3\_16},
doi = {10.1007/978-3-030-89051-3\_16},
timestamp = {Thu, 23 Dec 2021 10:30:14 +0100},
biburl = {https://dblp.org/rec/conf/aplas/LiuPDKLPX21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/UnnoTK21,
author = {Hiroshi Unno and
Tachio Terauchi and
Eric Koskinen},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {Constraint-Based Relational Verification},
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 = {742--766},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81685-8\_35},
doi = {10.1007/978-3-030-81685-8\_35},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/UnnoTK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/PangYXKPX21,
author = {Chengbin Pang and
Ruotong Yu and
Dongpeng Xu and
Eric Koskinen and
Georgios Portokalidis and
Jun Xu},
title = {Towards Optimal Use of Exception Handling Information for Function
Detection},
booktitle = {51st Annual {IEEE/IFIP} International Conference on Dependable Systems
and Networks, {DSN} 2021, Taipei, Taiwan, June 21-24, 2021},
pages = {338--349},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/DSN48987.2021.00046},
doi = {10.1109/DSN48987.2021.00046},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsn/PangYXKPX21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/PangYCKPMX21,
author = {Chengbin Pang and
Ruotong Yu and
Yaohui Chen and
Eric Koskinen and
Georgios Portokalidis and
Bing Mao and
Jun Xu},
title = {SoK: All You Ever Wanted to Know About x86/x64 Binary Disassembly
But Were Afraid to Ask},
booktitle = {42nd {IEEE} Symposium on Security and Privacy, {SP} 2021, San Francisco,
CA, USA, 24-27 May 2021},
pages = {833--851},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/SP40001.2021.00012},
doi = {10.1109/SP40001.2021.00012},
timestamp = {Thu, 21 Sep 2023 15:57:26 +0200},
biburl = {https://dblp.org/rec/conf/sp/PangYCKPMX21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/KoskinenB21,
author = {Eric Koskinen and
Kshitij Bansal},
editor = {Fritz Henglein and
Sharon Shoham and
Yakir Vizel},
title = {Decomposing Data Structure Commutativity Proofs with {\textdollar}m{\textbackslash}!n{\textdollar}-Differencing},
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 = {81--103},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-67067-2\_5},
doi = {10.1007/978-3-030-67067-2\_5},
timestamp = {Wed, 13 Jan 2021 17:58:39 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/KoskinenB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-03168,
author = {Chengbin Pang and
Ruotong Yu and
Dongpeng Xu and
Eric Koskinen and
Georgios Portokalidis and
Jun Xu},
title = {Towards Optimal Use of Exception Handling Information for Function
Detection},
journal = {CoRR},
volume = {abs/2104.03168},
year = {2021},
url = {https://arxiv.org/abs/2104.03168},
eprinttype = {arXiv},
eprint = {2104.03168},
timestamp = {Tue, 12 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-03168.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-05159,
author = {Yuandong Cyrus Liu and
Chengbin Pang and
Daniel Dietsch and
Eric Koskinen and
Ton{-}Chanh Le and
Georgios Portokalidis and
Jun Xu},
title = {Source-Level Bitwise Branching for Temporal Verification of Lifted
Binaries},
journal = {CoRR},
volume = {abs/2105.05159},
year = {2021},
url = {https://arxiv.org/abs/2105.05159},
eprinttype = {arXiv},
eprint = {2105.05159},
timestamp = {Tue, 12 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-05159.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-02628,
author = {Hiroshi Unno and
Tachio Terauchi and
Eric Koskinen},
title = {Constraint-based Relational Verification},
journal = {CoRR},
volume = {abs/2106.02628},
year = {2021},
url = {https://arxiv.org/abs/2106.02628},
eprinttype = {arXiv},
eprint = {2106.02628},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-02628.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-02938,
author = {Yuandong Cyrus Liu and
Ton{-}Chanh Le and
Eric Koskinen},
title = {Source-Level Bitwise Branching for Temporal Verification},
journal = {CoRR},
volume = {abs/2111.02938},
year = {2021},
url = {https://arxiv.org/abs/2111.02938},
eprinttype = {arXiv},
eprint = {2111.02938},
timestamp = {Fri, 05 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-02938.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/DickersonGHK20,
author = {Thomas D. Dickerson and
Paul Gazzillo and
Maurice Herlihy and
Eric Koskinen},
title = {Adding concurrency to smart contracts},
journal = {Distributed Comput.},
volume = {33},
number = {3-4},
pages = {209--225},
year = {2020},
url = {https://doi.org/10.1007/s00446-019-00357-z},
doi = {10.1007/S00446-019-00357-Z},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dc/DickersonGHK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/BansalKT20,
author = {Kshitij Bansal and
Eric Koskinen and
Omer Tripp},
title = {Synthesizing Precise and Useful Commutativity Conditions},
journal = {J. Autom. Reason.},
volume = {64},
number = {7},
pages = {1333--1359},
year = {2020},
url = {https://doi.org/10.1007/s10817-020-09573-w},
doi = {10.1007/S10817-020-09573-W},
timestamp = {Wed, 30 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/BansalKT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/LeAFKN20,
author = {Ton Chanh Le and
Timos Antonopoulos and
Parisa Fathololumi and
Eric Koskinen and
ThanhVu Nguyen},
title = {DynamiTe: dynamic termination and non-termination proofs},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{OOPSLA}},
pages = {189:1--189:30},
year = {2020},
url = {https://doi.org/10.1145/3428257},
doi = {10.1145/3428257},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/LeAFKN20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-08450,
author = {Eric Koskinen and
Kshitij Bansal},
title = {Reducing Commutativity Verification to Reachability with Differencing
Abstractions},
journal = {CoRR},
volume = {abs/2004.08450},
year = {2020},
url = {https://arxiv.org/abs/2004.08450},
eprinttype = {arXiv},
eprint = {2004.08450},
timestamp = {Wed, 22 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-08450.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-03656,
author = {Hiroshi Unno and
Yuki Satake and
Tachio Terauchi and
Eric Koskinen},
title = {Program Verification via Predicate Constraint Satisfiability Modulo
Theories},
journal = {CoRR},
volume = {abs/2007.03656},
year = {2020},
url = {https://arxiv.org/abs/2007.03656},
eprinttype = {arXiv},
eprint = {2007.03656},
timestamp = {Mon, 20 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-03656.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-14266,
author = {Chengbin Pang and
Ruotong Yu and
Yaohui Chen and
Eric Koskinen and
Georgios Portokalidis and
Bing Mao and
Jun Xu},
title = {SoK: All You Ever Wanted to Know About x86/x64 Binary Disassembly
But Were Afraid to Ask},
journal = {CoRR},
volume = {abs/2007.14266},
year = {2020},
url = {https://arxiv.org/abs/2007.14266},
eprinttype = {arXiv},
eprint = {2007.14266},
timestamp = {Tue, 12 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-14266.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-05747,
author = {Ton Chanh Le and
Timos Antonopoulos and
Parisa Fathololumi and
Eric Koskinen and
ThanhVu Nguyen},
title = {DynamiTe: Dynamic Termination and Non-termination Proofs},
journal = {CoRR},
volume = {abs/2010.05747},
year = {2020},
url = {https://arxiv.org/abs/2010.05747},
eprinttype = {arXiv},
eprint = {2010.05747},
timestamp = {Tue, 20 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-05747.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/AntonopoulosKL19,
author = {Timos Antonopoulos and
Eric Koskinen and
Ton Chanh Le},
title = {Specification and inference of trace refinement relations},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{OOPSLA}},
pages = {178:1--178:30},
year = {2019},
url = {https://doi.org/10.1145/3360604},
doi = {10.1145/3360604},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/AntonopoulosKL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/DickersonKGH19,
author = {Thomas D. Dickerson and
Eric Koskinen and
Paul Gazzillo and
Maurice Herlihy},
editor = {Anthony Widjaja Lin},
title = {Conflict Abstractions and Shadow Speculation for Optimistic Transactional
Objects},
booktitle = {Programming Languages and Systems - 17th Asian Symposium, {APLAS}
2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11893},
pages = {313--331},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-34175-6\_16},
doi = {10.1007/978-3-030-34175-6\_16},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/DickersonKGH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-07213,
author = {Timos Antonopoulos and
Eric Koskinen and
Ton{-}Chanh Le},
title = {Specification and Inference of Trace Refinement Relations},
journal = {CoRR},
volume = {abs/1903.07213},
year = {2019},
url = {http://arxiv.org/abs/1903.07213},
eprinttype = {arXiv},
eprint = {1903.07213},
timestamp = {Mon, 01 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1903-07213.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/DickersonGHK18,
author = {Thomas D. Dickerson and
Paul Gazzillo and
Maurice Herlihy and
Eric Koskinen},
title = {Adding Concurrency to Smart Contracts},
journal = {Bull. {EATCS}},
volume = {124},
year = {2018},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/527},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/DickersonGHK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fc/DickersonGHSK18,
author = {Thomas D. Dickerson and
Paul Gazzillo and
Maurice Herlihy and
Vikram Saraph and
Eric Koskinen},
editor = {Aviv Zohar and
Ittay Eyal and
Vanessa Teague and
Jeremy Clark and
Andrea Bracciali and
Federico Pintore and
Massimiliano Sala},
title = {Proof-Carrying Smart Contracts},
booktitle = {Financial Cryptography and Data Security - {FC} 2018 International
Workshops, BITCOIN, VOTING, and WTSC, Nieuwpoort, Cura{\c{c}}ao, March
2, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10958},
pages = {325--338},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-662-58820-8\_22},
doi = {10.1007/978-3-662-58820-8\_22},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fc/DickersonGHSK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Nanjo0KT18,
author = {Yoji Nanjo and
Hiroshi Unno and
Eric Koskinen and
Tachio Terauchi},
editor = {Anuj Dawar and
Erich Gr{\"{a}}del},
title = {A Fixpoint Logic and Dependent Effects for Temporal Property Verification},
booktitle = {Proceedings of the 33rd Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2018, Oxford, UK, July 09-12, 2018},
pages = {759--768},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3209108.3209204},
doi = {10.1145/3209108.3209204},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/Nanjo0KT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BansalKT18,
author = {Kshitij Bansal and
Eric Koskinen and
Omer Tripp},
editor = {Dirk Beyer and
Marieke Huisman},
title = {Automatic Generation of Precise and Useful Commutativity Conditions},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 24th International Conference, {TACAS} 2018, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10805},
pages = {115--132},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89960-2\_7},
doi = {10.1007/978-3-319-89960-2\_7},
timestamp = {Fri, 09 Apr 2021 18:45:37 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BansalKT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-08748,
author = {Kshitij Bansal and
Eric Koskinen and
Omer Tripp},
title = {Automatic Generation of Precise and Useful Commutativity Conditions
(Extended Version)},
journal = {CoRR},
volume = {abs/1802.08748},
year = {2018},
url = {http://arxiv.org/abs/1802.08748},
eprinttype = {arXiv},
eprint = {1802.08748},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-08748.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/AntonopoulosGHK17,
author = {Timos Antonopoulos and
Paul Gazzillo and
Michael Hicks and
Eric Koskinen and
Tachio Terauchi and
Shiyi Wei},
editor = {Albert Cohen and
Martin T. Vechev},
title = {Decomposition instead of self-composition for proving the absence
of timing channels},
booktitle = {Proceedings of the 38th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2017, Barcelona, Spain,
June 18-23, 2017},
pages = {362--375},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3062341.3062378},
doi = {10.1145/3062341.3062378},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/AntonopoulosGHK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/DickersonGHK17,
author = {Thomas D. Dickerson and
Paul Gazzillo and
Maurice Herlihy and
Eric Koskinen},
editor = {Elad Michael Schiller and
Alexander A. Schwarzmann},
title = {Brief Announcement: Proust: {A} Design Space for Highly-Concurrent
Transactional Data Structures},
booktitle = {Proceedings of the {ACM} Symposium on Principles of Distributed Computing,
{PODC} 2017, Washington, DC, USA, July 25-27, 2017},
pages = {251--253},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3087801.3087866},
doi = {10.1145/3087801.3087866},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/podc/DickersonGHK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/DickersonGHK17a,
author = {Thomas D. Dickerson and
Paul Gazzillo and
Maurice Herlihy and
Eric Koskinen},
editor = {Elad Michael Schiller and
Alexander A. Schwarzmann},
title = {Adding Concurrency to Smart Contracts},
booktitle = {Proceedings of the {ACM} Symposium on Principles of Distributed Computing,
{PODC} 2017, Washington, DC, USA, July 25-27, 2017},
pages = {303--312},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3087801.3087835},
doi = {10.1145/3087801.3087835},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/podc/DickersonGHK17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/FerraraT0K17,
author = {Pietro Ferrara and
Omer Tripp and
Peng Liu and
Eric Koskinen},
editor = {Ahmed Bouajjani and
David Monniaux},
title = {Using Abstract Interpretation to Correct Synchronization Faults},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 18th International
Conference, {VMCAI} 2017, Paris, France, January 15-17, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10145},
pages = {187--208},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-52234-0\_11},
doi = {10.1007/978-3-319-52234-0\_11},
timestamp = {Sat, 09 Apr 2022 12:46:16 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/FerraraT0K17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DickersonGHK17,
author = {Thomas D. Dickerson and
Paul Gazzillo and
Maurice Herlihy and
Eric Koskinen},
title = {Adding Concurrency to Smart Contracts},
journal = {CoRR},
volume = {abs/1702.04467},
year = {2017},
url = {http://arxiv.org/abs/1702.04467},
eprinttype = {arXiv},
eprint = {1702.04467},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DickersonGHK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DickersonGKH17,
author = {Thomas D. Dickerson and
Paul Gazzillo and
Eric Koskinen and
Maurice Herlihy},
title = {Proust: {A} Design Space for Highly-Concurrent Transactional Data
Structures},
journal = {CoRR},
volume = {abs/1702.04866},
year = {2017},
url = {http://arxiv.org/abs/1702.04866},
eprinttype = {arXiv},
eprint = {1702.04866},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DickersonGKH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/KoskinenY16,
author = {Eric Koskinen and
Junfeng Yang},
editor = {Rastislav Bod{\'{\i}}k and
Rupak Majumdar},
title = {Reducing crash recoverability to reachability},
booktitle = {Proceedings of the 43rd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2016, St. Petersburg,
FL, USA, January 20 - 22, 2016},
pages = {97--108},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2837614.2837648},
doi = {10.1145/2837614.2837648},
timestamp = {Wed, 23 Jun 2021 15:34:31 +0200},
biburl = {https://dblp.org/rec/conf/popl/KoskinenY16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lics/2016,
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575},
doi = {10.1145/2933575},
isbn = {978-1-4503-4391-6},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/KoskinenP15,
author = {Eric Koskinen and
Matthew J. Parkinson},
editor = {David Grove and
Stephen M. Blackburn},
title = {The Push/Pull model of transactions},
booktitle = {Proceedings of the 36th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, Portland, OR, USA, June 15-17,
2015},
pages = {186--195},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2737924.2737995},
doi = {10.1145/2737924.2737995},
timestamp = {Wed, 23 Jun 2021 16:58:51 +0200},
biburl = {https://dblp.org/rec/conf/pldi/KoskinenP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/KoskinenT14,
author = {Eric Koskinen and
Tachio Terauchi},
editor = {Thomas A. Henzinger and
Dale Miller},
title = {Local temporal reasoning},
booktitle = {Joint Meeting of the Twenty-Third {EACSL} Annual Conference on Computer
Science Logic {(CSL)} and the Twenty-Ninth Annual {ACM/IEEE} Symposium
on Logic in Computer Science (LICS), {CSL-LICS} '14, Vienna, Austria,
July 14 - 18, 2014},
pages = {59:1--59:10},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2603088.2603138},
doi = {10.1145/2603088.2603138},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/KoskinenT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/HerlihyK14,
author = {Maurice Herlihy and
Eric Koskinen},
editor = {Zhong Shao},
title = {Composable Transactional Objects: {A} Position Paper},
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 = {1--7},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54833-8\_1},
doi = {10.1007/978-3-642-54833-8\_1},
timestamp = {Thu, 14 Oct 2021 10:31:33 +0200},
biburl = {https://dblp.org/rec/conf/esop/HerlihyK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/DimitrovRVK14,
author = {Dimitar K. Dimitrov and
Veselin Raychev and
Martin T. Vechev and
Eric Koskinen},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {Commutativity race detection},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {305--315},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594322},
doi = {10.1145/2594291.2594322},
timestamp = {Wed, 01 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/DimitrovRVK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Koskinen13,
author = {Eric John Koskinen},
title = {Thermal verification of programs},
school = {University of Cambridge, {UK}},
year = {2013},
url = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.607698},
timestamp = {Tue, 05 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/Koskinen13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/TrippKS13,
author = {Omer Tripp and
Eric Koskinen and
Mooly Sagiv},
editor = {Antony L. Hosking and
Patrick Th. Eugster and
Cristina V. Lopes},
title = {Turning nondeterminism into parallelism},
booktitle = {Proceedings of the 2013 {ACM} {SIGPLAN} International Conference on
Object Oriented Programming Systems Languages {\&} Applications,
{OOPSLA} 2013, part of {SPLASH} 2013, Indianapolis, IN, USA, October
26-31, 2013},
pages = {589--604},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2509136.2509533},
doi = {10.1145/2509136.2509533},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/TrippKS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/CookK13,
author = {Byron Cook and
Eric Koskinen},
editor = {Hans{-}Juergen Boehm and
Cormac Flanagan},
title = {Reasoning about nondeterminism in programs},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '13, Seattle, WA, USA, June 16-19, 2013},
pages = {219--230},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2491956.2491969},
doi = {10.1145/2491956.2491969},
timestamp = {Fri, 30 Nov 2018 12:21:40 +0100},
biburl = {https://dblp.org/rec/conf/pldi/CookK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BansalKWZ13,
author = {Kshitij Bansal and
Eric Koskinen and
Thomas Wies and
Damien Zufferey},
editor = {Nir Piterman and
Scott A. Smolka},
title = {Structural Counter Abstraction},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 19th International Conference, {TACAS} 2013, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2013, Rome, Italy, March 16-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7795},
pages = {62--77},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36742-7\_5},
doi = {10.1007/978-3-642-36742-7\_5},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BansalKWZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/CookKV12,
author = {Byron Cook and
Eric Koskinen and
Moshe Y. Vardi},
title = {Temporal property verification as a program analysis task - Extended
Version},
journal = {Formal Methods Syst. Des.},
volume = {41},
number = {1},
pages = {66--82},
year = {2012},
url = {https://doi.org/10.1007/s10703-012-0153-5},
doi = {10.1007/S10703-012-0153-5},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/CookKV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CookKV11,
author = {Byron Cook and
Eric Koskinen and
Moshe Y. Vardi},
editor = {Ganesh Gopalakrishnan and
Shaz Qadeer},
title = {Temporal Property Verification as a Program Analysis Task},
booktitle = {Computer Aided Verification - 23rd International Conference, {CAV}
2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6806},
pages = {333--348},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22110-1\_26},
doi = {10.1007/978-3-642-22110-1\_26},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/CookKV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/CookK11,
author = {Byron Cook and
Eric Koskinen},
editor = {Thomas Ball and
Mooly Sagiv},
title = {Making prophecies with decision predicates},
booktitle = {Proceedings of the 38th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2011, Austin, TX, USA, January 26-28,
2011},
pages = {399--410},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1926385.1926431},
doi = {10.1145/1926385.1926431},
timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
biburl = {https://dblp.org/rec/conf/popl/CookK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/KoskinenPH10,
author = {Eric Koskinen and
Matthew J. Parkinson and
Maurice Herlihy},
editor = {Manuel V. Hermenegildo and
Jens Palsberg},
title = {Coarse-grained transactions},
booktitle = {Proceedings of the 37th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2010, Madrid, Spain, January 17-23,
2010},
pages = {19--30},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1706299.1706304},
doi = {10.1145/1706299.1706304},
timestamp = {Tue, 22 Jun 2021 17:10:57 +0200},
biburl = {https://dblp.org/rec/conf/popl/KoskinenPH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/GulwaniJK09,
author = {Sumit Gulwani and
Sagar Jain and
Eric Koskinen},
editor = {Michael Hind and
Amer Diwan},
title = {Control-flow refinement and progress invariants for bound analysis},
booktitle = {Proceedings of the 2009 {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2009, Dublin, Ireland,
June 15-21, 2009},
pages = {375--385},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1542476.1542518},
doi = {10.1145/1542476.1542518},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/pldi/GulwaniJK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/KoskinenH09,
author = {Eric Koskinen and
Maurice Herlihy},
editor = {Srikanta Tirthapura and
Lorenzo Alvisi},
title = {Brief announcement: concurrent non-commutative boosted transactions},
booktitle = {Proceedings of the 28th Annual {ACM} Symposium on Principles of Distributed
Computing, {PODC} 2009, Calgary, Alberta, Canada, August 10-12, 2009},
pages = {272--273},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1582716.1582760},
doi = {10.1145/1582716.1582760},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/KoskinenH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/KoskinenJ08,
author = {Eric Koskinen and
John Jannotti},
editor = {Joseph S. Sventek and
Steven Hand},
title = {BorderPatrol: isolating events for black-box tracing},
booktitle = {Proceedings of the 2008 EuroSys Conference, Glasgow, Scotland, UK,
April 1-4, 2008},
pages = {191--203},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1352592.1352613},
doi = {10.1145/1352592.1352613},
timestamp = {Tue, 20 Dec 2022 17:33:10 +0100},
biburl = {https://dblp.org/rec/conf/eurosys/KoskinenJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/HerlihyK08,
author = {Maurice Herlihy and
Eric Koskinen},
editor = {Siddhartha Chatterjee and
Michael L. Scott},
title = {Transactional boosting: a methodology for highly-concurrent transactional
objects},
booktitle = {Proceedings of the 13th {ACM} {SIGPLAN} Symposium on Principles and
Practice of Parallel Programming, {PPOPP} 2008, Salt Lake City, UT,
USA, February 20-23, 2008},
pages = {207--216},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1345206.1345237},
doi = {10.1145/1345206.1345237},
timestamp = {Sun, 12 Jun 2022 19:46:08 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/HerlihyK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spaa/KoskinenH08,
author = {Eric Koskinen and
Maurice Herlihy},
editor = {Friedhelm Meyer auf der Heide and
Nir Shavit},
title = {Checkpoints and continuations instead of nested transactions},
booktitle = {{SPAA} 2008: Proceedings of the 20th Annual {ACM} Symposium on Parallelism
in Algorithms and Architectures, Munich, Germany, June 14-16, 2008},
pages = {160--168},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1378533.1378563},
doi = {10.1145/1378533.1378563},
timestamp = {Wed, 21 Nov 2018 11:14:43 +0100},
biburl = {https://dblp.org/rec/conf/spaa/KoskinenH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spaa/KoskinenH08a,
author = {Eric Koskinen and
Maurice Herlihy},
editor = {Friedhelm Meyer auf der Heide and
Nir Shavit},
title = {Dreadlocks: efficient deadlock detection},
booktitle = {{SPAA} 2008: Proceedings of the 20th Annual {ACM} Symposium on Parallelism
in Algorithms and Architectures, Munich, Germany, June 14-16, 2008},
pages = {297--303},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1378533.1378585},
doi = {10.1145/1378533.1378585},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/spaa/KoskinenH08a.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-01-26 19:27 CET 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:
