Room: 401-F Conference Room, Bldg: Martin Luther King Jr. Memorial Library, 901 G St NW, Washington, DC, District of Columbia, United States, 20001, Virtual: https://events.vtools.ieee.org/m/545578

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. Speaker(s): Anshu Sharma, Room: 401-F Conference Room, Bldg: Martin Luther King Jr. Memorial Library, 901 G St NW, Washington, DC, District of Columbia, United States, 20001, Virtual: https://events.vtools.ieee.org/m/545578