Papiere bei ESOP und OOPSLA angenommen

Wir sind stolz darauf, bekannt geben zu können, dass zwei unserer Arbeiten auf den hochrangigen Programmierkonferenzen ESOP und OOPSLA angenommen wurden.

• Unser Artikel "On the Hardness of Analyzing Quantum Programs Quantitatively" wurde auf dem 33rd European Symposium on Programming (ESOP 2024) angenommen. Dies ist eine gemeinsame Arbeit mit Martin Avanzini, Romain Péchoux und Simon Perdix.
• Unsere Arbeit über "Hopping Proofs of Expectation-Based Properties: Applications to Skiplists and Security Proofs" wurde bei der OOPSLA 2024 angenommen. Dies ist eine gemeinsame Arbeit mit Martin Avanzini, Gilles Barthe, Benjamin Gregoire und Gabriele Vanoni.