PPaperPicks

Isil Dillig

18 papers at tracked venues · 13 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

OOPSLA ×5PLDI ×5POPL ×2AAAI ×1CHI ×1ICLR ×1NeurIPS ×1S&P ×1USENIX Security ×1

Frequent coauthors

Shankara Pailoor
×4
Celeste Barnaby
×3
Qiaochu Chen
×3
Yuepeng Wang
×3
Ziteng Wang
×3
Joydeep Biswas
×3
Osbert Bastani
×2
Eric Hayden Campbell
×2
Robert Zhang
×2
Dixin Tang
×2
Ruijie Fang
×2
Noah Patton
×2

Papers

  1. Choose, Don't Label: Multiple-Choice Query Synthesis for Program Disambiguation
    PLDI 2026 ·
    Celeste Barnaby
    ,
    Danny Ding
    ,
    Osbert Bastani
    , Isil Dillig
  2. MatchBox: A Semantic Foundation for Data Plane Portability
    PLDI 2026 ·
    Eric Hayden Campbell
    ,
    Robert Zhang
    ,
    Divyanshu Saxena
    ,
    Aditya Akella
    , Isil Dillig
  3. Optimal Predicate Pushdown Synthesis
    PLDI 2026 ·
    Robert Zhang
    ,
    Eric Hayden Campbell
    ,
    Dixin Tang
    , Isil Dillig
  4. Active Learning for Neurosymbolic Program Synthesis
    OOPSLA 2025 ·
    Celeste Barnaby
    ,
    Qiaochu Chen
    ,
    Ramya Ramalingam
    ,
    Osbert Bastani
    , Isil Dillig
  5. Automated Discovery of Tactic Libraries for Interactive Theorem Proving
    OOPSLA 2025 ·
    Yutong Xin
    ,
    Jimmy Xin
    ,
    Gabriel Poesia
    ,
    Noah D. Goodman
    ,
    Qiaochu Chen
    , Isil Dillig
  6. Graphiti: Bridging Graph and Relational Database Queries
    PLDI 2025 ·
    Yang He
    ,
    Ruijie Fang
    , Isil Dillig,
    Yuepeng Wang
  7. Homomorphism Calculus for User-Defined Aggregations
    OOPSLA 2025 ·
    Ziteng Wang
    ,
    Ruijie Fang
    ,
    Linus Zheng
    ,
    Dixin Tang
    , Isil Dillig
  8. Probabilistic Inference for Datalog with Correlated Inputs
    OOPSLA 2025 ·
    Jingbo Wang
    ,
    Shashin Halalingaiah
    ,
    Weiyi Chen
    ,
    Chao Wang
    , Isil Dillig
  9. SYNAPSE: SYmbolic Neural-Aided Preference Synthesis Engine
    AAAI 2025 ·
    Sadanand Modak
    ,
    Noah Tobias Patton
    , Isil Dillig,
    Joydeep Biswas
  10. Certifying Zero-Knowledge Circuits with Refinement Types
    S&P 2024 ·
    Junrui Liu
    ,
    Ian Kretz
    ,
    Hanzhi Liu
    ,
    Bryan Tan
    ,
    Jonathan Wang
    ,
    Yi Sun
    ,
    Luke Pearson
    ,
    Anders Miltner
    , Isil Dillig,
    Yu Feng
  11. Coeditor: Leveraging Repo-level Diffs for Code Auto-editing
    ICLR 2024 ·
    Jiayi Wei
    ,
    Greg Durrett
    , Isil Dillig
  12. Control-Flow Deobfuscation using Trace-Informed Compositional Program Synthesis
    OOPSLA 2024 ·
    Benjamin Mariano
    ,
    Ziteng Wang
    ,
    Shankara Pailoor
    ,
    Christian S. Collberg
    , Isil Dillig
  13. Dynamic Model Predictive Shielding for Provably Safe Reinforcement Learning
    NeurIPS 2024 ·
    Arko Banerjee
    ,
    Kia Rahmani
    ,
    Joydeep Biswas
    , Isil Dillig
  14. From Batch to Stream: Automatic Generation of Online Algorithms
    PLDI 2024 ·
    Ziteng Wang
    ,
    Shankara Pailoor
    ,
    Aaryan Prakash
    ,
    Yuepeng Wang
    , Isil Dillig
  15. PhotoScout: Synthesis-Powered Multi-Modal Image Search
    CHI 2024 ·
    Celeste Barnaby
    ,
    Qiaochu Chen
    ,
    Chenglong Wang
    , Isil Dillig
  16. Practical Security Analysis of Zero-Knowledge Proof Circuits
    USENIX Security 2024 ·
    Hongbo Wen
    ,
    Jon Stephens
    ,
    Yanju Chen
    ,
    Kostas Ferles
    ,
    Shankara Pailoor
    ,
    Kyle Charbonnet
    , Isil Dillig,
    Yu Feng
  17. Programming-by-Demonstration for Long-Horizon Robot Tasks
    POPL 2024 ·
    Noah Patton
    ,
    Kia Rahmani
    ,
    Meghana Missula
    ,
    Joydeep Biswas
    , Isil Dillig
  18. Semantic Code Refactoring for Abstract Data Types
    POPL 2024 ·
    Shankara Pailoor
    ,
    Yuepeng Wang
    , Isil Dillig