Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Alexander J. Summers
@article{DBLP:journals/corr/abs-2304-12530,
author = {Zachary Grannan and
Alexander J. Summers},
title = {Resource Specifications for Resource-Manipulating Programs},
journal = {CoRR},
volume = {abs/2304.12530},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.12530},
doi = {10.48550/ARXIV.2304.12530},
eprinttype = {arXiv},
eprint = {2304.12530},
timestamp = {Wed, 03 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-12530.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/GrannanVDS22,
author = {Zachary Grannan and
Niki Vazou and
Eva Darulova and
Alexander J. Summers},
title = {{REST:} Integrating Term Rewriting with Program Verification (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {8},
number = {2},
pages = {12:1--12:2},
year = {2022},
url = {https://doi.org/10.4230/DARTS.8.2.12},
doi = {10.4230/DARTS.8.2.12},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/GrannanVDS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/DardinierMS22,
author = {Thibault Dardinier and
Peter M{\"{u}}ller and
Alexander J. Summers},
title = {Fractional resources in unbounded separation logic},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{OOPSLA2}},
pages = {1066--1092},
year = {2022},
url = {https://doi.org/10.1145/3563326},
doi = {10.1145/3563326},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/DardinierMS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/SummersYFPLH22,
author = {Alexander J. Summers and
Houshang Yin and
Ralf D. Fischer and
Barton C. Prorok and
Xiaoyuan Lou and
Q. Peter He},
title = {Improving Linear Separability of Pulse Wave Laser Additive Manufacturing
Classifiers with Rational Feature Engineering and Selection \({}^{\mbox{*}}\)},
booktitle = {American Control Conference, {ACC} 2022, Atlanta, GA, USA, June 8-10,
2022},
pages = {2592--2597},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.23919/ACC53348.2022.9867290},
doi = {10.23919/ACC53348.2022.9867290},
timestamp = {Mon, 06 Nov 2023 12:57:51 +0100},
biburl = {https://dblp.org/rec/conf/amcc/SummersYFPLH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/DardinierPWMS22,
author = {Thibault Dardinier and
Gaurav Parthasarathy and
No{\'{e}} Weeks and
Peter M{\"{u}}ller and
Alexander J. Summers},
editor = {Sharon Shoham and
Yakir Vizel},
title = {Sound Automation of Magic Wands},
booktitle = {Computer Aided Verification - 34th International Conference, {CAV}
2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13372},
pages = {130--151},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-13188-2\_7},
doi = {10.1007/978-3-031-13188-2\_7},
timestamp = {Tue, 28 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/DardinierPWMS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/GrannanVDS22,
author = {Zachary Grannan and
Niki Vazou and
Eva Darulova and
Alexander J. Summers},
editor = {Karim Ali and
Jan Vitek},
title = {{REST:} Integrating Term Rewriting with Program Verification},
booktitle = {36th European Conference on Object-Oriented Programming, {ECOOP} 2022,
June 6-10, 2022, Berlin, Germany},
series = {LIPIcs},
volume = {222},
pages = {13:1--13:29},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2022.13},
doi = {10.4230/LIPICS.ECOOP.2022.13},
timestamp = {Thu, 23 Jun 2022 13:54:05 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/GrannanVDS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/AstrauskasBFGMM22,
author = {Vytautas Astrauskas and
Aurel B{\'{\i}}l{\'{y}} and
Jon{\'{a}}s Fiala and
Zachary Grannan and
Christoph Matheja and
Peter M{\"{u}}ller and
Federico Poli and
Alexander J. Summers},
editor = {Jyotirmoy V. Deshmukh and
Klaus Havelund and
Ivan Perez},
title = {The Prusti Project: Formal Verification for Rust},
booktitle = {{NASA} Formal Methods - 14th International Symposium, {NFM} 2022,
Pasadena, CA, USA, May 24-27, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13260},
pages = {88--108},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-06773-0\_5},
doi = {10.1007/978-3-031-06773-0\_5},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/AstrauskasBFGMM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-05872,
author = {Zachary Grannan and
Niki Vazou and
Eva Darulova and
Alexander J. Summers},
title = {{REST:} Integrating Term Rewriting with Program Verification (Extended
Version)},
journal = {CoRR},
volume = {abs/2202.05872},
year = {2022},
url = {https://arxiv.org/abs/2202.05872},
eprinttype = {arXiv},
eprint = {2202.05872},
timestamp = {Fri, 18 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-05872.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-11325,
author = {Thibault Dardinier and
Gaurav Parthasarathy and
No{\'{e}} Weeks and
Alexander J. Summers and
Peter M{\"{u}}ller},
title = {Sound Automation of Magic Wands (extended version)},
journal = {CoRR},
volume = {abs/2205.11325},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.11325},
doi = {10.48550/ARXIV.2205.11325},
eprinttype = {arXiv},
eprint = {2205.11325},
timestamp = {Mon, 30 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-11325.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2210-09857,
author = {Aurel B{\'{\i}}l{\'{y}} and
Jonas Hansen and
Peter M{\"{u}}ller and
Alexander J. Summers},
title = {Compositional Reasoning for Side-effectful Iterators and Iterator
Adapters},
journal = {CoRR},
volume = {abs/2210.09857},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2210.09857},
doi = {10.48550/ARXIV.2210.09857},
eprinttype = {arXiv},
eprint = {2210.09857},
timestamp = {Mon, 24 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2210-09857.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/BramEMSS21,
author = {Christian Br{\"{a}}m and
Marco Eilers and
Peter M{\"{u}}ller and
Robin Sierra and
Alexander J. Summers},
title = {Rich specifications for Ethereum smart contract verification},
journal = {Proc. {ACM} Program. Lang.},
volume = {5},
number = {{OOPSLA}},
pages = {1--30},
year = {2021},
url = {https://doi.org/10.1145/3485523},
doi = {10.1145/3485523},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/BramEMSS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/WolffBMMS21,
author = {Fabian Wolff and
Aurel B{\'{\i}}l{\'{y}} and
Christoph Matheja and
Peter M{\"{u}}ller and
Alexander J. Summers},
title = {Modular specification and verification of closures in Rust},
journal = {Proc. {ACM} Program. Lang.},
volume = {5},
number = {{OOPSLA}},
pages = {1--29},
year = {2021},
url = {https://doi.org/10.1145/3485522},
doi = {10.1145/3485522},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/WolffBMMS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ParthasarathyMS20,
author = {Gaurav Parthasarathy and
Peter M{\"{u}}ller and
Alexander J. Summers},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {Formally Validating a Practical Verification Condition Generator},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12760},
pages = {704--727},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81688-9\_33},
doi = {10.1007/978-3-030-81688-9\_33},
timestamp = {Fri, 23 Jul 2021 16:41:31 +0200},
biburl = {https://dblp.org/rec/conf/cav/ParthasarathyMS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/BaniassadS21,
author = {Elisa L. A. Baniassad and
Alexander J. Summers},
editor = {Charlie Curtsinger and
Tien N. Nguyen},
title = {Reframing the Liskov substitution principle through the lens of testing},
booktitle = {Proceedings of the 2021 {ACM} {SIGPLAN} International Symposium on
SPLASH-E, Chicago, IL, {USA.} October 20, 2021},
pages = {49--58},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3484272.3484965},
doi = {10.1145/3484272.3484965},
timestamp = {Tue, 26 Oct 2021 20:45:04 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/BaniassadS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-10274,
author = {Christian Br{\"{a}}m and
Marco Eilers and
Peter M{\"{u}}ller and
Robin Sierra and
Alexander J. Summers},
title = {Modular Verification of Collaborating Smart Contracts},
journal = {CoRR},
volume = {abs/2104.10274},
year = {2021},
url = {https://arxiv.org/abs/2104.10274},
eprinttype = {arXiv},
eprint = {2104.10274},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-10274.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-14381,
author = {Gaurav Parthasarathy and
Peter M{\"{u}}ller and
Alexander J. Summers},
title = {Formally Validating a Practical Verification Condition Generator (extended
version)},
journal = {CoRR},
volume = {abs/2105.14381},
year = {2021},
url = {https://arxiv.org/abs/2105.14381},
eprinttype = {arXiv},
eprint = {2105.14381},
timestamp = {Wed, 02 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-14381.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/AstrauskasMP0S20,
author = {Vytautas Astrauskas and
Christoph Matheja and
Federico Poli and
Peter M{\"{u}}ller and
Alexander J. Summers},
title = {How do programmers use unsafe rust?},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{OOPSLA}},
pages = {136:1--136:27},
year = {2020},
url = {https://doi.org/10.1145/3428204},
doi = {10.1145/3428204},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/AstrauskasMP0S20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/SummersM20,
author = {Alexander J. Summers and
Peter M{\"{u}}ller},
title = {Automating deductive verification for weak-memory programs (extended
version)},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {22},
number = {6},
pages = {709--728},
year = {2020},
url = {https://doi.org/10.1007/s10009-020-00559-y},
doi = {10.1007/S10009-020-00559-Y},
timestamp = {Tue, 17 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/SummersM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Summers20,
author = {Alexander J. Summers},
editor = {Wytse Oortwijn},
title = {Prusti: deductive verification for Rust (keynote)},
booktitle = {FTfJP 2020: Proceedings of the 22nd {ACM} {SIGPLAN} International
Workshop on Formal Techniques for Java-Like Programs, Virtual Event,
USA, July 23, 2020},
pages = {1},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3427761.3432348},
doi = {10.1145/3427761.3432348},
timestamp = {Thu, 04 Nov 2021 14:41:50 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/Summers20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/KrishnaSW20,
author = {Siddharth Krishna and
Alexander J. Summers and
Thomas Wies},
editor = {Peter M{\"{u}}ller},
title = {Local Reasoning for Global Graph Properties},
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 = {308--335},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-44914-8\_12},
doi = {10.1007/978-3-030-44914-8\_12},
timestamp = {Wed, 22 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/KrishnaSW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/Ter-GabrielyanS19,
author = {Arshavir Ter{-}Gabrielyan and
Alexander J. Summers and
Peter M{\"{u}}ller},
title = {Modular verification of heap reachability properties in separation
logic},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{OOPSLA}},
pages = {121:1--121:28},
year = {2019},
url = {https://doi.org/10.1145/3360547},
doi = {10.1145/3360547},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/Ter-GabrielyanS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/Astrauskas0PS19,
author = {Vytautas Astrauskas and
Peter M{\"{u}}ller and
Federico Poli and
Alexander J. Summers},
title = {Leveraging rust types for modular specification and verification},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{OOPSLA}},
pages = {147:1--147:30},
year = {2019},
url = {https://doi.org/10.1145/3360573},
doi = {10.1145/3360573},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/Astrauskas0PS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BeckerMS19,
author = {Nils Becker and
Peter M{\"{u}}ller and
Alexander J. Summers},
editor = {Tom{\'{a}}s Vojnar and
Lijun Zhang},
title = {The Axiom Profiler: Understanding and Debugging {SMT} Quantifier Instantiations},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 25th International Conference, {TACAS} 2019, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {11427},
pages = {99--116},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17462-0\_6},
doi = {10.1007/978-3-030-17462-0\_6},
timestamp = {Fri, 31 Jan 2020 21:32:25 +0100},
biburl = {https://dblp.org/rec/conf/tacas/BeckerMS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-05799,
author = {Arshavir Ter{-}Gabrielyan and
Alexander J. Summers and
Peter M{\"{u}}ller},
title = {Modular Verification of Heap Reachability Properties in Separation
Logic},
journal = {CoRR},
volume = {abs/1908.05799},
year = {2019},
url = {http://arxiv.org/abs/1908.05799},
eprinttype = {arXiv},
eprint = {1908.05799},
timestamp = {Mon, 19 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-05799.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-08632,
author = {Siddharth Krishna and
Alexander J. Summers and
Thomas Wies},
title = {Local Reasoning for Global Graph Properties},
journal = {CoRR},
volume = {abs/1911.08632},
year = {2019},
url = {http://arxiv.org/abs/1911.08632},
eprinttype = {arXiv},
eprint = {1911.08632},
timestamp = {Wed, 22 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1911-08632.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/DohrauSUM018,
author = {J{\'{e}}r{\^{o}}me Dohrau and
Alexander J. Summers and
Caterina Urban and
Severin M{\"{u}}nger and
Peter M{\"{u}}ller},
editor = {Hana Chockler and
Georg Weissenbacher},
title = {Permission Inference for Array Programs},
booktitle = {Computer Aided Verification - 30th International Conference, {CAV}
2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
UK, July 14-17, 2018, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10982},
pages = {55--74},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-96142-2\_7},
doi = {10.1007/978-3-319-96142-2\_7},
timestamp = {Fri, 09 Apr 2021 18:35:26 +0200},
biburl = {https://dblp.org/rec/conf/cav/DohrauSUM018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Summers018,
author = {Alexander J. Summers and
Peter M{\"{u}}ller},
editor = {Dirk Beyer and
Marieke Huisman},
title = {Automating Deductive Verification for Weak-Memory Programs},
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 = {190--209},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89960-2\_11},
doi = {10.1007/978-3-319-89960-2\_11},
timestamp = {Fri, 09 Apr 2021 18:45:37 +0200},
biburl = {https://dblp.org/rec/conf/tacas/Summers018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-04091,
author = {J{\'{e}}r{\^{o}}me Dohrau and
Alexander J. Summers and
Caterina Urban and
Severin M{\"{u}}nger and
Peter M{\"{u}}ller},
title = {Permission Inference for Array Programs},
journal = {CoRR},
volume = {abs/1804.04091},
year = {2018},
url = {http://arxiv.org/abs/1804.04091},
eprinttype = {arXiv},
eprint = {1804.04091},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-04091.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/natosec/0001SS17,
author = {Peter M{\"{u}}ller and
Malte Schwerhoff and
Alexander J. Summers},
editor = {Alexander Pretschner and
Doron Peled and
Thomas Hutzelmann},
title = {Viper: {A} Verification Infrastructure for Permission-Based Reasoning},
booktitle = {Dependable Software Systems Engineering},
series = {{NATO} Science for Peace and Security Series - {D:} Information and
Communication Security},
volume = {50},
pages = {104--125},
publisher = {{IOS} Press},
year = {2017},
url = {https://doi.org/10.3233/978-1-61499-810-5-104},
doi = {10.3233/978-1-61499-810-5-104},
timestamp = {Tue, 06 Aug 2019 09:52:02 +0200},
biburl = {https://dblp.org/rec/series/natosec/0001SS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Summers017,
author = {Alexander J. Summers and
Peter M{\"{u}}ller},
title = {Automating Deductive Verification for Weak-Memory Programs},
journal = {CoRR},
volume = {abs/1703.06368},
year = {2017},
url = {http://arxiv.org/abs/1703.06368},
eprinttype = {arXiv},
eprint = {1703.06368},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Summers017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/0001SS16,
author = {Peter M{\"{u}}ller and
Malte Schwerhoff and
Alexander J. Summers},
editor = {Swarat Chaudhuri and
Azadeh Farzan},
title = {Automatic Verification of Iterated Separating Conjunctions Using Symbolic
Execution},
booktitle = {Computer Aided Verification - 28th International Conference, {CAV}
2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {9779},
pages = {405--425},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41528-4\_22},
doi = {10.1007/978-3-319-41528-4\_22},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/0001SS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Summers016,
author = {Alexander J. Summers and
Peter M{\"{u}}ller},
editor = {Peter Thiemann},
title = {Actor Services - Modular Verification of Message Passing Programs},
booktitle = {Programming Languages and Systems - 25th European Symposium on Programming,
{ESOP} 2016, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2016, Eindhoven, The Netherlands,
April 2-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9632},
pages = {699--726},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49498-1\_27},
doi = {10.1007/978-3-662-49498-1\_27},
timestamp = {Mon, 23 Mar 2020 12:22:51 +0100},
biburl = {https://dblp.org/rec/conf/esop/Summers016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/0001SS16,
author = {Peter M{\"{u}}ller and
Malte Schwerhoff and
Alexander J. Summers},
editor = {Barbara Jobstmann and
K. Rustan M. Leino},
title = {Viper: {A} Verification Infrastructure for Permission-Based Reasoning},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 17th International
Conference, {VMCAI} 2016, St. Petersburg, FL, USA, January 17-19,
2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9583},
pages = {41--62},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49122-5\_2},
doi = {10.1007/978-3-662-49122-5\_2},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/0001SS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/0001SS16,
author = {Peter M{\"{u}}ller and
Malte Schwerhoff and
Alexander J. Summers},
title = {Automatic Verification of Iterated Separating Conjunctions using Symbolic
Execution},
journal = {CoRR},
volume = {abs/1603.00649},
year = {2016},
url = {http://arxiv.org/abs/1603.00649},
eprinttype = {arXiv},
eprint = {1603.00649},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/0001SS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/SchwerhoffS15,
author = {Malte Schwerhoff and
Alexander J. Summers},
title = {Lightweight Support for Magic Wands in an Automatic Verifier (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {1},
number = {1},
pages = {10:1--10:2},
year = {2015},
url = {https://doi.org/10.4230/DARTS.1.1.10},
doi = {10.4230/DARTS.1.1.10},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/SchwerhoffS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Summers15,
author = {Alexander J. Summers},
editor = {John Tang Boyland},
title = {Software Verification "Across the Stack" (Invited Talk)},
booktitle = {29th European Conference on Object-Oriented Programming, {ECOOP} 2015,
July 5-10, 2015, Prague, Czech Republic},
series = {LIPIcs},
volume = {37},
pages = {3--3},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2015.3},
doi = {10.4230/LIPICS.ECOOP.2015.3},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/Summers15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/SchwerhoffS15,
author = {Malte Schwerhoff and
Alexander J. Summers},
editor = {John Tang Boyland},
title = {Lightweight Support for Magic Wands in an Automatic Verifier},
booktitle = {29th European Conference on Object-Oriented Programming, {ECOOP} 2015,
July 5-10, 2015, Prague, Czech Republic},
series = {LIPIcs},
volume = {37},
pages = {614--638},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2015.614},
doi = {10.4230/LIPICS.ECOOP.2015.614},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/SchwerhoffS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Boyland0SS14,
author = {John Tang Boyland and
Peter M{\"{u}}ller and
Malte Schwerhoff and
Alexander J. Summers},
editor = {David J. Pearce},
title = {Constraint Semantics for Abstract Read Permissions},
booktitle = {Proceedings of 16th Workshop on Formal Techniques for Java-like Programs,
FTfJP@ECOOP 2014, Uppsala, Sweden, July 28 - August 1, 2014},
pages = {2:1--2:6},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2635631.2635847},
doi = {10.1145/2635631.2635847},
timestamp = {Wed, 26 May 2021 08:40:06 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/Boyland0SS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/SummersD13,
author = {Alexander J. Summers and
Sophia Drossopoulou},
editor = {Giuseppe Castagna},
title = {A Formal Semantics for Isorecursive and Equirecursive State Abstractions},
booktitle = {{ECOOP} 2013 - Object-Oriented Programming - 27th European Conference,
Montpellier, France, July 1-5, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7920},
pages = {129--153},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39038-8\_6},
doi = {10.1007/978-3-642-39038-8\_6},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/SummersD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/HeuleKMS13,
author = {Stefan Heule and
Ioannis T. Kassios and
Peter M{\"{u}}ller and
Alexander J. Summers},
editor = {Giuseppe Castagna},
title = {Verification Condition Generation for Permission Logics with Abstract
Predicates and Abstraction Functions},
booktitle = {{ECOOP} 2013 - Object-Oriented Programming - 27th European Conference,
Montpellier, France, July 1-5, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7920},
pages = {451--476},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39038-8\_19},
doi = {10.1007/978-3-642-39038-8\_19},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/HeuleKMS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/HeuleLMS13,
author = {Stefan Heule and
K. Rustan M. Leino and
Peter M{\"{u}}ller and
Alexander J. Summers},
editor = {Roberto Giacobazzi and
Josh Berdine and
Isabella Mastroeni},
title = {Abstract Read Permissions: Fractional Permissions without the Fractions},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 14th International
Conference, {VMCAI} 2013, Rome, Italy, January 20-22, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7737},
pages = {315--334},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-35873-9\_20},
doi = {10.1007/978-3-642-35873-9\_20},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/HeuleLMS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/JostS13,
author = {Daniel Jost and
Alexander J. Summers},
editor = {Ernie Cohen and
Andrey Rybalchenko},
title = {An Automatic Encoding from VeriFast Predicates into Implicit Dynamic
Frames},
booktitle = {Verified Software: Theories, Tools, Experiments - 5th International
Conference, {VSTTE} 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8164},
pages = {202--221},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-54108-7\_11},
doi = {10.1007/978-3-642-54108-7\_11},
timestamp = {Wed, 04 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vstte/JostS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1203-6859,
author = {Matthew J. Parkinson and
Alexander J. Summers},
title = {The Relationship Between Separation Logic and Implicit Dynamic Frames},
journal = {Log. Methods Comput. Sci.},
volume = {8},
number = {3},
year = {2012},
url = {https://doi.org/10.2168/LMCS-8(3:1)2012},
doi = {10.2168/LMCS-8(3:1)2012},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1203-6859.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Summers11,
author = {Alexander J. Summers},
title = {Soundness and principal contexts for a shallow polymorphic type system
based on classical logic},
journal = {Log. J. {IGPL}},
volume = {19},
number = {6},
pages = {848--896},
year = {2011},
url = {https://doi.org/10.1093/jigpal/jzq013},
doi = {10.1093/JIGPAL/JZQ013},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Summers11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/HeuleL0S11,
author = {Stefan Heule and
K. Rustan M. Leino and
Peter M{\"{u}}ller and
Alexander J. Summers},
editor = {Stephen N. Freund},
title = {Fractional permissions without the fractions},
booktitle = {Proceedings of the 13th Workshop on Formal Techniques for Java-Like
Programs, FTfJP 2011, Lancaster, United Kingdom, July 25-29, 2011},
pages = {1:1--1:6},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2076674.2076675},
doi = {10.1145/2076674.2076675},
timestamp = {Tue, 06 Nov 2018 16:59:31 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/HeuleL0S11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/ParkinsonS11,
author = {Matthew J. Parkinson and
Alexander J. Summers},
editor = {Gilles Barthe},
title = {The Relationship between Separation Logic and Implicit Dynamic Frames},
booktitle = {Programming Languages and Systems - 20th European Symposium on Programming,
{ESOP} 2011, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2011, Saarbr{\"{u}}cken, Germany,
March 26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6602},
pages = {439--458},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19718-5\_23},
doi = {10.1007/978-3-642-19718-5\_23},
timestamp = {Sat, 19 Oct 2019 20:28:04 +0200},
biburl = {https://dblp.org/rec/conf/esop/ParkinsonS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/SummersM11,
author = {Alexander J. Summers and
Peter M{\"{u}}ller},
editor = {Cristina Videira Lopes and
Kathleen Fisher},
title = {Freedom before commitment: a lightweight type system for object initialisation},
booktitle = {Proceedings of the 26th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2011,
part of {SPLASH} 2011, Portland, OR, USA, October 22 - 27, 2011},
pages = {1013--1032},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2048066.2048142},
doi = {10.1145/2048066.2048142},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/SummersM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/SummersCDD10,
author = {Alexander J. Summers and
Nicholas Cameron and
Mariangiola Dezani{-}Ciancaglini and
Sophia Drossopoulou},
title = {Towards a semantic model for Java wildcards},
booktitle = {Proceedings of the 12th Workshop on Formal Techniques for Java-Like
Programs, {FTFJP} 2010, Maribor, Slovenia, June 22, 2010},
pages = {2:1--2:7},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1924520.1924522},
doi = {10.1145/1924520.1924522},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/SummersCDD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/SummersD10,
author = {Alexander J. Summers and
Sophia Drossopoulou},
editor = {Gilles Barthe and
Manuel V. Hermenegildo},
title = {Considerate Reasoning and the Composite Design Pattern},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 11th International
Conference, {VMCAI} 2010, Madrid, Spain, January 17-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5944},
pages = {328--344},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11319-2\_24},
doi = {10.1007/978-3-642-11319-2\_24},
timestamp = {Sat, 19 Oct 2019 20:29:32 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/SummersD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/SummersDM09,
author = {Alexander J. Summers and
Sophia Drossopoulou and
Peter M{\"{u}}ller},
title = {Universe-Type-Based Verification Techniques for Mutable Static Fields
and Methods},
journal = {J. Object Technol.},
volume = {8},
number = {4},
pages = {85--125},
year = {2009},
url = {https://doi.org/10.5381/jot.2009.8.4.a4},
doi = {10.5381/JOT.2009.8.4.A4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/SummersDM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Summers09,
author = {Alexander J. Summers},
editor = {Anindya Banerjee},
title = {Modelling Java requires state},
booktitle = {Proceedings of the 11th International Workshop on Formal Techniques
for Java-like Programs, FTfJP 2009, Genova, Italy, July 6, 2009},
pages = {10:1--10:3},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1557898.1557908},
doi = {10.1145/1557898.1557908},
timestamp = {Tue, 06 Nov 2018 16:59:31 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/Summers09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Summers08,
author = {Alexander J. Summers},
title = {Curry-Howard Term Calculi for Gentzen-Style Classical Logics},
school = {Imperial College London, {UK}},
year = {2008},
url = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.520981},
timestamp = {Tue, 05 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/Summers08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/DrossopoulouFMS08,
author = {Sophia Drossopoulou and
Adrian Francalanza and
Peter M{\"{u}}ller and
Alexander J. Summers},
editor = {Jan Vitek},
title = {A Unified Framework for Verification Techniques for Object Invariants},
booktitle = {{ECOOP} 2008 - Object-Oriented Programming, 22nd European Conference,
Paphos, Cyprus, July 7-11, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5142},
pages = {412--437},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70592-5\_18},
doi = {10.1007/978-3-540-70592-5\_18},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/DrossopoulouFMS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/DrossopoulouFMS08,
author = {Sophia Drossopoulou and
Adrian Francalanza and
Peter M{\"{u}}ller and
Alexander J. Summers},
editor = {Amal Ahmed and
Nick Benton and
Martin Hofmann and
Greg Morrisett},
title = {A Unified Framework for Verification Techniques for Object Invariants},
booktitle = {Types, Logics and Semantics for State, 03.02. - 08.02.2008},
series = {Dagstuhl Seminar Proceedings},
volume = {08061},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2008},
url = {http://drops.dagstuhl.de/opus/volltexte/2008/1427},
timestamp = {Tue, 05 Jul 2022 08:30:25 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/DrossopoulouFMS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/BrodaMSS07,
author = {Krysia Broda and
Jiefei Ma and
Gabrielle Sinnadurai and
Alexander J. Summers},
title = {Pandora: {A} Reasoning Toolbox using Natural Deduction Style},
journal = {Log. J. {IGPL}},
volume = {15},
number = {4},
pages = {293--304},
year = {2007},
url = {https://doi.org/10.1093/jigpal/jzm020},
doi = {10.1093/JIGPAL/JZM020},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/BrodaMSS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/CunninghamDDFMS07,
author = {Dave Cunningham and
Werner Dietl and
Sophia Drossopoulou and
Adrian Francalanza and
Peter M{\"{u}}ller and
Alexander J. Summers},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Universe Types for Topology and Encapsulation},
booktitle = {Formal Methods for Components and Objects, 6th International Symposium,
{FMCO} 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {5382},
pages = {72--112},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-92188-2\_4},
doi = {10.1007/978-3-540-92188-2\_4},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/CunninghamDDFMS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/SummersB06,
author = {Alexander J. Summers and
Steffen van Bakel},
editor = {Peter Sestoft},
title = {Approaches to Polymorphism in Classical Sequent Calculus},
booktitle = {Programming Languages and Systems, 15th European Symposium on Programming,
{ESOP} 2006, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2006, Vienna, Austria, March 27-28,
2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3924},
pages = {84--99},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11693024\_7},
doi = {10.1007/11693024\_7},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/SummersB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/RaghunandanS07,
author = {Jayshan Raghunandan and
Alexander J. Summers},
editor = {Jean{-}Pierre Jouannaud and
Ian Mackie},
title = {On the Computational Representation of Classical Logical Connectives},
booktitle = {Proceedings of the Second International Workshop on Developments in
Computational Models, DCM@ICALP 2006, Venice, Italy, July 16, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {171},
number = {3},
pages = {85--109},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.12.039},
doi = {10.1016/J.ENTCS.2006.12.039},
timestamp = {Fri, 27 Jan 2023 11:23:39 +0100},
biburl = {https://dblp.org/rec/journals/entcs/RaghunandanS07.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 2023-10-23 23:27 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:
