Anouk Paradis

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 7

Top Topics

Mathematical Analysis

Quantum Computing

Anonymized Data

Top Venues

Proc. ACM Program. Lang.

Publications

Anouk Paradis, Benjamin Bichsel, Martin T. Vechev
Reqomp: Space-constrained Uncomputation for Quantum Circuits. Quantum 8 (2024)
Anouk Paradis, Jasper Dekoninck, Benjamin Bichsel, Martin T. Vechev
Synthetiq: Fast and Versatile Quantum Circuit Synthesis. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Benjamin Bichsel, Anouk Paradis, Maximilian Baader, Martin T. Vechev
Abstraqt: Analysis of Quantum Circuits via Abstract Stabilizer Simulation. Quantum 7 (2023)
Benjamin Bichsel, Maximilian Baader, Anouk Paradis, Martin T. Vechev
Abstraqt: Analysis of Quantum Circuits via Abstract Stabilizer Simulation. CoRR (2023)
Johan Lokna, Anouk Paradis, Dimitar I. Dimitrov, Martin T. Vechev
Group and Attack: Auditing Differential Privacy. CCS (2023)
Anouk Paradis, Benjamin Bichsel, Samuel Steffen, Martin T. Vechev
Unqomp: synthesizing uncomputation in Quantum circuits. PLDI (2021)
Marco Paviotti, Simon Cooksey, Anouk Paradis, Daniel Wright, Scott Owens, Mark Batty
Modular Relaxed Dependencies in Weak Memory Concurrency. ESOP (2020)