Margaret Martonosi

Latest

• QDB: From Quantum Algorithms Towards Correct Quantum Programs
• Programming languages and compiler design for realistic quantum hardware
• ScaffCC: Scalable Compilation and Analysis of Quantum Programs
• Scaffold: Quantum Programming Language