Lucas Brutschy

11 papers A* 2A 2B 2Journal 1Unranked 4
YearRankTypeTitle / Venue / Authors
2018 A* conf
Static serializability analysis for causal consistency.
PLDI
Lucas Brutschy, Dimitar Dimitrov, Peter Müller, Martin T. Vechev
2017 A* conf
Serializability for eventual consistency: criterion, analysis, and applications.
POPL
Lucas Brutschy, Dimitar Dimitrov, Peter Müller, Martin T. Vechev
2015 A conf
ShamDroid: gracefully degrading functionality in the presence of limited resource access.
OOPSLA
Lucas Brutschy, Pietro Ferrara, Omer Tripp, Marco Pistoia
2014 A conf
Static analysis for independent app developers.
OOPSLA
Lucas Brutschy, Pietro Ferrara, Peter Müller
2014 B conf
TouchCost: Cost Analysis of TouchDevelop Scripts.
FASE
Pietro Ferrara, Daniel Schweizer, Lucas Brutschy
2014 — conf
TouchGuru: Integrating Static Analysis with a Mobile Development Environment.
MobileDeLi
Lucas Brutschy, Pietro Ferrara, Peter Müller
2013 — conf
Design and implementation of privacy-preserving reconciliation protocols.
EDBT/ICDT Workshops
Georg Neugebauer, Lucas Brutschy, Ulrike Meyer, Susanne Wetzel
2013 J jnl
Privacy-Preserving Multi-Party Reconciliation Secure in the Malicious Model (Extended version).
IACR Cryptol. ePrint Arch.
Georg Neugebauer, Lucas Brutschy, Ulrike Meyer, Susanne Wetzel
2013 — conf
Privacy-Preserving Multi-Party Reconciliation Secure in the Malicious Model.
DPM/SETOP
Georg Neugebauer, Lucas Brutschy, Ulrike Meyer, Susanne Wetzel
2011 B conf
Access Analysis-Based Tight Localization of Abstract Memories.
VMCAI
Hakjoo Oh, Lucas Brutschy, Kwangkeun Yi
2009 — conf
Reduction of Interrupt Handler Executions for Model Checking Embedded Software.
Haifa Verification Conference
Bastian Schlich, Thomas Noll, Jörg Brauer, Lucas Brutschy