Publications

(*) Authors listed by contribution. Otherwise alphabetical order.

• PhD Thesis. Programming languages characterizing quantum efficiency at Université de Lorraine [link]

• J2. A polytime quantum programming language in ACM Transactions on Quantum Computing [doi]

E. Hainry, R. Péchoux and M. Silva. This is the extended version of C1 with some extra content.

• C3. Quantum programming in polylogarithmic time in MFCS'25 [doi | hal]

F. Ferrari, E. Hainry, R. Péchoux and M. Silva

• C2. Branch sequentialization in quantum polytime in FSCD'25 [doi | hal | FSCD slides]

E. Hainry, R. Péchoux and M. Silva. Also talk at IWQC'24.

• *J1. A coherence-witnessing game and applications to semi-device-independent quantum key distribution in Quantum 7 [doi | arXiv] 

 M. Silva, R. Faleiro, P. Mateus and E. Zambrini Cruzeiro. Also poster at QCrypt'24.

• C1. A programming language characterizing quantum polynomial time in FoSSaCS'23 [doi | hal]

E. Hainry, R. Péchoux and M. Silva. Also talk at QPL'24.

Work-in-progress or under review

A feasible and unitary programming language with quantum control [hal]

with A. Díaz-Caro, E. Hainry and R. Péchoux. Talk at PLanQC'24.