Sebastian Burckhardt

Senior Principal Researcher

Program Committees: PPoPP’23 (opens in new tab) (PC), OOPSLA’23 (RC), OOPSLA’21 (opens in new tab) (ERC), WORDS’21 (opens in new tab) (PC), OOPSLA’20 (opens in new tab) (RC), PLDI’20 (opens in new tab) (PC), NETYS’19 (opens in new tab) (PC), PaPoC ’18 (opens in new tab) (co-chair), ECOOP’17 (opens in new tab) (PC), PaPoC ’17 (opens in new tab)(PC), PLDI’17 (opens in new tab) (ERC), PLMDC’16 (opens in new tab) (PC), OOPSLA ’15 (opens in new tab) (PC), PaPoC ’15 (PC), ECOOP ’14 (opens in new tab) (ERC), POPL ’13 (opens in new tab) (PC), PLDI ’13 (opens in new tab) (ERC), ASPLOS ’13 (opens in new tab) (ERC), OOPSLA ’11 (opens in new tab) (PC)
Invited talks
On Netherite and Durable Functions, at the WOSCx1 workshop (opens in new tab). See the YouTube video (opens in new tab).

On Netherite and Durable Functions,at the NWDS annual meeting 2022 (opens in new tab). See the slides (opens in new tab).
On stateful serverless programming, at Shonan Meeting (opens in new tab) 149, 2019. See the slides. (opens in new tab)

Tutorial on specifying consistency models for services, at Dagstuhl seminar 18091 (opens in new tab), see the slides (opens in new tab).

Keynote at REBLS Workshop (opens in new tab) at SPLASH’17 in Vancouver. See the slides (opens in new tab).

Workshop at ECOOP PC meeting in Zurich. See the slides (opens in new tab).

Workshop on Exploiting Concurrency Efficiently and Correctly (opens in new tab) (EC²) 2015. See the slides (opens in new tab).
Workshop on Highly Scalable Distributed Systems (Paris, Jan 2015). See the slides (opens in new tab).
Princeton University, University of Pennsylvania (Nov. 2014). See the slides (opens in new tab).
Workshop on Principles and Practice of Eventual Consistency (PaPEC) 2014. See the slides (opens in new tab).
SPLASH-I talk in Indianapolis, 2013. See the slides (opens in new tab).
Summer School Lectures
UPMARC 2016 (opens in new tab) in Uppsala, see the slides (opens in new tab).
METIS 2015 (opens in new tab) in Agadir, see the slides (opens in new tab).
LASER summer school (opens in new tab) in Elba, 2013, see the slides (opens in new tab), see the LNCS Lecture Notes (opens in new tab).
Summer School on Concurrency in St. Petersburg, 2012, see the slides (opens in new tab).
Dagstuhl seminars
Programming Languages for Distributed Systems and Distributed Data Management (opens in new tab) (Oct. 2019)
Data Consistency in Distributed Systems (opens in new tab) (Feb. 2018), see the slides for both talks (opens in new tab).
Programming Language Techniques for Incremental and Reactive Computing (opens in new tab) (Oct. 2016)
Concurrent computing in the many-core era (opens in new tab) (Jan. 2015), see the slides (opens in new tab).
Consistency in Distributed Systems (opens in new tab) (Feb. 2013), see the slides (opens in new tab).
Multi-Core Memory Models and Concurrency Theory (opens in new tab) (Jan. 2010), see the slides (opens in new tab).
NSF panelist (3x)