Follow
Lucas Brutschy
Lucas Brutschy
Confluent
Verified email at confluent.io - Homepage
Title
Cited by
Cited by
Year
Serializability for eventual consistency: criterion, analysis, and applications
L Brutschy, D Dimitrov, P Müller, M Vechev
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017
682017
Static serializability analysis for causal consistency
L Brutschy, D Dimitrov, P Müller, M Vechev
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language …, 2018
342018
Reduction of interrupt handler executions for model checking embedded software
B Schlich, T Noll, J Brauer, L Brutschy
Hardware and Software: Verification and Testing: 5th International Haifa …, 2011
342011
Access analysis-based tight localization of abstract memories
H Oh, L Brutschy, K Yi
Verification, Model Checking, and Abstract Interpretation: 12th …, 2011
342011
Static analysis for independent app developers
L Brutschy, P Ferrara, P Müller
Proceedings of the 2014 ACM International Conference on Object Oriented …, 2014
152014
ShamDroid: Gracefully Degrading Functionality in the Presence of Limited Resource Access
L Brutschy, P Ferrara, O Tripp, M Pistoia
OOPSLA '15, to appear, 2015
102015
Fine-grained user control over usages of sensitive system resources having private data with applications in privacy enforcement
L Brutschy, P Ferrara, M Pistoia, O Tripp
US Patent 9,940,478, 2018
92018
Privacy-preserving multi-party reconciliation secure in the malicious model
G Neugebauer, L Brutschy, U Meyer, S Wetzel
International Workshop on Data Privacy Management, 178-193, 2013
82013
Design and implementation of privacy-preserving reconciliation protocols
G Neugebauer, L Brutschy, U Meyer, S Wetzel
Proceedings of the Joint EDBT/ICDT 2013 Workshops, 121-130, 2013
72013
Must analysis of collection elements
Y Bonjour, L Brutschy
Master's thesis, ETH Zürich, 2013
42013
Static Serializability Analysis for Causal Consistency (extended version)
L Brutschy, D Dimitrov, P Müller, M Vechev
Technical Report, 2018
22018
Touchcost: Cost analysis of touchdevelop scripts
P Ferrara, D Schweizer, L Brutschy
Fundamental Approaches to Software Engineering: 17th International …, 2014
22014
Effective serializability for eventual consistency
L Brutschy, D Dimitrov, P Müller, M Vechev
ETH Zurich, 2016
12016
Static Checking of TouchDevelop Programs against Web Service Specifications
P Zimmermann, L Brutschy, P Müller
Master’s thesis, ETH Zurich, 2014.(cited on page 108), 2014
12014
Fine-grained user control over usages of sensitive system resources having private data with applications in privacy enforcement
L Brutschy, P Ferrara, M Pistoia, O Tripp
US Patent 11,176,267, 2021
2021
Dynamic and Static Analysis for Weakly Consistent Systems
L Brutschy
ETH Zurich, 2018
2018
Synthesizing inputs to preserve functionality
L Brutschy, P Ferrara, M Pistoia, O Tripp
US Patent 9,697,018, 2017
2017
TouchGuru: Integrating Static Analysis with a Mobile Development Environment
L Brutschy, P Ferrara, P Müller
Proceedings of the 2nd International Workshop on Mobile Development …, 2014
2014
Statische Analyse von Mikrocontrollerprogrammen mittels SAT-und Constraint-Solving
C Solving, L Brutschy
2009
The system can't perform the operation now. Try again later.
Articles 1–19