Recent Publications

 

  •  Failure-Directed Program Trimming. Kostas Ferles, Valentin Wuestholz, Maria Christakis, Isil Dillig. To  appear in FSE 2017.