Publications
2024
- MSR
The PIPr Dataset of Public Infrastructure as Code ProgramsIn Proceedings of the IEEE/ACM 21st International Conference on Mining Software Repositories, MSR, 2024
2023
2022
2021
2020
- OOPSLA
Handling Bidirectional Control FlowProceedings of the ACM on Programming Languages 4 (OOPSLA), 2020 - ISSTA
A Programming Model for Semi-Implicit Parallelization of Static AnalysesIn Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA, 2020
2019
- ECOOP
How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4In Proceedings of the 33rd European Conference on Object-Oriented Programming (ECOOP), Leibniz International Proceedings in Informatics (LIPIcs), 2019 - FAS*W
On Context-Orientation in Aggregate ProgrammingIn Proceedings of the 2019 IEEE 4th International Workshops on Foundations and Applications of Self* Systems, FAS*W, 2019
2018
- SOAP
Lattice Based Modularization of Static AnalysesIn Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, ISSTA/ECOOP Companion, 2018 - DEBS
Multimodal Complex Event Processing on Mobile DevicesIn Proceedings of the 12th ACM International Conference on Distributed and Event-Based Systems, DEBS, 2018 - TSE
On the Semantics of Distributed Reactive Programming: The Cost of ConsistencyIEEE Transactions on Software Engineering 44 (7), 2018 - PASS
Towards Safe Modular Composition of Network FunctionsIn Companion Proceedings for the 2nd International Conference on Art, Science, and Engineering of Programming, ‹Programming› Companion, 2018
2017
2016
- PLDI
Accepting Blame for Safe Tunneled ExceptionsIn Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI, 2016
2015
2014
2013
2012
2011
- CoRR
Context-Oriented Programming: A Programming Paradigm for Autonomic SystemsarXiv, 2011
2010
- FASE
Automatic Cross Validation of Multiple Specifications: A Case StudyIn Proceedings of the 13th International Conference on Fundamental Approaches to Software Engineering, FASE, 2010