Split Gröbner Bases for Satisfiability Modulo Finite Fields. Alex Ozdemir, Shankara Pailoor, Alp Bassa, Kostas Ferles, Clark Barrett and Isil Dillig. In CAV 2024.
Relational Synthesis of Recursive Programs via Constrained Tree Automata. Anders Miltner, Zetten Wang, Swarat Chaudhuri, Isil Dillig. In CAV 2024.
From Batch to Stream: Automatic Generation of Online Algorithms. Zetten Wang, Shankara Pailoor, Aaryan Prakash, Yuepeng Wang, Isil Dillig. In PLDI 2024.
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.