Isil Dillig

193 papers A* 46A 9B 5C 2Journal 105Unranked 22
YearRankTypeTitle / Venue / Authors
2026 J jnl
VeriSoftBench: Repository-Scale Formal Verification Benchmarks for Lean.
CoRR
Yutong Xin, Qiaochu Chen, Greg Durrett, Isil Dillig
2025 J jnl
Active Learning for Neurosymbolic Program Synthesis.
CoRR
Celeste Barnaby, Qiaochu Chen, Ramya Ramalingam, Osbert Bastani, Isil Dillig
2025 J jnl
Active Learning for Neurosymbolic Program Synthesis.
Proc. ACM Program. Lang.
Celeste Barnaby, Qiaochu Chen, Ramya Ramalingam, Osbert Bastani, Isil Dillig
2025 J jnl
Automated Discovery of Tactic Libraries for Interactive Theorem Proving.
CoRR
Yutong Xin, Jimmy Xin, Gabriel Poesia, Noah D. Goodman, Qiaochu Chen, Isil Dillig
2025 J jnl
Automated Discovery of Tactic Libraries for Interactive Theorem Proving.
Proc. ACM Program. Lang.
Yutong Xin, Jimmy Xin, Gabriel Poesia, Noah D. Goodman, Qiaochu Chen, Isil Dillig
2025 — conf
Automated Verification of Consistency in Zero-Knowledge Proof Circuits.
CAV (1)
Jon Stephens, Shankara Pailoor, Isil Dillig
2025 J jnl
Automated Verification of Consistency in Zero-Knowledge Proof Circuits.
IACR Cryptol. ePrint Arch.
Jon Stephens, Shankara Pailoor, Isil Dillig
2025 J jnl
CRUST-Bench: A Comprehensive Benchmark for C-to-safe-Rust Transpilation.
CoRR
Anirudh Khatry, Robert Zhang, Jia Pan, Ziteng Wang, Qiaochu Chen, Greg Durrett, Isil Dillig
2025 — conf
Copper and Wire: Bridging Expressiveness and Performance for Service Mesh Policies.
ASPLOS (1)
Divyanshu Saxena, William Zhang, Shankara Pailoor, Isil Dillig, Aditya Akella
2025 J jnl
Graphiti: Bridging Graph and Relational Database Queries.
CoRR
Yang He, Ruijie Fang, Isil Dillig, Yuepeng Wang
2025 J jnl
Graphiti: Bridging Graph and Relational Database Queries.
Proc. ACM Program. Lang.
Yang He, Ruijie Fang, Isil Dillig, Yuepeng Wang
2025 J jnl
Homomorphism Calculus for User-Defined Aggregations.
CoRR
Ziteng Wang, Ruijie Fang, Linus Zheng, Dixin Tang, Isil Dillig
2025 J jnl
Homomorphism Calculus for User-Defined Aggregations.
Proc. ACM Program. Lang.
Ziteng Wang, Ruijie Fang, Linus Zheng, Dixin Tang, Isil Dillig
2025 — conf
Integer Reasoning Modulo Different Constants in SMT.
CAV (1)
Elizaveta Pertseva, Alex Ozdemir, Shankara Pailoor, Alp Bassa, Sorawee Porncharoenwase, Isil Dillig, Clark W. Barrett
2025 J jnl
Integer Reasoning Modulo Different Constants in SMT.
CoRR
Elizaveta Pertseva, Alex Ozdemir, Shankara Pailoor, Alp Bassa, Sorawee Porncharoenwase, Isil Dillig, Clark W. Barrett
2025 J jnl
Probabilistic Inference for Datalog with Correlated Inputs.
CoRR
Jingbo Wang, Shashin Halalingaiah, Weiyi Chen, Chao Wang, Isil Dillig
2025 J jnl
Probabilistic Inference for Datalog with Correlated Inputs.
Proc. ACM Program. Lang.
Jingbo Wang, Shashin Halalingaiah, Weiyi Chen, Chao Wang, Isil Dillig
2025 A* conf
SYNAPSE: SYmbolic Neural-Aided Preference Synthesis Engine.
AAAI
Sadanand Modak, Noah Tobias Patton, Isil Dillig, Joydeep Biswas
2024 A* conf
Certifying Zero-Knowledge Circuits with Refinement Types.
SP
Junrui Liu, Ian Kretz, Hanzhi Liu, Bryan Tan, Jonathan Wang, Yi Sun, Luke Pearson, Anders Miltner, Isil Dillig, Yu Feng
2024 A* conf
Coeditor: Leveraging Repo-level Diffs for Code Auto-editing.
ICLR
Jiayi Wei, Greg Durrett, Isil Dillig
2024 J jnl
Control-Flow Deobfuscation using Trace-Informed Compositional Program Synthesis.
Proc. ACM Program. Lang.
Benjamin Mariano, Ziteng Wang, Shankara Pailoor, Christian S. Collberg, Isil Dillig
2024 C conf
Counterfactual Explanations for Models of Code.
Software Engineering
Jürgen Cito, Isil Dillig, Vijayaraghavan Murali, Satish Chandra
2024 A* conf
Dynamic Model Predictive Shielding for Provably Safe Reinforcement Learning.
NeurIPS
Arko Banerjee, Kia Rahmani, Joydeep Biswas, Isil Dillig
2024 J jnl
Dynamic Model Predictive Shielding for Provably Safe Reinforcement Learning.
CoRR
Arko Banerjee, Kia Rahmani, Joydeep Biswas, Isil Dillig
2024 J jnl
From Batch to Stream: Automatic Generation of Online Algorithms.
CoRR
Ziteng Wang, Shankara Pailoor, Aaryan Prakash, Yuepeng Wang, Isil Dillig
2024 J jnl
From Batch to Stream: Automatic Generation of Online Algorithms.
Proc. ACM Program. Lang.
Ziteng Wang, Shankara Pailoor, Aaryan Prakash, Yuepeng Wang, Isil Dillig
2024 A* conf
PhotoScout: Synthesis-Powered Multi-Modal Image Search.
CHI
Celeste Barnaby, Qiaochu Chen, Chenglong Wang, Isil Dillig
2024 J jnl
PhotoScout: Synthesis-Powered Multi-Modal Image Search.
CoRR
Celeste Barnaby, Qiaochu Chen, Chenglong Wang, Isil Dillig
2024 A* conf
Practical Security Analysis of Zero-Knowledge Proof Circuits.
USENIX Security Symposium
Hongbo Wen, Jon Stephens, Yanju Chen, Kostas Ferles, Shankara Pailoor, Kyle Charbonnet, Isil Dillig, Yu Feng
2024 J jnl
Programmatic Imitation Learning From Unlabeled and Noisy Demonstrations.
IEEE Robotics Autom. Lett.
Jimmy Xin, Linus Zheng, Kia Rahmani, Jiayi Wei, Jarrett Holtz, Isil Dillig, Joydeep Biswas
2024 J jnl
Programming-by-Demonstration for Long-Horizon Robot Tasks.
Proc. ACM Program. Lang.
Noah Patton, Kia Rahmani, Meghana Missula, Joydeep Biswas, Isil Dillig
2024 — conf
Relational Synthesis of Recursive Programs via Constraint Annotated Tree Automata.
CAV (3)
Anders Miltner, Ziteng Wang, Swarat Chaudhuri, Isil Dillig
2024 J jnl
Semantic Code Refactoring for Abstract Data Types.
Proc. ACM Program. Lang.
Shankara Pailoor, Yuepeng Wang, Isil Dillig
2024 — conf
Split Gröbner Bases for Satisfiability Modulo Finite Fields.
CAV (1)
Alex Ozdemir, Shankara Pailoor, Alp Bassa, Kostas Ferles, Clark W. Barrett, Isil Dillig
2024 J jnl
Split Gröbner Bases for Satisfiability Modulo Finite Fields.
IACR Cryptol. ePrint Arch.
Alex Ozdemir, Shankara Pailoor, Alp Bassa, Kostas Ferles, Clark W. Barrett, Isil Dillig
2024 J jnl
Synapse: Learning Preferential Concepts from Visual Demonstrations.
CoRR
Sadanand Modak, Noah Patton, Isil Dillig, Joydeep Biswas
2023 J jnl
Automated Detection of Under-Constrained Circuits in Zero-Knowledge Proofs.
Proc. ACM Program. Lang.
Shankara Pailoor, Yanju Chen, Franklyn Wang, Clara Rodríguez-Núñez, Jacob Van Geffen, Jason Morton, Michael Chu, Brian Gu, Yu Feng, Isil Dillig
2023 J jnl
Automated Detection of Underconstrained Circuits for Zero-Knowledge Proofs.
IACR Cryptol. ePrint Arch.
Shankara Pailoor, Yanju Chen, Franklyn Wang, Clara Rodríguez-Núñez, Jacob Van Gaffen, Jason Morton, Michael Chu, Brian Gu, Yu Feng, Isil Dillig
2023 J jnl
Automated Translation of Functional Big Data Queries to SQL.
Proc. ACM Program. Lang.
Guoqiang Zhang, Benjamin Mariano, Xipeng Shen, Isil Dillig
2023 J jnl
Certifying Zero-Knowledge Circuits with Refinement Types.
IACR Cryptol. ePrint Arch.
Junrui Liu, Ian Kretz, Hanzhi Liu, Bryan Tan, Jonathan Wang, Yi Sun, Luke Pearson, Anders Miltner, Isil Dillig, Yu Feng
2023 A conf
Chipmunk: Investigating Crash-Consistency in Persistent-Memory File Systems.
EuroSys
Hayley LeBlanc, Shankara Pailoor, Om Saran K. R. E., Isil Dillig, James Bornholt, Vijay Chidambaram
2023 J jnl
Coeditor: Leveraging Contextual Changes for Multi-round Code Auto-editing.
CoRR
Jiayi Wei, Greg Durrett, Isil Dillig
2023 J jnl
Data Extraction via Semantic Regular Expression Synthesis.
CoRR
Qiaochu Chen, Arko Banerjee, Çagatay Demiralp, Greg Durrett, Isil Dillig
2023 J jnl
Data Extraction via Semantic Regular Expression Synthesis.
Proc. ACM Program. Lang.
Qiaochu Chen, Arko Banerjee, Çagatay Demiralp, Greg Durrett, Isil Dillig
2023 A* conf
Guiding Safe Exploration with Weakest Preconditions.
ICLR
Greg Anderson, Swarat Chaudhuri, Isil Dillig
2023 J jnl
ImageEye: Batch Image Processing Using Program Synthesis.
CoRR
Celeste Barnaby, Qiaochu Chen, Roopsha Samanta, Isil Dillig
2023 J jnl
ImageEye: Batch Image Processing using Program Synthesis.
Proc. ACM Program. Lang.
Celeste Barnaby, Qiaochu Chen, Roopsha Samanta, Isil Dillig
2023 J jnl
Inductive Program Synthesis Guided by Observational Program Similarity.
Proc. ACM Program. Lang.
John K. Feser, Isil Dillig, Armando Solar-Lezama
2023 J jnl
On a Foundation Model for Operating Systems.
CoRR
Divyanshu Saxena, Nihal Sharma, Donghyun Kim, Rohit Dwivedula, Jiayi Chen, Chenxi Yang, Sriram Ravula, Zichao Hu, Aditya Akella, Sebastian Angel, Joydeep Biswas, Swarat Chaudhuri, Isil Dillig, Alex Dimakis, Philip Brighten Godfrey, Daehyeok Kim, Christopher J. Rossbach, Gang Wang
2023 J jnl
PLUNDER: Probabilistic Program Synthesis for Learning from Unlabeled and Noisy Demonstrations.
CoRR
Jimmy Xin, Linus Zheng, Jiayi Wei, Kia Rahmani, Jarrett Holtz, Isil Dillig, Joydeep Biswas
2023 J jnl
Practical Security Analysis of Zero-Knowledge Proof Circuits.
IACR Cryptol. ePrint Arch.
Hongbo Wen, Jon Stephens, Yanju Chen, Kostas Ferles, Shankara Pailoor, Kyle Charbonnet, Isil Dillig, Yu Feng
2023 J jnl
Program Synthesis for Robot Learning from Demonstrations.
CoRR
Noah Patton, Kia Rahmani, Meghana Missula, Joydeep Biswas, Isil Dillig
2023 A* conf
SatLM: Satisfiability-Aided Language Models Using Declarative Prompting.
NeurIPS
Xi Ye, Qiaochu Chen, Isil Dillig, Greg Durrett
2023 J jnl
Satisfiability-Aided Language Models Using Declarative Prompting.
CoRR
Xi Ye, Qiaochu Chen, Isil Dillig, Greg Durrett
2023 A* conf
TypeT5: Seq2seq Type Inference using Static Analysis.
ICLR
Jiayi Wei, Greg Durrett, Isil Dillig
2023 J jnl
TypeT5: Seq2seq Type Inference using Static Analysis.
CoRR
Jiayi Wei, Greg Durrett, Isil Dillig
2022 J jnl
Automated Transpilation of Imperative to Functional Code using Neural-Guided Program Synthesis (Extended Version).
CoRR
Benjamin Mariano, Yanju Chen, Yu Feng, Greg Durrett, Isil Dillig
2022 J jnl
Automated transpilation of imperative to functional code using neural-guided program synthesis.
Proc. ACM Program. Lang.
Benjamin Mariano, Yanju Chen, Yu Feng, Greg Durrett, Isil Dillig
2022 J jnl
Bottom-up synthesis of recursive functional programs using angelic execution.
Proc. ACM Program. Lang.
Anders Miltner, Adrian Trejo Nuñez, Ana Brendel, Swarat Chaudhuri, Isil Dillig
2022 — conf
Counterfactual Explanations for Models of Code.
ICSE (SEIP)
Jürgen Cito, Isil Dillig, Vijayaraghavan Murali, Satish Chandra
2022 J jnl
Finding and Analyzing Crash-Consistency Bugs in Persistent-Memory File Systems.
CoRR
Hayley LeBlanc, Shankara Pailoor, Isil Dillig, James Bornholt, Vijay Chidambaram
2022 J jnl
Guiding Safe Exploration with Weakest Preconditions.
CoRR
Greg Anderson, Swarat Chaudhuri, Isil Dillig
2022 A* conf
Learning Contract Invariants Using Reinforcement Learning.
ASE
Junrui Liu, Yanju Chen, Bryan Tan, Isil Dillig, Yu Feng
2022 A conf
Making Table Understanding Work in Practice.
CIDR
Madelon Hulsebos, Sneha Gathani, James Gale, Isil Dillig, Paul Groth, Çagatay Demiralp
2022 J jnl
Metric Program Synthesis for Inverse CSG.
CoRR
John K. Feser, Isil Dillig, Armando Solar-Lezama
2022 A* ed.
PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13 - 17, 2022
PLDI
Ranjit Jhala, Isil Dillig
2022 A conf
STEADY: Simultaneous State Estimation and Dynamics Learning from Indirect Observations.
IROS
Jiayi Wei, Jarrett Holtz, Isil Dillig, Joydeep Biswas
2022 J jnl
STEADY: Simultaneous State Estimation and Dynamics Learning from Indirect Observations.
CoRR
Jiayi Wei, Jarrett Holtz, Isil Dillig, Joydeep Biswas
2022 J jnl
SolType: refinement types for arithmetic overflow in solidity.
Proc. ACM Program. Lang.
Bryan Tan, Benjamin Mariano, Shuvendu K. Lahiri, Isil Dillig, Yu Feng
2022 J jnl
Synthesis-powered optimization of smart contracts via data type refactoring.
Proc. ACM Program. Lang.
Yanju Chen, Yuepeng Wang, Maruth Goyal, James Dong, Yu Feng, Isil Dillig
2022 J jnl
Synthesizing Fine-Grained Synchronization Protocols for Implicit Monitors (Extended Version).
CoRR
Kostas Ferles, Benjamin Sepanski, Rahul Krishnan, James Bornholt, Isil Dillig
2022 J jnl
Synthesizing fine-grained synchronization protocols for implicit monitors.
Proc. ACM Program. Lang.
Kostas Ferles, Benjamin Sepanski, Rahul Krishnan, James Bornholt, Isil Dillig
2022 J jnl
Type-Directed Synthesis of Visualizations from Natural Language Queries.
CoRR
Qiaochu Chen, Shankara Pailoor, Celeste Barnaby, Abby Criswell, Chenglong Wang, Greg Durrett, Isil Dillig
2022 J jnl
Type-directed synthesis of visualizations from natural language queries.
Proc. ACM Program. Lang.
Qiaochu Chen, Shankara Pailoor, Celeste Barnaby, Abby Criswell, Chenglong Wang, Greg Durrett, Isil Dillig
2021 J jnl
Bottom-up Synthesis of Recursive Functional Programs using Angelic Execution.
CoRR
Anders Miltner, Adrian Trejo Nuñez, Ana Brendel, Swarat Chaudhuri, Isil Dillig
2021 — conf
Checking conformance of applications against GUI policies.
ESEC/SIGSOFT FSE
Zhen Zhang, Yu Feng, Michael D. Ernst, Sebastian Porst, Isil Dillig
2021 J jnl
Counterfactual Explanations for Models of Code.
CoRR
Jürgen Cito, Isil Dillig, Vijayaraghavan Murali, Satish Chandra
2021 — conf
Explaining mispredictions of machine learning models using rule induction.
ESEC/SIGSOFT FSE
Jürgen Cito, Isil Dillig, Seohyun Kim, Vijayaraghavan Murali, Satish Chandra
2021 A* conf
Falx: Synthesis-Powered Visualization Authoring.
CHI
Chenglong Wang, Yu Feng, Rastislav Bodík, Isil Dillig, Alvin Cheung, Amy J. Ko
2021 J jnl
Falx: Synthesis-Powered Visualization Authoring.
CoRR
Chenglong Wang, Yu Feng, Rastislav Bodík, Isil Dillig, Alvin Cheung, Amy J. Ko
2021 — ed.
MAPS@PLDI 2021: Proceedings of the 5th ACM SIGPLAN International Symposium on Machine Programming, Virtual Event, Canada, 21 June, 2021
MAPS@PLDI
Roopsha Samanta, Isil Dillig
2021 J jnl
Making Table Understanding Work in Practice.
CoRR
Madelon Hulsebos, Sneha Gathani, James Gale, Isil Dillig, Paul Groth, Çagatay Demiralp
2021 A conf
OneVision: Centralized to Distributed Controller Synthesis with Delay Compensation.
IROS
Jiayi Wei, Tongrui Li, Swarat Chaudhuri, Isil Dillig, Joydeep Biswas
2021 J jnl
OneVision: Centralized to Distributed Controller Synthesis with Delay Compensation.
CoRR
Jiayi Wei, Tongrui Li, Swarat Chaudhuri, Isil Dillig, Joydeep Biswas
2021 — conf
Optimal Neural Program Synthesis from Multimodal Specifications.
EMNLP (Findings)
Xi Ye, Qiaochu Chen, Isil Dillig, Greg Durrett
2021 A* conf
SmartPulse: Automated Checking of Temporal Properties in Smart Contracts.
SP
Jon Stephens, Kostas Ferles, Benjamin Mariano, Shuvendu K. Lahiri, Isil Dillig
2021 J jnl
SolType: Refinement Types for Solidity.
CoRR
Bryan Tan, Benjamin Mariano, Shuvendu K. Lahiri, Isil Dillig, Yu Feng
2021 A* conf
Synthesizing data structure refinements from integrity constraints.
PLDI
Shankara Pailoor, Yuepeng Wang, Xinyu Wang, Isil Dillig
2021 J jnl
UDF to SQL translation through compositional lazy inductive synthesis.
Proc. ACM Program. Lang.
Guoqiang Zhang, Yuanchao Xu, Xipeng Shen, Isil Dillig
2021 J jnl
Verifying correct usage of context-free API protocols.
Proc. ACM Program. Lang.
Kostas Ferles, Jon Stephens, Isil Dillig
2021 J jnl
Web Question Answering with Neurosymbolic Program Synthesis.
CoRR
Qiaochu Chen, Aaron Lamoreaux, Xinyu Wang, Greg Durrett, Osbert Bastani, Isil Dillig
2021 A* conf
Web question answering with neurosymbolic program synthesis.
PLDI
Qiaochu Chen, Aaron Lamoreaux, Xinyu Wang, Greg Durrett, Osbert Bastani, Isil Dillig
2020 J jnl
Automated policy synthesis for system call sandboxing.
Proc. ACM Program. Lang.
Shankara Pailoor, Xinyu Wang, Hovav Shacham, Isil Dillig
2020 A* conf
Benchmarking Multimodal Regex Synthesis with Complex Structures.
ACL
Xi Ye, Qiaochu Chen, Isil Dillig, Greg Durrett
2020 J jnl
Benchmarking Multimodal Regex Synthesis with Complex Structures.
CoRR
Xi Ye, Qiaochu Chen, Isil Dillig, Greg Durrett
2020 J jnl
Data Migration using Datalog Program Synthesis.
CoRR
Yuepeng Wang, Rushi Shah, Abby Criswell, Rong Pan, Isil Dillig
2020 J jnl
Data Migration using Datalog Program Synthesis.
Proc. VLDB Endow.
Yuepeng Wang, Rushi Shah, Abby Criswell, Rong Pan, Isil Dillig
2020 A* conf
Demystifying Loops in Smart Contracts.
ASE
Benjamin Mariano, Yanju Chen, Yu Feng, Shuvendu K. Lahiri, Isil Dillig
2020 A* conf
LambdaNet: Probabilistic Type Inference using Graph Neural Networks.
ICLR
Jiayi Wei, Maruth Goyal, Greg Durrett, Isil Dillig
2020 J jnl
LambdaNet: Probabilistic Type Inference using Graph Neural Networks.
CoRR
Jiayi Wei, Maruth Goyal, Greg Durrett, Isil Dillig
2020 A* conf
Multi-modal synthesis of regular expressions.
PLDI
Qiaochu Chen, Xinyu Wang, Xi Ye, Greg Durrett, Isil Dillig
2020 A* conf
Neurosymbolic Reinforcement Learning with Formally Verified Exploration.
NeurIPS
Greg Anderson, Abhinav Verma, Isil Dillig, Swarat Chaudhuri
2020 J jnl
Neurosymbolic Reinforcement Learning with Formally Verified Exploration.
CoRR
Greg Anderson, Abhinav Verma, Isil Dillig, Swarat Chaudhuri
2020 J jnl
Optimal Neural Program Synthesis from Multimodal Specifications.
CoRR
Xi Ye, Qiaochu Chen, Isil Dillig, Greg Durrett
2020 — conf
Program Synthesis Using Deduction-Guided Reinforcement Learning.
CAV (2)
Yanju Chen, Chenglong Wang, Osbert Bastani, Isil Dillig, Yu Feng
2020 J jnl
Sketch-Driven Regular Expression Generation from Natural Language and Examples.
Trans. Assoc. Comput. Linguistics
Xi Ye, Qiaochu Chen, Xinyu Wang, Isil Dillig, Greg Durrett
2020 J jnl
Symbolic Reasoning for Automatic Signal Placement.
ACM SIGOPS Oper. Syst. Rev.
Kostas Ferles, Jacob Van Geffen, Isil Dillig, Yannis Smaragdakis
2020 — conf
Synthesizing JIT Compilers for In-Kernel DSLs.
CAV (2)
Jacob Van Geffen, Luke Nelson, Isil Dillig, Xi Wang, Emina Torlak
2020 J jnl
Verifying Correct Usage of Context-Free API Protocols (Extended Version).
CoRR
Kostas Ferles, Jon Stephens, Isil Dillig
2020 J jnl
Visualization by example.
Proc. ACM Program. Lang.
Chenglong Wang, Yu Feng, Rastislav Bodík, Alvin Cheung, Isil Dillig
2019 — ed.
Computer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
CAV (1)
Isil Dillig, Serdar Tasiran
2019 — ed.
Computer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
CAV (2)
Isil Dillig, Serdar Tasiran
2019 — conf
Formal Verification of Workflow Policies for Smart Contracts in Azure Blockchain.
VSTTE
Yuepeng Wang, Shuvendu K. Lahiri, Shuo Chen, Rong Pan, Isil Dillig, Cody Born, Immad Naseer, Kostas Ferles
2019 J jnl
Multi-Modal Synthesis of Regular Expressions.
CoRR
Qiaochu Chen, Xinyu Wang, Xi Ye, Greg Durrett, Isil Dillig
2019 J jnl
Optimization and Abstraction: A Synergistic Approach for Analyzing Neural Network Robustness.
CoRR
Greg Anderson, Shankara Pailoor, Isil Dillig, Swarat Chaudhuri
2019 A* conf
Optimization and abstraction: a synergistic approach for analyzing neural network robustness.
PLDI
Greg Anderson, Shankara Pailoor, Isil Dillig, Swarat Chaudhuri
2019 — conf
Programming support for database schema refactoring (keynote).
DBPL
Isil Dillig
2019 — conf
Programming support for evolving database applications (invited talk).
SPLASH (Companion Volume)
Isil Dillig
2019 J jnl
Relational verification using reinforcement learning.
Proc. ACM Program. Lang.
Jia Chen, Jiayi Wei, Yu Feng, Osbert Bastani, Isil Dillig
2019 J jnl
Sketch-Driven Regular Expression Generation from Natural Language and Examples.
CoRR
Xi Ye, Qiaochu Chen, Xinyu Wang, Isil Dillig, Greg Durrett
2019 J jnl
Synthesizing Database Programs for Schema Refactoring.
CoRR
Yuepeng Wang, James Dong, Rushi Shah, Isil Dillig
2019 A* conf
Synthesizing database programs for schema refactoring.
PLDI
Yuepeng Wang, James Dong, Rushi Shah, Isil Dillig
2019 J jnl
Trinity: An Extensible Synthesis Framework for Data Science.
Proc. VLDB Endow.
Ruben Martins, Jia Chen, Yanju Chen, Yu Feng, Isil Dillig
2019 J jnl
Visualization by Example.
CoRR
Chenglong Wang, Yu Feng, Rastislav Bodík, Alvin Cheung, Isil Dillig
2018 J jnl
Automated Migration of Hierarchical Data to Relational Tables using Programming-by-Example.
Proc. VLDB Endow.
Navid Yaghmazadeh, Xinyu Wang, Isil Dillig
2018 J jnl
Formal Specification and Verification of Smart Contracts for Azure Blockchain.
CoRR
Shuvendu K. Lahiri, Shuo Chen, Yuepeng Wang, Isil Dillig
2018 — conf
Learning Abstractions for Program Synthesis.
CAV (1)
Xinyu Wang, Greg Anderson, Isil Dillig, Kenneth L. McMillan
2018 J jnl
Learning Abstractions for Program Synthesis.
CoRR
Xinyu Wang, Greg Anderson, Isil Dillig, Kenneth L. McMillan
2018 J jnl
Program synthesis using abstraction refinement.
Proc. ACM Program. Lang.
Xinyu Wang, Isil Dillig, Rishabh Singh
2018 A* conf
Program synthesis using conflict-driven learning.
PLDI
Yu Feng, Ruben Martins, Osbert Bastani, Isil Dillig
2018 J jnl
Relational Program Synthesis.
CoRR
Yuepeng Wang, Xinyu Wang, Isil Dillig
2018 J jnl
Relational program synthesis.
Proc. ACM Program. Lang.
Yuepeng Wang, Xinyu Wang, Isil Dillig
2018 — conf
Singularity: pattern fuzzing for worst case complexity.
ESEC/SIGSOFT FSE
Jiayi Wei, Jia Chen, Yu Feng, Kostas Ferles, Isil Dillig
2018 J jnl
Symbolic Reasoning for Automatic Signal Placement (Extended Version).
CoRR
Kostas Ferles, Jacob Van Geffen, Isil Dillig, Yannis Smaragdakis
2018 A* conf
Symbolic reasoning for automatic signal placement.
PLDI
Kostas Ferles, Jacob Van Geffen, Isil Dillig, Yannis Smaragdakis
2018 B ed.
Verification, Model Checking, and Abstract Interpretation - 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings
VMCAI
Isil Dillig, Jens Palsberg
2018 J jnl
Verified three-way program merge.
Proc. ACM Program. Lang.
Marcelo Sousa, Isil Dillig, Shuvendu K. Lahiri
2018 J jnl
Verifying Semantic Conflict-Freedom in Three-Way Program Merges.
CoRR
Marcelo Sousa, Isil Dillig, Shuvendu K. Lahiri
2018 J jnl
Verifying equivalence of database-driven applications.
Proc. ACM Program. Lang.
Yuepeng Wang, Isil Dillig, Shuvendu K. Lahiri, William R. Cook
2017 J jnl
Automated Migration of Hierarchical Data to Relational Tables using Programming-by-Example.
CoRR
Navid Yaghmazadeh, Xinyu Wang, Isil Dillig
2017 A* conf
Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability.
NDSS
Yu Feng, Osbert Bastani, Ruben Martins, Isil Dillig, Saswat Anand
2017 A* conf
Component-based synthesis for complex APIs.
POPL
Yu Feng, Ruben Martins, Yuepeng Wang, Isil Dillig, Thomas W. Reps
2017 A* conf
Component-based synthesis of table consolidation and transformation tasks from examples.
PLDI
Yu Feng, Ruben Martins, Jacob Van Geffen, Isil Dillig, Swarat Chaudhuri
2017 J jnl
Failure-Directed Program Trimming (Extended Version).
CoRR
Kostas Ferles, Valentin Wüstholz, Maria Christakis, Isil Dillig
2017 — conf
Failure-directed program trimming.
ESEC/SIGSOFT FSE
Kostas Ferles, Valentin Wüstholz, Maria Christakis, Isil Dillig
2017 A* conf
Precise Detection of Side-Channel Vulnerabilities using Quantitative Cartesian Hoare Logic.
CCS
Jia Chen, Yu Feng, Isil Dillig
2017 J jnl
Program Synthesis using Abstraction Refinement.
CoRR
Xinyu Wang, Isil Dillig, Rishabh Singh
2017 J jnl
SQLizer: query synthesis from natural language.
Proc. ACM Program. Lang.
Navid Yaghmazadeh, Yuepeng Wang, Isil Dillig, Thomas Dillig
2017 — conf
Static Detection of DoS Vulnerabilities in Programs that Use Regular Expressions.
TACAS (2)
Valentin Wüstholz, Oswaldo Olivo, Marijn J. H. Heule, Isil Dillig
2017 J jnl
Static Detection of DoS Vulnerabilities in Programs that use Regular Expressions (Extended Version).
CoRR
Valentin Wüstholz, Oswaldo Olivo, Marijn J. H. Heule, Isil Dillig
2017 A* conf
Static detection of asymptotic resource side-channel vulnerabilities in web applications.
ASE
Jia Chen, Oswaldo Olivo, Isil Dillig, Calvin Lin
2017 J jnl
Synthesis of Data Completion Scripts using Finite Tree Automata.
CoRR
Xinyu Wang, Isil Dillig, Rishabh Singh
2017 J jnl
Synthesis of circular compositional program proofs via abduction.
Int. J. Softw. Tools Technol. Transf.
Isil Dillig, Thomas Dillig, Boyang Li, Kenneth L. McMillan, Mooly Sagiv
2017 J jnl
Synthesis of data completion scripts using finite tree automata.
Proc. ACM Program. Lang.
Xinyu Wang, Isil Dillig, Rishabh Singh
2017 J jnl
Type- and Content-Driven Synthesis of SQL Queries from Natural Language.
CoRR
Navid Yaghmazadeh, Yuepeng Wang, Isil Dillig, Thomas Dillig
2017 J jnl
Verifying Equivalence of Database-Driven Applications.
CoRR
Yuepeng Wang, Isil Dillig, Shuvendu K. Lahiri, William R. Cook
2016 J jnl
Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability.
CoRR
Yu Feng, Osbert Bastani, Ruben Martins, Isil Dillig, Saswat Anand
2016 A* conf
Cartesian hoare logic for verifying k-safety properties.
PLDI
Marcelo Sousa, Isil Dillig
2016 J jnl
Component-based Synthesis of Table Consolidation and Transformation Tasks from Examples.
CoRR
Yu Feng, Ruben Martins, Jacob Van Geffen, Isil Dillig, Swarat Chaudhuri
2016 — conf
Hunter: next-generation code reuse for Java.
SIGSOFT FSE
Yuepeng Wang, Yu Feng, Ruben Martins, Arati Kaushik, Isil Dillig, Steven P. Reiss
2016 A* conf
Maximal specification synthesis.
POPL
Aws Albarghouthi, Isil Dillig, Arie Gurfinkel
2016 A* conf
Synthesizing transformations on hierarchically structured data.
PLDI
Navid Yaghmazadeh, Christian Klinger, Isil Dillig, Swarat Chaudhuri
2016 J jnl
Type-Directed Code Reuse using Integer Linear Programming.
CoRR
Yuepeng Wang, Yu Feng, Ruben Martins, Arati Kaushik, Isil Dillig, Steven P. Reiss
2015 B conf
Abductive Inference and Its Applications in Program Analysis, Verification, and Synthesis.
FMCAD
Isil Dillig
2015 B conf
Bottom-Up Context-Sensitive Pointer Analysis for Java.
APLAS
Yu Feng, Xinyu Wang, Isil Dillig, Thomas Dillig
2015 A* conf
Detecting and Exploiting Second Order Denial-of-Service Vulnerabilities in Web Applications.
CCS
Oswaldo Olivo, Isil Dillig, Calvin Lin
2015 A conf
EXPLORER : query- and demand-driven exploration of interprocedural control flow properties.
OOPSLA
Yu Feng, Xinyu Wang, Isil Dillig, Calvin Lin
2015 A* conf
Static detection of asymptotic performance bugs in collection traversals.
PLDI
Oswaldo Olivo, Isil Dillig, Calvin Lin
2015 A* conf
Synthesizing data structure transformations from input-output examples.
PLDI
John K. Feser, Swarat Chaudhuri, Isil Dillig
2014 — conf
Apposcopy: automated detection of Android malware (invited talk).
DeMobile@SIGSOFT FSE
Yu Feng, Isil Dillig, Saswat Anand, Alex Aiken
2014 — conf
Apposcopy: semantics-based detection of Android malware through static analysis.
SIGSOFT FSE
Yu Feng, Saswat Anand, Isil Dillig, Alex Aiken
2014 A* conf
Consolidation of queries with user-defined functions.
PLDI
Marcelo Sousa, Isil Dillig, Dimitrios Vytiniotis, Thomas Dillig, Christos Gkantsidis
2014 A* conf
Optimal Guard Synthesis for Memory Safety.
CAV
Thomas Dillig, Isil Dillig, Swarat Chaudhuri
2013 B conf
Automated Inference of Library Specifications for Source-Sink Property Verification.
APLAS
Haiyan Zhu, Thomas Dillig, Isil Dillig
2013 A* conf
Explain: A Tool for Performing Abductive Inference.
CAV
Isil Dillig, Thomas Dillig
2013 A conf
Inductive invariant generation via abductive inference.
OOPSLA
Isil Dillig, Thomas Dillig, Boyang Li, Kenneth L. McMillan
2013 A conf
Synthesis of Circular Compositional Program Proofs via Abduction.
TACAS
Boyang Li, Isil Dillig, Thomas Dillig, Kenneth L. McMillan, Mooly Sagiv
2012 A* conf
Automated error diagnosis using abductive inference.
PLDI
Isil Dillig, Thomas Dillig, Alex Aiken
2012 A* conf
Minimum Satisfying Assignments for SMT.
CAV
Isil Dillig, Thomas Dillig, Kenneth L. McMillan, Alex Aiken
2011 J jnl
Cuts from proofs: a complete and practical technique for solving linear inequalities over integers.
Formal Methods Syst. Des.
Isil Dillig, Thomas Dillig, Alex Aiken
2011 — —
Precise and automatic verification of container-manipulating programs.
Isil Dillig
2011 A* conf
Precise and compact modular procedure summaries for heap manipulating programs.
PLDI
Isil Dillig, Thomas Dillig, Alex Aiken, Mooly Sagiv
2011 A* conf
Precise reasoning for programs using containers.
POPL
Isil Dillig, Thomas Dillig, Alex Aiken
2011 A* conf
Simplifying Loop Invariant Generation Using Splitter Predicates.
CAV
Rahul Sharma, Isil Dillig, Thomas Dillig, Alex Aiken
2010 A conf
Fluid Updates: Beyond Strong vs. Weak Updates.
ESOP
Isil Dillig, Thomas Dillig, Alex Aiken
2010 J jnl
Reasoning about the unknown in static analysis.
Commun. ACM
Isil Dillig, Thomas Dillig, Alex Aiken
2010 B conf
Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis.
SAS
Isil Dillig, Thomas Dillig, Alex Aiken
2010 A conf
Symbolic heap abstraction with demand-driven axiomatization of memory invariants.
OOPSLA
Isil Dillig, Thomas Dillig, Alex Aiken
2009 A* conf
Cuts from Proofs: A Complete and Practical Technique for Solving Linear Inequalities over Integers.
CAV
Isil Dillig, Thomas Dillig, Alex Aiken
2008 A* conf
Sound, complete and scalable path-sensitive analysis.
PLDI
Isil Dillig, Thomas Dillig, Alex Aiken
2008 C conf
The CLOSER: automating resource management in java.
ISMM
Isil Dillig, Thomas Dillig, Eran Yahav, Satish Chandra
2007 — conf
An overview of the saturn project.
PASTE
Alex Aiken, Suhabe Bugrara, Isil Dillig, Thomas Dillig, Brian Hackett, Peter Hawkins
2007 A* conf
Static error detection using semantic inconsistency inference.
PLDI
Isil Dillig, Thomas Dillig, Alex Aiken