About me
I am Anouk Paradis, a former PhD student at the Department of Computer Science, ETH Zürich. I was part of the Secure, Reliable, and Intelligent Systems Lab, supervised by Martin Vechev, starting October 2020.
Education
- ETH Zurich, 2018 - 2020 Masters in Computer Science
- Ecole polytechnique , 2015 - 2018 Masters in Computer Science
Awards
2021 | ETH Medal for Outstanding Master Thesis | Awarded |
2018 | ETH Foundation Excellence Scholarship | Awarded |
Publications
2024
Synthetiq: Fast and Versatile Quantum Circuit Synthesis
Anouk Paradis*, Jasper Dekoninck*, Benjamin Bichsel, Martin Vechev
OOPSLA
2024
* Equal contribution
Reqomp: Space-constrained Uncomputation for Quantum Circuits
Anouk Paradis, Benjamin Bichsel, Martin Vechev
Quantum Journal
2024
2023
Group and Attack: Auditing Differential Privacy
Johan Lokna, Anouk Paradis, Dimitar I. Dimitrov, Martin Vechev
ACM CCS
2023
Abstraqt: Analysis of Quantum Circuits via Abstract Stabilizer Simulation
Benjamin Bichsel, Anouk Paradis, Maximilian Baader, Martin Vechev
Quantum Journal
2023
2021
Unqomp: Synthesizing Uncomputation in Quantum Circuits
Anouk Paradis, Benjamin Bichsel, Samuel Steffen, Martin Vechev
PLDI
2021
2020
Modular Relaxed Dependencies in Weak Memory Concurrency
Marco Paviotti, Simon Cooksey, Anouk Paradis, Daniel Wright, Scott Owens, and Mark Batty
ESOP
2020