Projection-Based Runtime Assertions for Testing and Debugging Quantum Programs

preview_player
Показать описание

Projection-Based Runtime Assertions for Testing and Debugging Quantum Programs
Presented at OOPSLA, part of SPLASH 2020
By Gushu Li, Li Zhou, Nengkun Yu, Yufei Ding, Mingsheng Ying, Yuan Xie
  1. ACM SIGPLAN
  2. Gushu Li
  3. Quantum Computing
  4. Programming Language
  5. Compiler Optimization
  6. Computer Architecture
Рекомендации по теме
Projection-Based Runtime Assertions 0:15:46

Projection-Based Runtime Assertions for Testing and Debugging Quantum Programs

(IWQC20) Gushu Li: 0:23:27

(IWQC20) Gushu Li: Proq: Projection-based Runtime Assertions for Debugging on a Quantum Computer

Theory, Design, and 0:31:32

Theory, Design, and Implementation of Projection-based Assertions for Quantum Debugging

ASPLOS'20 - Session 0:13:42

ASPLOS'20 - Session 11B - Quantum Circuits for Dynamic Runtime Assertions in Quantum Computatio...

[WQS24] Quantum program 0:42:16

[WQS24] Quantum program analysis: Verification and Testing

QuCS Lecture18: Prof. 0:50:33

QuCS Lecture18: Prof. Gushu Li (UPenn): Enabling Deeper Quantum Compiler Optimization at High Level

Q2B 2020 | 0:20:04

Q2B 2020 | Algorithm Development on Honeywell’s Quantum Computer | Ross Duncan

Quantum Computing Engineering: 0:58:33

Quantum Computing Engineering: Challenges and Opportunities - Dr. Yufei Ding

Quantum Computing Engineering: 1:05:05

Quantum Computing Engineering: Challenges and Opportunities - Yufei Ding

QCVIS — Interactive 0:03:03

QCVIS — Interactive Visualization and Debugging of Quantum Algorithms: Quantum Editor

MongoDB: Assert Failed: 0:03:41

MongoDB: Assert Failed: Need An Object

Experimenting with Discrete 0:18:37

Experimenting with Discrete Time Quantum Walk (Presentation (Backup))

The Measurement in 0:20:01

The Measurement in the Middle

Quantum Information Science: 1:20:59

Quantum Information Science: Lecture 23 Unit 12 'Show me your 'phase', Mr. Unitary&ap...

Q-SE2021 Keynote: Verification 1:01:21

Q-SE2021 Keynote: Verification of Quantum Programs by Mingsheng Ying

Hibernate @Filter Annotation: 0:09:55

Hibernate @Filter Annotation: Apply Dynamic Filters at Runtime

Logiques de programmes 1:00:11

Logiques de programmes : quand la machine raisonne sur ses logiciels (13) - Xavier Leroy (2020-2021)

Erlang Factory SF 0:48:17

Erlang Factory SF 2016 - Build big with tiny tools immutability, checksums, and CRDTs

Let's Play TDD 0:13:04

Let's Play TDD #173: Checked Exceptions are Awesome

Matthias Koch - 1:04:35

Matthias Koch - NUKE: A Modern Build System for .NET

[Speaker #19] My 1:18:08

[Speaker #19] My experience with quantum computing research by Prof. Yufei Ding (UCSB)

Gillian: a Multi-language 0:42:53

Gillian: a Multi-language Platform for Compositional Symbolic Analysis

Java - Big 0:04:42

Java - Big Idea 0: JDK and Terminal Window (2 of 2)

innovfest unbound 2018 0:15:28

innovfest unbound 2018 (arise): Quantum Computing and Bitcoin

join shbcf.ru