| 2026 | CAV | Incremental Inference for Probabilistic Datalog. | Xuyang Li, Weiyi Chen, Isil Dillig, Jingbo Wang |
| 2026 | NSDI | Syntra: Synthesizing Cross-Layer Controllers for Low-Latency Video Streaming. | Jia Pan, Anup Agarwal, Isil Dillig, Venkat Arun |
| 2026 | NSDI | Towards Performance Robustness for Microservices. | Divyanshu Saxena, Gaurav Vipat, Jiaxin Lin, Jingbo Wang, Isil Dillig, Sanjay Shakkottai, Aditya Akella |
| 2025 | AAAI | SYNAPSE: SYmbolic Neural-Aided Preference Synthesis Engine. | Sadanand Modak, Noah Tobias Patton, Isil Dillig, Joydeep Biswas |
| 2025 | ASPLOS | Copper and Wire: Bridging Expressiveness and Performance for Service Mesh Policies. | Divyanshu Saxena, William Zhang, Shankara Pailoor, Isil Dillig, Aditya Akella |
| 2025 | CAV | Integer Reasoning Modulo Different Constants in SMT. | Elizaveta Pertseva, Alex Ozdemir, Shankara Pailoor, Alp Bassa, Sorawee Porncharoenwase, Isil Dillig, Clark W. Barrett |
| 2025 | CAV | Automated Verification of Consistency in Zero-Knowledge Proof Circuits. | Jon Stephens, Shankara Pailoor, Isil Dillig |
| 2024 | CAV | Relational Synthesis of Recursive Programs via Constraint Annotated Tree Automata. | Anders Miltner, Ziteng Wang, Swarat Chaudhuri, Isil Dillig |
| 2024 | CAV | Split Grbner Bases for Satisfiability Modulo Finite Fields. | Alex Ozdemir, Shankara Pailoor, Alp Bassa, Kostas Ferles, Clark W. Barrett, Isil Dillig |
| 2024 | CHI | PhotoScout: Synthesis-Powered Multi-Modal Image Search. | Celeste Barnaby, Qiaochu Chen, Chenglong Wang, Isil Dillig |
| 2024 | ICLR | Coeditor: Leveraging Repo-level Diffs for Code Auto-editing. | Jiayi Wei, Greg Durrett, Isil Dillig |
| 2024 | SP | Certifying Zero-Knowledge Circuits with Refinement Types. | Junrui Liu, Ian Kretz, Hanzhi Liu, Bryan Tan, Jonathan Wang, Yi Sun, Luke Pearson, Anders Miltner, Isil Dillig, Yu Feng |
| 2023 | EuroSys | Chipmunk: Investigating Crash-Consistency in Persistent-Memory File Systems. | Hayley LeBlanc, Shankara Pailoor, Om Saran K. R. E., Isil Dillig, James Bornholt, Vijay Chidambaram |
| 2023 | ICLR | Guiding Safe Exploration with Weakest Preconditions. | Greg Anderson, Swarat Chaudhuri, Isil Dillig |
| 2023 | ICLR | TypeT5: Seq2seq Type Inference using Static Analysis. | Jiayi Wei, Greg Durrett, Isil Dillig |
| 2022 | CIDR | Making Table Understanding Work in Practice. | Madelon Hulsebos, Sneha Gathani, James Gale, Isil Dillig, Paul Groth, agatay Demiralp |
| 2022 | IROS | STEADY: Simultaneous State Estimation and Dynamics Learning from Indirect Observations. | Jiayi Wei, Jarrett Holtz, Isil Dillig, Joydeep Biswas |
| 2022 | ICSE | Counterfactual Explanations for Models of Code. | Jrgen Cito, Isil Dillig, Vijayaraghavan Murali, Satish Chandra |
| 2021 | CHI | Falx: Synthesis-Powered Visualization Authoring. | Chenglong Wang, Yu Feng, Rastislav Bodk, Isil Dillig, Alvin Cheung, Amy J. Ko |
| 2021 | EMNLP | Optimal Neural Program Synthesis from Multimodal Specifications. | Xi Ye, Qiaochu Chen, Isil Dillig, Greg Durrett |
| 2021 | IROS | OneVision: Centralized to Distributed Controller Synthesis with Delay Compensation. | Jiayi Wei, Tongrui Li, Swarat Chaudhuri, Isil Dillig, Joydeep Biswas |
| 2021 | PLDI | Web question answering with neurosymbolic program synthesis. | Qiaochu Chen, Aaron Lamoreaux, Xinyu Wang, Greg Durrett, Osbert Bastani, Isil Dillig |
| 2021 | PLDI | Synthesizing data structure refinements from integrity constraints. | Shankara Pailoor, Yuepeng Wang, Xinyu Wang, Isil Dillig |
| 2021 | SP | SmartPulse: Automated Checking of Temporal Properties in Smart Contracts. | Jon Stephens, Kostas Ferles, Benjamin Mariano, Shuvendu K. Lahiri, Isil Dillig |
| 2020 | ACL | Benchmarking Multimodal Regex Synthesis with Complex Structures. | Xi Ye, Qiaochu Chen, Isil Dillig, Greg Durrett |
| 2020 | CAV | Program Synthesis Using Deduction-Guided Reinforcement Learning. | Yanju Chen, Chenglong Wang, Osbert Bastani, Isil Dillig, Yu Feng |
| 2020 | CAV | Synthesizing JIT Compilers for In-Kernel DSLs. | Jacob Van Geffen, Luke Nelson, Isil Dillig, Xi Wang, Emina Torlak |
| 2020 | ICLR | LambdaNet: Probabilistic Type Inference using Graph Neural Networks. | Jiayi Wei, Maruth Goyal, Greg Durrett, Isil Dillig |
| 2020 | PLDI | Multi-modal synthesis of regular expressions. | Qiaochu Chen, Xinyu Wang, Xi Ye, Greg Durrett, Isil Dillig |
| 2019 | OOPSLA | Programming support for evolving database applications (invited talk). | Isil Dillig |
| 2019 | PLDI | Synthesizing database programs for schema refactoring. | Yuepeng Wang, James Dong, Rushi Shah, Isil Dillig |
| 2019 | PLDI | Optimization and abstraction: a synergistic approach for analyzing neural network robustness. | Greg Anderson, Shankara Pailoor, Isil Dillig, Swarat Chaudhuri |
| 2018 | CAV | Learning Abstractions for Program Synthesis. | Xinyu Wang, Greg Anderson, Isil Dillig, Kenneth L. McMillan |
| 2018 | PLDI | Program synthesis using conflict-driven learning. | Yu Feng, Ruben Martins, Osbert Bastani, Isil Dillig |
| 2018 | PLDI | Symbolic reasoning for automatic signal placement. | Kostas Ferles, Jacob Van Geffen, Isil Dillig, Yannis Smaragdakis |
| 2017 | CCS | Precise Detection of Side-Channel Vulnerabilities using Quantitative Cartesian Hoare Logic. | Jia Chen, Yu Feng, Isil Dillig |
| 2017 | NDSS | Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability. | Yu Feng, Osbert Bastani, Ruben Martins, Isil Dillig, Saswat Anand |
| 2017 | PLDI | Component-based synthesis of table consolidation and transformation tasks from examples. | Yu Feng, Ruben Martins, Jacob Van Geffen, Isil Dillig, Swarat Chaudhuri |
| 2017 | POPL | Component-based synthesis for complex APIs. | Yu Feng, Ruben Martins, Yuepeng Wang, Isil Dillig, Thomas W. Reps |
| 2017 | TACAS | Static Detection of DoS Vulnerabilities in Programs that Use Regular Expressions. | Valentin Wstholz, Oswaldo Olivo, Marijn J. H. Heule, Isil Dillig |
| 2016 | PLDI | Cartesian hoare logic for verifying k-safety properties. | Marcelo Sousa, Isil Dillig |
| 2016 | PLDI | Synthesizing transformations on hierarchically structured data. | Navid Yaghmazadeh, Christian Klinger, Isil Dillig, Swarat Chaudhuri |
| 2016 | POPL | Maximal specification synthesis. | Aws Albarghouthi, Isil Dillig, Arie Gurfinkel |
| 2015 | APLAS | Bottom-Up Context-Sensitive Pointer Analysis for Java. | Yu Feng, Xinyu Wang, Isil Dillig, Thomas Dillig |
| 2015 | CCS | Detecting and Exploiting Second Order Denial-of-Service Vulnerabilities in Web Applications. | Oswaldo Olivo, Isil Dillig, Calvin Lin |
| 2015 | FMCAD | Abductive Inference and Its Applications in Program Analysis, Verification, and Synthesis. | Isil Dillig |
| 2015 | OOPSLA | EXPLORER : query- and demand-driven exploration of interprocedural control flow properties. | Yu Feng, Xinyu Wang, Isil Dillig, Calvin Lin |
| 2015 | PLDI | Synthesizing data structure transformations from input-output examples. | John K. Feser, Swarat Chaudhuri, Isil Dillig |
| 2015 | PLDI | Static detection of asymptotic performance bugs in collection traversals. | Oswaldo Olivo, Isil Dillig, Calvin Lin |
| 2014 | CAV | Optimal Guard Synthesis for Memory Safety. | Thomas Dillig, Isil Dillig, Swarat Chaudhuri |
| 2014 | PLDI | Consolidation of queries with user-defined functions. | Marcelo Sousa, Isil Dillig, Dimitrios Vytiniotis, Thomas Dillig, Christos Gkantsidis |
| 2013 | APLAS | Automated Inference of Library Specifications for Source-Sink Property Verification. | Haiyan Zhu, Thomas Dillig, Isil Dillig |
| 2013 | CAV | Explain: A Tool for Performing Abductive Inference. | Isil Dillig, Thomas Dillig |
| 2013 | OOPSLA | Inductive invariant generation via abductive inference. | Isil Dillig, Thomas Dillig, Boyang Li, Kenneth L. McMillan |
| 2013 | TACAS | Synthesis of Circular Compositional Program Proofs via Abduction. | Boyang Li, Isil Dillig, Thomas Dillig, Kenneth L. McMillan, Mooly Sagiv |
| 2012 | CAV | Minimum Satisfying Assignments for SMT. | Isil Dillig, Thomas Dillig, Kenneth L. McMillan, Alex Aiken |
| 2012 | PLDI | Automated error diagnosis using abductive inference. | Isil Dillig, Thomas Dillig, Alex Aiken |
| 2011 | CAV | Simplifying Loop Invariant Generation Using Splitter Predicates. | Rahul Sharma, Isil Dillig, Thomas Dillig, Alex Aiken |
| 2011 | PLDI | Precise and compact modular procedure summaries for heap manipulating programs. | Isil Dillig, Thomas Dillig, Alex Aiken, Mooly Sagiv |
| 2011 | POPL | Precise reasoning for programs using containers. | Isil Dillig, Thomas Dillig, Alex Aiken |
| 2010 | ESOP | Fluid Updates: Beyond Strong vs. Weak Updates. | Isil Dillig, Thomas Dillig, Alex Aiken |
| 2010 | OOPSLA | Symbolic heap abstraction with demand-driven axiomatization of memory invariants. | Isil Dillig, Thomas Dillig, Alex Aiken |
| 2010 | SAS | Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis. | Isil Dillig, Thomas Dillig, Alex Aiken |
| 2009 | CAV | Cuts from Proofs: A Complete and Practical Technique for Solving Linear Inequalities over Integers. | Isil Dillig, Thomas Dillig, Alex Aiken |
| 2008 | PLDI | Sound, complete and scalable path-sensitive analysis. | Isil Dillig, Thomas Dillig, Alex Aiken |
| 2007 | PLDI | Static error detection using semantic inconsistency inference. | Isil Dillig, Thomas Dillig, Alex Aiken |