Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Sebastian Burckhardt
@inproceedings{DBLP:conf/cidr/0001CB024,
author = {Tianyu Li and
Badrish Chandramouli and
Sebastian Burckhardt and
Samuel Madden},
title = {Serverless State Management Systems},
booktitle = {14th Conference on Innovative Data Systems Research, {CIDR} 2024,
Chaminade, HI, USA, January 14-17, 2024},
publisher = {www.cidrdb.org},
year = {2024},
url = {https://www.cidrdb.org/cidr2024/papers/p16-li.pdf},
timestamp = {Fri, 05 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cidr/0001CB024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmmod/0001CBM23,
author = {Tianyu Li and
Badrish Chandramouli and
Sebastian Burckhardt and
Samuel Madden},
title = {{DARQ} Matter Binds Everything: Performant and Composable Cloud Programming
via Resilient Steps},
journal = {Proc. {ACM} Manag. Data},
volume = {1},
number = {2},
pages = {117:1--117:27},
year = {2023},
url = {https://doi.org/10.1145/3589262},
doi = {10.1145/3589262},
timestamp = {Tue, 08 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmmod/0001CBM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nsdi/LiuLNB23,
author = {David H. Liu and
Amit Levy and
Shadi A. Noghabi and
Sebastian Burckhardt},
editor = {Mahesh Balakrishnan and
Manya Ghobadi},
title = {Doing More with Less: Orchestrating Serverless Applications without
an Orchestrator},
booktitle = {20th {USENIX} Symposium on Networked Systems Design and Implementation,
{NSDI} 2023, Boston, MA, April 17-19, 2023},
pages = {1505--1519},
publisher = {{USENIX} Association},
year = {2023},
url = {https://www.usenix.org/conference/nsdi23/presentation/liu-david},
timestamp = {Thu, 11 May 2023 17:08:22 +0200},
biburl = {https://dblp.org/rec/conf/nsdi/LiuLNB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pvldb/BurckhardtCGJKM22,
author = {Sebastian Burckhardt and
Badrish Chandramouli and
Chris Gillum and
David Justo and
Konstantinos Kallas and
Connor McMahon and
Christopher Meiklejohn and
Xiangfeng Zhu},
title = {Netherite: Efficient Execution of Serverless Workflows},
journal = {Proc. {VLDB} Endow.},
volume = {15},
number = {8},
pages = {1591--1604},
year = {2022},
url = {https://www.vldb.org/pvldb/vol15/p1591-burckhardt.pdf},
doi = {10.14778/3529337.3529344},
timestamp = {Mon, 23 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pvldb/BurckhardtCGJKM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/BurckhardtGJKMM21,
author = {Sebastian Burckhardt and
Chris Gillum and
David Justo and
Konstantinos Kallas and
Connor McMahon and
Christopher S. Meiklejohn},
title = {Durable functions: semantics for stateful serverless},
journal = {Proc. {ACM} Program. Lang.},
volume = {5},
number = {{OOPSLA}},
pages = {1--27},
year = {2021},
url = {https://doi.org/10.1145/3485510},
doi = {10.1145/3485510},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/BurckhardtGJKMM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AttiyaBGMYZ21,
author = {Hagit Attiya and
Sebastian Burckhardt and
Alexey Gotsman and
Adam Morrison and
Hongseok Yang and
Marek Zawirski},
title = {Specification and space complexity of collaborative text editing},
journal = {Theor. Comput. Sci.},
volume = {855},
pages = {141--160},
year = {2021},
url = {https://doi.org/10.1016/j.tcs.2020.11.046},
doi = {10.1016/J.TCS.2020.11.046},
timestamp = {Fri, 22 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AttiyaBGMYZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-00033,
author = {Sebastian Burckhardt and
Chris Gillum and
David Justo and
Konstantinos Kallas and
Connor McMahon and
Christopher S. Meiklejohn},
title = {Serverless Workflows with Durable Functions and Netherite},
journal = {CoRR},
volume = {abs/2103.00033},
year = {2021},
url = {https://arxiv.org/abs/2103.00033},
eprinttype = {arXiv},
eprint = {2103.00033},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-00033.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pvldb/GoldsteinABBCGL20,
author = {Jonathan Goldstein and
Ahmed S. Abdelhamid and
Mike Barnett and
Sebastian Burckhardt and
Badrish Chandramouli and
Darren Gehring and
Niel Lebeck and
Christopher Meiklejohn and
Umar Farooq Minhas and
Ryan Newton and
Rahee Peshawaria and
Tal Zaccai and
Irene Zhang},
title = {{A.M.B.R.O.S.I.A:} Providing Performant Virtual Resiliency for Distributed
Applications},
journal = {Proc. {VLDB} Endow.},
volume = {13},
number = {5},
pages = {588--601},
year = {2020},
url = {http://www.vldb.org/pvldb/vol13/p588-goldstein.pdf},
doi = {10.14778/3377369.3377370},
timestamp = {Tue, 07 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pvldb/GoldsteinABBCGL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/BurckhardtC18,
author = {Sebastian Burckhardt and
Tim Coppieters},
title = {Reactive caching for composed services: polling at the speed of push},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{OOPSLA}},
pages = {152:1--152:28},
year = {2018},
url = {https://doi.org/10.1145/3276522},
doi = {10.1145/3276522},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/BurckhardtC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eurosys/2018papoc,
editor = {Sebastian Burckhardt and
Marko Vukolic},
title = {Proceedings of the 5th Workshop on the Principles and Practice of
Consistency for Distributed Data, PaPoC@EuroSys 2018, Porto, Portugal,
April 23-26, 2018},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3194261},
doi = {10.1145/3194261},
isbn = {978-1-4503-5655-8},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurosys/2018papoc.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/BernsteinBBCFKK17,
author = {Philip A. Bernstein and
Sebastian Burckhardt and
Sergey Bykov and
Natacha Crooks and
Jose M. Faleiro and
Gabriel Kliot and
Alok Kumbhare and
Muntasir Raihan Rahman and
Vivek Shah and
Adriana Szekeres and
Jorgen Thelin},
title = {Geo-distribution of actor-based services},
journal = {Proc. {ACM} Program. Lang.},
volume = {1},
number = {{OOPSLA}},
pages = {107:1--107:26},
year = {2017},
url = {https://doi.org/10.1145/3133931},
doi = {10.1145/3133931},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/BernsteinBBCFKK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/GotsmanB17,
author = {Alexey Gotsman and
Sebastian Burckhardt},
editor = {Andr{\'{e}}a W. Richa},
title = {Consistency Models with Global Operation Sequencing and their Composition},
booktitle = {31st International Symposium on Distributed Computing, {DISC} 2017,
October 16-20, 2017, Vienna, Austria},
series = {LIPIcs},
volume = {91},
pages = {23:1--23:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.DISC.2017.23},
doi = {10.4230/LIPICS.DISC.2017.23},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/wdag/GotsmanB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GotsmanB17,
author = {Alexey Gotsman and
Sebastian Burckhardt},
title = {Consistency models with global operation sequencing and their composition
(extended version)},
journal = {CoRR},
volume = {abs/1707.09242},
year = {2017},
url = {http://arxiv.org/abs/1707.09242},
eprinttype = {arXiv},
eprint = {1707.09242},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GotsmanB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/debu/BurckhardtP16,
author = {Sebastian Burckhardt and
Jonathan Protzenko},
title = {Abstract Specifications for Weakly Consistent Data},
journal = {{IEEE} Data Eng. Bull.},
volume = {39},
number = {1},
pages = {45--51},
year = {2016},
url = {http://sites.computer.org/debull/A16mar/p45.pdf},
timestamp = {Tue, 10 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/debu/BurckhardtP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/CoppietersMB16,
author = {Tim Coppieters and
Wolfgang De Meuter and
Sebastian Burckhardt},
editor = {Peter Alvaro and
Alysson Bessani},
title = {Serializable eventual consistency: consistency through object method
replay},
booktitle = {Proceedings of the 2nd Workshop on the Principles and Practice of
Consistency for Distributed Data, PaPoC@EuroSys 2016, London, United
Kingdom, April 18, 2016},
pages = {3:1--3:3},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2911151.2911164},
doi = {10.1145/2911151.2911164},
timestamp = {Tue, 06 Nov 2018 16:58:31 +0100},
biburl = {https://dblp.org/rec/conf/eurosys/CoppietersMB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/AttiyaBGMYZ16,
author = {Hagit Attiya and
Sebastian Burckhardt and
Alexey Gotsman and
Adam Morrison and
Hongseok Yang and
Marek Zawirski},
editor = {George Giakkoupis},
title = {Specification and Complexity of Collaborative Text Editing},
booktitle = {Proceedings of the 2016 {ACM} Symposium on Principles of Distributed
Computing, {PODC} 2016, Chicago, IL, USA, July 25-28, 2016},
pages = {259--268},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933057.2933090},
doi = {10.1145/2933057.2933090},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/podc/AttiyaBGMYZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/BurckhardtLPF15,
author = {Sebastian Burckhardt and
Daan Leijen and
Jonathan Protzenko and
Manuel F{\"{a}}hndrich},
editor = {John Tang Boyland},
title = {Global Sequence Protocol: {A} Robust Abstraction for Replicated Shared
State},
booktitle = {29th European Conference on Object-Oriented Programming, {ECOOP} 2015,
July 5-10, 2015, Prague, Czech Republic},
series = {LIPIcs},
volume = {37},
pages = {568--590},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2015.568},
doi = {10.4230/LIPICS.ECOOP.2015.568},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/BurckhardtLPF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BallBHMPT15,
author = {Thomas Ball and
Sebastian Burckhardt and
Jonathan de Halleux and
Michal Moskal and
Jonathan Protzenko and
Nikolai Tillmann},
editor = {Aharon Abadi and
Danny Dig and
Yael Dubinsky},
title = {Beyond Open Source: The Touch Develop Cloud-Based Integrated Development
Environment},
booktitle = {2nd {ACM} International Conference on Mobile Software Engineering
and Systems, MOBILESoft 2015, Florence, Italy, May 16-17, 2015},
pages = {83--93},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/MobileSoft.2015.20},
doi = {10.1109/MOBILESOFT.2015.20},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/BallBHMPT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/ProtzenkoBMM15,
author = {Jonathan Protzenko and
Sebastian Burckhardt and
Michal Moskal and
Jedidiah McClurg},
editor = {Aharon Abadi and
Lori Flynn and
Jeff Gray},
title = {Implementing real-time collaboration in TouchDevelop using {AST} merges},
booktitle = {Proceedings of the 3rd International Workshop on Mobile Development
Lifecycle, MobileDeLi 2015, Pittsburgh, PA, USA, October 25-30, 2015},
pages = {25--27},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2846661.2846672},
doi = {10.1145/2846661.2846672},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/ProtzenkoBMM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ftpl/Burckhardt14,
author = {Sebastian Burckhardt},
title = {Principles of Eventual Consistency},
journal = {Found. Trends Program. Lang.},
volume = {1},
number = {1-2},
pages = {1--150},
year = {2014},
url = {https://doi.org/10.1561/2500000011},
doi = {10.1561/2500000011},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ftpl/Burckhardt14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/TillmannMHBBB14,
author = {Nikolai Tillmann and
Michal Moskal and
Jonathan de Halleux and
Sebastian Burckhardt and
Thomas Ball and
Judith Bishop},
editor = {Tiziana Catarci and
Aharon Abadi and
Anthony I. Wasserman},
title = {TouchDevelop: create rich mobile apps on touch devices (tutorial)},
booktitle = {Proceedings of the 1st International Conference on Mobile Software
Engineering and Systems, MOBILESoft 2014, Hyderabad, India, June 2-3,
2014},
pages = {1--2},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2593902.2593903},
doi = {10.1145/2593902.2593903},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/TillmannMHBBB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/HiltonCDMBT14,
author = {Michael Hilton and
Arpit Christi and
Danny Dig and
Michal Moskal and
Sebastian Burckhardt and
Nikolai Tillmann},
editor = {Tiziana Catarci and
Aharon Abadi and
Anthony I. Wasserman},
title = {Refactoring local to cloud data types for mobile apps},
booktitle = {Proceedings of the 1st International Conference on Mobile Software
Engineering and Systems, MOBILESoft 2014, Hyderabad, India, June 2-3,
2014},
pages = {83--92},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2593902.2593925},
doi = {10.1145/2593902.2593925},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/HiltonCDMBT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/laser/Burckhardt14,
author = {Sebastian Burckhardt},
editor = {Bertrand Meyer and
Martin Nordio},
title = {Consistency in Distributed Systems},
booktitle = {Software Engineering - International Summer Schools, {LASER} 2013-2014,
Elba, Italy, Revised Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {8987},
pages = {84--120},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-28406-4\_4},
doi = {10.1007/978-3-319-28406-4\_4},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/laser/Burckhardt14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BurckhardtGYZ14,
author = {Sebastian Burckhardt and
Alexey Gotsman and
Hongseok Yang and
Marek Zawirski},
editor = {Suresh Jagannathan and
Peter Sewell},
title = {Replicated data types: specification, verification, optimality},
booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21,
2014},
pages = {271--284},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2535838.2535848},
doi = {10.1145/2535838.2535848},
timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
biburl = {https://dblp.org/rec/conf/popl/BurckhardtGYZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/BurckhardtFHMMTK13,
author = {Sebastian Burckhardt and
Manuel F{\"{a}}hndrich and
Peli de Halleux and
Sean McDirmid and
Michal Moskal and
Nikolai Tillmann and
Jun Kato},
editor = {Hans{-}Juergen Boehm and
Cormac Flanagan},
title = {It's alive! continuous feedback in {UI} programming},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '13, Seattle, WA, USA, June 16-19, 2013},
pages = {95--104},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2491956.2462170},
doi = {10.1145/2491956.2462170},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/BurckhardtFHMMTK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/BurckhardtFLW12,
author = {Sebastian Burckhardt and
Manuel F{\"{a}}hndrich and
Daan Leijen and
Benjamin P. Wood},
editor = {James Noble},
title = {Cloud Types for Eventual Consistency},
booktitle = {{ECOOP} 2012 - Object-Oriented Programming - 26th European Conference,
Beijing, China, June 11-16, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7313},
pages = {283--307},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31057-7\_14},
doi = {10.1007/978-3-642-31057-7\_14},
timestamp = {Fri, 27 Mar 2020 08:51:54 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/BurckhardtFLW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/AtigBBM12,
author = {Mohamed Faouzi Atig and
Ahmed Bouajjani and
Sebastian Burckhardt and
Madanlal Musuvathi},
editor = {Helmut Seidl},
title = {What's Decidable about Weak Memory Models?},
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 = {26--46},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28869-2\_2},
doi = {10.1007/978-3-642-28869-2\_2},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/AtigBBM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/BurckhardtLFS12,
author = {Sebastian Burckhardt and
Daan Leijen and
Manuel F{\"{a}}hndrich and
Mooly Sagiv},
editor = {Helmut Seidl},
title = {Eventually Consistent Transactions},
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 = {67--86},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28869-2\_4},
doi = {10.1007/978-3-642-28869-2\_4},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/BurckhardtLFS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/BurckhardtGMY12,
author = {Sebastian Burckhardt and
Alexey Gotsman and
Madanlal Musuvathi and
Hongseok Yang},
editor = {Helmut Seidl},
title = {Concurrent Library Correctness on the {TSO} Memory Model},
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 = {87--107},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28869-2\_5},
doi = {10.1007/978-3-642-28869-2\_5},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/BurckhardtGMY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/NagarakatteBMM12,
author = {Santosh Nagarakatte and
Sebastian Burckhardt and
Milo M. K. Martin and
Madanlal Musuvathi},
editor = {Jan Vitek and
Haibo Lin and
Frank Tip},
title = {Multicore acceleration of priority-based schedulers for concurrency
bug detection},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '12, Beijing, China - June 11 - 16, 2012},
pages = {543--554},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2254064.2254128},
doi = {10.1145/2254064.2254128},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/pldi/NagarakatteBMM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/TillmannMHFB12,
author = {Nikolai Tillmann and
Michal Moskal and
Jonathan de Halleux and
Manuel F{\"{a}}hndrich and
Sebastian Burckhardt},
editor = {Will Tracz and
Martin P. Robillard and
Tevfik Bultan},
title = {TouchDevelop: app development on mobile devices},
booktitle = {20th {ACM} {SIGSOFT} Symposium on the Foundations of Software Engineering
(FSE-20), SIGSOFT/FSE'12, Cary, NC, {USA} - November 11 - 16, 2012},
pages = {39},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2393596.2393641},
doi = {10.1145/2393596.2393641},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/TillmannMHFB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/BallBHMQ11,
author = {Thomas Ball and
Sebastian Burckhardt and
Peli de Halleux and
Madan Musuvathi and
Shaz Qadeer},
title = {Predictable and Progressive Testing of Multithreaded Code},
journal = {{IEEE} Softw.},
volume = {28},
number = {3},
pages = {75--83},
year = {2011},
url = {https://doi.org/10.1109/MS.2010.64},
doi = {10.1109/MS.2010.64},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/BallBHMQ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/BurckhardtL11,
author = {Sebastian Burckhardt and
Daan Leijen},
editor = {Gilles Barthe},
title = {Semantics of Concurrent Revisions},
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 = {116--135},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19718-5\_7},
doi = {10.1007/978-3-642-19718-5\_7},
timestamp = {Sat, 19 Oct 2019 20:28:04 +0200},
biburl = {https://dblp.org/rec/conf/esop/BurckhardtL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/LeijenFB11,
author = {Daan Leijen and
Manuel F{\"{a}}hndrich and
Sebastian Burckhardt},
editor = {Koen Claessen},
title = {Prettier concurrency: purely functional concurrent revisions},
booktitle = {Proceedings of the 4th {ACM} {SIGPLAN} Symposium on Haskell, Haskell
2011, Tokyo, Japan, 22 September 2011},
pages = {83--94},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2034675.2034686},
doi = {10.1145/2034675.2034686},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/haskell/LeijenFB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/TaftBBBCCGSU11,
author = {S. Tucker Taft and
Joshua J. Bloch and
Robert Bocchino and
Sebastian Burckhardt and
Hassan Chafi and
Russ Cox and
Benedict R. Gaster and
Guy L. Steele Jr. and
David M. Ungar},
editor = {Cristina Videira Lopes and
Kathleen Fisher},
title = {Multicore, manycore, and cloud computing: is a new programming language
paradigm required?},
booktitle = {Companion to 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 = {165--170},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2048147.2048192},
doi = {10.1145/2048147.2048192},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/TaftBBBCCGSU11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/BurckhardtLSYB11,
author = {Sebastian Burckhardt and
Daan Leijen and
Caitlin Sadowski and
Jaeheon Yi and
Thomas Ball},
editor = {Cristina Videira Lopes and
Kathleen Fisher},
title = {Two for the price of one: a model for parallel and incremental computation},
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 = {427--444},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2048066.2048101},
doi = {10.1145/2048066.2048101},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/BurckhardtLSYB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/SadowskiBBBGMMQT11,
author = {Caitlin Sadowski and
Thomas Ball and
Judith Bishop and
Sebastian Burckhardt and
Ganesh Gopalakrishnan and
Joseph Mayo and
Madanlal Musuvathi and
Shaz Qadeer and
Stephen Toub},
editor = {Thomas J. Cortina and
Ellen Lowenfeld Walker and
Laurie A. Smith King and
David R. Musicant},
title = {Practical parallel and concurrent programming},
booktitle = {Proceedings of the 42nd {ACM} technical symposium on Computer science
education, {SIGCSE} 2011, Dallas, TX, USA, March 9-12, 2011},
pages = {189--194},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1953163.1953222},
doi = {10.1145/1953163.1953222},
timestamp = {Wed, 10 Mar 2021 13:17:16 +0100},
biburl = {https://dblp.org/rec/conf/sigcse/SadowskiBBBGMMQT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/BurckhardtKMN10,
author = {Sebastian Burckhardt and
Pravesh Kothari and
Madanlal Musuvathi and
Santosh Nagarakatte},
editor = {James C. Hoe and
Vikram S. Adve},
title = {A randomized scheduler with probabilistic guarantees of finding bugs},
booktitle = {Proceedings of the 15th International Conference on Architectural
Support for Programming Languages and Operating Systems, {ASPLOS}
2010, Pittsburgh, Pennsylvania, USA, March 13-17, 2010},
pages = {167--178},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1736020.1736040},
doi = {10.1145/1736020.1736040},
timestamp = {Wed, 07 Jul 2021 13:23:08 +0200},
biburl = {https://dblp.org/rec/conf/asplos/BurckhardtKMN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/BurckhardtMS10,
author = {Sebastian Burckhardt and
Madanlal Musuvathi and
Vasu Singh},
editor = {Rajiv Gupta},
title = {Verifying Local Transformations on Relaxed Memory Models},
booktitle = {Compiler Construction, 19th International Conference, {CC} 2010, Held
as Part of the Joint European Conferences on Theory and Practice of
Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6011},
pages = {104--123},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11970-5\_7},
doi = {10.1007/978-3-642-11970-5\_7},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/cc/BurckhardtMS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/BurckhardtBL10,
author = {Sebastian Burckhardt and
Alexandro Baldassin and
Daan Leijen},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {Concurrent programming with revisions and isolation types},
booktitle = {Proceedings of the 25th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2010,
October 17-21, 2010, Reno/Tahoe, Nevada, {USA}},
pages = {691--707},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869515},
doi = {10.1145/1869459.1869515},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/BurckhardtBL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/EricksonMBO10,
author = {John Erickson and
Madanlal Musuvathi and
Sebastian Burckhardt and
Kirk Olynyk},
editor = {Remzi H. Arpaci{-}Dusseau and
Brad Chen},
title = {Effective Data-Race Detection for the Kernel},
booktitle = {9th {USENIX} Symposium on Operating Systems Design and Implementation,
{OSDI} 2010, October 4-6, 2010, Vancouver, BC, Canada, Proceedings},
pages = {151--162},
publisher = {{USENIX} Association},
year = {2010},
url = {http://www.usenix.org/events/osdi10/tech/full\_papers/Erickson.pdf},
timestamp = {Thu, 12 Mar 2020 11:35:55 +0100},
biburl = {https://dblp.org/rec/conf/osdi/EricksonMBO10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/BurckhardtDMT10,
author = {Sebastian Burckhardt and
Chris Dern and
Madanlal Musuvathi and
Roy Tan},
editor = {Benjamin G. Zorn and
Alexander Aiken},
title = {Line-up: a complete and automatic linearizability checker},
booktitle = {Proceedings of the 2010 {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2010, Toronto, Ontario,
Canada, June 5-10, 2010},
pages = {330--340},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1806596.1806634},
doi = {10.1145/1806596.1806634},
timestamp = {Tue, 22 Jun 2021 17:10:56 +0200},
biburl = {https://dblp.org/rec/conf/pldi/BurckhardtDMT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/AtigBBM10,
author = {Mohamed Faouzi Atig and
Ahmed Bouajjani and
Sebastian Burckhardt and
Madanlal Musuvathi},
editor = {Manuel V. Hermenegildo and
Jens Palsberg},
title = {On the verification problem for weak memory models},
booktitle = {Proceedings of the 37th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2010, Madrid, Spain, January 17-23,
2010},
pages = {7--18},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1706299.1706303},
doi = {10.1145/1706299.1706303},
timestamp = {Tue, 22 Jun 2021 17:10:57 +0200},
biburl = {https://dblp.org/rec/conf/popl/AtigBBM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/CoonsBM10,
author = {Katherine E. Coons and
Sebastian Burckhardt and
Madanlal Musuvathi},
editor = {R. Govindarajan and
David A. Padua and
Mary W. Hall},
title = {{GAMBIT:} effective unit testing for concurrency libraries},
booktitle = {Proceedings of the 15th {ACM} {SIGPLAN} Symposium on Principles and
Practice of Parallel Programming, {PPOPP} 2010, Bangalore, India,
January 9-14, 2010},
pages = {15--24},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1693453.1693458},
doi = {10.1145/1693453.1693458},
timestamp = {Sun, 12 Jun 2022 19:46:08 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/CoonsBM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BallBCMQ10,
author = {Thomas Ball and
Sebastian Burckhardt and
Katherine E. Coons and
Madanlal Musuvathi and
Shaz Qadeer},
editor = {Javier Esparza and
Rupak Majumdar},
title = {Preemption Sealing for Efficient Concurrency Testing},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
16th International Conference, {TACAS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6015},
pages = {420--434},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12002-2\_35},
doi = {10.1007/978-3-642-12002-2\_35},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BallBCMQ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BallBHMQ09,
author = {Thomas Ball and
Sebastian Burckhardt and
Jonathan de Halleux and
Madanlal Musuvathi and
Shaz Qadeer},
title = {Deconstructing concurrency heisenbugs},
booktitle = {31st International Conference on Software Engineering, {ICSE} 2009,
May 16-24, 2009, Vancouver, Canada, Companion Volume},
pages = {403--404},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ICSE-COMPANION.2009.5071033},
doi = {10.1109/ICSE-COMPANION.2009.5071033},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/BallBHMQ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/LeijenSB09,
author = {Daan Leijen and
Wolfram Schulte and
Sebastian Burckhardt},
editor = {Shail Arora and
Gary T. Leavens},
title = {The design of a task parallel library},
booktitle = {Proceedings of the 24th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2009,
October 25-29, 2009, Orlando, Florida, {USA}},
pages = {227--242},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1640089.1640106},
doi = {10.1145/1640089.1640106},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/LeijenSB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BurckhardtM08,
author = {Sebastian Burckhardt and
Madanlal Musuvathi},
editor = {Aarti Gupta and
Sharad Malik},
title = {Effective Program Verification for Relaxed Memory Models},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {107--120},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_12},
doi = {10.1007/978-3-540-70545-1\_12},
timestamp = {Sat, 30 Sep 2023 09:35:55 +0200},
biburl = {https://dblp.org/rec/conf/cav/BurckhardtM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/BurckhardtAM07,
author = {Sebastian Burckhardt and
Rajeev Alur and
Milo M. K. Martin},
editor = {Jeanne Ferrante and
Kathryn S. McKinley},
title = {CheckFence: checking consistency of concurrent data types on relaxed
memory models},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
Language Design and Implementation, San Diego, California, USA, June
10-13, 2007},
pages = {12--21},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1250734.1250737},
doi = {10.1145/1250734.1250737},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/pldi/BurckhardtAM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BurckhardtAM06,
author = {Sebastian Burckhardt and
Rajeev Alur and
Milo M. K. Martin},
editor = {Thomas Ball and
Robert B. Jones},
title = {Bounded Model Checking of Concurrent Data Types on Relaxed Memory
Models: {A} Case Study},
booktitle = {Computer Aided Verification, 18th International Conference, {CAV}
2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4144},
pages = {489--502},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11817963\_45},
doi = {10.1007/11817963\_45},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/BurckhardtAM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/BurckhardtAM05,
author = {Sebastian Burckhardt and
Rajeev Alur and
Milo M. K. Martin},
editor = {Radhia Cousot},
title = {Verifying Safety of a Token Coherence Implementation by Parametric
Compositional Refinement},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 6th International
Conference, {VMCAI} 2005, Paris, France, January 17-19, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3385},
pages = {130--145},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-30579-8\_9},
doi = {10.1007/978-3-540-30579-8\_9},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/BurckhardtAM05.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-07 22:30 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:
