Isil Dillig

ORCID

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 138

Top Venues

CoRR

Proc. ACM Program. Lang.

PLDI

ESEC/SIGSOFT FSE

Publications

Noah Patton, Kia Rahmani, Meghana Missula, Joydeep Biswas, Isil Dillig
Programming-by-Demonstration for Long-Horizon Robot Tasks. Proc. ACM Program. Lang. 8 (POPL) (2024)
Alex Ozdemir, Shankara Pailoor, Alp Bassa, Kostas Ferles, Clark W. Barrett, Isil Dillig
Split Gröbner Bases for Satisfiability Modulo Finite Fields. CAV (1) (2024)
Sadanand Modak, Noah Patton, Isil Dillig, Joydeep Biswas
Synapse: Learning Preferential Concepts from Visual Demonstrations. CoRR (2024)
Anders Miltner, Ziteng Wang, Swarat Chaudhuri, Isil Dillig
Relational Synthesis of Recursive Programs via Constraint Annotated Tree Automata. CAV (3) (2024)
Shankara Pailoor, Yuepeng Wang, Isil Dillig
Semantic Code Refactoring for Abstract Data Types. Proc. ACM Program. Lang. 8 (POPL) (2024)
Alex Ozdemir, Shankara Pailoor, Alp Bassa, Kostas Ferles, Clark W. Barrett, Isil Dillig
Split Gröbner Bases for Satisfiability Modulo Finite Fields. IACR Cryptol. ePrint Arch. 2024 (2024)
Ziteng Wang, Shankara Pailoor, Aaryan Prakash, Yuepeng Wang, Isil Dillig
From Batch to Stream: Automatic Generation of Online Algorithms. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Jimmy Xin, Linus Zheng, Kia Rahmani, Jiayi Wei, Jarrett Holtz, Isil Dillig, Joydeep Biswas
Programmatic Imitation Learning From Unlabeled and Noisy Demonstrations. IEEE Robotics Autom. Lett. 9 (6) (2024)
Ziteng Wang, Shankara Pailoor, Aaryan Prakash, Yuepeng Wang, Isil Dillig
From Batch to Stream: Automatic Generation of Online Algorithms. CoRR (2024)
Celeste Barnaby, Qiaochu Chen, Chenglong Wang, Isil Dillig
PhotoScout: Synthesis-Powered Multi-Modal Image Search. CHI (2024)
Arko Banerjee, Kia Rahmani, Joydeep Biswas, Isil Dillig
Dynamic Model Predictive Shielding for Provably Safe Reinforcement Learning. CoRR (2024)
Jürgen Cito, Isil Dillig, Vijayaraghavan Murali, Satish Chandra
Counterfactual Explanations for Models of Code. Software Engineering (2024)
Hongbo Wen, Jon Stephens, Yanju Chen, Kostas Ferles, Shankara Pailoor, Kyle Charbonnet, Isil Dillig, Yu Feng
Practical Security Analysis of Zero-Knowledge Proof Circuits. USENIX Security Symposium (2024)
Jiayi Wei, Greg Durrett, Isil Dillig
Coeditor: Leveraging Repo-level Diffs for Code Auto-editing. ICLR (2024)
Celeste Barnaby, Qiaochu Chen, Chenglong Wang, Isil Dillig
PhotoScout: Synthesis-Powered Multi-Modal Image Search. CoRR (2024)
Shankara Pailoor, Yanju Chen, Franklyn Wang, Clara Rodríguez, Jacob Van Geffen, Jason Morton, Michael Chu, Brian Gu, Yu Feng, Isil Dillig
Automated Detection of Under-Constrained Circuits in Zero-Knowledge Proofs. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Guoqiang Zhang, Benjamin Mariano, Xipeng Shen, Isil Dillig
Automated Translation of Functional Big Data Queries to SQL. Proc. ACM Program. Lang. 7 (OOPSLA1) (2023)
Jiayi Wei, Greg Durrett, Isil Dillig
TypeT5: Seq2seq Type Inference using Static Analysis. ICLR (2023)
Hongbo Wen, Jon Stephens, Yanju Chen, Kostas Ferles, Shankara Pailoor, Kyle Charbonnet, Isil Dillig, Yu Feng
Practical Security Analysis of Zero-Knowledge Proof Circuits. IACR Cryptol. ePrint Arch. 2023 (2023)
Hayley LeBlanc, Shankara Pailoor, Om Saran K. R. E, Isil Dillig, James Bornholt, Vijay Chidambaram
Chipmunk: Investigating Crash-Consistency in Persistent-Memory File Systems. EuroSys (2023)
Junrui Liu, Ian Kretz, Hanzhi Liu, Bryan Tan, Jonathan Wang, Yi Sun, Luke Pearson, Anders Miltner, Isil Dillig, Yu Feng
Certifying Zero-Knowledge Circuits with Refinement Types. IACR Cryptol. ePrint Arch. 2023 (2023)
John K. Feser, Isil Dillig, Armando Solar-Lezama
Inductive Program Synthesis Guided by Observational Program Similarity. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Greg Anderson, Swarat Chaudhuri, Isil Dillig
Guiding Safe Exploration with Weakest Preconditions. ICLR (2023)
Xi Ye, Qiaochu Chen, Isil Dillig, Greg Durrett
Satisfiability-Aided Language Models Using Declarative Prompting. CoRR (2023)
Celeste Barnaby, Qiaochu Chen, Roopsha Samanta, Isil Dillig
ImageEye: Batch Image Processing using Program Synthesis. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Junrui Liu, Ian Kretz, Hanzhi Liu, Bryan Tan, Jonathan Wang, Yi Sun, Luke Pearson, Anders Miltner, Isil Dillig, Yu Feng
Certifying Zero-Knowledge Circuits with Refinement Types. CoRR (2023)
Qiaochu Chen, Arko Banerjee, Çagatay Demiralp, Greg Durrett, Isil Dillig
Data Extraction via Semantic Regular Expression Synthesis. CoRR (2023)
Jiayi Wei, Greg Durrett, Isil Dillig
Coeditor: Leveraging Contextual Changes for Multi-round Code Auto-editing. CoRR (2023)
Xi Ye, Qiaochu Chen, Isil Dillig, Greg Durrett
SatLM: Satisfiability-Aided Language Models Using Declarative Prompting. NeurIPS (2023)
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
On a Foundation Model for Operating Systems. CoRR (2023)
Celeste Barnaby, Qiaochu Chen, Roopsha Samanta, Isil Dillig
ImageEye: Batch Image Processing Using Program Synthesis. CoRR (2023)
Shankara Pailoor, Yanju Chen, Franklyn Wang, Clara Rodríguez, Jacob Van Gaffen, Jason Morton, Michael Chu, Brian Gu, Yu Feng, Isil Dillig
Automated Detection of Underconstrained Circuits for Zero-Knowledge Proofs. IACR Cryptol. ePrint Arch. 2023 (2023)
Jimmy Xin, Linus Zheng, Jiayi Wei, Kia Rahmani, Jarrett Holtz, Isil Dillig, Joydeep Biswas
PLUNDER: Probabilistic Program Synthesis for Learning from Unlabeled and Noisy Demonstrations. CoRR (2023)
Noah Patton, Kia Rahmani, Meghana Missula, Joydeep Biswas, Isil Dillig
Program Synthesis for Robot Learning from Demonstrations. CoRR (2023)
Jiayi Wei, Greg Durrett, Isil Dillig
TypeT5: Seq2seq Type Inference using Static Analysis. CoRR (2023)
Qiaochu Chen, Arko Banerjee, Çagatay Demiralp, Greg Durrett, Isil Dillig
Data Extraction via Semantic Regular Expression Synthesis. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Greg Anderson, Swarat Chaudhuri, Isil Dillig
Guiding Safe Exploration with Weakest Preconditions. CoRR (2022)
Kostas Ferles, Benjamin Sepanski, Rahul Krishnan, James Bornholt, Isil Dillig
Synthesizing fine-grained synchronization protocols for implicit monitors. Proc. ACM Program. Lang. 6 (OOPSLA) (2022)
Madelon Hulsebos, Sneha Gathani, James Gale, Isil Dillig, Paul Groth, Çagatay Demiralp
Making Table Understanding Work in Practice. CIDR (2022)
Benjamin Mariano, Yanju Chen, Yu Feng, Greg Durrett, Isil Dillig
Automated Transpilation of Imperative to Functional Code using Neural-Guided Program Synthesis (Extended Version). CoRR (2022)
Anders Miltner, Adrian Trejo Nuñez, Ana Brendel, Swarat Chaudhuri, Isil Dillig
Bottom-up synthesis of recursive functional programs using angelic execution. Proc. ACM Program. Lang. 6 (POPL) (2022)
Jiayi Wei, Jarrett Holtz, Isil Dillig, Joydeep Biswas
STEADY: Simultaneous State Estimation and Dynamics Learning from Indirect Observations. CoRR (2022)
Yanju Chen, Yuepeng Wang, Maruth Goyal, James Dong, Yu Feng, Isil Dillig
Synthesis-powered optimization of smart contracts via data type refactoring. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Hayley LeBlanc, Shankara Pailoor, Isil Dillig, James Bornholt, Vijay Chidambaram
Finding and Analyzing Crash-Consistency Bugs in Persistent-Memory File Systems. CoRR (2022)
Jiayi Wei, Jarrett Holtz, Isil Dillig, Joydeep Biswas
STEADY: Simultaneous State Estimation and Dynamics Learning from Indirect Observations. IROS (2022)
Qiaochu Chen, Shankara Pailoor, Celeste Barnaby, Abby Criswell, Chenglong Wang, Greg Durrett, Isil Dillig
Type-directed synthesis of visualizations from natural language queries. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Junrui Liu, Yanju Chen, Bryan Tan, Isil Dillig, Yu Feng
Learning Contract Invariants Using Reinforcement Learning. ASE (2022)
John K. Feser, Isil Dillig, Armando Solar-Lezama
Metric Program Synthesis for Inverse CSG. CoRR (2022)
Jürgen Cito, Isil Dillig, Vijayaraghavan Murali, Satish Chandra
Counterfactual Explanations for Models of Code. ICSE (SEIP) (2022)
Bryan Tan, Benjamin Mariano, Shuvendu K. Lahiri, Isil Dillig, Yu Feng
SolType: refinement types for arithmetic overflow in solidity. Proc. ACM Program. Lang. 6 (POPL) (2022)
Kostas Ferles, Benjamin Sepanski, Rahul Krishnan, James Bornholt, Isil Dillig
Synthesizing Fine-Grained Synchronization Protocols for Implicit Monitors. CoRR (2022)
Qiaochu Chen, Shankara Pailoor, Celeste Barnaby, Abby Criswell, Chenglong Wang, Greg Durrett, Isil Dillig
Type-Directed Synthesis of Visualizations from Natural Language Queries. CoRR (2022)
Benjamin Mariano, Yanju Chen, Yu Feng, Greg Durrett, Isil Dillig
Automated transpilation of imperative to functional code using neural-guided program synthesis. Proc. ACM Program. Lang. 6 (OOPSLA) (2022)
Zhen Zhang, Yu Feng, Michael D. Ernst, Sebastian Porst, Isil Dillig
Checking conformance of applications against GUI policies. ESEC/SIGSOFT FSE (2021)
Anders Miltner, Adrian Trejo Nuñez, Ana Brendel, Swarat Chaudhuri, Isil Dillig
Bottom-up Synthesis of Recursive Functional Programs using Angelic Execution. CoRR (2021)
Jürgen Cito, Isil Dillig, Vijayaraghavan Murali, Satish Chandra
Counterfactual Explanations for Models of Code. CoRR (2021)
Chenglong Wang, Yu Feng, Rastislav Bodík, Isil Dillig, Alvin Cheung, Amy J. Ko
Falx: Synthesis-Powered Visualization Authoring. CoRR (2021)
Qiaochu Chen, Aaron Lamoreaux, Xinyu Wang, Greg Durrett, Osbert Bastani, Isil Dillig
Web question answering with neurosymbolic program synthesis. PLDI (2021)
Jiayi Wei, Tongrui Li, Swarat Chaudhuri, Isil Dillig, Joydeep Biswas
OneVision: Centralized to Distributed Controller Synthesis with Delay Compensation. IROS (2021)
Jon Stephens, Kostas Ferles, Benjamin Mariano, Shuvendu K. Lahiri, Isil Dillig
SmartPulse: Automated Checking of Temporal Properties in Smart Contracts. IEEE Symposium on Security and Privacy (2021)
Madelon Hulsebos, Sneha Gathani, James Gale, Isil Dillig, Paul Groth, Çagatay Demiralp
Making Table Understanding Work in Practice. CoRR (2021)
Kostas Ferles, Jon Stephens, Isil Dillig
Verifying correct usage of context-free API protocols. Proc. ACM Program. Lang. 5 (POPL) (2021)
Jürgen Cito, Isil Dillig, Seohyun Kim, Vijayaraghavan Murali, Satish Chandra
Explaining mispredictions of machine learning models using rule induction. ESEC/SIGSOFT FSE (2021)
Bryan Tan, Benjamin Mariano, Shuvendu K. Lahiri, Isil Dillig, Yu Feng
SolType: Refinement Types for Solidity. CoRR (2021)
Qiaochu Chen, Aaron Lamoreaux, Xinyu Wang, Greg Durrett, Osbert Bastani, Isil Dillig
Web Question Answering with Neurosymbolic Program Synthesis. CoRR (2021)
Jiayi Wei, Tongrui Li, Swarat Chaudhuri, Isil Dillig, Joydeep Biswas
OneVision: Centralized to Distributed Controller Synthesis with Delay Compensation. CoRR (2021)
Xi Ye, Qiaochu Chen, Isil Dillig, Greg Durrett
Optimal Neural Program Synthesis from Multimodal Specifications. EMNLP (Findings) (2021)
Shankara Pailoor, Yuepeng Wang, Xinyu Wang, Isil Dillig
Synthesizing data structure refinements from integrity constraints. PLDI (2021)
Chenglong Wang, Yu Feng, Rastislav Bodík, Isil Dillig, Alvin Cheung, Amy J. Ko
Falx: Synthesis-Powered Visualization Authoring. CHI (2021)
Guoqiang Zhang, Yuanchao Xu, Xipeng Shen, Isil Dillig
UDF to SQL translation through compositional lazy inductive synthesis. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Kostas Ferles, Jon Stephens, Isil Dillig
Verifying Correct Usage of Context-Free API Protocols (Extended Version). CoRR (2020)
Chenglong Wang, Yu Feng, Rastislav Bodík, Alvin Cheung, Isil Dillig
Visualization by example. Proc. ACM Program. Lang. 4 (POPL) (2020)
Kostas Ferles, Jacob Van Geffen, Isil Dillig, Yannis Smaragdakis
Symbolic Reasoning for Automatic Signal Placement. ACM SIGOPS Oper. Syst. Rev. 54 (1) (2020)
Xi Ye, Qiaochu Chen, Isil Dillig, Greg Durrett
Benchmarking Multimodal Regex Synthesis with Complex Structures. CoRR (2020)
Xi Ye, Qiaochu Chen, Isil Dillig, Greg Durrett
Optimal Neural Program Synthesis from Multimodal Specifications. CoRR (2020)
Xi Ye, Qiaochu Chen, Isil Dillig, Greg Durrett
Benchmarking Multimodal Regex Synthesis with Complex Structures. ACL (2020)
Jiayi Wei, Maruth Goyal, Greg Durrett, Isil Dillig
LambdaNet: Probabilistic Type Inference using Graph Neural Networks. CoRR (2020)
Jacob Van Geffen, Luke Nelson, Isil Dillig, Xi Wang, Emina Torlak
Synthesizing JIT Compilers for In-Kernel DSLs. CAV (2) (2020)
Yanju Chen, Chenglong Wang, Osbert Bastani, Isil Dillig, Yu Feng
Program Synthesis Using Deduction-Guided Reinforcement Learning. CAV (2) (2020)
Greg Anderson, Abhinav Verma, Isil Dillig, Swarat Chaudhuri
Neurosymbolic Reinforcement Learning with Formally Verified Exploration. NeurIPS (2020)
Benjamin Mariano, Yanju Chen, Yu Feng, Shuvendu K. Lahiri, Isil Dillig
Demystifying Loops in Smart Contracts. ASE (2020)
Yuepeng Wang, Rushi Shah, Abby Criswell, Rong Pan, Isil Dillig
Data Migration using Datalog Program Synthesis. CoRR (2020)
Qiaochu Chen, Xinyu Wang, Xi Ye, Greg Durrett, Isil Dillig
Multi-modal synthesis of regular expressions. PLDI (2020)
Xi Ye, Qiaochu Chen, Xinyu Wang, Isil Dillig, Greg Durrett
Sketch-Driven Regular Expression Generation from Natural Language and Examples. Trans. Assoc. Comput. Linguistics 8 (2020)
Jiayi Wei, Maruth Goyal, Greg Durrett, Isil Dillig
LambdaNet: Probabilistic Type Inference using Graph Neural Networks. ICLR (2020)
Greg Anderson, Abhinav Verma, Isil Dillig, Swarat Chaudhuri
Neurosymbolic Reinforcement Learning with Formally Verified Exploration. CoRR (2020)
Shankara Pailoor, Xinyu Wang, Hovav Shacham, Isil Dillig
Automated policy synthesis for system call sandboxing. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Yuepeng Wang, Rushi Shah, Abby Criswell, Rong Pan, Isil Dillig
Data Migration using Datalog Program Synthesis. Proc. VLDB Endow. 13 (7) (2020)
Yuepeng Wang, Shuvendu K. Lahiri, Shuo Chen, Rong Pan, Isil Dillig, Cody Born, Immad Naseer, Kostas Ferles
Formal Verification of Workflow Policies for Smart Contracts in Azure Blockchain. VSTTE (2019)
Yuepeng Wang, James Dong, Rushi Shah, Isil Dillig
Synthesizing Database Programs for Schema Refactoring. CoRR (2019)
Qiaochu Chen, Xinyu Wang, Xi Ye, Greg Durrett, Isil Dillig
Multi-Modal Synthesis of Regular Expressions. CoRR (2019)
Yuepeng Wang, James Dong, Rushi Shah, Isil Dillig
Synthesizing database programs for schema refactoring. PLDI (2019)
Xi Ye, Qiaochu Chen, Xinyu Wang, Isil Dillig, Greg Durrett
Sketch-Driven Regular Expression Generation from Natural Language and Examples. CoRR (2019)
Ruben Martins, Jia Chen, Yanju Chen, Yu Feng, Isil Dillig
Trinity: An Extensible Synthesis Framework for Data Science. Proc. VLDB Endow. 12 (12) (2019)
Isil Dillig
Programming support for database schema refactoring (keynote). DBPL (2019)
Greg Anderson, Shankara Pailoor, Isil Dillig, Swarat Chaudhuri
Optimization and abstraction: a synergistic approach for analyzing neural network robustness. PLDI (2019)
Isil Dillig
Programming support for evolving database applications (invited talk). SPLASH (Companion Volume) (2019)
Jia Chen, Jiayi Wei, Yu Feng, Osbert Bastani, Isil Dillig
Relational verification using reinforcement learning. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Greg Anderson, Shankara Pailoor, Isil Dillig, Swarat Chaudhuri
Optimization and Abstraction: A Synergistic Approach for Analyzing Neural Network Robustness. CoRR (2019)
Chenglong Wang, Yu Feng, Rastislav Bodík, Alvin Cheung, Isil Dillig
Visualization by Example. CoRR (2019)

Isil Dillig.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Isil Dillig