| 2018 | PLDI | Static serializability analysis for causal consistency. | Lucas Brutschy, Dimitar Dimitrov, Peter Mller, Martin T. Vechev |
| 2017 | POPL | Serializability for eventual consistency: criterion, analysis, and applications. | Lucas Brutschy, Dimitar Dimitrov, Peter Mller, Martin T. Vechev |
| 2015 | OOPSLA | ShamDroid: gracefully degrading functionality in the presence of limited resource access. | Lucas Brutschy, Pietro Ferrara, Omer Tripp, Marco Pistoia |
| 2014 | FASE | TouchCost: Cost Analysis of TouchDevelop Scripts. | Pietro Ferrara, Daniel Schweizer, Lucas Brutschy |
| 2014 | OOPSLA | Static analysis for independent app developers. | Lucas Brutschy, Pietro Ferrara, Peter Mller |
| 2014 | OOPSLA | TouchGuru: Integrating Static Analysis with a Mobile Development Environment. | Lucas Brutschy, Pietro Ferrara, Peter Mller |
| 2013 | EDBT | Design and implementation of privacy-preserving reconciliation protocols. | Georg Neugebauer, Lucas Brutschy, Ulrike Meyer, Susanne Wetzel |
| 2013 | ESORICS | Privacy-Preserving Multi-Party Reconciliation Secure in the Malicious Model. | Georg Neugebauer, Lucas Brutschy, Ulrike Meyer, Susanne Wetzel |
| 2011 | VMCAI | Access Analysis-Based Tight Localization of Abstract Memories. | Hakjoo Oh, Lucas Brutschy, Kwangkeun Yi |