Todo
[R] Quantum Computation and Quantum Information (0/12)
[R] Logical Foundations [Software Foundations] (0/17)
[L] EnglishPod (20/365)
[L] 天声人語 I (19/28)
Done
[R] Fuzzing-Based Differential Testing For Quantum Simulators
[R] A Preliminary Study on Generating Well-Formed Q# Quantum Programs for Fuzz Testing
[R] QDiff: Differential Testing of Quantum Software Stacks
[R] QuanFuzz: Fuzz Testing of Quantum Program
[R] Fuzzing-A Survey for Roadmap
[R] Testing Multi-Subroutine Quantum Programs: From Unit Testing to Integration Testing
[W] CGO 2025
[W] 樂中窺禮
[R] Baldur: Whole-Proof Generation and Repair with Large Language Models
[R] MorphQPV-Exploiting Isomorphism in Quantum Programs to Facilitate Confident Verification
[R] A formally certified end-to-end implementation of Shor’s factorization algorithm
[R] Analyzing Quantum Programs with LintQ: A Static Analysis Framework for Qiskit
[R] Faster and Better Quantum Software Testing through Specification Reduction and Projective Measurements
[R] QbC: Quantum Correctness by Construction
[V] Game Theory [MOOC] (84/84)
[V] Hidden Markov Model
[R&W] Basics of quantum information [IBM] (4/4)
[W] ECOOP 2024
[R] QIRO: A Static Single Assignment-based Quantum Program Representation for Optimization
[R] Programming Quantum Computers: Essential Algorithms and Code Samples