Işıl Dillig

1. Relational Program Synthesis
   2018/09/07 by Yuepeng Wang, Wang, Yuepeng, Xinyu Wang +4 · 1 voice · 1 citation
   Computer Science · #Software Engineering Research #Software Testing and Debugging Techniques #Web Application Security Vulnerabilities #cs.PL
2. CRUST-Bench: A Comprehensive Benchmark for C-to-safe-Rust Transpilation
   2025/04/21 by Anirudh Khatry, Robert Zhang, Khatry, Anirudh +12 · 2 voices · 9 citations
   Agricultural and Biological Sciences · Computer Science · #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Software Engineering (cs.SE) #Sugarcane Cultivation and Processing #cs.CL #cs.LG #cs.SE
3. Program Synthesis using Abstraction Refinement
   2017/10/21 by Xinyu Wang, Işıl Dillig, Wang, Xinyu +3 · 7 citations
   Computer Science · #Software Engineering Research #Software Testing and Debugging Techniques #Web Application Security Vulnerabilities
4. Program Synthesis using Conflict-Driven Learning
   2017/11/21 by Feng Yu, Ruben Martins, Feng, Yu +5 · 5 citations
   Computer Science · #Software Engineering Research #Software Testing and Debugging Techniques #Software Reliability and Analysis Research
5. LambdaNet: Probabilistic Type Inference using Graph Neural Networks
   2020/04/29 by Jiayi Wei, Maruth Goyal, Wei, Jiayi +5 · 7 citations
   Computer Science · #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Programming Languages (cs.PL) #Software Engineering Research #Software Testing and Debugging Techniques #Topic Modeling
6. Component-based Synthesis of Table Consolidation and Transformation Tasks from Examples
   2016/11/22 by Yu Feng, Feng, Yu, Ruben Martins +7 · 4 citations
   Computer Science · Decision Sciences · #Advanced Database Systems and Queries #Data Mining Algorithms and Applications #Data Quality and Management #FOS: Computer and information sciences #I.2.2 #Programming Languages (cs.PL)
7. Neurosymbolic Reinforcement Learning with Formally Verified Exploration
   2020/09/26 by Greg Anderson, Anderson, Greg, Abhinav Verma +5 · 3 citations
   Computer Science · Engineering · #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Reinforcement Learning in Robotics #Robot Manipulation and Learning
8. TypeT5: Seq2seq Type Inference using Static Analysis
   2023/03/16 by Jiayi Wei, Greg Durrett, Wei, Jiayi +3 · 4 citations
   Computer Science · #Software Engineering Research #Software Testing and Debugging Techniques #Advanced Malware Detection Techniques
9. Synthesis of Data Completion Scripts using Finite Tree Automata
   2017/07/05 by Xinyu Wang, Işıl Dillig, Wang, Xinyu +3 · 2 citations
   Computer Science · #Machine Learning and Algorithms #Software Engineering Research #Logic, programming, and type systems
10. Automated Transpilation of Imperative to Functional Code using Neural-Guided Program Synthesis (Extended Version)
    2022/03/17 by Benjamin Mariano, Mariano, Benjamin, Yanju Chen +7 · 3 citations
    Computer Science · #FOS: Computer and information sciences #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL) #Software Engineering Research #Software Testing and Debugging Techniques
11. Sketch-Driven Regular Expression Generation from Natural Language and Examples
    2019/08/16 by Xi Ye, Ye, Xi, Qiaochu Chen +7 · 2 citations
    Computer Science · #Computation and Language (cs.CL) #FOS: Computer and information sciences #Multimodal Machine Learning Applications #Natural Language Processing Techniques #Topic Modeling
12. Automated Migration of Hierarchical Data to Relational Tables using Programming-by-Example
    2017/11/10 by Navid Yaghmazadeh, Yaghmazadeh, Navid, Xinyu Wang +3 · 1 citation
    Computer Science · Decision Sciences · #Advanced Database Systems and Queries #Data Quality and Management #Databases (cs.DB) #FOS: Computer and information sciences #Programming Languages (cs.PL) #Semantic Web and Ontologies
13. Formal Specification and Verification of Smart Contracts for Azure Blockchain
    2018/12/20 by Yuepeng Wang, Shuvendu K. Lahiri, Wang, Yuepeng +11 · 1 citation
    Computer Science · Social Sciences · #Blockchain Technology Applications and Security #Cryptography and Data Security #Access Control and Trust
14. Data Extraction via Semantic Regular Expression Synthesis
    2023/05/17 by Qiaochu Chen, Chen, Qiaochu, Arko Banerjee +7 · 2 citations
    Computer Science · #FOS: Computer and information sciences #Natural Language Processing Techniques #Programming Languages (cs.PL) #Software Engineering Research #Topic Modeling
15. Optimal Neural Program Synthesis from Multimodal Specifications
    2020/10/04 by Xi Ye, Ye, Xi, Qiaochu Chen +5 · 1 citation
    Computer Science · #Computation and Language (cs.CL) #FOS: Computer and information sciences #Programming Languages (cs.PL) #Software Engineering Research #Software Testing and Debugging Techniques #Topic Modeling
16. Certifying Zero-Knowledge Circuits with Refinement Types
    2023/04/15 by Junrui Liu, Liu, Junrui, Ian Kretz +17 · 1 citation
    Computer Science · #Cryptography and Data Security #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Physical Unclonable Functions (PUFs) and Hardware Security #Security and Verification in Computing
17. SYNAPSE: SYmbolic Neural-Aided Preference Synthesis Engine
    2024/03/25 by Sadanand Modak, Modak, Sadanand, Noah Patton +5 · 1 citation
    Computer Science · #Multimodal Machine Learning Applications #Machine Learning and Data Classification
18. Web Question Answering with Neurosymbolic Program Synthesis
    2021/04/14 by Qiaochu Chen, Chen, Qiaochu, Aaron Lamoreaux +9 · 1 citation
    Computer Science · #FOS: Computer and information sciences #Programming Languages (cs.PL) #Software Engineering Research #Topic Modeling #Web Data Mining and Analysis