Validating Quantum State Preparation Programs
Quantum Computers are expensive to build, take time to run, and are prone to noise and faults which reduce qubit reliability. Quantum software programmers can benefit from ways to validate whether or not quantum programs behave as expected without running or simulating a full program. This talk will present the Quantum State Preparation Program Validation Framework (QSV), a framework that uses property-based testing to validate whether or not quantum programs meet user-specified properties.
Date and Time
Location
Hosts
Registration
-
Add Event to Calendar
Loading virtual attendance info...
- 901 G St NW
- Washington, DC, District of Columbia
- United States 20001
- Building: Martin Luther King Jr. Memorial Library
- Room Number: 401-F Conference Room
- Click here for Map
- Starts 09 March 2026 04:00 AM UTC
- Ends 04 April 2026 04:00 AM UTC
- No Admission Charge
Speakers
Anshu Sharma
Validating Quantum State Preparation Programs
Abstract: Quantum Computers are expensive to build, take time to run, and are prone to noise and faults which reduce qubit reliability. Quantum software programmers can benefit from ways to validate whether or not quantum programs behave as expected without running or simulating a full program. This talk will present the Quantum State Preparation Program Validation Framework (QSV), a framework that uses property-based testing to validate whether or not quantum programs meet user-specified properties.
Biography:
Anshu Sharma is a 5th-year Computer Science PhD student at William & Mary who is also working as a software developer in Arlington Virgina. His research for graduate school is focused on formal methods, especially as applied to quantum computing. He will present the paper https://arxiv.org/abs/2501.
