Automated transpilation of imperative to functional code using neural-guided program synthesis
Benjamin Mariano , Yanju Chen , Yu Feng , Greg Durrett
Proceedings of the ACM on Programming Languages 6 ( OOPSLA1) 1 -27
4
2022
Type-directed synthesis of visualizations from natural language queries
Qiaochu Chen , Shankara Pailoor , Celeste Barnaby , Abby Criswell
Proceedings of the ACM on Programming Languages 6 ( OOPSLA2) 532 -559
8
2022
Synthesis-powered optimization of smart contracts via data type refactoring
Yanju Chen , Yuepeng Wang , Maruth Goyal , James Dong
Proceedings of the ACM on Programming Languages 6 ( OOPSLA2) 560 -588
8
2022
Program synthesis for robot learning from demonstrations
Noah Patton , Kia Rahmani , Meghana Missula , Joydeep Biswas
arXiv preprint arXiv:2305.03129
2
2023
Split Gröbner Bases for Satisfiability Modulo Finite Fields
Alex Ozdemir , Shankara Pailoor , Alp Bassa , Kostas Ferles
Cryptology ePrint Archive
2024
Synthesizing fine-grained synchronization protocols for implicit monitors
Kostas Ferles , Benjamin Sepanski , Rahul Krishnan , James Bornholt
Proceedings of the ACM on Programming Languages 6 ( OOPSLA1) 1 -26
2022
Control-Flow Deobfuscation using Trace-Informed Compositional Program Synthesis
Benjamin Mariano , Ziteng Wang , Shankara Pailoor , Christian Collberg
Proceedings of the ACM on Programming Languages 8 ( OOPSLA2) 2211 -2241
2024
Learning Contract Invariants Using Reinforcement Learning
Liu , Junrui and Chen , Yanju and Tan , Bryan and Dillig
Smpte Journal 1 -11
1
2022
Synthesis of Data Completion Scripts using Finite Tree Automata
Isil Dillig , Rishabh Singh , Xinyu Wang
arXiv: Programming Languages
1
2017
Benchmarking Multimodal Regex Synthesis with Complex Structures.
Isil Dillig , Greg Durrett , Xi Ye , Qiaochu Chen
arXiv: Computation and Language
13
2020
Demystifying loops in smart contracts
Isil Dillig , Shuvendu K. Lahiri , Yu Feng , Yanju Chen
automated software engineering 262 -274
2020
Neurosymbolic Reinforcement Learning with Formally Verified Exploration
Isil Dillig , Swarat Chaudhuri , Abhinav Verma , Greg Anderson
arXiv: Learning
38
2020
Falx: Synthesis-Powered Visualization Authoring
Isil Dillig , Rastislav Bodik , Yu Feng , Chenglong Wang
human factors in computing systems
2021
SmartPulse: Automated Checking of Temporal Properties in Smart Contracts
Isil Dillig , Shuvendu Lahiri , Kostas Ferles , Benjamin Mariano
ieee symposium on security and privacy
1
2021
Web Question Answering with Neurosymbolic Program Synthesis.
Isil Dillig , Greg Durrett , Xinyu Wang , Osbert Bastani
arXiv: Programming Languages
2021
Static detection of asymptotic resource side-channel vulnerabilities in web applications
Jia Chen , Oswaldo Olivo , Isil Dillig , Calvin Lin
automated software engineering 229 -239
1
2017
SQLizer: query synthesis from natural language
Navid Yaghmazadeh , Yuepeng Wang , Isil Dillig , Thomas Dillig
Proceedings of the ACM on Programming Languages 1 63
122
2017
Precise Detection of Side-Channel Vulnerabilities using Quantitative Cartesian Hoare Logic
Jia Chen , Yu Feng , Isil Dillig
computer and communications security 875 -890
49
2017
Hunter: next-generation code reuse for Java
Yuepeng Wang , Yu Feng , Ruben Martins , Arati Kaushik
foundations of software engineering 1028 -1032
9
2016
Multi-modal synthesis of regular expressions
Qiaochu Chen , Xinyu Wang , Xi Ye , Greg Durrett
programming language design and implementation 487 -502
17
2020