"Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back", ACM Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA 2025), Singapore, 2025
"SOGA: Second-Order Gaussian Approximation for Probabilistic Programs", Scientific Machine Learning, emerging topics, Scuola Internazionale Superiore di Studi Avanzati, Trieste, 2024
"Inference of Probabilistic Programs with Moment-Matching Gaussian Mixtures", ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2024), London, UK, 2024Â
"Refining Deterministic Approximations Of Stochastic Reaction Networks Through Dynamic Boundary Projection'', SIAM Conference on Applications of Dynamical Systems (DS23), Portland, Oregon, 2023
"Refining Deterministic Approximations Of Stochastic Reaction Networks Through Dynamic Boundary Projection", Chemical Reaction Network Workshop, Torino, Italy, 2023
"Jump Longer to Jump Less: Improving Dynamic Boundary Projection with h-Scaling.'', 19th International Conference on Quantitative Evaluation of SysTems (QEST 2022), Warsaw, Poland, 2022
"Refining mean-field approximations by dynamic state truncation.'' ACM SIGMETRICS 2021, online, 2021.
"The Integral Challenge: Deductive Verification of Continuous Probabilistic Programs", Keynote Speech, VeriProP 2025, CAV Workshops, Zagreb, 2025
"Inference of Probabilistic Programs", Cyber-Physical Systems Group, TU Wien, Wien, 2024
"Dynamic Boundary Projection: Refining Deterministic Approximations Of Stochastic Reaction Networks'', Mathematics of Reaction Networks, online, 2023
"Inference of Probabilistic Programs with Moment-Matching Gaussian Mixtures'', PRIN Project SEDUCE Meeting, Trieste, 2023
"Inference of Probabilistic Programs with Moment-Matching Gaussian Mixtures'', RWTH, Aachen, 2023
"Inference of Probabilistic Programs with Moment-Matching Gaussian Mixtures'', SySMA Workshop, Lucca, 2023