ETAPS Participants

TCS @ ESOP & OOP­SLA

Two new papers accepted: "On the Hardness of Analyzing Quantum Programs Quantitatively" will be presented at ESOP, while "Hopping Proofs of Expectation-Based Properties: Applications to Skiplists and Security Proofs" will be presented at OOPSLA.

Papers accepted at ESOP and OOPSLA

We are proud to announce that two of our papers have been accepted at top-level programming conferences ESOP and OOPSLA.

  • Our paper "On the Hardness of Analyzing Quantum Programs Quantitatively" has been accepted the 33rd European Symposium on Programming (ESOP 2024). This is joint work with Martin Avanzini, Romain Péchoux and Simon Perdix.
  • Our work on "Hopping Proofs of Expectation-Based Properties: Applications to Skiplists and Security Proofs" has been accepted at OOPSLA 2024. This is joint work with Martin Avanzini, Gilles Barthe, Benjamin Gregoire, and Gabriele Vanoni.
Nach oben scrollen