|
[Research Interests] [News] [Publications] [Services] [Courses] [Current Students] [Alumni] [Research Projects]
We have multiple openings for Master's and PhD students. We also welcome undergraduate students who are interested in research. If you are interested, please send me your CV. See here for more details on joining the lab.
October 2024: I attended a Dagstuhl Seminar on Automated Programming and Program Repair. I gave a talk on Automated Program Repair from Fuzzing Perspective. The slides are available here.
August 2024: Our paper Enhancing the Efficiency of Automated Program Repair via Greybox Analysis has been accepted to ASE 2024. Congratulations to YoungJae Kim, Yechan Park, and Seungheon Han!
July 2024: Joint work with Dongsun Kim on Preserving Reactiveness: Understanding and Improving the Debugging Practice of Blocking-call Bugs has been accepted to ISSTA 2024. Congratulations to Arooba Shahoor!
April 2024: Our research proposal on Binary Micro-Security Patch Technology Applicable With Limited Reverse Engineering Capability Under SW Supply Chain Environments has been accepted for funding by MSIT.
September 2023: Our paper LeakPair: Proactive Repairing of Memory Leaks in Single Page Web Applications received the ACM Distinguished Paper Award at ASE 2023.
September 2023: Our paper Poracle: Testing Patches Under Preservation Conditions to Combat the Overfitting Problem of Program Repair has been accepted and will appear in TOSEM. Congratulations to Elkhan and Mazba!
July 2023: Our demo paper BUGSC++: A Highly Usable Real World Defect Benchmark for C/C++ has been accepted to ASE 2023 Demo. This is joint work with Gabin An, Shin Yoo, Minhyuk Kwon, and Kyunghwa Choi. Our benchmark is available here.
May 2023: Our paper Automated Program Repair from Fuzzing Perspective has been accepted to ISSTA 2023. Congratulations to YoungJae Kim, Seungheon Han, and Khamit Askar.
April 2023: Our research proposal on Large-Language-Model-Based Low-Code Platform Development has been accepted for funding by MSIT.
Feb 2023: Our research proposal on Patch Validation Technique for Automated Program Repair has been accepted for funding by MSIT.
"Those who can imagine anything, can create the impossible." β Alan Turing
"Only a life lived for others is a life worthwhile." β Albert Einstein
If you have proficiency in Korean, I highly recommend you watch these videos [v1, v2, v3]. In essence, I suggest you train your neural learning model (a.k.a, your brain) as much as you can in the classroom, using the natural loss function (a.k.a, trial and error).
"A diverse mix of voices leads to better discussions, decisions, and outcomes for everyone." β Sundar Pichai