Current Research Projects
Past Research Projects ↓Algorithm Synthesis
- Benchmark[FSE24DEMO]
- Synthesis[PLDI24] [TOPLAS24] [OOPSLA23b]
- Verification[FM24]
Program Repair / Synthesis
- Perspective & Empirical Studies[SCIS19a] [SCIS19b]
- Defining a search space[FSE21b] [ASE19a] [ISSTA18a] [ASE15]
- Locating likely elements in a space[OOPSLA23a] [TOSEM22] [OOPSLA21] [OOPSLA20] [GI18] [ICSE18a] [ICSE17a]
- Interaction[ICSME21] [PLDI20] [ISSRE19]
- Validation & Patch Generation[TSE24] [ASE23Demo] [ASE21] [ISSTA17] [Interwa17]
- Specific Bug Types[ASE23] [ICSE15a]
Fault Localization
Efficient Program Analysis
Analyzing Floating-Point and Deep Learning Programs
- Related publications[ICSE23b] [FSE20] [OOPSLA22] [POPL20] [ISSTA18b] [FSE16] [ICSE15b] [ASE14]
Past Research Projects
- Compiler Testing[ASE19b] [TSE18] [ICSE17b] [ICSE16] [ICST16b] [CSUR19] [SCIS19c]
- Program Transformation for API migration[ECOOP16] [PEPM15] [ICWS13]
- Configuration Error Repair[TSE15] [ICSE12] [SPLC13]
- Delta-Based Bidirectional Transformation (Postdoctoral Period)
- Heterogeneous Data Synchronization in Software Engineering (Doctoral Period)
- Aspect-Oriented Intermediate Language (Undergraduate Period)