1. Compiling Probabilistic Programs for Variable Elimination with Information Flow;Proceedings of the ACM on Programming Languages;2024-06-20
2. Z3-Noodler: An Automata-based String Solver;Lecture Notes in Computer Science;2024
3. Solving String Constraints with Lengths by Stabilization;Proceedings of the ACM on Programming Languages;2023-10-16
4. Compiling Distributed System Models with PGo;Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2;2023-01-27
5. This is the moment for probabilistic loops;Proceedings of the ACM on Programming Languages;2022-10-31