Technical Research: Repair and Model Synthesis
Thursday May 19, 2:00 pm - 3:30 pm
Session Chair: Alex Orso
Room: Trinity
02:00 - 02:20 PM ― Angelix: Scalable Multiline Program Patch Synthesis via Symbolic Analysis
- Sergey Mechtaev, National University of Singapore, Singapore
- Jooyong Yi, National University of Singapore, Singapore
- Abhik Roychoudhury, National University of Singapore, Singapore
02:20 - 02:40 PM ― An Analysis of the Search Spaces for Generate and Validate Patch Generation Systems
- Fan Long, MIT EECS & CSAIL, United States
- Martin Rinard, MIT EECS & CSAIL, United States
02:40 - 03:00 PM ― PAC Learning-Based Verification and Model Synthesis
- Yu-Fang Chen, Academia Sinica, Taiwan
- Chiao Hsieh, Academia Sinica, Taiwan
- Ondrej Lengal, Academia Sinica & Brno University of Technology, Czech Republic
- Tsung-Ju Lii, Academia Sinica & National Taiwan University, Taiwan
- Ming-Hsien Tsai, Academia Sinica, Taiwan
- Bow-Yaw Wang, Academia Sinica, Taiwan
- Farn Wang, National Taiwan University, Taiwan
03:00 - 03:20 PM ― StubDroid: Automatic Inference of Precise Data-flow Summaries for the Android Framework
- Steven Arzt, TU Darmstadt / EC SPRIDE, Germany
- Eric Bodden, TU Darmstadt and Fraunhofer SIT, Germany