default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Isil Dillig
@article{DBLP:journals/pacmpl/WangPPWD24,
author = {Ziteng Wang and
Shankara Pailoor and
Aaryan Prakash and
Yuepeng Wang and
Isil Dillig},
title = {From Batch to Stream: Automatic Generation of Online Algorithms},
journal = {Proc. {ACM} Program. Lang.},
volume = {8},
number = {{PLDI}},
pages = {1014--1039},
year = {2024},
url = {https://doi.org/10.1145/3656418},
doi = {10.1145/3656418},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/WangPPWD24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/PattonRMBD24,
author = {Noah Patton and
Kia Rahmani and
Meghana Missula and
Joydeep Biswas and
Isil Dillig},
title = {Programming-by-Demonstration for Long-Horizon Robot Tasks},
journal = {Proc. {ACM} Program. Lang.},
volume = {8},
number = {{POPL}},
pages = {512--545},
year = {2024},
url = {https://doi.org/10.1145/3632860},
doi = {10.1145/3632860},
timestamp = {Sat, 10 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/PattonRMBD24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/PailoorWD24,
author = {Shankara Pailoor and
Yuepeng Wang and
Isil Dillig},
title = {Semantic Code Refactoring for Abstract Data Types},
journal = {Proc. {ACM} Program. Lang.},
volume = {8},
number = {{POPL}},
pages = {816--847},
year = {2024},
url = {https://doi.org/10.1145/3632870},
doi = {10.1145/3632870},
timestamp = {Sat, 10 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/PailoorWD24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ral/XinZRWHDB24,
author = {Jimmy Xin and
Linus Zheng and
Kia Rahmani and
Jiayi Wei and
Jarrett Holtz and
Isil Dillig and
Joydeep Biswas},
title = {Programmatic Imitation Learning From Unlabeled and Noisy Demonstrations},
journal = {{IEEE} Robotics Autom. Lett.},
volume = {9},
number = {6},
pages = {4894--4901},
year = {2024},
url = {https://doi.org/10.1109/LRA.2024.3385691},
doi = {10.1109/LRA.2024.3385691},
timestamp = {Tue, 18 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ral/XinZRWHDB24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/OzdemirPBFBD24,
author = {Alex Ozdemir and
Shankara Pailoor and
Alp Bassa and
Kostas Ferles and
Clark W. Barrett and
Isil Dillig},
editor = {Arie Gurfinkel and
Vijay Ganesh},
title = {Split Gr{\"{o}}bner Bases for Satisfiability Modulo Finite Fields},
booktitle = {Computer Aided Verification - 36th International Conference, {CAV}
2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14681},
pages = {3--25},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-65627-9\_1},
doi = {10.1007/978-3-031-65627-9\_1},
timestamp = {Fri, 02 Aug 2024 11:58:28 +0200},
biburl = {https://dblp.org/rec/conf/cav/OzdemirPBFBD24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/MiltnerWCD24,
author = {Anders Miltner and
Ziteng Wang and
Swarat Chaudhuri and
Isil Dillig},
editor = {Arie Gurfinkel and
Vijay Ganesh},
title = {Relational Synthesis of Recursive Programs via Constraint Annotated
Tree Automata},
booktitle = {Computer Aided Verification - 36th International Conference, {CAV}
2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {14683},
pages = {41--63},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-65633-0\_3},
doi = {10.1007/978-3-031-65633-0\_3},
timestamp = {Fri, 02 Aug 2024 12:00:01 +0200},
biburl = {https://dblp.org/rec/conf/cav/MiltnerWCD24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/BarnabyCWD24,
author = {Celeste Barnaby and
Qiaochu Chen and
Chenglong Wang and
Isil Dillig},
editor = {Florian 'Floyd' Mueller and
Penny Kyburz and
Julie R. Williamson and
Corina Sas and
Max L. Wilson and
Phoebe O. Toups Dugas and
Irina Shklovski},
title = {PhotoScout: Synthesis-Powered Multi-Modal Image Search},
booktitle = {Proceedings of the {CHI} Conference on Human Factors in Computing
Systems, {CHI} 2024, Honolulu, HI, USA, May 11-16, 2024},
pages = {896:1--896:15},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3613904.3642319},
doi = {10.1145/3613904.3642319},
timestamp = {Fri, 17 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/chi/BarnabyCWD24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclr/WeiDD24,
author = {Jiayi Wei and
Greg Durrett and
Isil Dillig},
title = {Coeditor: Leveraging Repo-level Diffs for Code Auto-editing},
booktitle = {The Twelfth International Conference on Learning Representations,
{ICLR} 2024, Vienna, Austria, May 7-11, 2024},
publisher = {OpenReview.net},
year = {2024},
url = {https://openreview.net/forum?id=ALVwQjZRS8},
timestamp = {Mon, 29 Jul 2024 16:19:40 +0200},
biburl = {https://dblp.org/rec/conf/iclr/WeiDD24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/CitoDM024,
author = {J{\"{u}}rgen Cito and
Isil Dillig and
Vijayaraghavan Murali and
Satish Chandra},
editor = {Rick Rabiser and
Manuel Wimmer and
Iris Groher and
Andreas Wortmann and
Bianca Wiesmayr},
title = {Counterfactual Explanations for Models of Code},
booktitle = {Software Engineering 2024, Fachtagung des GI-Fachbereichs Softwaretechnik,
Linz, Austria, February 26 - March 1, 2024},
series = {{LNI}},
volume = {{P-343}},
pages = {91--92},
publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
year = {2024},
url = {https://doi.org/10.18420/sw2024\_27},
doi = {10.18420/SW2024\_27},
timestamp = {Mon, 11 Mar 2024 16:51:10 +0100},
biburl = {https://dblp.org/rec/conf/se/CitoDM024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/LiuKLTWSPMDF24,
author = {Junrui Liu and
Ian Kretz and
Hanzhi Liu and
Bryan Tan and
Jonathan Wang and
Yi Sun and
Luke Pearson and
Anders Miltner and
Isil Dillig and
Yu Feng},
title = {Certifying Zero-Knowledge Circuits with Refinement Types},
booktitle = {{IEEE} Symposium on Security and Privacy, {SP} 2024, San Francisco,
CA, USA, May 19-23, 2024},
pages = {1741--1759},
publisher = {{IEEE}},
year = {2024},
url = {https://doi.org/10.1109/SP54263.2024.00078},
doi = {10.1109/SP54263.2024.00078},
timestamp = {Sat, 21 Sep 2024 14:24:56 +0200},
biburl = {https://dblp.org/rec/conf/sp/LiuKLTWSPMDF24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/WenSCFPCD024,
author = {Hongbo Wen and
Jon Stephens and
Yanju Chen and
Kostas Ferles and
Shankara Pailoor and
Kyle Charbonnet and
Isil Dillig and
Yu Feng},
editor = {Davide Balzarotti and
Wenyuan Xu},
title = {Practical Security Analysis of Zero-Knowledge Proof Circuits},
booktitle = {33rd {USENIX} Security Symposium, {USENIX} Security 2024, Philadelphia,
PA, USA, August 14-16, 2024},
publisher = {{USENIX} Association},
year = {2024},
url = {https://www.usenix.org/conference/usenixsecurity24/presentation/wen},
timestamp = {Mon, 22 Jul 2024 17:10:49 +0200},
biburl = {https://dblp.org/rec/conf/uss/WenSCFPCD024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-10464,
author = {Celeste Barnaby and
Qiaochu Chen and
Chenglong Wang and
Isil Dillig},
title = {PhotoScout: Synthesis-Powered Multi-Modal Image Search},
journal = {CoRR},
volume = {abs/2401.10464},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.10464},
doi = {10.48550/ARXIV.2401.10464},
eprinttype = {arXiv},
eprint = {2401.10464},
timestamp = {Fri, 02 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-10464.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-16689,
author = {Sadanand Modak and
Noah Patton and
Isil Dillig and
Joydeep Biswas},
title = {Synapse: Learning Preferential Concepts from Visual Demonstrations},
journal = {CoRR},
volume = {abs/2403.16689},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.16689},
doi = {10.48550/ARXIV.2403.16689},
eprinttype = {arXiv},
eprint = {2403.16689},
timestamp = {Tue, 09 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-16689.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2404-04743,
author = {Ziteng Wang and
Shankara Pailoor and
Aaryan Prakash and
Yuepeng Wang and
Isil Dillig},
title = {From Batch to Stream: Automatic Generation of Online Algorithms},
journal = {CoRR},
volume = {abs/2404.04743},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2404.04743},
doi = {10.48550/ARXIV.2404.04743},
eprinttype = {arXiv},
eprint = {2404.04743},
timestamp = {Wed, 15 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2404-04743.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2405-13863,
author = {Arko Banerjee and
Kia Rahmani and
Joydeep Biswas and
Isil Dillig},
title = {Dynamic Model Predictive Shielding for Provably Safe Reinforcement
Learning},
journal = {CoRR},
volume = {abs/2405.13863},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2405.13863},
doi = {10.48550/ARXIV.2405.13863},
eprinttype = {arXiv},
eprint = {2405.13863},
timestamp = {Tue, 18 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2405-13863.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/OzdemirPBFBD24,
author = {Alex Ozdemir and
Shankara Pailoor and
Alp Bassa and
Kostas Ferles and
Clark W. Barrett and
Isil Dillig},
title = {Split Gr{\"{o}}bner Bases for Satisfiability Modulo Finite Fields},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {572},
year = {2024},
url = {https://eprint.iacr.org/2024/572},
timestamp = {Wed, 24 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/OzdemirPBFBD24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/ZhangMSD23,
author = {Guoqiang Zhang and
Benjamin Mariano and
Xipeng Shen and
Isil Dillig},
title = {Automated Translation of Functional Big Data Queries to {SQL}},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{OOPSLA1}},
pages = {580--608},
year = {2023},
url = {https://doi.org/10.1145/3586047},
doi = {10.1145/3586047},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/ZhangMSD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/FeserDS23,
author = {John K. Feser and
Isil Dillig and
Armando Solar{-}Lezama},
title = {Inductive Program Synthesis Guided by Observational Program Similarity},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{OOPSLA2}},
pages = {912--940},
year = {2023},
url = {https://doi.org/10.1145/3622830},
doi = {10.1145/3622830},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/FeserDS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/ChenBDDD23,
author = {Qiaochu Chen and
Arko Banerjee and
{\c{C}}agatay Demiralp and
Greg Durrett and
Isil Dillig},
title = {Data Extraction via Semantic Regular Expression Synthesis},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{OOPSLA2}},
pages = {1848--1877},
year = {2023},
url = {https://doi.org/10.1145/3622863},
doi = {10.1145/3622863},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/ChenBDDD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/BarnabyCSD23,
author = {Celeste Barnaby and
Qiaochu Chen and
Roopsha Samanta and
Isil Dillig},
title = {ImageEye: Batch Image Processing using Program Synthesis},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{PLDI}},
pages = {686--711},
year = {2023},
url = {https://doi.org/10.1145/3591248},
doi = {10.1145/3591248},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/BarnabyCSD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/PailoorCWRGMCG023,
author = {Shankara Pailoor and
Yanju Chen and
Franklyn Wang and
Clara Rodr{\'{\i}}guez{-}N{\'{u}}{\~{n}}ez and
Jacob Van Geffen and
Jason Morton and
Michael Chu and
Brian Gu and
Yu Feng and
Isil Dillig},
title = {Automated Detection of Under-Constrained Circuits in Zero-Knowledge
Proofs},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{PLDI}},
pages = {1510--1532},
year = {2023},
url = {https://doi.org/10.1145/3591282},
doi = {10.1145/3591282},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/PailoorCWRGMCG023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/LeBlancPEDBC23,
author = {Hayley LeBlanc and
Shankara Pailoor and
Om Saran K. R. E and
Isil Dillig and
James Bornholt and
Vijay Chidambaram},
editor = {Giuseppe Antonio Di Luna and
Leonardo Querzoni and
Alexandra Fedorova and
Dushyanth Narayanan},
title = {Chipmunk: Investigating Crash-Consistency in Persistent-Memory File
Systems},
booktitle = {Proceedings of the Eighteenth European Conference on Computer Systems,
EuroSys 2023, Rome, Italy, May 8-12, 2023},
pages = {718--733},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3552326.3567498},
doi = {10.1145/3552326.3567498},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/LeBlancPEDBC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclr/AndersonCD23,
author = {Greg Anderson and
Swarat Chaudhuri and
Isil Dillig},
title = {Guiding Safe Exploration with Weakest Preconditions},
booktitle = {The Eleventh International Conference on Learning Representations,
{ICLR} 2023, Kigali, Rwanda, May 1-5, 2023},
publisher = {OpenReview.net},
year = {2023},
url = {https://iclr.cc/virtual/2023/poster/12258},
timestamp = {Tue, 16 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclr/AndersonCD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclr/WeiDD23,
author = {Jiayi Wei and
Greg Durrett and
Isil Dillig},
title = {TypeT5: Seq2seq Type Inference using Static Analysis},
booktitle = {The Eleventh International Conference on Learning Representations,
{ICLR} 2023, Kigali, Rwanda, May 1-5, 2023},
publisher = {OpenReview.net},
year = {2023},
url = {https://openreview.net/forum?id=4TyNEhI2GdN},
timestamp = {Wed, 24 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclr/WeiDD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/YeCDD23,
author = {Xi Ye and
Qiaochu Chen and
Isil Dillig and
Greg Durrett},
editor = {Alice Oh and
Tristan Naumann and
Amir Globerson and
Kate Saenko and
Moritz Hardt and
Sergey Levine},
title = {SatLM: Satisfiability-Aided Language Models Using Declarative Prompting},
booktitle = {Advances in Neural Information Processing Systems 36: Annual Conference
on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans,
LA, USA, December 10 - 16, 2023},
year = {2023},
url = {http://papers.nips.cc/paper\_files/paper/2023/hash/8e9c7d4a48bdac81a58f983a64aaf42b-Abstract-Conference.html},
timestamp = {Fri, 01 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nips/YeCDD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-01440,
author = {Jimmy Xin and
Linus Zheng and
Jiayi Wei and
Kia Rahmani and
Jarrett Holtz and
Isil Dillig and
Joydeep Biswas},
title = {{PLUNDER:} Probabilistic Program Synthesis for Learning from Unlabeled
and Noisy Demonstrations},
journal = {CoRR},
volume = {abs/2303.01440},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.01440},
doi = {10.48550/ARXIV.2303.01440},
eprinttype = {arXiv},
eprint = {2303.01440},
timestamp = {Mon, 06 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-01440.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-09564,
author = {Jiayi Wei and
Greg Durrett and
Isil Dillig},
title = {TypeT5: Seq2seq Type Inference using Static Analysis},
journal = {CoRR},
volume = {abs/2303.09564},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.09564},
doi = {10.48550/ARXIV.2303.09564},
eprinttype = {arXiv},
eprint = {2303.09564},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-09564.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-03253,
author = {Celeste Barnaby and
Qiaochu Chen and
Roopsha Samanta and
Isil Dillig},
title = {ImageEye: Batch Image Processing Using Program Synthesis},
journal = {CoRR},
volume = {abs/2304.03253},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.03253},
doi = {10.48550/ARXIV.2304.03253},
eprinttype = {arXiv},
eprint = {2304.03253},
timestamp = {Tue, 18 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-03253.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-03129,
author = {Noah Patton and
Kia Rahmani and
Meghana Missula and
Joydeep Biswas and
Isil Dillig},
title = {Program Synthesis for Robot Learning from Demonstrations},
journal = {CoRR},
volume = {abs/2305.03129},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.03129},
doi = {10.48550/ARXIV.2305.03129},
eprinttype = {arXiv},
eprint = {2305.03129},
timestamp = {Wed, 10 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-03129.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-09656,
author = {Xi Ye and
Qiaochu Chen and
Isil Dillig and
Greg Durrett},
title = {Satisfiability-Aided Language Models Using Declarative Prompting},
journal = {CoRR},
volume = {abs/2305.09656},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.09656},
doi = {10.48550/ARXIV.2305.09656},
eprinttype = {arXiv},
eprint = {2305.09656},
timestamp = {Wed, 24 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-09656.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-10401,
author = {Qiaochu Chen and
Arko Banerjee and
{\c{C}}agatay Demiralp and
Greg Durrett and
Isil Dillig},
title = {Data Extraction via Semantic Regular Expression Synthesis},
journal = {CoRR},
volume = {abs/2305.10401},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.10401},
doi = {10.48550/ARXIV.2305.10401},
eprinttype = {arXiv},
eprint = {2305.10401},
timestamp = {Wed, 24 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-10401.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-18584,
author = {Jiayi Wei and
Greg Durrett and
Isil Dillig},
title = {Coeditor: Leveraging Contextual Changes for Multi-round Code Auto-editing},
journal = {CoRR},
volume = {abs/2305.18584},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.18584},
doi = {10.48550/ARXIV.2305.18584},
eprinttype = {arXiv},
eprint = {2305.18584},
timestamp = {Wed, 07 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-18584.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-07813,
author = {Divyanshu Saxena and
Nihal Sharma and
Donghyun Kim and
Rohit Dwivedula and
Jiayi Chen and
Chenxi Yang and
Sriram Ravula and
Zichao Hu and
Aditya Akella and
Sebastian Angel and
Joydeep Biswas and
Swarat Chaudhuri and
Isil Dillig and
Alex Dimakis and
Philip Brighten Godfrey and
Daehyeok Kim and
Christopher J. Rossbach and
Gang Wang},
title = {On a Foundation Model for Operating Systems},
journal = {CoRR},
volume = {abs/2312.07813},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.07813},
doi = {10.48550/ARXIV.2312.07813},
eprinttype = {arXiv},
eprint = {2312.07813},
timestamp = {Fri, 16 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-07813.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/WenSCFPCDF23,
author = {Hongbo Wen and
Jon Stephens and
Yanju Chen and
Kostas Ferles and
Shankara Pailoor and
Kyle Charbonnet and
Isil Dillig and
Yu Feng},
title = {Practical Security Analysis of Zero-Knowledge Proof Circuits},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {190},
year = {2023},
url = {https://eprint.iacr.org/2023/190},
timestamp = {Tue, 28 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iacr/WenSCFPCDF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/PailoorCWRGMCGFD23,
author = {Shankara Pailoor and
Yanju Chen and
Franklyn Wang and
Clara Rodr{\'{\i}}guez{-}N{\'{u}}{\~{n}}ez and
Jacob Van Gaffen and
Jason Morton and
Michael Chu and
Brian Gu and
Yu Feng and
Isil Dillig},
title = {Automated Detection of Underconstrained Circuits for Zero-Knowledge
Proofs},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {512},
year = {2023},
url = {https://eprint.iacr.org/2023/512},
timestamp = {Tue, 19 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/PailoorCWRGMCGFD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/LiuKLTWSPMDF23,
author = {Junrui Liu and
Ian Kretz and
Hanzhi Liu and
Bryan Tan and
Jonathan Wang and
Yi Sun and
Luke Pearson and
Anders Miltner and
Isil Dillig and
Yu Feng},
title = {Certifying Zero-Knowledge Circuits with Refinement Types},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {547},
year = {2023},
url = {https://eprint.iacr.org/2023/547},
timestamp = {Mon, 05 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/LiuKLTWSPMDF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/FerlesSKBD22,
author = {Kostas Ferles and
Benjamin Sepanski and
Rahul Krishnan and
James Bornholt and
Isil Dillig},
title = {Synthesizing fine-grained synchronization protocols for implicit monitors},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{OOPSLA1}},
pages = {1--26},
year = {2022},
url = {https://doi.org/10.1145/3527311},
doi = {10.1145/3527311},
timestamp = {Tue, 10 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/FerlesSKBD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/MarianoCFDD22,
author = {Benjamin Mariano and
Yanju Chen and
Yu Feng and
Greg Durrett and
Isil Dillig},
title = {Automated transpilation of imperative to functional code using neural-guided
program synthesis},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{OOPSLA1}},
pages = {1--27},
year = {2022},
url = {https://doi.org/10.1145/3527315},
doi = {10.1145/3527315},
timestamp = {Tue, 10 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/MarianoCFDD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/ChenPBCWDD22,
author = {Qiaochu Chen and
Shankara Pailoor and
Celeste Barnaby and
Abby Criswell and
Chenglong Wang and
Greg Durrett and
Isil Dillig},
title = {Type-directed synthesis of visualizations from natural language queries},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{OOPSLA2}},
pages = {532--559},
year = {2022},
url = {https://doi.org/10.1145/3563307},
doi = {10.1145/3563307},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/ChenPBCWDD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/ChenWGDFD22,
author = {Yanju Chen and
Yuepeng Wang and
Maruth Goyal and
James Dong and
Yu Feng and
Isil Dillig},
title = {Synthesis-powered optimization of smart contracts via data type refactoring},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{OOPSLA2}},
pages = {560--588},
year = {2022},
url = {https://doi.org/10.1145/3563308},
doi = {10.1145/3563308},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/ChenWGDFD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/MiltnerNBCD22,
author = {Anders Miltner and
Adrian Trejo Nu{\~{n}}ez and
Ana Brendel and
Swarat Chaudhuri and
Isil Dillig},
title = {Bottom-up synthesis of recursive functional programs using angelic
execution},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{POPL}},
pages = {1--29},
year = {2022},
url = {https://doi.org/10.1145/3498682},
doi = {10.1145/3498682},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/MiltnerNBCD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/TanMLDF22,
author = {Bryan Tan and
Benjamin Mariano and
Shuvendu K. Lahiri and
Isil Dillig and
Yu Feng},
title = {SolType: refinement types for arithmetic overflow in solidity},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{POPL}},
pages = {1--29},
year = {2022},
url = {https://doi.org/10.1145/3498665},
doi = {10.1145/3498665},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/TanMLDF22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cidr/HulsebosGGDGD22,
author = {Madelon Hulsebos and
Sneha Gathani and
James Gale and
Isil Dillig and
Paul Groth and
{\c{C}}agatay Demiralp},
title = {Making Table Understanding Work in Practice},
booktitle = {12th Conference on Innovative Data Systems Research, {CIDR} 2022,
Chaminade, CA, USA, January 9-12, 2022},
publisher = {www.cidrdb.org},
year = {2022},
url = {https://www.cidrdb.org/cidr2022/papers/a48-hulsebos.pdf},
timestamp = {Mon, 18 Jul 2022 17:13:00 +0200},
biburl = {https://dblp.org/rec/conf/cidr/HulsebosGGDGD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/CitoDMC22,
author = {J{\"{u}}rgen Cito and
Isil Dillig and
Vijayaraghavan Murali and
Satish Chandra},
title = {Counterfactual Explanations for Models of Code},
booktitle = {44th {IEEE/ACM} International Conference on Software Engineering:
Software Engineering in Practice, {ICSE} {(SEIP)} 2022, Pittsburgh,
PA, USA, May 22-24, 2022},
pages = {125--134},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICSE-SEIP55303.2022.9794112},
doi = {10.1109/ICSE-SEIP55303.2022.9794112},
timestamp = {Tue, 28 Jun 2022 16:23:39 +0200},
biburl = {https://dblp.org/rec/conf/icse/CitoDMC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/WeiHDB22,
author = {Jiayi Wei and
Jarrett Holtz and
Isil Dillig and
Joydeep Biswas},
title = {{STEADY:} Simultaneous State Estimation and Dynamics Learning from
Indirect Observations},
booktitle = {{IEEE/RSJ} International Conference on Intelligent Robots and Systems,
{IROS} 2022, Kyoto, Japan, October 23-27, 2022},
pages = {6593--6599},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/IROS47612.2022.9981279},
doi = {10.1109/IROS47612.2022.9981279},
timestamp = {Tue, 03 Jan 2023 14:18:21 +0100},
biburl = {https://dblp.org/rec/conf/iros/WeiHDB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LiuCTD022,
author = {Junrui Liu and
Yanju Chen and
Bryan Tan and
Isil Dillig and
Yu Feng},
title = {Learning Contract Invariants Using Reinforcement Learning},
booktitle = {37th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2022, Rochester, MI, USA, October 10-14, 2022},
pages = {63:1--63:11},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3551349.3556962},
doi = {10.1145/3551349.3556962},
timestamp = {Sun, 15 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/LiuCTD022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2022,
editor = {Ranjit Jhala and
Isil Dillig},
title = {{PLDI} '22: 43rd {ACM} {SIGPLAN} International Conference on Programming
Language Design and Implementation, San Diego, CA, USA, June 13 -
17, 2022},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3519939},
doi = {10.1145/3519939},
isbn = {978-1-4503-9265-5},
timestamp = {Fri, 03 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-00783,
author = {Kostas Ferles and
Benjamin Sepanski and
Rahul Krishnan and
James Bornholt and
Isil Dillig},
title = {Synthesizing Fine-Grained Synchronization Protocols for Implicit Monitors
(Extended Version)},
journal = {CoRR},
volume = {abs/2203.00783},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.00783},
doi = {10.48550/ARXIV.2203.00783},
eprinttype = {arXiv},
eprint = {2203.00783},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-00783.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-01299,
author = {Jiayi Wei and
Jarrett Holtz and
Isil Dillig and
Joydeep Biswas},
title = {{STEADY:} Simultaneous State Estimation and Dynamics Learning from
Indirect Observations},
journal = {CoRR},
volume = {abs/2203.01299},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.01299},
doi = {10.48550/ARXIV.2203.01299},
eprinttype = {arXiv},
eprint = {2203.01299},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-01299.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-09452,
author = {Benjamin Mariano and
Yanju Chen and
Yu Feng and
Greg Durrett and
Isil Dillig},
title = {Automated Transpilation of Imperative to Functional Code using Neural-Guided
Program Synthesis (Extended Version)},
journal = {CoRR},
volume = {abs/2203.09452},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.09452},
doi = {10.48550/ARXIV.2203.09452},
eprinttype = {arXiv},
eprint = {2203.09452},
timestamp = {Tue, 29 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-09452.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2204-06066,
author = {Hayley LeBlanc and
Shankara Pailoor and
Isil Dillig and
James Bornholt and
Vijay Chidambaram},
title = {Finding and Analyzing Crash-Consistency Bugs in Persistent-Memory
File Systems},
journal = {CoRR},
volume = {abs/2204.06066},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2204.06066},
doi = {10.48550/ARXIV.2204.06066},
eprinttype = {arXiv},
eprint = {2204.06066},
timestamp = {Tue, 19 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-06066.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-06164,
author = {John K. Feser and
Isil Dillig and
Armando Solar{-}Lezama},
title = {Metric Program Synthesis for Inverse {CSG}},
journal = {CoRR},
volume = {abs/2206.06164},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.06164},
doi = {10.48550/ARXIV.2206.06164},
eprinttype = {arXiv},
eprint = {2206.06164},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-06164.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-01081,
author = {Qiaochu Chen and
Shankara Pailoor and
Celeste Barnaby and
Abby Criswell and
Chenglong Wang and
Greg Durrett and
Isil Dillig},
title = {Type-Directed Synthesis of Visualizations from Natural Language Queries},
journal = {CoRR},
volume = {abs/2209.01081},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2209.01081},
doi = {10.48550/ARXIV.2209.01081},
eprinttype = {arXiv},
eprint = {2209.01081},
timestamp = {Mon, 26 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-01081.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-14148,
author = {Greg Anderson and
Swarat Chaudhuri and
Isil Dillig},
title = {Guiding Safe Exploration with Weakest Preconditions},
journal = {CoRR},
volume = {abs/2209.14148},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2209.14148},
doi = {10.48550/ARXIV.2209.14148},
eprinttype = {arXiv},
eprint = {2209.14148},
timestamp = {Wed, 19 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-14148.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/ZhangXSD21,
author = {Guoqiang Zhang and
Yuanchao Xu and
Xipeng Shen and
Isil Dillig},
title = {{UDF} to {SQL} translation through compositional lazy inductive synthesis},
journal = {Proc. {ACM} Program. Lang.},
volume = {5},
number = {{OOPSLA}},
pages = {1--26},
year = {2021},
url = {https://doi.org/10.1145/3485489},
doi = {10.1145/3485489},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/ZhangXSD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/FerlesSD21,
author = {Kostas Ferles and
Jon Stephens and
Isil Dillig},
title = {Verifying correct usage of context-free {API} protocols},
journal = {Proc. {ACM} Program. Lang.},
volume = {5},
number = {{POPL}},
pages = {1--30},
year = {2021},
url = {https://doi.org/10.1145/3434298},
doi = {10.1145/3434298},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/FerlesSD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/WangFBDCK21,
author = {Chenglong Wang and
Yu Feng and
Rastislav Bod{\'{\i}}k and
Isil Dillig and
Alvin Cheung and
Amy J. Ko},
editor = {Yoshifumi Kitamura and
Aaron Quigley and
Katherine Isbister and
Takeo Igarashi and
Pernille Bj{\o}rn and
Steven Mark Drucker},
title = {Falx: Synthesis-Powered Visualization Authoring},
booktitle = {{CHI} '21: {CHI} Conference on Human Factors in Computing Systems,
Virtual Event / Yokohama, Japan, May 8-13, 2021},
pages = {106:1--106:15},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3411764.3445249},
doi = {10.1145/3411764.3445249},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/chi/WangFBDCK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emnlp/YeCDD21,
author = {Xi Ye and
Qiaochu Chen and
Isil Dillig and
Greg Durrett},
editor = {Marie{-}Francine Moens and
Xuanjing Huang and
Lucia Specia and
Scott Wen{-}tau Yih},
title = {Optimal Neural Program Synthesis from Multimodal Specifications},
booktitle = {Findings of the Association for Computational Linguistics: {EMNLP}
2021, Virtual Event / Punta Cana, Dominican Republic, 16-20 November,
2021},
pages = {1691--1704},
publisher = {Association for Computational Linguistics},
year = {2021},
url = {https://doi.org/10.18653/v1/2021.findings-emnlp.146},
doi = {10.18653/V1/2021.FINDINGS-EMNLP.146},
timestamp = {Fri, 16 Feb 2024 08:27:36 +0100},
biburl = {https://dblp.org/rec/conf/emnlp/YeCDD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/WeiLCDB21,
author = {Jiayi Wei and
Tongrui Li and
Swarat Chaudhuri and
Isil Dillig and
Joydeep Biswas},
title = {OneVision: Centralized to Distributed Controller Synthesis with Delay
Compensation},
booktitle = {{IEEE/RSJ} International Conference on Intelligent Robots and Systems,
{IROS} 2021, Prague, Czech Republic, September 27 - Oct. 1, 2021},
pages = {398--405},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/IROS51168.2021.9636164},
doi = {10.1109/IROS51168.2021.9636164},
timestamp = {Wed, 22 Dec 2021 12:36:19 +0100},
biburl = {https://dblp.org/rec/conf/iros/WeiLCDB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ChenL0DBD21,
author = {Qiaochu Chen and
Aaron Lamoreaux and
Xinyu Wang and
Greg Durrett and
Osbert Bastani and
Isil Dillig},
editor = {Stephen N. Freund and
Eran Yahav},
title = {Web question answering with neurosymbolic program synthesis},
booktitle = {{PLDI} '21: 42nd {ACM} {SIGPLAN} International Conference on Programming
Language Design and Implementation, Virtual Event, Canada, June 20-25,
2021},
pages = {328--343},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3453483.3454047},
doi = {10.1145/3453483.3454047},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/ChenL0DBD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/Pailoor00D21,
author = {Shankara Pailoor and
Yuepeng Wang and
Xinyu Wang and
Isil Dillig},
editor = {Stephen N. Freund and
Eran Yahav},
title = {Synthesizing data structure refinements from integrity constraints},
booktitle = {{PLDI} '21: 42nd {ACM} {SIGPLAN} International Conference on Programming
Language Design and Implementation, Virtual Event, Canada, June 20-25,
2021},
pages = {574--587},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3453483.3454063},
doi = {10.1145/3453483.3454063},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/Pailoor00D21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/ZhangFEPD21,
author = {Zhen Zhang and
Yu Feng and
Michael D. Ernst and
Sebastian Porst and
Isil Dillig},
editor = {Diomidis Spinellis and
Georgios Gousios and
Marsha Chechik and
Massimiliano Di Penta},
title = {Checking conformance of applications against {GUI} policies},
booktitle = {{ESEC/FSE} '21: 29th {ACM} Joint European Software Engineering Conference
and Symposium on the Foundations of Software Engineering, Athens,
Greece, August 23-28, 2021},
pages = {95--106},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3468264.3468561},
doi = {10.1145/3468264.3468561},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/ZhangFEPD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/CitoD0M021,
author = {J{\"{u}}rgen Cito and
Isil Dillig and
Seohyun Kim and
Vijayaraghavan Murali and
Satish Chandra},
editor = {Diomidis Spinellis and
Georgios Gousios and
Marsha Chechik and
Massimiliano Di Penta},
title = {Explaining mispredictions of machine learning models using rule induction},
booktitle = {{ESEC/FSE} '21: 29th {ACM} Joint European Software Engineering Conference
and Symposium on the Foundations of Software Engineering, Athens,
Greece, August 23-28, 2021},
pages = {716--727},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3468264.3468614},
doi = {10.1145/3468264.3468614},
timestamp = {Sat, 21 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/CitoD0M021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/StephensFMLD21,
author = {Jon Stephens and
Kostas Ferles and
Benjamin Mariano and
Shuvendu K. Lahiri and
Isil Dillig},
title = {SmartPulse: Automated Checking of Temporal Properties in Smart Contracts},
booktitle = {42nd {IEEE} Symposium on Security and Privacy, {SP} 2021, San Francisco,
CA, USA, 24-27 May 2021},
pages = {555--571},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/SP40001.2021.00085},
doi = {10.1109/SP40001.2021.00085},
timestamp = {Thu, 21 Sep 2023 15:57:26 +0200},
biburl = {https://dblp.org/rec/conf/sp/StephensFMLD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2021maps,
editor = {Roopsha Samanta and
Isil Dillig},
title = {MAPS@PLDI 2021: Proceedings of the 5th {ACM} {SIGPLAN} International
Symposium on Machine Programming, Virtual Event, Canada, 21 June,
2021},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3460945},
doi = {10.1145/3460945},
isbn = {978-1-4503-8467-4},
timestamp = {Wed, 10 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/2021maps.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-01024,
author = {Chenglong Wang and
Yu Feng and
Rastislav Bod{\'{\i}}k and
Isil Dillig and
Alvin Cheung and
Amy J. Ko},
title = {Falx: Synthesis-Powered Visualization Authoring},
journal = {CoRR},
volume = {abs/2102.01024},
year = {2021},
url = {https://arxiv.org/abs/2102.01024},
eprinttype = {arXiv},
eprint = {2102.01024},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-01024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-06588,
author = {Jiayi Wei and
Tongrui Li and
Swarat Chaudhuri and
Isil Dillig and
Joydeep Biswas},
title = {OneVision: Centralized to Distributed Controller Synthesis with Delay
Compensation},
journal = {CoRR},
volume = {abs/2104.06588},
year = {2021},
url = {https://arxiv.org/abs/2104.06588},
eprinttype = {arXiv},
eprint = {2104.06588},
timestamp = {Mon, 19 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-06588.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-07162,
author = {Qiaochu Chen and
Aaron Lamoreaux and
Xinyu Wang and
Greg Durrett and
Osbert Bastani and
Isil Dillig},
title = {Web Question Answering with Neurosymbolic Program Synthesis},
journal = {CoRR},
volume = {abs/2104.07162},
year = {2021},
url = {https://arxiv.org/abs/2104.07162},
eprinttype = {arXiv},
eprint = {2104.07162},
timestamp = {Mon, 19 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-07162.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-06253,
author = {Anders Miltner and
Adrian Trejo Nu{\~{n}}ez and
Ana Brendel and
Swarat Chaudhuri and
Isil Dillig},
title = {Bottom-up Synthesis of Recursive Functional Programs using Angelic
Execution},
journal = {CoRR},
volume = {abs/2107.06253},
year = {2021},
url = {https://arxiv.org/abs/2107.06253},
eprinttype = {arXiv},
eprint = {2107.06253},
timestamp = {Wed, 21 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-06253.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-05173,
author = {Madelon Hulsebos and
Sneha Gathani and
James Gale and
Isil Dillig and
Paul Groth and
{\c{C}}agatay Demiralp},
title = {Making Table Understanding Work in Practice},
journal = {CoRR},
volume = {abs/2109.05173},
year = {2021},
url = {https://arxiv.org/abs/2109.05173},
eprinttype = {arXiv},
eprint = {2109.05173},
timestamp = {Tue, 21 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-05173.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-00677,
author = {Bryan Tan and
Benjamin Mariano and
Shuvendu K. Lahiri and
Isil Dillig and
Yu Feng},
title = {SolType: Refinement Types for Solidity},
journal = {CoRR},
volume = {abs/2110.00677},
year = {2021},
url = {https://arxiv.org/abs/2110.00677},
eprinttype = {arXiv},
eprint = {2110.00677},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-00677.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-05711,
author = {J{\"{u}}rgen Cito and
Isil Dillig and
Vijayaraghavan Murali and
Satish Chandra},
title = {Counterfactual Explanations for Models of Code},
journal = {CoRR},
volume = {abs/2111.05711},
year = {2021},
url = {https://arxiv.org/abs/2111.05711},
eprinttype = {arXiv},
eprint = {2111.05711},
timestamp = {Tue, 16 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-05711.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/Pailoor0SD20,
author = {Shankara Pailoor and
Xinyu Wang and
Hovav Shacham and
Isil Dillig},
title = {Automated policy synthesis for system call sandboxing},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{OOPSLA}},
pages = {135:1--135:26},
year = {2020},
url = {https://doi.org/10.1145/3428203},
doi = {10.1145/3428203},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/Pailoor0SD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/WangFBCD20,
author = {Chenglong Wang and
Yu Feng and
Rastislav Bod{\'{\i}}k and
Alvin Cheung and
Isil Dillig},
title = {Visualization by example},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{POPL}},
pages = {49:1--49:28},
year = {2020},
url = {https://doi.org/10.1145/3371117},
doi = {10.1145/3371117},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/WangFBCD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pvldb/WangSCPD20,
author = {Yuepeng Wang and
Rushi Shah and
Abby Criswell and
Rong Pan and
Isil Dillig},
title = {Data Migration using Datalog Program Synthesis},
journal = {Proc. {VLDB} Endow.},
volume = {13},
number = {7},
pages = {1006--1019},
year = {2020},
url = {http://www.vldb.org/pvldb/vol13/p1006-wang.pdf},
doi = {10.14778/3384345.3384350},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pvldb/WangSCPD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigops/FerlesGDS20,
author = {Kostas Ferles and
Jacob Van Geffen and
Isil Dillig and
Yannis Smaragdakis},
title = {Symbolic Reasoning for Automatic Signal Placement},
journal = {{ACM} {SIGOPS} Oper. Syst. Rev.},
volume = {54},
number = {1},
pages = {64--76},
year = {2020},
url = {https://doi.org/10.1145/3421473.3421482},
doi = {10.1145/3421473.3421482},
timestamp = {Tue, 06 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigops/FerlesGDS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tacl/YeCWDD20,
author = {Xi Ye and
Qiaochu Chen and
Xinyu Wang and
Isil Dillig and
Greg Durrett},
title = {Sketch-Driven Regular Expression Generation from Natural Language
and Examples},
journal = {Trans. Assoc. Comput. Linguistics},
volume = {8},
pages = {679--694},
year = {2020},
url = {https://doi.org/10.1162/tacl\_a\_00339},
doi = {10.1162/TACL\_A\_00339},
timestamp = {Wed, 19 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tacl/YeCWDD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acl/YeCDD20,
author = {Xi Ye and
Qiaochu Chen and
Isil Dillig and
Greg Durrett},
editor = {Dan Jurafsky and
Joyce Chai and
Natalie Schluter and
Joel R. Tetreault},
title = {Benchmarking Multimodal Regex Synthesis with Complex Structures},
booktitle = {Proceedings of the 58th Annual Meeting of the Association for Computational
Linguistics, {ACL} 2020, Online, July 5-10, 2020},
pages = {6081--6094},
publisher = {Association for Computational Linguistics},
year = {2020},
url = {https://doi.org/10.18653/v1/2020.acl-main.541},
doi = {10.18653/V1/2020.ACL-MAIN.541},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acl/YeCDD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GeffenNDWT20,
author = {Jacob Van Geffen and
Luke Nelson and
Isil Dillig and
Xi Wang and
Emina Torlak},
editor = {Shuvendu K. Lahiri and
Chao Wang},
title = {Synthesizing {JIT} Compilers for In-Kernel DSLs},
booktitle = {Computer Aided Verification - 32nd International Conference, {CAV}
2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12225},
pages = {564--586},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-53291-8\_29},
doi = {10.1007/978-3-030-53291-8\_29},
timestamp = {Sat, 19 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/GeffenNDWT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ChenWBDF20,
author = {Yanju Chen and
Chenglong Wang and
Osbert Bastani and
Isil Dillig and
Yu Feng},
editor = {Shuvendu K. Lahiri and
Chao Wang},
title = {Program Synthesis Using Deduction-Guided Reinforcement Learning},
booktitle = {Computer Aided Verification - 32nd International Conference, {CAV}
2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12225},
pages = {587--610},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-53291-8\_30},
doi = {10.1007/978-3-030-53291-8\_30},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/ChenWBDF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclr/WeiGDD20,
author = {Jiayi Wei and
Maruth Goyal and
Greg Durrett and
Isil Dillig},
title = {LambdaNet: Probabilistic Type Inference using Graph Neural Networks},
booktitle = {8th International Conference on Learning Representations, {ICLR} 2020,
Addis Ababa, Ethiopia, April 26-30, 2020},
publisher = {OpenReview.net},
year = {2020},
url = {https://openreview.net/forum?id=Hkx6hANtwH},
timestamp = {Thu, 07 May 2020 17:11:47 +0200},
biburl = {https://dblp.org/rec/conf/iclr/WeiGDD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/MarianoCFLD20,
author = {Benjamin Mariano and
Yanju Chen and
Yu Feng and
Shuvendu K. Lahiri and
Isil Dillig},
title = {Demystifying Loops in Smart Contracts},
booktitle = {35th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2020, Melbourne, Australia, September 21-25, 2020},
pages = {262--274},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1145/3324884.3416626},
doi = {10.1145/3324884.3416626},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/MarianoCFLD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/AndersonVDC20,
author = {Greg Anderson and
Abhinav Verma and
Isil Dillig and
Swarat Chaudhuri},
editor = {Hugo Larochelle and
Marc'Aurelio Ranzato and
Raia Hadsell and
Maria{-}Florina Balcan and
Hsuan{-}Tien Lin},
title = {Neurosymbolic Reinforcement Learning with Formally Verified Exploration},
booktitle = {Advances in Neural Information Processing Systems 33: Annual Conference
on Neural Information Processing Systems 2020, NeurIPS 2020, December
6-12, 2020, virtual},
year = {2020},
url = {https://proceedings.neurips.cc/paper/2020/hash/448d5eda79895153938a8431919f4c9f-Abstract.html},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nips/AndersonVDC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/Chen0YDD20,
author = {Qiaochu Chen and
Xinyu Wang and
Xi Ye and
Greg Durrett and
Isil Dillig},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {Multi-modal synthesis of regular expressions},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {487--502},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3385988},
doi = {10.1145/3385412.3385988},
timestamp = {Tue, 09 Jun 2020 13:45:15 +0200},
biburl = {https://dblp.org/rec/conf/pldi/Chen0YDD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-01331,
author = {Yuepeng Wang and
Rushi Shah and
Abby Criswell and
Rong Pan and
Isil Dillig},
title = {Data Migration using Datalog Program Synthesis},
journal = {CoRR},
volume = {abs/2003.01331},
year = {2020},
url = {https://arxiv.org/abs/2003.01331},
eprinttype = {arXiv},
eprint = {2003.01331},
timestamp = {Tue, 10 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-01331.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-00663,
author = {Xi Ye and
Qiaochu Chen and
Isil Dillig and
Greg Durrett},
title = {Benchmarking Multimodal Regex Synthesis with Complex Structures},
journal = {CoRR},
volume = {abs/2005.00663},
year = {2020},
url = {https://arxiv.org/abs/2005.00663},
eprinttype = {arXiv},
eprint = {2005.00663},
timestamp = {Fri, 08 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-00663.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-02161,
author = {Jiayi Wei and
Maruth Goyal and
Greg Durrett and
Isil Dillig},
title = {LambdaNet: Probabilistic Type Inference using Graph Neural Networks},
journal = {CoRR},
volume = {abs/2005.02161},
year = {2020},
url = {https://arxiv.org/abs/2005.02161},
eprinttype = {arXiv},
eprint = {2005.02161},
timestamp = {Sat, 09 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-02161.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-12612,
author = {Greg Anderson and
Abhinav Verma and
Isil Dillig and
Swarat Chaudhuri},
title = {Neurosymbolic Reinforcement Learning with Formally Verified Exploration},
journal = {CoRR},
volume = {abs/2009.12612},
year = {2020},
url = {https://arxiv.org/abs/2009.12612},
eprinttype = {arXiv},
eprint = {2009.12612},
timestamp = {Wed, 19 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-12612.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-01678,
author = {Xi Ye and
Qiaochu Chen and
Isil Dillig and
Greg Durrett},
title = {Optimal Neural Program Synthesis from Multimodal Specifications},
journal = {CoRR},
volume = {abs/2010.01678},
year = {2020},
url = {https://arxiv.org/abs/2010.01678},
eprinttype = {arXiv},
eprint = {2010.01678},
timestamp = {Mon, 12 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-01678.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-09652,
author = {Kostas Ferles and
Jon Stephens and
Isil Dillig},
title = {Verifying Correct Usage of Context-Free {API} Protocols (Extended
Version)},
journal = {CoRR},
volume = {abs/2010.09652},
year = {2020},
url = {https://arxiv.org/abs/2010.09652},
eprinttype = {arXiv},
eprint = {2010.09652},
timestamp = {Wed, 21 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-09652.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/ChenWFBD19,
author = {Jia Chen and
Jiayi Wei and
Yu Feng and
Osbert Bastani and
Isil Dillig},
title = {Relational verification using reinforcement learning},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{OOPSLA}},
pages = {141:1--141:30},
year = {2019},
url = {https://doi.org/10.1145/3360567},
doi = {10.1145/3360567},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/ChenWFBD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pvldb/MartinsCCFD19,
author = {Ruben Martins and
Jia Chen and
Yanju Chen and
Yu Feng and
Isil Dillig},
title = {Trinity: An Extensible Synthesis Framework for Data Science},
journal = {Proc. {VLDB} Endow.},
volume = {12},
number = {12},
pages = {1914--1917},
year = {2019},
url = {http://www.vldb.org/pvldb/vol12/p1914-martins.pdf},
doi = {10.14778/3352063.3352098},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pvldb/MartinsCCFD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbpl/Dillig19,
author = {Isil Dillig},
editor = {Alvin Cheung and
Kim Nguyen},
title = {Programming support for database schema refactoring (keynote)},
booktitle = {Proceedings of the 17th {ACM} {SIGPLAN} International Symposium on
Database Programming Languages, {DBPL} 2019, Phoenix, AZ, USA, June
23, 2019},
pages = {2},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3315507.3337954},
doi = {10.1145/3315507.3337954},
timestamp = {Thu, 25 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dbpl/Dillig19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/Dillig19,
author = {Isil Dillig},
editor = {Yannis Smaragdakis},
title = {Programming support for evolving database applications (invited talk)},
booktitle = {Proceedings Companion of the 2019 {ACM} {SIGPLAN} International Conference
on Systems, Programming, Languages, and Applications: Software for
Humanity, {SPLASH} 2019, Athens, Greece, October 20-25, 2019},
pages = {3},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3359061.3365209},
doi = {10.1145/3359061.3365209},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/Dillig19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/0001DSD19,
author = {Yuepeng Wang and
James Dong and
Rushi Shah and
Isil Dillig},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Synthesizing database programs for schema refactoring},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {286--300},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314588},
doi = {10.1145/3314221.3314588},
timestamp = {Sun, 09 Jun 2019 18:52:19 +0200},
biburl = {https://dblp.org/rec/conf/pldi/0001DSD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/AndersonPDC19,
author = {Greg Anderson and
Shankara Pailoor and
Isil Dillig and
Swarat Chaudhuri},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Optimization and abstraction: a synergistic approach for analyzing
neural network robustness},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {731--744},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314614},
doi = {10.1145/3314221.3314614},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/AndersonPDC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/0001LCPDBNF19,
author = {Yuepeng Wang and
Shuvendu K. Lahiri and
Shuo Chen and
Rong Pan and
Isil Dillig and
Cody Born and
Immad Naseer and
Kostas Ferles},
editor = {Supratik Chakraborty and
Jorge A. Navas},
title = {Formal Verification of Workflow Policies for Smart Contracts in Azure
Blockchain},
booktitle = {Verified Software. Theories, Tools, and Experiments - 11th International
Conference, {VSTTE} 2019, New York City, NY, USA, July 13-14, 2019,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12031},
pages = {87--106},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-41600-3\_7},
doi = {10.1007/978-3-030-41600-3\_7},
timestamp = {Mon, 16 Mar 2020 13:24:49 +0100},
biburl = {https://dblp.org/rec/conf/vstte/0001LCPDBNF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2019-1,
editor = {Isil Dillig and
Serdar Tasiran},
title = {Computer Aided Verification - 31st International Conference, {CAV}
2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {11561},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-25540-4},
doi = {10.1007/978-3-030-25540-4},
isbn = {978-3-030-25539-8},
timestamp = {Fri, 31 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/2019-1.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2019-2,
editor = {Isil Dillig and
Serdar Tasiran},
title = {Computer Aided Verification - 31st International Conference, {CAV}
2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {11562},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-25543-5},
doi = {10.1007/978-3-030-25543-5},
isbn = {978-3-030-25542-8},
timestamp = {Fri, 31 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/2019-2.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-05498,
author = {Yuepeng Wang and
James Dong and
Rushi Shah and
Isil Dillig},
title = {Synthesizing Database Programs for Schema Refactoring},
journal = {CoRR},
volume = {abs/1904.05498},
year = {2019},
url = {http://arxiv.org/abs/1904.05498},
eprinttype = {arXiv},
eprint = {1904.05498},
timestamp = {Thu, 25 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-05498.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-09959,
author = {Greg Anderson and
Shankara Pailoor and
Isil Dillig and
Swarat Chaudhuri},
title = {Optimization and Abstraction: {A} Synergistic Approach for Analyzing
Neural Network Robustness},
journal = {CoRR},
volume = {abs/1904.09959},
year = {2019},
url = {http://arxiv.org/abs/1904.09959},
eprinttype = {arXiv},
eprint = {1904.09959},
timestamp = {Wed, 19 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-09959.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-03316,
author = {Qiaochu Chen and
Xinyu Wang and
Xi Ye and
Greg Durrett and
Isil Dillig},
title = {Multi-Modal Synthesis of Regular Expressions},
journal = {CoRR},
volume = {abs/1908.03316},
year = {2019},
url = {http://arxiv.org/abs/1908.03316},
eprinttype = {arXiv},
eprint = {1908.03316},
timestamp = {Tue, 10 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-03316.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-05848,
author = {Xi Ye and
Qiaochu Chen and
Xinyu Wang and
Isil Dillig and
Greg Durrett},
title = {Sketch-Driven Regular Expression Generation from Natural Language
and Examples},
journal = {CoRR},
volume = {abs/1908.05848},
year = {2019},
url = {http://arxiv.org/abs/1908.05848},
eprinttype = {arXiv},
eprint = {1908.05848},
timestamp = {Tue, 10 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-05848.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-09668,
author = {Chenglong Wang and
Yu Feng and
Rastislav Bod{\'{\i}}k and
Alvin Cheung and
Isil Dillig},
title = {Visualization by Example},
journal = {CoRR},
volume = {abs/1911.09668},
year = {2019},
url = {http://arxiv.org/abs/1911.09668},
eprinttype = {arXiv},
eprint = {1911.09668},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1911-09668.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/0001WD18,
author = {Yuepeng Wang and
Xinyu Wang and
Isil Dillig},
title = {Relational program synthesis},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{OOPSLA}},
pages = {155:1--155:27},
year = {2018},
url = {https://doi.org/10.1145/3276525},
doi = {10.1145/3276525},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/0001WD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/SousaDL18,
author = {Marcelo Sousa and
Isil Dillig and
Shuvendu K. Lahiri},
title = {Verified three-way program merge},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{OOPSLA}},
pages = {165:1--165:29},
year = {2018},
url = {https://doi.org/10.1145/3276535},
doi = {10.1145/3276535},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/SousaDL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/0001DLC18,
author = {Yuepeng Wang and
Isil Dillig and
Shuvendu K. Lahiri and
William R. Cook},
title = {Verifying equivalence of database-driven applications},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{POPL}},
pages = {56:1--56:29},
year = {2018},
url = {https://doi.org/10.1145/3158144},
doi = {10.1145/3158144},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/0001DLC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/WangDS18,
author = {Xinyu Wang and
Isil Dillig and
Rishabh Singh},
title = {Program synthesis using abstraction refinement},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{POPL}},
pages = {63:1--63:30},
year = {2018},
url = {https://doi.org/10.1145/3158151},
doi = {10.1145/3158151},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/WangDS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pvldb/YaghmazadehWD18,
author = {Navid Yaghmazadeh and
Xinyu Wang and
Isil Dillig},
title = {Automated Migration of Hierarchical Data to Relational Tables using
Programming-by-Example},
journal = {Proc. {VLDB} Endow.},
volume = {11},
number = {5},
pages = {580--593},
year = {2018},
url = {http://www.vldb.org/pvldb/vol11/p580-yaghmazadeh.pdf},
doi = {10.1145/3187009.3177735},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pvldb/YaghmazadehWD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/WangADM18,
author = {Xinyu Wang and
Greg Anderson and
Isil Dillig and
Kenneth L. McMillan},
editor = {Hana Chockler and
Georg Weissenbacher},
title = {Learning Abstractions for Program Synthesis},
booktitle = {Computer Aided Verification - 30th International Conference, {CAV}
2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
UK, July 14-17, 2018, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10981},
pages = {407--426},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-96145-3\_22},
doi = {10.1007/978-3-319-96145-3\_22},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/WangADM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/FerlesGDS18,
author = {Kostas Ferles and
Jacob Van Geffen and
Isil Dillig and
Yannis Smaragdakis},
editor = {Jeffrey S. Foster and
Dan Grossman},
title = {Symbolic reasoning for automatic signal placement},
booktitle = {Proceedings of the 39th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2018, Philadelphia, PA,
USA, June 18-22, 2018},
pages = {120--134},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3192366.3192395},
doi = {10.1145/3192366.3192395},
timestamp = {Wed, 23 Jun 2021 15:34:31 +0200},
biburl = {https://dblp.org/rec/conf/pldi/FerlesGDS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/FengMBD18,
author = {Yu Feng and
Ruben Martins and
Osbert Bastani and
Isil Dillig},
editor = {Jeffrey S. Foster and
Dan Grossman},
title = {Program synthesis using conflict-driven learning},
booktitle = {Proceedings of the 39th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2018, Philadelphia, PA,
USA, June 18-22, 2018},
pages = {420--435},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3192366.3192382},
doi = {10.1145/3192366.3192382},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/FengMBD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/WeiCFFD18,
author = {Jiayi Wei and
Jia Chen and
Yu Feng and
Kostas Ferles and
Isil Dillig},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Singularity: pattern fuzzing for worst case complexity},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {213--223},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3236039},
doi = {10.1145/3236024.3236039},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/WeiCFFD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vmcai/2018,
editor = {Isil Dillig and
Jens Palsberg},
title = {Verification, Model Checking, and Abstract Interpretation - 19th International
Conference, {VMCAI} 2018, Los Angeles, CA, USA, January 7-9, 2018,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10747},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-73721-8},
doi = {10.1007/978-3-319-73721-8},
isbn = {978-3-319-73720-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-06551,
author = {Marcelo Sousa and
Isil Dillig and
Shuvendu K. Lahiri},
title = {Verifying Semantic Conflict-Freedom in Three-Way Program Merges},
journal = {CoRR},
volume = {abs/1802.06551},
year = {2018},
url = {http://arxiv.org/abs/1802.06551},
eprinttype = {arXiv},
eprint = {1802.06551},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-06551.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-02503,
author = {Kostas Ferles and
Jacob Van Geffen and
Isil Dillig and
Yannis Smaragdakis},
title = {Symbolic Reasoning for Automatic Signal Placement (Extended Version)},
journal = {CoRR},
volume = {abs/1804.02503},
year = {2018},
url = {http://arxiv.org/abs/1804.02503},
eprinttype = {arXiv},
eprint = {1804.02503},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-02503.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-04152,
author = {Xinyu Wang and
Greg Anderson and
Isil Dillig and
Kenneth L. McMillan},
title = {Learning Abstractions for Program Synthesis},
journal = {CoRR},
volume = {abs/1804.04152},
year = {2018},
url = {http://arxiv.org/abs/1804.04152},
eprinttype = {arXiv},
eprint = {1804.04152},
timestamp = {Wed, 19 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-04152.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1809-02283,
author = {Yuepeng Wang and
Xinyu Wang and
Isil Dillig},
title = {Relational Program Synthesis},
journal = {CoRR},
volume = {abs/1809.02283},
year = {2018},
url = {http://arxiv.org/abs/1809.02283},
eprinttype = {arXiv},
eprint = {1809.02283},
timestamp = {Tue, 10 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-02283.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1812-08829,
author = {Shuvendu K. Lahiri and
Shuo Chen and
Yuepeng Wang and
Isil Dillig},
title = {Formal Specification and Verification of Smart Contracts for Azure
Blockchain},
journal = {CoRR},
volume = {abs/1812.08829},
year = {2018},
url = {http://arxiv.org/abs/1812.08829},
eprinttype = {arXiv},
eprint = {1812.08829},
timestamp = {Wed, 02 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1812-08829.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/WangDS17,
author = {Xinyu Wang and
Isil Dillig and
Rishabh Singh},
title = {Synthesis of data completion scripts using finite tree automata},
journal = {Proc. {ACM} Program. Lang.},
volume = {1},
number = {{OOPSLA}},
pages = {62:1--62:26},
year = {2017},
url = {https://doi.org/10.1145/3133886},
doi = {10.1145/3133886},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/WangDS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/Yaghmazadeh0DD17,
author = {Navid Yaghmazadeh and
Yuepeng Wang and
Isil Dillig and
Thomas Dillig},
title = {SQLizer: query synthesis from natural language},
journal = {Proc. {ACM} Program. Lang.},
volume = {1},
number = {{OOPSLA}},
pages = {63:1--63:26},
year = {2017},
url = {https://doi.org/10.1145/3133887},
doi = {10.1145/3133887},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/Yaghmazadeh0DD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/DilligDLMS17,
author = {Isil Dillig and
Thomas Dillig and
Boyang Li and
Kenneth L. McMillan and
Mooly Sagiv},
title = {Synthesis of circular compositional program proofs via abduction},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {19},
number = {5},
pages = {535--547},
year = {2017},
url = {https://doi.org/10.1007/s10009-015-0397-7},
doi = {10.1007/S10009-015-0397-7},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/DilligDLMS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/ChenFD17,
author = {Jia Chen and
Yu Feng and
Isil Dillig},
editor = {Bhavani Thuraisingham and
David Evans and
Tal Malkin and
Dongyan Xu},
title = {Precise Detection of Side-Channel Vulnerabilities using Quantitative
Cartesian Hoare Logic},
booktitle = {Proceedings of the 2017 {ACM} {SIGSAC} Conference on Computer and
Communications Security, {CCS} 2017, Dallas, TX, USA, October 30 -
November 03, 2017},
pages = {875--890},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3133956.3134058},
doi = {10.1145/3133956.3134058},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ccs/ChenFD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ChenODL17,
author = {Jia Chen and
Oswaldo Olivo and
Isil Dillig and
Calvin Lin},
editor = {Grigore Rosu and
Massimiliano Di Penta and
Tien N. Nguyen},
title = {Static detection of asymptotic resource side-channel vulnerabilities
in web applications},
booktitle = {Proceedings of the 32nd {IEEE/ACM} International Conference on Automated
Software Engineering, {ASE} 2017, Urbana, IL, USA, October 30 - November
03, 2017},
pages = {229--239},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ASE.2017.8115636},
doi = {10.1109/ASE.2017.8115636},
timestamp = {Tue, 20 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/ChenODL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ndss/FengBMDA17,
author = {Yu Feng and
Osbert Bastani and
Ruben Martins and
Isil Dillig and
Saswat Anand},
title = {Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability},
booktitle = {24th Annual Network and Distributed System Security Symposium, {NDSS}
2017, San Diego, California, USA, February 26 - March 1, 2017},
publisher = {The Internet Society},
year = {2017},
url = {https://www.ndss-symposium.org/ndss2017/ndss-2017-programme/automated-synthesis-semantic-malware-signatures-using-maximum-satisfiability/},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ndss/FengBMDA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/FengMGDC17,
author = {Yu Feng and
Ruben Martins and
Jacob Van Geffen and
Isil Dillig and
Swarat Chaudhuri},
editor = {Albert Cohen and
Martin T. Vechev},
title = {Component-based synthesis of table consolidation and transformation
tasks from examples},
booktitle = {Proceedings of the 38th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2017, Barcelona, Spain,
June 18-23, 2017},
pages = {422--436},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3062341.3062351},
doi = {10.1145/3062341.3062351},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/FengMGDC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/FengM0DR17,
author = {Yu Feng and
Ruben Martins and
Yuepeng Wang and
Isil Dillig and
Thomas W. Reps},
editor = {Giuseppe Castagna and
Andrew D. Gordon},
title = {Component-based synthesis for complex APIs},
booktitle = {Proceedings of the 44th {ACM} {SIGPLAN} Symposium on Principles of
Programming Languages, {POPL} 2017, Paris, France, January 18-20,
2017},
pages = {599--612},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3009837.3009851},
doi = {10.1145/3009837.3009851},
timestamp = {Mon, 05 Feb 2024 20:33:37 +0100},
biburl = {https://dblp.org/rec/conf/popl/FengM0DR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/FerlesWCD17,
author = {Kostas Ferles and
Valentin W{\"{u}}stholz and
Maria Christakis and
Isil Dillig},
editor = {Eric Bodden and
Wilhelm Sch{\"{a}}fer and
Arie van Deursen and
Andrea Zisman},
title = {Failure-directed program trimming},
booktitle = {Proceedings of the 2017 11th Joint Meeting on Foundations of Software
Engineering, {ESEC/FSE} 2017, Paderborn, Germany, September 4-8, 2017},
pages = {174--185},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3106237.3106249},
doi = {10.1145/3106237.3106249},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/FerlesWCD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/WustholzOHD17,
author = {Valentin W{\"{u}}stholz and
Oswaldo Olivo and
Marijn J. H. Heule and
Isil Dillig},
editor = {Axel Legay and
Tiziana Margaria},
title = {Static Detection of DoS Vulnerabilities in Programs that Use Regular
Expressions},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 23rd International Conference, {TACAS} 2017, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10206},
pages = {3--20},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54580-5\_1},
doi = {10.1007/978-3-662-54580-5\_1},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/WustholzOHD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/WustholzOHD17,
author = {Valentin W{\"{u}}stholz and
Oswaldo Olivo and
Marijn J. H. Heule and
Isil Dillig},
title = {Static Detection of DoS Vulnerabilities in Programs that use Regular
Expressions (Extended Version)},
journal = {CoRR},
volume = {abs/1701.04045},
year = {2017},
url = {http://arxiv.org/abs/1701.04045},
eprinttype = {arXiv},
eprint = {1701.04045},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/WustholzOHD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Yaghmazadeh0DD17,
author = {Navid Yaghmazadeh and
Yuepeng Wang and
Isil Dillig and
Thomas Dillig},
title = {Type- and Content-Driven Synthesis of {SQL} Queries from Natural Language},
journal = {CoRR},
volume = {abs/1702.01168},
year = {2017},
url = {http://arxiv.org/abs/1702.01168},
eprinttype = {arXiv},
eprint = {1702.01168},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Yaghmazadeh0DD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FerlesWCD17,
author = {Kostas Ferles and
Valentin W{\"{u}}stholz and
Maria Christakis and
Isil Dillig},
title = {Failure-Directed Program Trimming (Extended Version)},
journal = {CoRR},
volume = {abs/1706.04468},
year = {2017},
url = {http://arxiv.org/abs/1706.04468},
eprinttype = {arXiv},
eprint = {1706.04468},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FerlesWCD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/WangDS17,
author = {Xinyu Wang and
Isil Dillig and
Rishabh Singh},
title = {Synthesis of Data Completion Scripts using Finite Tree Automata},
journal = {CoRR},
volume = {abs/1707.01469},
year = {2017},
url = {http://arxiv.org/abs/1707.01469},
eprinttype = {arXiv},
eprint = {1707.01469},
timestamp = {Tue, 10 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/WangDS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1710-07660,
author = {Yuepeng Wang and
Isil Dillig and
Shuvendu K. Lahiri and
William R. Cook},
title = {Verifying Equivalence of Database-Driven Applications},
journal = {CoRR},
volume = {abs/1710.07660},
year = {2017},
url = {http://arxiv.org/abs/1710.07660},
eprinttype = {arXiv},
eprint = {1710.07660},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1710-07660.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1710-07740,
author = {Xinyu Wang and
Isil Dillig and
Rishabh Singh},
title = {Program Synthesis using Abstraction Refinement},
journal = {CoRR},
volume = {abs/1710.07740},
year = {2017},
url = {http://arxiv.org/abs/1710.07740},
eprinttype = {arXiv},
eprint = {1710.07740},
timestamp = {Tue, 10 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1710-07740.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-04001,
author = {Navid Yaghmazadeh and
Xinyu Wang and
Isil Dillig},
title = {Automated Migration of Hierarchical Data to Relational Tables using
Programming-by-Example},
journal = {CoRR},
volume = {abs/1711.04001},
year = {2017},
url = {http://arxiv.org/abs/1711.04001},
eprinttype = {arXiv},
eprint = {1711.04001},
timestamp = {Tue, 10 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-04001.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/SousaD16,
author = {Marcelo Sousa and
Isil Dillig},
editor = {Chandra Krintz and
Emery D. Berger},
title = {Cartesian hoare logic for verifying k-safety properties},
booktitle = {Proceedings of the 37th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2016, Santa Barbara, CA,
USA, June 13-17, 2016},
pages = {57--69},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2908080.2908092},
doi = {10.1145/2908080.2908092},
timestamp = {Sat, 30 Sep 2023 09:54:48 +0200},
biburl = {https://dblp.org/rec/conf/pldi/SousaD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/YaghmazadehKDC16,
author = {Navid Yaghmazadeh and
Christian Klinger and
Isil Dillig and
Swarat Chaudhuri},
editor = {Chandra Krintz and
Emery D. Berger},
title = {Synthesizing transformations on hierarchically structured data},
booktitle = {Proceedings of the 37th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2016, Santa Barbara, CA,
USA, June 13-17, 2016},
pages = {508--521},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2908080.2908088},
doi = {10.1145/2908080.2908088},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/YaghmazadehKDC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/AlbarghouthiDG16,
author = {Aws Albarghouthi and
Isil Dillig and
Arie Gurfinkel},
editor = {Rastislav Bod{\'{\i}}k and
Rupak Majumdar},
title = {Maximal specification synthesis},
booktitle = {Proceedings of the 43rd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2016, St. Petersburg,
FL, USA, January 20 - 22, 2016},
pages = {789--801},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2837614.2837628},
doi = {10.1145/2837614.2837628},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/AlbarghouthiDG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/0001FMKDR16,
author = {Yuepeng Wang and
Yu Feng and
Ruben Martins and
Arati Kaushik and
Isil Dillig and
Steven P. Reiss},
editor = {Thomas Zimmermann and
Jane Cleland{-}Huang and
Zhendong Su},
title = {Hunter: next-generation code reuse for Java},
booktitle = {Proceedings of the 24th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, {FSE} 2016, Seattle, WA, USA,
November 13-18, 2016},
pages = {1028--1032},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2950290.2983934},
doi = {10.1145/2950290.2983934},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/0001FMKDR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FengBMDA16,
author = {Yu Feng and
Osbert Bastani and
Ruben Martins and
Isil Dillig and
Saswat Anand},
title = {Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability},
journal = {CoRR},
volume = {abs/1608.06254},
year = {2016},
url = {http://arxiv.org/abs/1608.06254},
eprinttype = {arXiv},
eprint = {1608.06254},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FengBMDA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/WangFMKDR16,
author = {Yuepeng Wang and
Yu Feng and
Ruben Martins and
Arati Kaushik and
Isil Dillig and
Steven P. Reiss},
title = {Type-Directed Code Reuse using Integer Linear Programming},
journal = {CoRR},
volume = {abs/1608.07745},
year = {2016},
url = {http://arxiv.org/abs/1608.07745},
eprinttype = {arXiv},
eprint = {1608.07745},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/WangFMKDR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FengMGDC16,
author = {Yu Feng and
Ruben Martins and
Jacob Van Geffen and
Isil Dillig and
Swarat Chaudhuri},
title = {Component-based Synthesis of Table Consolidation and Transformation
Tasks from Examples},
journal = {CoRR},
volume = {abs/1611.07502},
year = {2016},
url = {http://arxiv.org/abs/1611.07502},
eprinttype = {arXiv},
eprint = {1611.07502},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FengMGDC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/FengWDD15,
author = {Yu Feng and
Xinyu Wang and
Isil Dillig and
Thomas Dillig},
editor = {Xinyu Feng and
Sungwoo Park},
title = {Bottom-Up Context-Sensitive Pointer Analysis for Java},
booktitle = {Programming Languages and Systems - 13th Asian Symposium, {APLAS}
2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9458},
pages = {465--484},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26529-2\_25},
doi = {10.1007/978-3-319-26529-2\_25},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/FengWDD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/OlivoDL15,
author = {Oswaldo Olivo and
Isil Dillig and
Calvin Lin},
editor = {Indrajit Ray and
Ninghui Li and
Christopher Kruegel},
title = {Detecting and Exploiting Second Order Denial-of-Service Vulnerabilities
in Web Applications},
booktitle = {Proceedings of the 22nd {ACM} {SIGSAC} Conference on Computer and
Communications Security, Denver, CO, USA, October 12-16, 2015},
pages = {616--628},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2810103.2813680},
doi = {10.1145/2810103.2813680},
timestamp = {Tue, 20 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ccs/OlivoDL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/Dillig15,
author = {Isil Dillig},
editor = {Roope Kaivola and
Thomas Wahl},
title = {Abductive Inference and Its Applications in Program Analysis, Verification,
and Synthesis},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2015, Austin, Texas,
USA, September 27-30, 2015},
pages = {4},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/FMCAD.2015.7542242},
doi = {10.1109/FMCAD.2015.7542242},
timestamp = {Tue, 30 May 2023 17:04:45 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/Dillig15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/FengWDL15,
author = {Yu Feng and
Xinyu Wang and
Isil Dillig and
Calvin Lin},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {{EXPLORER} : query- and demand-driven exploration of interprocedural
control flow properties},
booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
25-30, 2015},
pages = {520--534},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814270.2814284},
doi = {10.1145/2814270.2814284},
timestamp = {Tue, 20 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/FengWDL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/FeserCD15,
author = {John K. Feser and
Swarat Chaudhuri and
Isil Dillig},
editor = {David Grove and
Stephen M. Blackburn},
title = {Synthesizing data structure transformations from input-output examples},
booktitle = {Proceedings of the 36th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, Portland, OR, USA, June 15-17,
2015},
pages = {229--239},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2737924.2737977},
doi = {10.1145/2737924.2737977},
timestamp = {Wed, 23 Jun 2021 16:58:51 +0200},
biburl = {https://dblp.org/rec/conf/pldi/FeserCD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/OlivoDL15,
author = {Oswaldo Olivo and
Isil Dillig and
Calvin Lin},
editor = {David Grove and
Stephen M. Blackburn},
title = {Static detection of asymptotic performance bugs in collection traversals},
booktitle = {Proceedings of the 36th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, Portland, OR, USA, June 15-17,
2015},
pages = {369--378},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2737924.2737966},
doi = {10.1145/2737924.2737966},
timestamp = {Tue, 20 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/OlivoDL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/DilligDC14,
author = {Thomas Dillig and
Isil Dillig and
Swarat Chaudhuri},
editor = {Armin Biere and
Roderick Bloem},
title = {Optimal Guard Synthesis for Memory Safety},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {491--507},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_32},
doi = {10.1007/978-3-319-08867-9\_32},
timestamp = {Mon, 03 Jan 2022 22:13:44 +0100},
biburl = {https://dblp.org/rec/conf/cav/DilligDC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/SousaDVDG14,
author = {Marcelo Sousa and
Isil Dillig and
Dimitrios Vytiniotis and
Thomas Dillig and
Christos Gkantsidis},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {Consolidation of queries with user-defined functions},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {554--564},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594305},
doi = {10.1145/2594291.2594305},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/pldi/SousaDVDG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/FengDAA14,
author = {Yu Feng and
Isil Dillig and
Saswat Anand and
Alex Aiken},
editor = {Aharon Abadi and
Rafael Prikladnicki and
Yael Dubinsky},
title = {Apposcopy: automated detection of Android malware (invited talk)},
booktitle = {Proceedings of the 2nd International Workshop on Software Development
Lifecycle for Mobile, DeMobile 2014, Hong Kong, China, November 17,
2014},
pages = {13--14},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2661694.2661697},
doi = {10.1145/2661694.2661697},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/FengDAA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/FengADA14,
author = {Yu Feng and
Saswat Anand and
Isil Dillig and
Alex Aiken},
editor = {Shing{-}Chi Cheung and
Alessandro Orso and
Margaret{-}Anne D. Storey},
title = {Apposcopy: semantics-based detection of Android malware through static
analysis},
booktitle = {Proceedings of the 22nd {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, (FSE-22), Hong Kong, China, November
16 - 22, 2014},
pages = {576--587},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2635868.2635869},
doi = {10.1145/2635868.2635869},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/FengADA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/ZhuDD13,
author = {Haiyan Zhu and
Thomas Dillig and
Isil Dillig},
editor = {Chung{-}chieh Shan},
title = {Automated Inference of Library Specifications for Source-Sink Property
Verification},
booktitle = {Programming Languages and Systems - 11th Asian Symposium, {APLAS}
2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8301},
pages = {290--306},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03542-0\_21},
doi = {10.1007/978-3-319-03542-0\_21},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/ZhuDD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/DilligD13,
author = {Isil Dillig and
Thomas Dillig},
editor = {Natasha Sharygina and
Helmut Veith},
title = {Explain: {A} Tool for Performing Abductive Inference},
booktitle = {Computer Aided Verification - 25th International Conference, {CAV}
2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8044},
pages = {684--689},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39799-8\_46},
doi = {10.1007/978-3-642-39799-8\_46},
timestamp = {Wed, 07 Dec 2022 23:12:58 +0100},
biburl = {https://dblp.org/rec/conf/cav/DilligD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/DilligDLM13,
author = {Isil Dillig and
Thomas Dillig and
Boyang Li and
Kenneth L. McMillan},
editor = {Antony L. Hosking and
Patrick Th. Eugster and
Cristina V. Lopes},
title = {Inductive invariant generation via abductive inference},
booktitle = {Proceedings of the 2013 {ACM} {SIGPLAN} International Conference on
Object Oriented Programming Systems Languages {\&} Applications,
{OOPSLA} 2013, part of {SPLASH} 2013, Indianapolis, IN, USA, October
26-31, 2013},
pages = {443--456},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2509136.2509511},
doi = {10.1145/2509136.2509511},
timestamp = {Sun, 27 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/DilligDLM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/LiDDMS13,
author = {Boyang Li and
Isil Dillig and
Thomas Dillig and
Kenneth L. McMillan and
Mooly Sagiv},
editor = {Nir Piterman and
Scott A. Smolka},
title = {Synthesis of Circular Compositional Program Proofs via Abduction},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 19th International Conference, {TACAS} 2013, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2013, Rome, Italy, March 16-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7795},
pages = {370--384},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36742-7\_26},
doi = {10.1007/978-3-642-36742-7\_26},
timestamp = {Sun, 27 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/LiDDMS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/DilligDMA12,
author = {Isil Dillig and
Thomas Dillig and
Kenneth L. McMillan and
Alex Aiken},
editor = {P. Madhusudan and
Sanjit A. Seshia},
title = {Minimum Satisfying Assignments for {SMT}},
booktitle = {Computer Aided Verification - 24th International Conference, {CAV}
2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7358},
pages = {394--409},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31424-7\_30},
doi = {10.1007/978-3-642-31424-7\_30},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/DilligDMA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/DilligDA12,
author = {Isil Dillig and
Thomas Dillig and
Alex Aiken},
editor = {Jan Vitek and
Haibo Lin and
Frank Tip},
title = {Automated error diagnosis using abductive inference},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '12, Beijing, China - June 11 - 16, 2012},
pages = {181--192},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2254064.2254087},
doi = {10.1145/2254064.2254087},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/DilligDA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/us/Dillig11a,
author = {Isil Dillig},
title = {Precise and automatic verification of container-manipulating programs},
school = {Stanford University, {USA}},
year = {2011},
url = {https://searchworks.stanford.edu/view/9409731},
timestamp = {Fri, 02 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/us/Dillig11a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/DilligDA11,
author = {Isil Dillig and
Thomas Dillig and
Alex Aiken},
title = {Cuts from proofs: a complete and practical technique for solving linear
inequalities over integers},
journal = {Formal Methods Syst. Des.},
volume = {39},
number = {3},
pages = {246--260},
year = {2011},
url = {https://doi.org/10.1007/s10703-011-0127-z},
doi = {10.1007/S10703-011-0127-Z},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/DilligDA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/SharmaDDA11,
author = {Rahul Sharma and
Isil Dillig and
Thomas Dillig and
Alex Aiken},
editor = {Ganesh Gopalakrishnan and
Shaz Qadeer},
title = {Simplifying Loop Invariant Generation Using Splitter Predicates},
booktitle = {Computer Aided Verification - 23rd International Conference, {CAV}
2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6806},
pages = {703--719},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22110-1\_57},
doi = {10.1007/978-3-642-22110-1\_57},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/SharmaDDA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/DilligDAS11,
author = {Isil Dillig and
Thomas Dillig and
Alex Aiken and
Mooly Sagiv},
editor = {Mary W. Hall and
David A. Padua},
title = {Precise and compact modular procedure summaries for heap manipulating
programs},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
June 4-8, 2011},
pages = {567--577},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993565},
doi = {10.1145/1993498.1993565},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/DilligDAS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/DilligDA11,
author = {Isil Dillig and
Thomas Dillig and
Alex Aiken},
editor = {Thomas Ball and
Mooly Sagiv},
title = {Precise reasoning for programs using containers},
booktitle = {Proceedings of the 38th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2011, Austin, TX, USA, January 26-28,
2011},
pages = {187--200},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1926385.1926407},
doi = {10.1145/1926385.1926407},
timestamp = {Tue, 09 Jul 2024 07:54:49 +0200},
biburl = {https://dblp.org/rec/conf/popl/DilligDA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/DilligDA10,
author = {Isil Dillig and
Thomas Dillig and
Alex Aiken},
title = {Reasoning about the unknown in static analysis},
journal = {Commun. {ACM}},
volume = {53},
number = {8},
pages = {115--123},
year = {2010},
url = {https://doi.org/10.1145/1787234.1787259},
doi = {10.1145/1787234.1787259},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/DilligDA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/DilligDA10,
author = {Isil Dillig and
Thomas Dillig and
Alex Aiken},
editor = {Andrew D. Gordon},
title = {Fluid Updates: Beyond Strong vs. Weak Updates},
booktitle = {Programming Languages and Systems, 19th European Symposium on Programming,
{ESOP} 2010, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28,
2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6012},
pages = {246--266},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11957-6\_14},
doi = {10.1007/978-3-642-11957-6\_14},
timestamp = {Mon, 14 Feb 2022 09:20:30 +0100},
biburl = {https://dblp.org/rec/conf/esop/DilligDA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/DilligDA10,
author = {Isil Dillig and
Thomas Dillig and
Alex Aiken},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {Symbolic heap abstraction with demand-driven axiomatization of memory
invariants},
booktitle = {Proceedings of the 25th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2010,
October 17-21, 2010, Reno/Tahoe, Nevada, {USA}},
pages = {397--410},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869493},
doi = {10.1145/1869459.1869493},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/DilligDA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/DilligDA10,
author = {Isil Dillig and
Thomas Dillig and
Alex Aiken},
editor = {Radhia Cousot and
Matthieu Martel},
title = {Small Formulas for Large Programs: On-Line Constraint Simplification
in Scalable Static Analysis},
booktitle = {Static Analysis - 17th International Symposium, {SAS} 2010, Perpignan,
France, September 14-16, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6337},
pages = {236--252},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15769-1\_15},
doi = {10.1007/978-3-642-15769-1\_15},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/DilligDA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/DilligDA09,
author = {Isil Dillig and
Thomas Dillig and
Alex Aiken},
editor = {Ahmed Bouajjani and
Oded Maler},
title = {Cuts from Proofs: {A} Complete and Practical Technique for Solving
Linear Inequalities over Integers},
booktitle = {Computer Aided Verification, 21st International Conference, {CAV}
2009, Grenoble, France, June 26 - July 2, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5643},
pages = {233--247},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02658-4\_20},
doi = {10.1007/978-3-642-02658-4\_20},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/DilligDA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwmm/DilligDYC08,
author = {Isil Dillig and
Thomas Dillig and
Eran Yahav and
Satish Chandra},
editor = {Richard E. Jones and
Stephen M. Blackburn},
title = {The {CLOSER:} automating resource management in java},
booktitle = {Proceedings of the 7th International Symposium on Memory Management,
{ISMM} 2008, Tucson, AZ, USA, June 7-8, 2008},
pages = {1--10},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1375634.1375636},
doi = {10.1145/1375634.1375636},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwmm/DilligDYC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/DilligDA08,
author = {Isil Dillig and
Thomas Dillig and
Alex Aiken},
editor = {Rajiv Gupta and
Saman P. Amarasinghe},
title = {Sound, complete and scalable path-sensitive analysis},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2008 Conference on Programming
Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008},
pages = {270--280},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1375581.1375615},
doi = {10.1145/1375581.1375615},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/pldi/DilligDA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/AikenBDDHH07,
author = {Alex Aiken and
Suhabe Bugrara and
Isil Dillig and
Thomas Dillig and
Brian Hackett and
Peter Hawkins},
editor = {Manuvir Das and
Dan Grossman},
title = {An overview of the saturn project},
booktitle = {Proceedings of the 7th {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis for Software Tools and Engineering, PASTE'07, San Diego,
California, USA, June 13-14, 2007},
pages = {43--48},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1251535.1251543},
doi = {10.1145/1251535.1251543},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/AikenBDDHH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/DilligDA07,
author = {Isil Dillig and
Thomas Dillig and
Alex Aiken},
editor = {Jeanne Ferrante and
Kathryn S. McKinley},
title = {Static error detection using semantic inconsistency inference},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
Language Design and Implementation, San Diego, California, USA, June
10-13, 2007},
pages = {435--445},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1250734.1250784},
doi = {10.1145/1250734.1250784},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/pldi/DilligDA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-09-23 00:28 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
