14 citations · 14 across the 3 of their papers we have counts for
3 papers
cs.SE2023★ 14 cited
Accelerating Patch Validation for Program Repair with Interception-Based Execution Scheduling
Yuan-An Xiao, Chenyang Yang, Bo Wang +1
Long patch validation time is a limiting factor for automated program repair (APR). Though the duality between patch validation and mutation testing is recognized, so far there exi…
cs.PL2023
User-Customizable Transpilation of Scripting Languages
Bo Wang, Aashish Kolluri, Ivica Nikolić +2
A transpiler converts code from one programming language to another. Many practical uses of transpilers require the user to be able to guide or customize the program produced from…
cs.PL2021
SynGuar: Guaranteeing Generalization in Programming by Example
Bo Wang, Teodora Baluta, Aashish Kolluri +1
Programming by Example (PBE) is a program synthesis paradigm in which the synthesizer creates a program that matches a set of given examples. In many applications of such synthesis…