Reactive caching for composed services: polling at the speed of push
Burckhardt, Sebastian, Coppieters, Tim
Published in Proceedings of ACM on programming languages (01.11.2018)
Published in Proceedings of ACM on programming languages (01.11.2018)
Get full text
Journal Article
Durable functions: semantics for stateful serverless
Burckhardt, Sebastian, Gillum, Chris, Justo, David, Kallas, Konstantinos, McMahon, Connor, Meiklejohn, Christopher S.
Published in Proceedings of ACM on programming languages (01.10.2021)
Published in Proceedings of ACM on programming languages (01.10.2021)
Get full text
Journal Article
Specification and space complexity of collaborative text editing
Attiya, Hagit, Burckhardt, Sebastian, Gotsman, Alexey, Morrison, Adam, Yang, Hongseok, Zawirski, Marek
Published in Theoretical computer science (06.02.2021)
Published in Theoretical computer science (06.02.2021)
Get full text
Journal Article
Cloud types for eventual consistency
Burckhardt, Sebastian, Fähndrich, Manuel, Leijen, Daan, Wood, Benjamin P.
Published in ECOOP 2012 – Object-Oriented Programming (11.06.2012)
Published in ECOOP 2012 – Object-Oriented Programming (11.06.2012)
Get full text
Conference Proceeding
Book Chapter
What’s Decidable about Weak Memory Models?
Atig, Mohamed Faouzi, Bouajjani, Ahmed, Burckhardt, Sebastian, Musuvathi, Madanlal
Published in Programming Languages and Systems (2012)
Published in Programming Languages and Systems (2012)
Get full text
Book Chapter
Conference Proceeding
Geo-distribution of actor-based services
Bernstein, Philip A., Burckhardt, Sebastian, Bykov, Sergey, Crooks, Natacha, Faleiro, Jose M., Kliot, Gabriel, Kumbhare, Alok, Rahman, Muntasir Raihan, Shah, Vivek, Szekeres, Adriana, Thelin, Jorgen
Published in Proceedings of ACM on programming languages (01.10.2017)
Published in Proceedings of ACM on programming languages (01.10.2017)
Get full text
Journal Article
Predictable and Progressive Testing of Multithreaded Code
Ball, T, Burckhardt, S, de Halleux, P, Musuvathi, M, Qadeer, S
Published in IEEE software (01.05.2011)
Published in IEEE software (01.05.2011)
Get full text
Journal Article
Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case Study
Burckhardt, Sebastian, Alur, Rajeev, Martin, Milo M. K.
Published in Computer Aided Verification (2006)
Published in Computer Aided Verification (2006)
Get full text
Book Chapter
Conference Proceeding
Serverless Workflows with Durable Functions and Netherite
Burckhardt, Sebastian, Gillum, Chris, Justo, David, Kallas, Konstantinos, McMahon, Connor, Meiklejohn, Christopher S
Year of Publication 26.02.2021
Year of Publication 26.02.2021
Get full text
Journal Article
Verifying safety of a token coherence implementation by parametric compositional refinement
Burckhardt, Sebastian, Alur, Rajeev, Martin, Milo M. K.
Published in Lecture notes in computer science (01.01.2005)
Published in Lecture notes in computer science (01.01.2005)
Get full text
Conference Proceeding
Book Chapter
Deconstructing concurrency heisenbugs
Ball, T., Burckhardt, S., de Halleux, J., Musuvathi, M., Qadeer, S.
Published in 2009 31st International Conference on Software Engineering - Companion Volume (01.05.2009)
Published in 2009 31st International Conference on Software Engineering - Companion Volume (01.05.2009)
Get full text
Conference Proceeding