Type-Directed Synthesis of Visualizations from Natural Language Queries. Jocelyn Chen, Shankara Pailoor, Celeste Barnaby, Abby Criswell, Chenglong Wang, Greg Durrett, Isil Dillig. In OOPSLA'22.
Synthesis Powered Optimization of Smart Contracts vis Data Type Refactoring. Yuepeng Wang, Yanju Chen, Maruth Goyal, James Dong, Yu Feng, Isil Dillig. In OOPSLA'22
STEADY: Simultaneous State Estimation and Dynamics Learning from Indirect Observations. Jiayi Wei, Jarrett Holz, Isil Dillig, Joydeep Biswas. In IROS'22.
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.