Anouk Paradis

According to our database, Anouk Paradis authored at least 8 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Synthetiq: Fast and Versatile Quantum Circuit Synthesis.

Anouk Paradis, Jasper Dekoninck, Benjamin Bichsel, Martin T. Vechev

Dataset, March, 2024

Reqomp: Space-constrained Uncomputation for Quantum Circuits.

Anouk Paradis, Benjamin Bichsel, Martin T. Vechev

Quantum, February, 2024

Programming Languages Methods for Quantum Circuit Programming.

Anouk Paradis

PhD thesis, 2024

Synthetiq: Fast and Versatile Quantum Circuit Synthesis.

Anouk Paradis, Jasper Dekoninck, Benjamin Bichsel, Martin T. Vechev

Proc. ACM Program. Lang., 2024

2023

Abstraqt: Analysis of Quantum Circuits via Abstract Stabilizer Simulation.

Benjamin Bichsel, Anouk Paradis, Maximilian Baader, Martin T. Vechev

Quantum, November, 2023

Group and Attack: Auditing Differential Privacy.

Johan Lokna, Anouk Paradis, Dimitar I. Dimitrov, Martin T. Vechev

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

2021

Unqomp: synthesizing uncomputation in Quantum circuits.

Anouk Paradis, Benjamin Bichsel, Samuel Steffen, Martin T. Vechev

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2020

Modular Relaxed Dependencies in Weak Memory Concurrency.

Marco Paviotti, Simon Cooksey, Anouk Paradis, Daniel Wright, Scott Owens, Mark Batty

Proceedings of the Programming Languages and Systems, 2020