Modular Relaxed Dependencies in Weak Memory Concurrency. - Marco Paviotti; Simon Cooksey; Anouk Paradis; Daniel Wright 001; Scott Owens; Mark Batty (ESOP, 2020)

Unqomp: synthesizing uncomputation in Quantum circuits. - Anouk Paradis; Benjamin Bichsel; Samuel Steffen; Martin T. Vechev (PLDI, 2021)

Group and Attack: Auditing Differential Privacy. - Johan Lokna; Anouk Paradis; Dimitar I. Dimitrov; Martin T. Vechev (CCS, 2023)

Abstraqt: Analysis of Quantum Circuits via Abstract Stabilizer Simulation. - Benjamin Bichsel; Anouk Paradis; Maximilian Baader; Martin T. Vechev (Quantum, 2023)

Synthetiq: Fast and Versatile Quantum Circuit Synthesis. - Anouk Paradis; Jasper Dekoninck; Benjamin Bichsel; Martin T. Vechev (Proc. ACM Program. Lang., 2024)

Programming Languages Methods for Quantum Circuit Programming. - Anouk Paradis (2024)

Reqomp: Space-constrained Uncomputation for Quantum Circuits. - Anouk Paradis; Benjamin Bichsel; Martin T. Vechev (Quantum, 2024)

Synthetiq: Fast and Versatile Quantum Circuit Synthesis. - Anouk Paradis; Jasper Dekoninck; Benjamin Bichsel; Martin T. Vechev (Zenodo, 2024)