Senior Principal Researcher
Sebastian Burckhardt, Badrish Chandramouli, Chris Gillum (cgillum), David Justo (dajusto), Konstantinos Kallas, Connor McMahon, Christopher S. Meiklejohn, Xiangfeng Zhu
VLDB J. | February 2025, Vol 34: pp. 25
Special Issue "Best of VLDB 2022"
Tamer Eldeeb, Sebastian Burckhardt, Reuben Bond, Asaf Cidon, Junfeng Yang, Phil Bernstein
Proc. VLDB Endow. | July 2024, Vol 17: pp. 3720-3730
David Liu , Amit Levy, Shadi Noghabi, Sebastian Burckhardt
NSDI | April 2023
Sebastian Burckhardt, Badrish Chandramouli, Chris Gillum, David Justo, Konstantinos Kallas, Connor McMahon, Christopher S. Meiklejohn, Xiangfeng Zhu
VLDB 2022 | April 2022
Sebastian Burckhardt, Chris Gillum, David Justo, Konstantinos Kallas, Connor McMahon, Christopher S. Meiklejohn
OOPSLA | October 2021
Sebastian Burckhardt, Chris Gillum, David Justo, Konstantinos Kallas, Connor McMahon, Christopher S. Meiklejohn
February 2021
Hagit Attiya, Sebastian Burckhardt, Alexey Gotsman, Adam Morrison, Hongseok Yang, Marek Zawirski
Theoretical Computer Science | February 2021, Vol 855: pp. 141-160
Jonathan Goldstein, Ahmed Abdelhamid, Mike Barnett, Sebastian Burckhardt, Badrish Chandramouli, Darren Gehring, Niel Lebeck, Christopher Meiklejohn, Umar Farooq Minhas, Ryan Newton, Rahee Ghosh Peshawaria, Tal Zaccai, Irene Zhang
MSR-TR-2018-40 | December 2018
Publié par Microsoft
This paper describes the main ideas and research behind the open source Ambrosia platform for writing resilient distributed applications.
Sebastian Burckhardt, Tim Coppieters
OOPSLA | November 2018
Phil Bernstein, Sebastian Burckhardt, Sergey Bykov, Natacha Crooks, Jose M. Faleiro, Gabriel Kliot, Alok Kumbhare, Muntasir Raihan Rahman, Vivek Shah, Adriana Szekeres, Jorgen Thelin
Proc. ACM Program. Lang. | October 2017
Alexey Gotsman, Sebastian Burckhardt
Leibniz International Proceedings in Informatics (LIPIcs); 31st International Symposium on Distributed Computing (DISC 2017) | October 2017
Phil Bernstein, Sebastian Burckhardt, Sergey Bykov, Natacha Crooks, Jose Faleiro, Gabriel Kliot, Alok Kumbhare, Muntasir Raihan Rahman, Vivek Shah, Adriana Szekeres, Jorgen Thelin
MSR-TR-2017-3 | January 2017
Publié par Microsoft
Hagit Attiya, Sebastian Burckhardt, Alexey Gotsman, Adam Morrison, Hongseok Yang, Marek Zawirski
Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing | July 2016
Sebastian Burckhardt, Jonathan Protzenko
IEEE Data Eng. Bull. | March 2016, Vol 39: pp. 45-51
Software Engineering - International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures | November 2015
ISBN: 978-3-319-28405-7
Sebastian Burckhardt, Michal Moskal, Jonathan Protzenko, Nikolai Tillmann, Thomas Ball, Jonathan "Peli" de Halleux
In Proceedings of 2nd ACM International Conference on Mobile Software Engineering and Systems (MOBILESoft) | May 2015
Sebastian Burckhardt, Michal Moskal
MSR-TR-2015-17 | February 2015
Sebastian Burckhardt, Daan Leijen, Jonathan Protzenko, Manuel Fahndrich
MSR-TR-2015-11 | January 2015
Jonathan Protzenko, Sebastian Burckhardt, Jedidiah McClurg
Proceedings of the 3rd International Workshop on Mobile Development Lifecycle, MobileDeLi 2015, Pittsburgh, PA, USA, October 25-30, 2015 | January 2015
ISBN: 978-1-4503-3906-3
Published by Now Publishers | October 2014, Vol 1 | Principles of Eventual Consistency edition
Thomas Ball, Sebastian Burckhardt, Jonathan "Peli" de Halleux, Michal Moskal, Nikolai Tillmann
MSR-TR-2014-127 | September 2014
Nikolai Tillmann, Michal Moskal, Jonathan "Peli" de Halleux, Sebastian Burckhardt, Thomas Ball, Judith Bishop
Proceedings of the First International Conference on Mobile Software Engineering and Systems (MOBILESOFT) | June 2014
Proceedings of the First International Conference on Mobile Software Engineering and Systems (MOBILESOFT)
Tutorial
Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Michal Moskal, Nikolai Tillmann, Jonathan "Peli" de Halleux, Thomas Ball
MSR-TR-2014-63 | May 2014
Sebastian Burckhardt, Daan Leijen, Manuel Fahndrich
MSR-TR-2014-43 | March 2014
Alexey Gotsman, Hongseok Yang, Marek Zawirski, Sebastian Burckhardt
41st Symposium on Principles of Programming Languages (POPL) | January 2014
Sebastian Burckhardt, Manuel Fahndrich, Jonathan "Peli" de Halleux, Sean McDirmid, Michal Moskal, Nikolai Tillmann
PLDI | June 2013
PLDI
Sebastian Burckhardt, Alexey Gotsman, Hongseok Yang
MSR-TR-2013-39 | March 2013
This document is work in progress. Feel free to cite, but note that we will update the contents without warning (the first page contains a timestamp), and that we are likely going to publish the content in some future venue, at which point we will update this paragraph.
Nikolai Tillmann, Michal Moskal, Manuel Fahndrich, Sebastian Burckhardt, Jonathan "Peli" de Halleux
Proc. 20th International Symposium on Foundations of Software Engineering (FSE 2012), Demonstration | November 2012
Proc. 20th International Symposium on Foundations of Software Engineering (FSE 2012), Demonstration
Santosh Nagarakatte, Sebastian Burckhardt, Milo M. K. Martin, Madan Musuvathi
Programming Languages Design and Implementation | July 2012
Programming Languages Design and Implementation
Daan Leijen, Sebastian Burckhardt, Benjamin P. Wood, Manuel Fahndrich
Proceedings of the 26th European Conference on Object-Oriented Programming (ECOOP) | June 2012
Proceedings of the 26th European Conference on Object-Oriented Programming (ECOOP)
Sebastian Burckhardt, Alexey Gotsman, Madanlal Musuvathi, Hongseok Yang, Madan Musuvathi
21st European Symposium on Programming (ESOP 2012) | March 2012
21st European Symposium on Programming (ESOP 2012)
Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi, Madan Musuvathi
21st European Symposium on Programming (ESOP 2012) | March 2012
21st European Symposium on Programming (ESOP 2012)
Sebastian Burckhardt, Manuel Fahndrich, Daan Leijen, Mooly Sagiv
Proceedings of the 22n European Symposium on Programming (ESOP) | March 2012
Proceedings of the 22n European Symposium on Programming (ESOP)
Sebastian Burckhardt, Daan Leijen, , Jaeheon Yi, Thomas Ball, Thomas Ball
Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA'11) | October 2011
Sebastian Burckhardt, Daan Leijen, Manuel Fahndrich, Mooly Sagiv
MSR-TR-2011-117 | October 2011
This is the full version with proofs of our ESOP 2012 paper.
Daan Leijen, Sebastian Burckhardt, Manuel Fahndrich
Haskell Symposium 2011 (Haskell'11) | July 2011
Haskell Symposium 2011 (Haskell'11)
Sebastian Burckhardt, Madan Musuvathi, Shaz Qadeer, Jonathan "Peli" de Halleux, Thomas Ball
IEEE Software | May 2011, Vol 28: pp. 75-83
Sebastian Burckhardt, Manuel Fahndrich, Daan Leijen
The 2nd Workshop on Determinism and Correctness in Parallel Programming (WODET'11) | March 2011
(no formal proceedings)
Sebastian Burckhardt, Daan Leijen
European Symposium on Programming (ESOP'11) | March 2011
Sebastian Burckhardt, Alexandro Baldassion, Daan Leijen
Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA'10) | October 2010
Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA'10)
John Erickson, Madan Musuvathi, Sebastian Burckhardt, Kirk Olynyk
Operating System Design and Implementation (OSDI'10) | October 2010
Operating System Design and Implementation (OSDI'10)
Sebastian Burckhardt, Daan Leijen
MSR-TR-2010-94 | July 2010
Sebastian Burckhardt, Chris Dern, Madan Musuvathi, Roy Tan
Programming Language Design and Implementation (PLDI) | June 2010
Programming Language Design and Implementation (PLDI)
Thomas Ball, Sebastian Burckhardt, Katherine Coons, Madan Musuvathi, Shaz Qadeer
Conference on Tools and Algorithms for the Construction and Analysis of Systems | April 2010
Sebastian Burckhardt, Madanlal Musuvathi, Vasu Singh, Madan Musuvathi
CC 2010: International Conference on Compiler Construction | March 2010
CC 2010: International Conference on Compiler Construction
Madan Musuvathi, Sebastian Burckhardt, Pravesh Kothari,
Proceedings of the Fifteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2010) | March 2010
Proceedings of the Fifteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2010)
Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi, Madan Musuvathi
Proceedings of the 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2010
Proceedings of the 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Katherine E. Coons, Madan Musuvathi, Sebastian Burckhardt
Proceedings of the 15th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming | January 2010
Proceedings of the 15th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming
Madan Musuvathi, Sebastian Burckhardt, Pravesh Kothari,
MSR-TR-2010-3 | January 2010
Thomas Ball, Sebastian Burckhardt, Katherine Coons, Madan Musuvathi, Shaz Qadeer
MSR-TR-2009-143 | October 2009
Daan Leijen, Wolfram Schulte, Sebastian Burckhardt
Proceeding of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications (OOPSLA'09) | September 2009
Alexandro Baldassin, Sebastian Burckhardt
First USENIX Workshop on Hot Topics in Parallelism | March 2009
Sebastian Burckhardt, Madanlal Musuvathi, Vasu singh, Madan Musuvathi
MSR-TR-2008-171 | November 2008
Alexandro Baldassin, Sebastian Burckhardt
MSR-TR-2008-152 | October 2008
Sebastian Burckhardt, Madan Musuvathi
Computer-Aided Verification (CAV) | July 2008
The files above are full-text pdf, and the original powerpoint presentation from CAV. See also the companion tech report with the same title, it has additional material (including equivalence proofs for operational/axiomatic memory models of SC and TSO) in the appendix.
Sebastian Burckhardt, Madan Musuvathi
July 2008
Workshop on Exploiting Concurrency Efficiently and Correctly (EC^2)
Sebastian Burckhardt, Madan Musuvathi
MSR-TR-2008-12 | January 2008
A shorter version of this TR appeared in CAV (Computer-Aided Verification) 2008.
August 2007
August 2007
Doctoral Dissertation
S. Burckhardt, R. Alur, M. Martin, Sebastian Burckhardt
Programming Language Design and Implementation (PLDI) | January 2007
Programming Language Design and Implementation (PLDI)
Rajeev Alur, Sebastian Burckhardt, Milo Martin
Computer-Aided Verification (CAV) | January 2006
Sebastian Burckhardt, Badrish Chandramouli, Chris Gillum (cgillum), David Justo (dajusto), Konstantinos Kallas, Connor McMahon, Christopher S. Meiklejohn, Xiangfeng Zhu
VLDB J. | February 2025, Vol 34: pp. 25
Special Issue "Best of VLDB 2022"
Tamer Eldeeb, Sebastian Burckhardt, Reuben Bond, Asaf Cidon, Junfeng Yang, Phil Bernstein
Proc. VLDB Endow. | July 2024, Vol 17: pp. 3720-3730
Sebastian Burckhardt, Badrish Chandramouli, Chris Gillum, David Justo, Konstantinos Kallas, Connor McMahon, Christopher S. Meiklejohn, Xiangfeng Zhu
VLDB 2022 | April 2022
Jonathan Goldstein, Ahmed Abdelhamid, Mike Barnett, Sebastian Burckhardt, Badrish Chandramouli, Darren Gehring, Niel Lebeck, Christopher Meiklejohn, Umar Farooq Minhas, Ryan Newton, Rahee Ghosh Peshawaria, Tal Zaccai, Irene Zhang
MSR-TR-2018-40 | December 2018
Publié par Microsoft
This paper describes the main ideas and research behind the open source Ambrosia platform for writing resilient distributed applications.
Sebastian Burckhardt, Badrish Chandramouli, Chris Gillum (cgillum), David Justo (dajusto), Konstantinos Kallas, Connor McMahon, Christopher S. Meiklejohn, Xiangfeng Zhu
VLDB J. | February 2025, Vol 34: pp. 25
Special Issue "Best of VLDB 2022"
Tamer Eldeeb, Sebastian Burckhardt, Reuben Bond, Asaf Cidon, Junfeng Yang, Phil Bernstein
Proc. VLDB Endow. | July 2024, Vol 17: pp. 3720-3730
David Liu , Amit Levy, Shadi Noghabi, Sebastian Burckhardt
NSDI | April 2023
Sebastian Burckhardt, Badrish Chandramouli, Chris Gillum, David Justo, Konstantinos Kallas, Connor McMahon, Christopher S. Meiklejohn, Xiangfeng Zhu
VLDB 2022 | April 2022
Jonathan Goldstein, Ahmed Abdelhamid, Mike Barnett, Sebastian Burckhardt, Badrish Chandramouli, Darren Gehring, Niel Lebeck, Christopher Meiklejohn, Umar Farooq Minhas, Ryan Newton, Rahee Ghosh Peshawaria, Tal Zaccai, Irene Zhang
MSR-TR-2018-40 | December 2018
Publié par Microsoft
This paper describes the main ideas and research behind the open source Ambrosia platform for writing resilient distributed applications.
Phil Bernstein, Sebastian Burckhardt, Sergey Bykov, Natacha Crooks, Jose M. Faleiro, Gabriel Kliot, Alok Kumbhare, Muntasir Raihan Rahman, Vivek Shah, Adriana Szekeres, Jorgen Thelin
Proc. ACM Program. Lang. | October 2017
Phil Bernstein, Sebastian Burckhardt, Sergey Bykov, Natacha Crooks, Jose Faleiro, Gabriel Kliot, Alok Kumbhare, Muntasir Raihan Rahman, Vivek Shah, Adriana Szekeres, Jorgen Thelin
MSR-TR-2017-3 | January 2017
Publié par Microsoft
Sebastian Burckhardt, Jonathan Protzenko
IEEE Data Eng. Bull. | March 2016, Vol 39: pp. 45-51
Software Engineering - International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures | November 2015
ISBN: 978-3-319-28405-7
Published by Now Publishers | October 2014, Vol 1 | Principles of Eventual Consistency edition
Daan Leijen, Sebastian Burckhardt, Benjamin P. Wood, Manuel Fahndrich
Proceedings of the 26th European Conference on Object-Oriented Programming (ECOOP) | June 2012
Proceedings of the 26th European Conference on Object-Oriented Programming (ECOOP)
Sebastian Burckhardt, Manuel Fahndrich, Daan Leijen, Mooly Sagiv
Proceedings of the 22n European Symposium on Programming (ESOP) | March 2012
Proceedings of the 22n European Symposium on Programming (ESOP)
Madan Musuvathi, Sebastian Burckhardt, Pravesh Kothari,
MSR-TR-2010-3 | January 2010
Thomas Ball, Sebastian Burckhardt, Katherine Coons, Madan Musuvathi, Shaz Qadeer
MSR-TR-2009-143 | October 2009
David Liu , Amit Levy, Shadi Noghabi, Sebastian Burckhardt
NSDI | April 2023
Sebastian Burckhardt, Badrish Chandramouli, Chris Gillum, David Justo, Konstantinos Kallas, Connor McMahon, Christopher S. Meiklejohn, Xiangfeng Zhu
VLDB 2022 | April 2022
Sebastian Burckhardt, Chris Gillum, David Justo, Konstantinos Kallas, Connor McMahon, Christopher S. Meiklejohn
OOPSLA | October 2021
Sebastian Burckhardt, Chris Gillum, David Justo, Konstantinos Kallas, Connor McMahon, Christopher S. Meiklejohn
February 2021
Hagit Attiya, Sebastian Burckhardt, Alexey Gotsman, Adam Morrison, Hongseok Yang, Marek Zawirski
Theoretical Computer Science | February 2021, Vol 855: pp. 141-160
Jonathan Goldstein, Ahmed Abdelhamid, Mike Barnett, Sebastian Burckhardt, Badrish Chandramouli, Darren Gehring, Niel Lebeck, Christopher Meiklejohn, Umar Farooq Minhas, Ryan Newton, Rahee Ghosh Peshawaria, Tal Zaccai, Irene Zhang
MSR-TR-2018-40 | December 2018
Publié par Microsoft
This paper describes the main ideas and research behind the open source Ambrosia platform for writing resilient distributed applications.
Sebastian Burckhardt, Tim Coppieters
OOPSLA | November 2018
Phil Bernstein, Sebastian Burckhardt, Sergey Bykov, Natacha Crooks, Jose M. Faleiro, Gabriel Kliot, Alok Kumbhare, Muntasir Raihan Rahman, Vivek Shah, Adriana Szekeres, Jorgen Thelin
Proc. ACM Program. Lang. | October 2017
Alexey Gotsman, Sebastian Burckhardt
Leibniz International Proceedings in Informatics (LIPIcs); 31st International Symposium on Distributed Computing (DISC 2017) | October 2017
Phil Bernstein, Sebastian Burckhardt, Sergey Bykov, Natacha Crooks, Jose Faleiro, Gabriel Kliot, Alok Kumbhare, Muntasir Raihan Rahman, Vivek Shah, Adriana Szekeres, Jorgen Thelin
MSR-TR-2017-3 | January 2017
Publié par Microsoft
Hagit Attiya, Sebastian Burckhardt, Alexey Gotsman, Adam Morrison, Hongseok Yang, Marek Zawirski
Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing | July 2016
Sebastian Burckhardt, Jonathan Protzenko
IEEE Data Eng. Bull. | March 2016, Vol 39: pp. 45-51
Software Engineering - International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures | November 2015
ISBN: 978-3-319-28405-7
Sebastian Burckhardt, Michal Moskal, Jonathan Protzenko, Nikolai Tillmann, Thomas Ball, Jonathan "Peli" de Halleux
In Proceedings of 2nd ACM International Conference on Mobile Software Engineering and Systems (MOBILESoft) | May 2015
Sebastian Burckhardt, Michal Moskal
MSR-TR-2015-17 | February 2015
Jonathan Protzenko, Sebastian Burckhardt, Jedidiah McClurg
Proceedings of the 3rd International Workshop on Mobile Development Lifecycle, MobileDeLi 2015, Pittsburgh, PA, USA, October 25-30, 2015 | January 2015
ISBN: 978-1-4503-3906-3
Sebastian Burckhardt, Daan Leijen, Jonathan Protzenko, Manuel Fahndrich
MSR-TR-2015-11 | January 2015
Published by Now Publishers | October 2014, Vol 1 | Principles of Eventual Consistency edition
Thomas Ball, Sebastian Burckhardt, Jonathan "Peli" de Halleux, Michal Moskal, Nikolai Tillmann
MSR-TR-2014-127 | September 2014
Nikolai Tillmann, Michal Moskal, Jonathan "Peli" de Halleux, Sebastian Burckhardt, Thomas Ball, Judith Bishop
Proceedings of the First International Conference on Mobile Software Engineering and Systems (MOBILESOFT) | June 2014
Proceedings of the First International Conference on Mobile Software Engineering and Systems (MOBILESOFT)
Tutorial
Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Michal Moskal, Nikolai Tillmann, Jonathan "Peli" de Halleux, Thomas Ball
MSR-TR-2014-63 | May 2014
Sebastian Burckhardt, Daan Leijen, Manuel Fahndrich
MSR-TR-2014-43 | March 2014
Alexey Gotsman, Hongseok Yang, Marek Zawirski, Sebastian Burckhardt
41st Symposium on Principles of Programming Languages (POPL) | January 2014
Sebastian Burckhardt, Manuel Fahndrich, Jonathan "Peli" de Halleux, Sean McDirmid, Michal Moskal, Nikolai Tillmann
PLDI | June 2013
PLDI
Sebastian Burckhardt, Alexey Gotsman, Hongseok Yang
MSR-TR-2013-39 | March 2013
This document is work in progress. Feel free to cite, but note that we will update the contents without warning (the first page contains a timestamp), and that we are likely going to publish the content in some future venue, at which point we will update this paragraph.
Nikolai Tillmann, Michal Moskal, Manuel Fahndrich, Sebastian Burckhardt, Jonathan "Peli" de Halleux
Proc. 20th International Symposium on Foundations of Software Engineering (FSE 2012), Demonstration | November 2012
Proc. 20th International Symposium on Foundations of Software Engineering (FSE 2012), Demonstration
Santosh Nagarakatte, Sebastian Burckhardt, Milo M. K. Martin, Madan Musuvathi
Programming Languages Design and Implementation | July 2012
Programming Languages Design and Implementation
Daan Leijen, Sebastian Burckhardt, Benjamin P. Wood, Manuel Fahndrich
Proceedings of the 26th European Conference on Object-Oriented Programming (ECOOP) | June 2012
Proceedings of the 26th European Conference on Object-Oriented Programming (ECOOP)
Sebastian Burckhardt, Alexey Gotsman, Madanlal Musuvathi, Hongseok Yang, Madan Musuvathi
21st European Symposium on Programming (ESOP 2012) | March 2012
21st European Symposium on Programming (ESOP 2012)
Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi, Madan Musuvathi
21st European Symposium on Programming (ESOP 2012) | March 2012
21st European Symposium on Programming (ESOP 2012)
Sebastian Burckhardt, Manuel Fahndrich, Daan Leijen, Mooly Sagiv
Proceedings of the 22n European Symposium on Programming (ESOP) | March 2012
Proceedings of the 22n European Symposium on Programming (ESOP)
Sebastian Burckhardt, Daan Leijen, , Jaeheon Yi, Thomas Ball, Thomas Ball
Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA'11) | October 2011
Sebastian Burckhardt, Daan Leijen, Manuel Fahndrich, Mooly Sagiv
MSR-TR-2011-117 | October 2011
This is the full version with proofs of our ESOP 2012 paper.
Daan Leijen, Sebastian Burckhardt, Manuel Fahndrich
Haskell Symposium 2011 (Haskell'11) | July 2011
Haskell Symposium 2011 (Haskell'11)
Sebastian Burckhardt, Madan Musuvathi, Shaz Qadeer, Jonathan "Peli" de Halleux, Thomas Ball
IEEE Software | May 2011, Vol 28: pp. 75-83
Sebastian Burckhardt, Manuel Fahndrich, Daan Leijen
The 2nd Workshop on Determinism and Correctness in Parallel Programming (WODET'11) | March 2011
(no formal proceedings)
Sebastian Burckhardt, Daan Leijen
European Symposium on Programming (ESOP'11) | March 2011
John Erickson, Madan Musuvathi, Sebastian Burckhardt, Kirk Olynyk
Operating System Design and Implementation (OSDI'10) | October 2010
Operating System Design and Implementation (OSDI'10)
Sebastian Burckhardt, Alexandro Baldassion, Daan Leijen
Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA'10) | October 2010
Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA'10)
Sebastian Burckhardt, Daan Leijen
MSR-TR-2010-94 | July 2010
Sebastian Burckhardt, Chris Dern, Madan Musuvathi, Roy Tan
Programming Language Design and Implementation (PLDI) | June 2010
Programming Language Design and Implementation (PLDI)
Thomas Ball, Sebastian Burckhardt, Katherine Coons, Madan Musuvathi, Shaz Qadeer
Conference on Tools and Algorithms for the Construction and Analysis of Systems | April 2010
Sebastian Burckhardt, Madanlal Musuvathi, Vasu Singh, Madan Musuvathi
CC 2010: International Conference on Compiler Construction | March 2010
CC 2010: International Conference on Compiler Construction
Madan Musuvathi, Sebastian Burckhardt, Pravesh Kothari,
Proceedings of the Fifteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2010) | March 2010
Proceedings of the Fifteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2010)
Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi, Madan Musuvathi
Proceedings of the 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2010
Proceedings of the 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Katherine E. Coons, Madan Musuvathi, Sebastian Burckhardt
Proceedings of the 15th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming | January 2010
Proceedings of the 15th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming
Madan Musuvathi, Sebastian Burckhardt, Pravesh Kothari,
MSR-TR-2010-3 | January 2010
Thomas Ball, Sebastian Burckhardt, Katherine Coons, Madan Musuvathi, Shaz Qadeer
MSR-TR-2009-143 | October 2009
Daan Leijen, Wolfram Schulte, Sebastian Burckhardt
Proceeding of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications (OOPSLA'09) | September 2009
Alexandro Baldassin, Sebastian Burckhardt
First USENIX Workshop on Hot Topics in Parallelism | March 2009
Sebastian Burckhardt, Madanlal Musuvathi, Vasu singh, Madan Musuvathi
MSR-TR-2008-171 | November 2008
Alexandro Baldassin, Sebastian Burckhardt
MSR-TR-2008-152 | October 2008
Sebastian Burckhardt, Madan Musuvathi
July 2008
Workshop on Exploiting Concurrency Efficiently and Correctly (EC^2)
Sebastian Burckhardt, Madan Musuvathi
Computer-Aided Verification (CAV) | July 2008
The files above are full-text pdf, and the original powerpoint presentation from CAV. See also the companion tech report with the same title, it has additional material (including equivalence proofs for operational/axiomatic memory models of SC and TSO) in the appendix.
Sebastian Burckhardt, Madan Musuvathi
MSR-TR-2008-12 | January 2008
A shorter version of this TR appeared in CAV (Computer-Aided Verification) 2008.
August 2007
August 2007
Doctoral Dissertation
Hagit Attiya, Sebastian Burckhardt, Alexey Gotsman, Adam Morrison, Hongseok Yang, Marek Zawirski
Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing | July 2016
Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi, Madan Musuvathi
Proceedings of the 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2010
Proceedings of the 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Rajeev Alur, Sebastian Burckhardt, Milo Martin
Computer-Aided Verification (CAV) | January 2006
Nikolai Tillmann, Michal Moskal, Manuel Fahndrich, Sebastian Burckhardt, Jonathan "Peli" de Halleux
Proc. 20th International Symposium on Foundations of Software Engineering (FSE 2012), Demonstration | November 2012
Proc. 20th International Symposium on Foundations of Software Engineering (FSE 2012), Demonstration
S. Burckhardt, R. Alur, M. Martin, Sebastian Burckhardt
Programming Language Design and Implementation (PLDI) | January 2007
Programming Language Design and Implementation (PLDI)
Sebastian Burckhardt, Badrish Chandramouli, Chris Gillum (cgillum), David Justo (dajusto), Konstantinos Kallas, Connor McMahon, Christopher S. Meiklejohn, Xiangfeng Zhu
VLDB J. | February 2025, Vol 34: pp. 25
Special Issue "Best of VLDB 2022"
Tamer Eldeeb, Sebastian Burckhardt, Reuben Bond, Asaf Cidon, Junfeng Yang, Phil Bernstein
Proc. VLDB Endow. | July 2024, Vol 17: pp. 3720-3730
Hagit Attiya, Sebastian Burckhardt, Alexey Gotsman, Adam Morrison, Hongseok Yang, Marek Zawirski
Theoretical Computer Science | February 2021, Vol 855: pp. 141-160
Sebastian Burckhardt, Jonathan Protzenko
IEEE Data Eng. Bull. | March 2016, Vol 39: pp. 45-51
Sebastian Burckhardt, Madan Musuvathi, Shaz Qadeer, Jonathan "Peli" de Halleux, Thomas Ball
IEEE Software | May 2011, Vol 28: pp. 75-83
David Liu , Amit Levy, Shadi Noghabi, Sebastian Burckhardt
NSDI | April 2023
Sebastian Burckhardt, Badrish Chandramouli, Chris Gillum, David Justo, Konstantinos Kallas, Connor McMahon, Christopher S. Meiklejohn, Xiangfeng Zhu
VLDB 2022 | April 2022
Sebastian Burckhardt, Chris Gillum, David Justo, Konstantinos Kallas, Connor McMahon, Christopher S. Meiklejohn
OOPSLA | October 2021
Sebastian Burckhardt, Tim Coppieters
OOPSLA | November 2018
Phil Bernstein, Sebastian Burckhardt, Sergey Bykov, Natacha Crooks, Jose M. Faleiro, Gabriel Kliot, Alok Kumbhare, Muntasir Raihan Rahman, Vivek Shah, Adriana Szekeres, Jorgen Thelin
Proc. ACM Program. Lang. | October 2017
Alexey Gotsman, Sebastian Burckhardt
Leibniz International Proceedings in Informatics (LIPIcs); 31st International Symposium on Distributed Computing (DISC 2017) | October 2017
Hagit Attiya, Sebastian Burckhardt, Alexey Gotsman, Adam Morrison, Hongseok Yang, Marek Zawirski
Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing | July 2016
Software Engineering - International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures | November 2015
ISBN: 978-3-319-28405-7
Sebastian Burckhardt, Michal Moskal, Jonathan Protzenko, Nikolai Tillmann, Thomas Ball, Jonathan "Peli" de Halleux
In Proceedings of 2nd ACM International Conference on Mobile Software Engineering and Systems (MOBILESoft) | May 2015
Jonathan Protzenko, Sebastian Burckhardt, Jedidiah McClurg
Proceedings of the 3rd International Workshop on Mobile Development Lifecycle, MobileDeLi 2015, Pittsburgh, PA, USA, October 25-30, 2015 | January 2015
ISBN: 978-1-4503-3906-3
Nikolai Tillmann, Michal Moskal, Jonathan "Peli" de Halleux, Sebastian Burckhardt, Thomas Ball, Judith Bishop
Proceedings of the First International Conference on Mobile Software Engineering and Systems (MOBILESOFT) | June 2014
Proceedings of the First International Conference on Mobile Software Engineering and Systems (MOBILESOFT)
Tutorial
Alexey Gotsman, Hongseok Yang, Marek Zawirski, Sebastian Burckhardt
41st Symposium on Principles of Programming Languages (POPL) | January 2014
Sebastian Burckhardt, Manuel Fahndrich, Jonathan "Peli" de Halleux, Sean McDirmid, Michal Moskal, Nikolai Tillmann
PLDI | June 2013
PLDI
Nikolai Tillmann, Michal Moskal, Manuel Fahndrich, Sebastian Burckhardt, Jonathan "Peli" de Halleux
Proc. 20th International Symposium on Foundations of Software Engineering (FSE 2012), Demonstration | November 2012
Proc. 20th International Symposium on Foundations of Software Engineering (FSE 2012), Demonstration
Santosh Nagarakatte, Sebastian Burckhardt, Milo M. K. Martin, Madan Musuvathi
Programming Languages Design and Implementation | July 2012
Programming Languages Design and Implementation
Daan Leijen, Sebastian Burckhardt, Benjamin P. Wood, Manuel Fahndrich
Proceedings of the 26th European Conference on Object-Oriented Programming (ECOOP) | June 2012
Proceedings of the 26th European Conference on Object-Oriented Programming (ECOOP)
Sebastian Burckhardt, Alexey Gotsman, Madanlal Musuvathi, Hongseok Yang, Madan Musuvathi
21st European Symposium on Programming (ESOP 2012) | March 2012
21st European Symposium on Programming (ESOP 2012)
Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi, Madan Musuvathi
21st European Symposium on Programming (ESOP 2012) | March 2012
21st European Symposium on Programming (ESOP 2012)
Sebastian Burckhardt, Manuel Fahndrich, Daan Leijen, Mooly Sagiv
Proceedings of the 22n European Symposium on Programming (ESOP) | March 2012
Proceedings of the 22n European Symposium on Programming (ESOP)
Sebastian Burckhardt, Daan Leijen, , Jaeheon Yi, Thomas Ball, Thomas Ball
Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA'11) | October 2011
Daan Leijen, Sebastian Burckhardt, Manuel Fahndrich
Haskell Symposium 2011 (Haskell'11) | July 2011
Haskell Symposium 2011 (Haskell'11)
Sebastian Burckhardt, Manuel Fahndrich, Daan Leijen
The 2nd Workshop on Determinism and Correctness in Parallel Programming (WODET'11) | March 2011
(no formal proceedings)
Sebastian Burckhardt, Daan Leijen
European Symposium on Programming (ESOP'11) | March 2011
John Erickson, Madan Musuvathi, Sebastian Burckhardt, Kirk Olynyk
Operating System Design and Implementation (OSDI'10) | October 2010
Operating System Design and Implementation (OSDI'10)
Sebastian Burckhardt, Alexandro Baldassion, Daan Leijen
Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA'10) | October 2010
Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA'10)
Sebastian Burckhardt, Chris Dern, Madan Musuvathi, Roy Tan
Programming Language Design and Implementation (PLDI) | June 2010
Programming Language Design and Implementation (PLDI)
Thomas Ball, Sebastian Burckhardt, Katherine Coons, Madan Musuvathi, Shaz Qadeer
Conference on Tools and Algorithms for the Construction and Analysis of Systems | April 2010
Sebastian Burckhardt, Madanlal Musuvathi, Vasu Singh, Madan Musuvathi
CC 2010: International Conference on Compiler Construction | March 2010
CC 2010: International Conference on Compiler Construction
Madan Musuvathi, Sebastian Burckhardt, Pravesh Kothari,
Proceedings of the Fifteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2010) | March 2010
Proceedings of the Fifteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2010)
Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi, Madan Musuvathi
Proceedings of the 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2010
Proceedings of the 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Katherine E. Coons, Madan Musuvathi, Sebastian Burckhardt
Proceedings of the 15th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming | January 2010
Proceedings of the 15th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming
Daan Leijen, Wolfram Schulte, Sebastian Burckhardt
Proceeding of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications (OOPSLA'09) | September 2009
Alexandro Baldassin, Sebastian Burckhardt
First USENIX Workshop on Hot Topics in Parallelism | March 2009
Sebastian Burckhardt, Madan Musuvathi
Computer-Aided Verification (CAV) | July 2008
The files above are full-text pdf, and the original powerpoint presentation from CAV. See also the companion tech report with the same title, it has additional material (including equivalence proofs for operational/axiomatic memory models of SC and TSO) in the appendix.
S. Burckhardt, R. Alur, M. Martin, Sebastian Burckhardt
Programming Language Design and Implementation (PLDI) | January 2007
Programming Language Design and Implementation (PLDI)
Rajeev Alur, Sebastian Burckhardt, Milo Martin
Computer-Aided Verification (CAV) | January 2006
Sebastian Burckhardt, Chris Gillum, David Justo, Konstantinos Kallas, Connor McMahon, Christopher S. Meiklejohn
February 2021
Sebastian Burckhardt, Madan Musuvathi
July 2008
Workshop on Exploiting Concurrency Efficiently and Correctly (EC^2)
Jonathan Goldstein, Ahmed Abdelhamid, Mike Barnett, Sebastian Burckhardt, Badrish Chandramouli, Darren Gehring, Niel Lebeck, Christopher Meiklejohn, Umar Farooq Minhas, Ryan Newton, Rahee Ghosh Peshawaria, Tal Zaccai, Irene Zhang
MSR-TR-2018-40 | December 2018
Publié par Microsoft
This paper describes the main ideas and research behind the open source Ambrosia platform for writing resilient distributed applications.
Phil Bernstein, Sebastian Burckhardt, Sergey Bykov, Natacha Crooks, Jose Faleiro, Gabriel Kliot, Alok Kumbhare, Muntasir Raihan Rahman, Vivek Shah, Adriana Szekeres, Jorgen Thelin
MSR-TR-2017-3 | January 2017
Publié par Microsoft
Sebastian Burckhardt, Michal Moskal
MSR-TR-2015-17 | February 2015
Sebastian Burckhardt, Daan Leijen, Jonathan Protzenko, Manuel Fahndrich
MSR-TR-2015-11 | January 2015
Thomas Ball, Sebastian Burckhardt, Jonathan "Peli" de Halleux, Michal Moskal, Nikolai Tillmann
MSR-TR-2014-127 | September 2014
Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Michal Moskal, Nikolai Tillmann, Jonathan "Peli" de Halleux, Thomas Ball
MSR-TR-2014-63 | May 2014
Sebastian Burckhardt, Daan Leijen, Manuel Fahndrich
MSR-TR-2014-43 | March 2014
Sebastian Burckhardt, Alexey Gotsman, Hongseok Yang
MSR-TR-2013-39 | March 2013
This document is work in progress. Feel free to cite, but note that we will update the contents without warning (the first page contains a timestamp), and that we are likely going to publish the content in some future venue, at which point we will update this paragraph.
Sebastian Burckhardt, Daan Leijen, Manuel Fahndrich, Mooly Sagiv
MSR-TR-2011-117 | October 2011
This is the full version with proofs of our ESOP 2012 paper.
Sebastian Burckhardt, Daan Leijen
MSR-TR-2010-94 | July 2010
Madan Musuvathi, Sebastian Burckhardt, Pravesh Kothari,
MSR-TR-2010-3 | January 2010
Thomas Ball, Sebastian Burckhardt, Katherine Coons, Madan Musuvathi, Shaz Qadeer
MSR-TR-2009-143 | October 2009
Sebastian Burckhardt, Madanlal Musuvathi, Vasu singh, Madan Musuvathi
MSR-TR-2008-171 | November 2008
Alexandro Baldassin, Sebastian Burckhardt
MSR-TR-2008-152 | October 2008
Sebastian Burckhardt, Madan Musuvathi
MSR-TR-2008-12 | January 2008
A shorter version of this TR appeared in CAV (Computer-Aided Verification) 2008.
Published by Now Publishers | October 2014, Vol 1 | Principles of Eventual Consistency edition
August 2007
August 2007
Doctoral Dissertation
