diff --git a/content/research/_index.md b/content/research/_index.md index 5c37541..9819e7f 100644 --- a/content/research/_index.md +++ b/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) diff --git a/data/publications.yaml b/data/publications.yaml index 6d30628..185fbbe 100644 --- a/data/publications.yaml +++ b/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" diff --git a/static/papers/pldi24.pdf b/static/papers/pldi24.pdf new file mode 100644 index 0000000..6eb60e0 Binary files /dev/null and b/static/papers/pldi24.pdf differ