update

content/research/_index.md

@@ -37,9 +37,10 @@ Techniques for automatically fixing bugs or generating correct code:
 - [NPEX: Repairing Java Null Pointer Exceptions without Tests. ICSE 2022](/papers/npex.pdf)
 - [Context-Aware and Data-Driven Feedback Generation for Programming Assignments. ESEC/FSE 2021](/papers/fse21.pdf)
 - [SAVER: Scalable, Precise, and Safe Memory-Error Repair. ICSE 2020](/papers/icse20.pdf)
-- [MemFix: Static Analysis-Based Repair of Memory Deallocation Errors for C](/papers/fse18.pdf)
+- [MemFix: Static Analysis-Based Repair of Memory Deallocation Errors for C. FSE 2018](/papers/fse18.pdf)
 
 ## Quantum Programming 
 
 Techniques for building correct and efficient quantum programs:
+- [Statistical Testing of Quantum Programs via Fixed-Point Amplitude Amplification. OOPSLA 2024](/papers/oopsla24-qtest.pdf)
 - [Modular Component-Based Quantum Circuit Synthesis. OOPSLA 2023](/papers/oopsla23-qsynth.pdf)

data/publications.yaml

@@ -28,6 +28,17 @@
 #         ko: https://www.media2.com
 
 2024:
+  - title: "Statistical Testing of Quantum Programs via Fixed-Point Amplitude Amplification"
+    authors:
+      - Chan Gu Kang 
+      - Joonghoon Lee
+      - Hakjoo Oh
+    target: 
+      name: "OOPSLA 2024: ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications"
+      url: https://2024.splashcon.org/track/splash-2024-oopsla
+    materials:
+      pdf: 
+
   - title: "PL4XGL: A Programming Language Approach to Explainable Graph Learning"
     authors:
       - Minseok Jeon
@@ -37,7 +48,7 @@
       name: "PLDI 2024: 45th ACM SIGPLAN Conference on Programming Language Design and Implementation"
       url: https://pldi24.sigplan.org
     materials:
-      pdf:
+      pdf: /papers/pldi24.pdf
 
 2023:
   - title: "SmartFix: Fixing Vulnerable Smart Contracts by Accelerating Generate-and-Verify Repair using Statistical Models"