Lucas Brutschy

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2018
Static serializability analysis for causal consistency.
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

2017
Serializability for eventual consistency: criterion, analysis, and applications.
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.
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

2014
TouchGuru: Integrating Static Analysis with a Mobile Development Environment.
Proceedings of the 2nd International Workshop on Mobile Development Lifecycle, 2014

Static analysis for independent app developers.
Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

TouchCost: Cost Analysis of TouchDevelop Scripts.
Proceedings of the Fundamental Approaches to Software Engineering, 2014

2013
Privacy-Preserving Multi-Party Reconciliation Secure in the Malicious Model (Extended version).
IACR Cryptol. ePrint Arch., 2013

Privacy-Preserving Multi-Party Reconciliation Secure in the Malicious Model.
Proceedings of the Data Privacy Management and Autonomous Spontaneous Security, 2013

Design and implementation of privacy-preserving reconciliation protocols.
Proceedings of the Joint 2013 EDBT/ICDT Conferences, 2013

2011
Access Analysis-Based Tight Localization of Abstract Memories.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2011

2009
Reduction of Interrupt Handler Executions for Model Checking Embedded Software.
Proceedings of the Hardware and Software: Verification and Testing, 2009


  Loading...