Lucas Brutschy

According to our database, Lucas Brutschy authored at least 11 papers between 2009 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Static serializability analysis for causal consistency.

Lucas Brutschy, Dimitar K. Dimitrov, Peter Müller, Martin T. Vechev

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

2017

Serializability for eventual consistency: criterion, analysis, and applications.

Lucas Brutschy, Dimitar K. Dimitrov, Peter Müller, Martin T. Vechev

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

2015

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

Lucas Brutschy, Pietro Ferrara, Omer Tripp, Marco Pistoia

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

2014

TouchGuru: Integrating Static Analysis with a Mobile Development Environment.

Lucas Brutschy, Pietro Ferrara, Peter Müller

Proceedings of the 2nd International Workshop on Mobile Development Lifecycle, 2014

Static analysis for independent app developers.

Lucas Brutschy, Pietro Ferrara, Peter Müller

Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

TouchCost: Cost Analysis of TouchDevelop Scripts.

Pietro Ferrara, Daniel Schweizer, Lucas Brutschy

Proceedings of the Fundamental Approaches to Software Engineering, 2014

2013

Privacy-Preserving Multi-Party Reconciliation Secure in the Malicious Model (Extended version).

Georg Neugebauer, Lucas Brutschy, Ulrike Meyer, Susanne Wetzel

IACR Cryptol. ePrint Arch., 2013

Privacy-Preserving Multi-Party Reconciliation Secure in the Malicious Model.

Georg Neugebauer, Lucas Brutschy, Ulrike Meyer, Susanne Wetzel

Proceedings of the Data Privacy Management and Autonomous Spontaneous Security, 2013

Design and implementation of privacy-preserving reconciliation protocols.

Georg Neugebauer, Lucas Brutschy, Ulrike Meyer, Susanne Wetzel

Proceedings of the Joint 2013 EDBT/ICDT Conferences, 2013

2011

Access Analysis-Based Tight Localization of Abstract Memories.

Hakjoo Oh, Lucas Brutschy, Kwangkeun Yi

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2011

2009

Reduction of Interrupt Handler Executions for Model Checking Embedded Software.

Bastian Schlich, Thomas Noll, Jörg Brauer, Lucas Brutschy

Proceedings of the Hardware and Software: Verification and Testing, 2009