Anouk Paradis

Orcid: 0000-0002-6029-1386

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

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2024

Reqomp: Space-constrained Uncomputation for Quantum Circuits.

[BibT_eX]

[DOI]

Anouk Paradis

Benjamin Bichsel

Martin T. Vechev

Quantum, February, 2024

2023

Abstraqt: Analysis of Quantum Circuits via Abstract Stabilizer Simulation.

[BibT_eX]

[DOI]

Quantum, November, 2023

Group and Attack: Auditing Differential Privacy.

[BibT_eX]

[DOI]

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

2021

Unqomp: synthesizing uncomputation in Quantum circuits.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2020

Anouk Paradis

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...