Isil Dillig
Scholar

Isil Dillig

Google Scholar ID: Wlq5rZEAAAAJ
UT Austin
Programming languagesformal methodssoftware engineeringsecuritydatabases
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
7,643
 
H-index
47
 
i10-index
94
 
Publications
20
 
Co-authors
53
list available
Contact
No contact links provided.
Publications
4 items
Optimal Predicate Pushdown Synthesis
2026
Cited
0
Active Learning for Neurosymbolic Program Synthesis
2025
Cited
0
CRUST-Bench: A Comprehensive Benchmark for C-to-safe-Rust Transpilation
2025
Cited
0
Automated Discovery of Tactic Libraries for Interactive Theorem Proving
2025
Cited
0
Resume (English only)
Co-authors
53 total
Alex Aiken
Alex Aiken
Professor of Computer Science, Stanford University
Yuepeng Wang
Yuepeng Wang
Simon Fraser University
Greg Durrett
Greg Durrett
Associate Professor of Computer Science, New York University
Swarat Chaudhuri
Swarat Chaudhuri
UT Austin, Google DeepMind
Xinyu Wang
Xinyu Wang
University of Michigan
Ruben Martins
Ruben Martins
Carnegie Mellon University
Shankara Pailoor
Shankara Pailoor
Graduate Student, University of Texas Austin
Jocelyn Qiaochu Chen
Jocelyn Qiaochu Chen
New York University