Lucas Brutschy

ShamDroid: gracefully degrading functionality in the presence of limited resource access

Pietro Ferrara, Lucas Brutschy, Omer Tripp, 2015, OOPSLA.

Static serializability analysis for causal consistency

Peter Müller, Dimitar Dimitrov, Martin T. Vechev, 2018, PLDI.

Access Analysis-Based Tight Localization of Abstract Memories

Hakjoo Oh, Kwangkeun Yi, Lucas Brutschy, 2011, VMCAI.

Reduction of Interrupt Handler Executions for Model Checking Embedded Software

Jörg Brauer, Bastian Schlich, Thomas Noll, 2009, Haifa Verification Conference.

Serializability for eventual consistency: criterion, analysis, and applications

Peter Müller, Dimitar Dimitrov, Martin T. Vechev, 2017, POPL.

Effective Serializability for Eventual Consistency

Dimitar Dimitrov, Martin Vechev, Martin T. Vechev, 2016 .