Programming support for autonomizing software.

Wen-Chuan Lee, Peng Liu, Yingqi Liu, Shiqing Ma, Xiangyu Zhang

Browse the full PLDI paper archive.