Synthesizing Data Structure Refinements from Integrity Constraints. Shankara Pailoor, Yuepeng Wang, Xinyu Wang, Isil Dillig. In PLDI 2021.
Web Question Answering with Neurosymbolic Program Synthesis. Jocelyn Chen, Aaron Lamoreaux, Xinyu Wang, Greg Durrett, Osbert Bastani, Isil Dillig. In PLDI 2021.
SmartPulse: Automated Checking of Temporal Properties in Smart Contracts. Jon Stephens, Kostas Ferles, Ben Mariano, Shuvendu Lahiri, Isil Dillig. In IEEE S&P (Oakland) 2021.
An Overview of the Saturn
Project
A. Aiken, S. Bugrara, I. Dillig, T. Dillig, P. Hawkins and
B. Hackett. Proceedings of the Workshop on Program Analysis for Software Tools
and Engineering (PASTE), pages 43-48, June 2007. San Diego, CA.
The Saturn Program Analysis
System.
A. Aiken, S. Bugrara, I. Dillig, T. Dillig, B. Hackett, and
P. Hawkins. Stanford University Computer Science Technical Report, December
2006.