Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Sumit Gulwani
@inproceedings{DBLP:conf/aaai/JoshiESGK0RV24,
author = {Harshit Joshi and
Abishai Ebenezer and
Jos{\'{e}} Pablo Cambronero S{\'{a}}nchez and
Sumit Gulwani and
Aditya Kanade and
Vu Le and
Ivan Radicek and
Gust Verbruggen},
editor = {Michael J. Wooldridge and
Jennifer G. Dy and
Sriraam Natarajan},
title = {{FLAME:} {A} Small Language Model for Spreadsheet Formulas},
booktitle = {Thirty-Eighth {AAAI} Conference on Artificial Intelligence, {AAAI}
2024, Thirty-Sixth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2024, Fourteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2014, February 20-27, 2024, Vancouver,
Canada},
pages = {12995--13003},
publisher = {{AAAI} Press},
year = {2024},
url = {https://doi.org/10.1609/aaai.v38i12.29197},
doi = {10.1609/AAAI.V38I12.29197},
timestamp = {Tue, 02 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/JoshiESGK0RV24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SinghVCLG24,
author = {Mukul Singh and
Gust Verbruggen and
Jos{\'{e}} Cambronero and
Vu Le and
Sumit Gulwani},
editor = {Michael J. Wooldridge and
Jennifer G. Dy and
Sriraam Natarajan},
title = {EmFORE: Learning Email Folder Classification Rules by Demonstration},
booktitle = {Thirty-Eighth {AAAI} Conference on Artificial Intelligence, {AAAI}
2024, Thirty-Sixth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2024, Fourteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2014, February 20-27, 2024, Vancouver,
Canada},
pages = {23835--23837},
publisher = {{AAAI} Press},
year = {2024},
url = {https://doi.org/10.1609/aaai.v38i21.30581},
doi = {10.1609/AAAI.V38I21.30581},
timestamp = {Tue, 02 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SinghVCLG24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lak/PhungPS0CGSS24,
author = {Tung Phung and
Victor{-}Alexandru Padurean and
Anjali Singh and
Christopher Brooks and
Jos{\'{e}} Cambronero and
Sumit Gulwani and
Adish Singla and
Gustavo Soares},
title = {Automating Human Tutor-Style Programming Feedback: Leveraging {GPT-4}
Tutor Model for Hint Generation and {GPT-3.5} Student Model for Hint
Validation},
booktitle = {Proceedings of the 14th Learning Analytics and Knowledge Conference,
{LAK} 2024, Kyoto, Japan, March 18-22, 2024},
pages = {12--23},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3636555.3636846},
doi = {10.1145/3636555.3636846},
timestamp = {Mon, 01 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lak/PhungPS0CGSS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/SinghF0SH0MCG24,
author = {Anjali Singh and
Anna Fariha and
Christopher Brooks and
Gustavo Soares and
Austin Z. Henley and
Ashish Tiwari and
Chethan M and
Heeryung Choi and
Sumit Gulwani},
editor = {Ben Stephenson and
Jeffrey A. Stone and
Lina Battestilli and
Samuel A. Rebelsky and
Libby Shoop},
title = {Investigating Student Mistakes in Introductory Data Science Programming},
booktitle = {Proceedings of the 55th {ACM} Technical Symposium on Computer Science
Education, {SIGCSE} 2024, Volume 1, Portland, OR, USA, March 20-23,
2024},
pages = {1258--1264},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3626252.3630884},
doi = {10.1145/3626252.3630884},
timestamp = {Mon, 01 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigcse/SinghF0SH0MCG24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-01580,
author = {Paul Denny and
Sumit Gulwani and
Neil T. Heffernan and
Tanja K{\"{a}}ser and
Steven Moore and
Anna N. Rafferty and
Adish Singla},
title = {Generative {AI} for Education {(GAIED):} Advances, Opportunities,
and Challenges},
journal = {CoRR},
volume = {abs/2402.01580},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.01580},
doi = {10.48550/ARXIV.2402.01580},
eprinttype = {arXiv},
eprint = {2402.01580},
timestamp = {Fri, 09 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-01580.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-06229,
author = {Bhavya Chopra and
Yasharth Bajpai and
Param Biyani and
Gustavo Soares and
Arjun Radhakrishna and
Chris Parnin and
Sumit Gulwani},
title = {Exploring Interaction Patterns for Debugging: Enhancing Conversational
Capabilities of AI-assistants},
journal = {CoRR},
volume = {abs/2402.06229},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.06229},
doi = {10.48550/ARXIV.2402.06229},
eprinttype = {arXiv},
eprint = {2402.06229},
timestamp = {Fri, 16 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-06229.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/CambroneroGLPRST23,
author = {Jos{\'{e}} Cambronero and
Sumit Gulwani and
Vu Le and
Daniel Perelman and
Arjun Radhakrishna and
Clint Simon and
Ashish Tiwari},
title = {FlashFill++: Scaling Programming by Example by Cutting to the Chase},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{POPL}},
pages = {952--981},
year = {2023},
url = {https://doi.org/10.1145/3571226},
doi = {10.1145/3571226},
timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/CambroneroGLPRST23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pvldb/SinghSG0NRV23,
author = {Mukul Singh and
Jos{\'{e}} Pablo Cambronero S{\'{a}}nchez and
Sumit Gulwani and
Vu Le and
Carina Negreanu and
Mohammad Raza and
Gust Verbruggen},
title = {{CORNET:} Learning Table Formatting Rules By Example},
journal = {Proc. {VLDB} Endow.},
volume = {16},
number = {10},
pages = {2632--2644},
year = {2023},
url = {https://www.vldb.org/pvldb/vol16/p2632-singh.pdf},
doi = {10.14778/3603581.3603600},
timestamp = {Mon, 23 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pvldb/SinghSG0NRV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pvldb/SinghSG0NV23,
author = {Mukul Singh and
Jos{\'{e}} Pablo Cambronero S{\'{a}}nchez and
Sumit Gulwani and
Vu Le and
Carina Negreanu and
Gust Verbruggen},
title = {{CORNET:} Learning Spreadsheet Formatting Rules By Example},
journal = {Proc. {VLDB} Endow.},
volume = {16},
number = {12},
pages = {4058--4061},
year = {2023},
url = {https://www.vldb.org/pvldb/vol16/p4058-singh.pdf},
doi = {10.14778/3611540.3611620},
timestamp = {Mon, 23 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pvldb/SinghSG0NV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pvldb/SinghCGLNNRV23,
author = {Mukul Singh and
Jos{\'{e}} Cambronero and
Sumit Gulwani and
Vu Le and
Carina Negreanu and
Elnaz Nouri and
Mohammad Raza and
Gust Verbruggen},
title = {FormaT5: Abstention and Examples for Conditional Table Formatting
with Natural Language},
journal = {Proc. {VLDB} Endow.},
volume = {17},
number = {3},
pages = {497--510},
year = {2023},
url = {https://www.vldb.org/pvldb/vol17/p497-singh.pdf},
timestamp = {Tue, 26 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pvldb/SinghCGLNNRV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/JoshiSG0VR23,
author = {Harshit Joshi and
Jos{\'{e}} Pablo Cambronero S{\'{a}}nchez and
Sumit Gulwani and
Vu Le and
Gust Verbruggen and
Ivan Radicek},
editor = {Brian Williams and
Yiling Chen and
Jennifer Neville},
title = {Repair Is Nearly Generation: Multilingual Program Repair with LLMs},
booktitle = {Thirty-Seventh {AAAI} Conference on Artificial Intelligence, {AAAI}
2023, Thirty-Fifth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2023, Thirteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2023, Washington, DC, USA, February
7-14, 2023},
pages = {5131--5140},
publisher = {{AAAI} Press},
year = {2023},
url = {https://doi.org/10.1609/aaai.v37i4.25642},
doi = {10.1609/AAAI.V37I4.25642},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/JoshiSG0VR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cikm/SinghCG0V23,
author = {Mukul Singh and
Jos{\'{e}} Cambronero and
Sumit Gulwani and
Vu Le and
Gust Verbruggen},
editor = {Ingo Frommholz and
Frank Hopfgartner and
Mark Lee and
Michael Oakes and
Mounia Lalmas and
Min Zhang and
Rodrygo L. T. Santos},
title = {EmFore: Online Learning of Email Folder Classification Rules},
booktitle = {Proceedings of the 32nd {ACM} International Conference on Information
and Knowledge Management, {CIKM} 2023, Birmingham, United Kingdom,
October 21-25, 2023},
pages = {2280--2290},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3583780.3614863},
doi = {10.1145/3583780.3614863},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cikm/SinghCG0V23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edm/PhungCGKMSS23,
author = {Tung Phung and
Jos{\'{e}} Cambronero and
Sumit Gulwani and
Tobias Kohn and
Rupak Majumdar and
Adish Singla and
Gustavo Soares},
editor = {Mingyu Feng and
Tanja K{\"{a}}ser and
Partha P. Talukdar and
Rakesh Agrawal and
Y. Narahari and
Mykola Pechenizkiy},
title = {Generating High-Precision Feedback for Programming Syntax Errors using
Large Language Models},
booktitle = {Proceedings of the 16th International Conference on Educational Data
Mining, {EDM} 2023, Bengaluru, India, July 11-14, 2023},
publisher = {International Educational Data Mining Society},
year = {2023},
url = {https://educationaldatamining.org/2023.EDM-short-papers.37/index.html},
timestamp = {Mon, 11 Mar 2024 16:00:17 +0100},
biburl = {https://dblp.org/rec/conf/edm/PhungCGKMSS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emnlp/KhatryGG0SSV23,
author = {Anirudh Khatry and
Sumit Gulwani and
Priyanshu Gupta and
Vu Le and
Mukul Singh and
Ananya Singha and
Gust Verbruggen},
editor = {Houda Bouamor and
Juan Pino and
Kalika Bali},
title = {{TSTR:} Target Similarity Tuning Meets the Real World},
booktitle = {Findings of the Association for Computational Linguistics: {EMNLP}
2023, Singapore, December 6-10, 2023},
pages = {10256--10261},
publisher = {Association for Computational Linguistics},
year = {2023},
url = {https://doi.org/10.18653/v1/2023.findings-emnlp.687},
doi = {10.18653/V1/2023.FINDINGS-EMNLP.687},
timestamp = {Fri, 12 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emnlp/KhatryGG0SSV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emnlp/SinghCG0NV23,
author = {Mukul Singh and
Jos{\'{e}} Cambronero and
Sumit Gulwani and
Vu Le and
Carina Negreanu and
Gust Verbruggen},
editor = {Houda Bouamor and
Juan Pino and
Kalika Bali},
title = {CodeFusion: {A} Pre-trained Diffusion Model for Code Generation},
booktitle = {Proceedings of the 2023 Conference on Empirical Methods in Natural
Language Processing, {EMNLP} 2023, Singapore, December 6-10, 2023},
pages = {11697--11708},
publisher = {Association for Computational Linguistics},
year = {2023},
url = {https://doi.org/10.18653/v1/2023.emnlp-main.716},
doi = {10.18653/V1/2023.EMNLP-MAIN.716},
timestamp = {Fri, 12 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emnlp/SinghCG0NV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icer/PhungPCGKMSS22,
author = {Tung Phung and
Victor{-}Alexandru Padurean and
Jos{\'{e}} Cambronero and
Sumit Gulwani and
Tobias Kohn and
Rupak Majumdar and
Adish Singla and
Gustavo Soares},
editor = {Kathi Fisler and
Paul Denny and
Diana Franklin and
Margaret Hamilton},
title = {Generative {AI} for Programming Education: Benchmarking ChatGPT, GPT-4,
and Human Tutors},
booktitle = {Proceedings of the 2023 {ACM} Conference on International Computing
Education Research - Volume 2, {ICER} 2023, Chicago, IL, USA, August
7-11, 2023},
pages = {41--42},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3568812.3603476},
doi = {10.1145/3568812.3603476},
timestamp = {Mon, 27 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icer/PhungPCGKMSS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/VaithilingamGGGHMPRSWY23,
author = {Priyan Vaithilingam and
Elena L. Glassman and
Peter Groenwegen and
Sumit Gulwani and
Austin Z. Henley and
Rohan Malpani and
David Pugh and
Arjun Radhakrishna and
Gustavo Soares and
Joey Wang and
Aaron Yim},
title = {Towards More Effective AI-Assisted Programming: {A} Systematic Design
Exploration to Improve Visual Studio IntelliCode's User Experience},
booktitle = {45th {IEEE/ACM} International Conference on Software Engineering:
Software Engineering in Practice, SEIP@ICSE 2023, Melbourne, Australia,
May 14-20, 2023},
pages = {185--195},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICSE-SEIP58684.2023.00022},
doi = {10.1109/ICSE-SEIP58684.2023.00022},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/VaithilingamGGGHMPRSWY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GuptaVSG023,
author = {Saksham Gupta and
Gust Verbruggen and
Mukul Singh and
Sumit Gulwani and
Vu Le},
title = {Personalized action suggestions in low-code automation platforms},
booktitle = {45th {IEEE/ACM} International Conference on Software Engineering:
{ICSE} 2023 Companion Proceedings, Melbourne, Australia, May 14-20,
2023},
pages = {346--350},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICSE-Companion58688.2023.00100},
doi = {10.1109/ICSE-COMPANION58688.2023.00100},
timestamp = {Tue, 18 Jul 2023 09:25:31 +0200},
biburl = {https://dblp.org/rec/conf/icse/GuptaVSG023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/ChopraFGHPRSS023,
author = {Bhavya Chopra and
Anna Fariha and
Sumit Gulwani and
Austin Z. Henley and
Daniel Perelman and
Mohammad Raza and
Sherry Shi and
Danny Simmons and
Ashish Tiwari},
editor = {Sudipto Das and
Ippokratis Pandis and
K. Sel{\c{c}}uk Candan and
Sihem Amer{-}Yahia},
title = {CoWrangler: Recommender System for Data-Wrangling Scripts},
booktitle = {Companion of the 2023 International Conference on Management of Data,
{SIGMOD/PODS} 2023, Seattle, WA, USA, June 18-23, 2023},
pages = {147--150},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3555041.3589722},
doi = {10.1145/3555041.3589722},
timestamp = {Thu, 15 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigmod/ChopraFGHPRSS023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/GuptaKBCGKRS023,
author = {Priyanshu Gupta and
Avishree Khare and
Yasharth Bajpai and
Saikat Chakraborty and
Sumit Gulwani and
Aditya Kanade and
Arjun Radhakrishna and
Gustavo Soares and
Ashish Tiwari},
editor = {Satish Chandra and
Kelly Blincoe and
Paolo Tonella},
title = {Grace: Language Models Meet Code Edits},
booktitle = {Proceedings of the 31st {ACM} Joint European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/FSE} 2023, San Francisco, CA, USA, December 3-9, 2023},
pages = {1483--1495},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3611643.3616253},
doi = {10.1145/3611643.3616253},
timestamp = {Mon, 04 Dec 2023 11:02:39 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/GuptaKBCGKRS023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-13779,
author = {Harshit Joshi and
Abishai Ebenezer and
Jos{\'{e}} Cambronero and
Sumit Gulwani and
Aditya Kanade and
Vu Le and
Ivan Radicek and
Gust Verbruggen},
title = {{FLAME:} {A} small language model for spreadsheet formulas},
journal = {CoRR},
volume = {abs/2301.13779},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.13779},
doi = {10.48550/ARXIV.2301.13779},
eprinttype = {arXiv},
eprint = {2301.13779},
timestamp = {Thu, 02 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-13779.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-04662,
author = {Tung Phung and
Jos{\'{e}} Cambronero and
Sumit Gulwani and
Tobias Kohn and
Rupak Majumdar and
Adish Singla and
Gustavo Soares},
title = {Generating High-Precision Feedback for Programming Syntax Errors using
Large Language Models},
journal = {CoRR},
volume = {abs/2302.04662},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2302.04662},
doi = {10.48550/ARXIV.2302.04662},
eprinttype = {arXiv},
eprint = {2302.04662},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-04662.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-01598,
author = {Anirudh Khatry and
Joyce Cahoon and
Jordan Henkel and
Shaleen Deep and
K. Venkatesh Emani and
Avrilia Floratou and
Sumit Gulwani and
Vu Le and
Mohammad Raza and
Sherry Shi and
Mukul Singh and
Ashish Tiwari},
title = {From Words to Code: Harnessing Data for Program Synthesis from Natural
Language},
journal = {CoRR},
volume = {abs/2305.01598},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.01598},
doi = {10.48550/ARXIV.2305.01598},
eprinttype = {arXiv},
eprint = {2305.01598},
timestamp = {Fri, 05 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-01598.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-10530,
author = {Saksham Gupta and
Gust Verbruggen and
Mukul Singh and
Sumit Gulwani and
Vu Le},
title = {Personalized action suggestions in low-code automation platforms},
journal = {CoRR},
volume = {abs/2305.10530},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.10530},
doi = {10.48550/ARXIV.2305.10530},
eprinttype = {arXiv},
eprint = {2305.10530},
timestamp = {Thu, 25 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-10530.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-14129,
author = {Priyanshu Gupta and
Avishree Khare and
Yasharth Bajpai and
Saikat Chakraborty and
Sumit Gulwani and
Aditya Kanade and
Arjun Radhakrishna and
Gustavo Soares and
Ashish Tiwari},
title = {GrACE: Generation using Associated Code Edits},
journal = {CoRR},
volume = {abs/2305.14129},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.14129},
doi = {10.48550/ARXIV.2305.14129},
eprinttype = {arXiv},
eprint = {2305.14129},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-14129.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-17156,
author = {Tung Phung and
Victor{-}Alexandru Padurean and
Jos{\'{e}} Cambronero and
Sumit Gulwani and
Tobias Kohn and
Rupak Majumdar and
Adish Singla and
Gustavo Soares},
title = {Generative {AI} for Programming Education: Benchmarking ChatGPT, GPT-4,
and Human Tutors},
journal = {CoRR},
volume = {abs/2306.17156},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.17156},
doi = {10.48550/ARXIV.2306.17156},
eprinttype = {arXiv},
eprint = {2306.17156},
timestamp = {Mon, 03 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-17156.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-07357,
author = {Mukul Singh and
Jos{\'{e}} Cambronero and
Sumit Gulwani and
Vu Le and
Carina Negreanu and
Gust Verbruggen},
title = {Demonstration of {CORNET:} {A} System For Learning Spreadsheet Formatting
Rules By Example},
journal = {CoRR},
volume = {abs/2308.07357},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2308.07357},
doi = {10.48550/ARXIV.2308.07357},
eprinttype = {arXiv},
eprint = {2308.07357},
timestamp = {Wed, 23 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-07357.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-10922,
author = {Mukul Singh and
Jos{\'{e}} Cambronero and
Sumit Gulwani and
Vu Le and
Carina Negreanu and
Gust Verbruggen},
title = {DataVinci: Learning Syntactic and Semantic String Repairs},
journal = {CoRR},
volume = {abs/2308.10922},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2308.10922},
doi = {10.48550/ARXIV.2308.10922},
eprinttype = {arXiv},
eprint = {2308.10922},
timestamp = {Wed, 30 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-10922.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-03780,
author = {Tung Phung and
Victor{-}Alexandru Padurean and
Anjali Singh and
Christopher Brooks and
Jos{\'{e}} Cambronero and
Sumit Gulwani and
Adish Singla and
Gustavo Soares},
title = {Automating Human Tutor-Style Programming Feedback: Leveraging {GPT-4}
Tutor Model for Hint Generation and {GPT-3.5} Student Model for Hint
Validation},
journal = {CoRR},
volume = {abs/2310.03780},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.03780},
doi = {10.48550/ARXIV.2310.03780},
eprinttype = {arXiv},
eprint = {2310.03780},
timestamp = {Thu, 19 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-03780.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-05380,
author = {Anirudh Khatry and
Yasharth Bajpai and
Priyanshu Gupta and
Sumit Gulwani and
Ashish Tiwari},
title = {Augmented Embeddings for Custom Retrievals},
journal = {CoRR},
volume = {abs/2310.05380},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.05380},
doi = {10.48550/ARXIV.2310.05380},
eprinttype = {arXiv},
eprint = {2310.05380},
timestamp = {Fri, 20 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-05380.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-10358,
author = {Ananya Singha and
Jos{\'{e}} Cambronero and
Sumit Gulwani and
Vu Le and
Chris Parnin},
title = {Tabular Representation, Noisy Operators, and Impacts on Table Structure
Understanding Tasks in LLMs},
journal = {CoRR},
volume = {abs/2310.10358},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.10358},
doi = {10.48550/ARXIV.2310.10358},
eprinttype = {arXiv},
eprint = {2310.10358},
timestamp = {Wed, 25 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-10358.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-16164,
author = {Bhavya Chopra and
Ananya Singha and
Anna Fariha and
Sumit Gulwani and
Chris Parnin and
Ashish Tiwari and
Austin Z. Henley},
title = {Conversational Challenges in AI-Powered Data Science: Obstacles, Needs,
and Design Opportunities},
journal = {CoRR},
volume = {abs/2310.16164},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.16164},
doi = {10.48550/ARXIV.2310.16164},
eprinttype = {arXiv},
eprint = {2310.16164},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-16164.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-17228,
author = {Anirudh Khatry and
Sumit Gulwani and
Priyanshu Gupta and
Vu Le and
Ananya Singha and
Mukul Singh and
Gust Verbruggen},
title = {TST\({}^{\mbox{R}}\): Target Similarity Tuning Meets the Real World},
journal = {CoRR},
volume = {abs/2310.17228},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.17228},
doi = {10.48550/ARXIV.2310.17228},
eprinttype = {arXiv},
eprint = {2310.17228},
timestamp = {Thu, 02 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-17228.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-11524,
author = {Mukul Singh and
Jos{\'{e}} Cambronero and
Sumit Gulwani and
Vu Le and
Gust Verbruggen},
title = {Assessing {GPT4-V} on Structured Reasoning Tasks},
journal = {CoRR},
volume = {abs/2312.11524},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.11524},
doi = {10.48550/ARXIV.2312.11524},
eprinttype = {arXiv},
eprint = {2312.11524},
timestamp = {Tue, 16 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-11524.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-14231,
author = {Chris Parnin and
Gustavo Soares and
Rahul Pandita and
Sumit Gulwani and
Jessica Rich and
Austin Z. Henley},
title = {Building Your Own Product Copilot: Challenges, Opportunities, and
Needs},
journal = {CoRR},
volume = {abs/2312.14231},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.14231},
doi = {10.48550/ARXIV.2312.14231},
eprinttype = {arXiv},
eprint = {2312.14231},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-14231.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/BarikGJ22,
author = {Titus Barik and
Sumit Gulwani and
Mario Juarez},
title = {Storytelling and science},
journal = {Commun. {ACM}},
volume = {65},
number = {10},
pages = {27--30},
year = {2022},
url = {https://doi.org/10.1145/3526100},
doi = {10.1145/3526100},
timestamp = {Wed, 05 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cacm/BarikGJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/ZhangBGKABGRRST22,
author = {Yuhao Zhang and
Yasharth Bajpai and
Priyanshu Gupta and
Ameya Ketkar and
Miltiadis Allamanis and
Titus Barik and
Sumit Gulwani and
Arjun Radhakrishna and
Mohammad Raza and
Gustavo Soares and
Ashish Tiwari},
title = {Overwatch: learning patterns in code edit sequences},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{OOPSLA2}},
pages = {395--423},
year = {2022},
url = {https://doi.org/10.1145/3563302},
doi = {10.1145/3563302},
timestamp = {Tue, 05 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/ZhangBGKABGRRST22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/BavishiJCFGLRT22,
author = {Rohan Bavishi and
Harshit Joshi and
Jos{\'{e}} Cambronero and
Anna Fariha and
Sumit Gulwani and
Vu Le and
Ivan Radicek and
Ashish Tiwari},
title = {Neurosymbolic repair for low-code formula languages},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{OOPSLA2}},
pages = {1093--1122},
year = {2022},
url = {https://doi.org/10.1145/3563327},
doi = {10.1145/3563327},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/BavishiJCFGLRT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclr/PoesiaP00SMG22,
author = {Gabriel Poesia and
Alex Polozov and
Vu Le and
Ashish Tiwari and
Gustavo Soares and
Christopher Meek and
Sumit Gulwani},
title = {Synchromesh: Reliable Code Generation from Pre-trained Language Models},
booktitle = {The Tenth International Conference on Learning Representations, {ICLR}
2022, Virtual Event, April 25-29, 2022},
publisher = {OpenReview.net},
year = {2022},
url = {https://openreview.net/forum?id=KmtVD97J43e},
timestamp = {Sat, 20 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclr/PoesiaP00SMG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Gulwani22,
author = {Sumit Gulwani},
editor = {Abhik Roychoudhury and
Cristian Cadar and
Miryung Kim},
title = {AI-assisted programming: applications, user experiences, and neuro-symbolic
techniques (keynote)},
booktitle = {Proceedings of the 30th {ACM} Joint European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/FSE} 2022, Singapore, Singapore, November 14-18, 2022},
pages = {1},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3540250.3569444},
doi = {10.1145/3540250.3569444},
timestamp = {Thu, 10 Nov 2022 11:14:54 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/Gulwani22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Wu00GRRSWL022,
author = {Zhengkai Wu and
Vu Le and
Ashish Tiwari and
Sumit Gulwani and
Arjun Radhakrishna and
Ivan Radicek and
Gustavo Soares and
Xinyu Wang and
Zhenwen Li and
Tao Xie},
editor = {Abhik Roychoudhury and
Cristian Cadar and
Miryung Kim},
title = {NL2Viz: natural language to visualization via constrained syntax-guided
synthesis},
booktitle = {Proceedings of the 30th {ACM} Joint European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/FSE} 2022, Singapore, Singapore, November 14-18, 2022},
pages = {972--983},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3540250.3549140},
doi = {10.1145/3540250.3549140},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/Wu00GRRSWL022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-11227,
author = {Gabriel Poesia and
Oleksandr Polozov and
Vu Le and
Ashish Tiwari and
Gustavo Soares and
Christopher Meek and
Sumit Gulwani},
title = {Synchromesh: Reliable code generation from pre-trained language models},
journal = {CoRR},
volume = {abs/2201.11227},
year = {2022},
url = {https://arxiv.org/abs/2201.11227},
eprinttype = {arXiv},
eprint = {2201.11227},
timestamp = {Tue, 01 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-11227.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-11765,
author = {Rohan Bavishi and
Harshit Joshi and
Jos{\'{e}} Pablo Cambronero S{\'{a}}nchez and
Anna Fariha and
Sumit Gulwani and
Vu Le and
Ivan Radicek and
Ashish Tiwari},
title = {Neurosymbolic Repair for Low-Code Formula Languages},
journal = {CoRR},
volume = {abs/2207.11765},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.11765},
doi = {10.48550/ARXIV.2207.11765},
eprinttype = {arXiv},
eprint = {2207.11765},
timestamp = {Mon, 01 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-11765.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-12456,
author = {Yuhao Zhang and
Yasharth Bajpai and
Priyanshu Gupta and
Ameya Ketkar and
Miltiadis Allamanis and
Titus Barik and
Sumit Gulwani and
Arjun Radhakrishna and
Mohammad Raza and
Gustavo Soares and
Ashish Tiwari},
title = {Overwatch: Learning Patterns in Code Edit Sequences},
journal = {CoRR},
volume = {abs/2207.12456},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.12456},
doi = {10.48550/ARXIV.2207.12456},
eprinttype = {arXiv},
eprint = {2207.12456},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-12456.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-06032,
author = {Mukul Singh and
Jos{\'{e}} Pablo Cambronero S{\'{a}}nchez and
Sumit Gulwani and
Vu Le and
Carina Negreanu and
Mohammad Raza and
Gust Verbruggen},
title = {{CORNET:} {A} neurosymbolic approach to learning conditional table
formatting rules by example},
journal = {CoRR},
volume = {abs/2208.06032},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.06032},
doi = {10.48550/ARXIV.2208.06032},
eprinttype = {arXiv},
eprint = {2208.06032},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-06032.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-11640,
author = {Harshit Joshi and
Jos{\'{e}} Pablo Cambronero S{\'{a}}nchez and
Sumit Gulwani and
Vu Le and
Ivan Radicek and
Gust Verbruggen},
title = {Repair Is Nearly Generation: Multilingual Program Repair with LLMs},
journal = {CoRR},
volume = {abs/2208.11640},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.11640},
doi = {10.48550/ARXIV.2208.11640},
eprinttype = {arXiv},
eprint = {2208.11640},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-11640.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-14876,
author = {Jialu Zhang and
Jos{\'{e}} Cambronero and
Sumit Gulwani and
Vu Le and
Ruzica Piskac and
Gustavo Soares and
Gust Verbruggen},
title = {Repairing Bugs in Python Assignments Using Large Language Models},
journal = {CoRR},
volume = {abs/2209.14876},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2209.14876},
doi = {10.48550/ARXIV.2209.14876},
eprinttype = {arXiv},
eprint = {2209.14876},
timestamp = {Fri, 28 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-14876.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/GaoRSSGR21,
author = {Xiang Gao and
Arjun Radhakrishna and
Gustavo Soares and
Ridwan Shariffdeen and
Sumit Gulwani and
Abhik Roychoudhury},
title = {APIfix: output-oriented program synthesis for combating breaking changes
in libraries},
journal = {Proc. {ACM} Program. Lang.},
volume = {5},
number = {{OOPSLA}},
pages = {1--27},
year = {2021},
url = {https://doi.org/10.1145/3485538},
doi = {10.1145/3485538},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/GaoRSSGR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/RahmaniRGLMRST21,
author = {Kia Rahmani and
Mohammad Raza and
Sumit Gulwani and
Vu Le and
Daniel Morris and
Arjun Radhakrishna and
Gustavo Soares and
Ashish Tiwari},
title = {Multi-modal program inference: a marriage of pre-trained language
models and component-based synthesis},
journal = {Proc. {ACM} Program. Lang.},
volume = {5},
number = {{OOPSLA}},
pages = {1--29},
year = {2021},
url = {https://doi.org/10.1145/3485535},
doi = {10.1145/3485535},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/RahmaniRGLMRST21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/VerbruggenLG21,
author = {Gust Verbruggen and
Vu Le and
Sumit Gulwani},
title = {Semantic programming by example with pre-trained models},
journal = {Proc. {ACM} Program. Lang.},
volume = {5},
number = {{OOPSLA}},
pages = {1--25},
year = {2021},
url = {https://doi.org/10.1145/3485477},
doi = {10.1145/3485477},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/VerbruggenLG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/PanLNGLK21,
author = {Rangeet Pan and
Vu Le and
Nachiappan Nagappan and
Sumit Gulwani and
Shuvendu K. Lahiri and
Mike Kaufman},
title = {Can Program Synthesis be Used to Learn Merge Conflict Resolutions?
An Empirical Analysis},
booktitle = {43rd {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2021, Madrid, Spain, 22-30 May 2021},
pages = {785--796},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICSE43902.2021.00077},
doi = {10.1109/ICSE43902.2021.00077},
timestamp = {Thu, 28 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/PanLNGLK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/Fariha0RGM21,
author = {Anna Fariha and
Ashish Tiwari and
Arjun Radhakrishna and
Sumit Gulwani and
Alexandra Meliou},
editor = {Guoliang Li and
Zhanhuai Li and
Stratos Idreos and
Divesh Srivastava},
title = {Conformance Constraint Discovery: Measuring Trust in Data-Driven Systems},
booktitle = {{SIGMOD} '21: International Conference on Management of Data, Virtual
Event, China, June 20-25, 2021},
pages = {499--512},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3448016.3452795},
doi = {10.1145/3448016.3452795},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigmod/Fariha0RGM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/Fariha0MRG21,
author = {Anna Fariha and
Ashish Tiwari and
Alexandra Meliou and
Arjun Radhakrishna and
Sumit Gulwani},
editor = {Guoliang Li and
Zhanhuai Li and
Stratos Idreos and
Divesh Srivastava},
title = {CoCo: Interactive Exploration of Conformance Constraints for Data
Understanding and Data Cleaning},
booktitle = {{SIGMOD} '21: International Conference on Management of Data, Virtual
Event, China, June 20-25, 2021},
pages = {2706--2710},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3448016.3452750},
doi = {10.1145/3448016.3452750},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigmod/Fariha0MRG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uist/NiSLGB21,
author = {Wode Ni and
Joshua Sunshine and
Vu Le and
Sumit Gulwani and
Titus Barik},
editor = {Jeffrey Nichols and
Ranjitha Kumar and
Michael Nebeling},
title = {reCode : {A} Lightweight Find-and-Replace Interaction in the {IDE}
for Transforming Code by Example},
booktitle = {{UIST} '21: The 34th Annual {ACM} Symposium on User Interface Software
and Technology, Virtual Event, USA, October 10-14, 2021},
pages = {258--269},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3472749.3474748},
doi = {10.1145/3472749.3474748},
timestamp = {Sun, 26 Nov 2023 00:57:51 +0100},
biburl = {https://dblp.org/rec/conf/uist/NiSLGB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-02004,
author = {Rangeet Pan and
Vu Le and
Nachiappan Nagappan and
Sumit Gulwani and
Shuvendu K. Lahiri and
Mike Kaufman},
title = {Can Program Synthesis be Used to Learn Merge Conflict Resolutions?
An Empirical Analysis},
journal = {CoRR},
volume = {abs/2103.02004},
year = {2021},
url = {https://arxiv.org/abs/2103.02004},
eprinttype = {arXiv},
eprint = {2103.02004},
timestamp = {Thu, 28 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-02004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-02445,
author = {Kia Rahmani and
Mohammad Raza and
Sumit Gulwani and
Vu Le and
Daniel Morris and
Arjun Radhakrishna and
Gustavo Soares and
Ashish Tiwari},
title = {Multi-modal Program Inference: a Marriage of Pre-trainedLanguage Models
and Component-based Synthesis},
journal = {CoRR},
volume = {abs/2109.02445},
year = {2021},
url = {https://arxiv.org/abs/2109.02445},
eprinttype = {arXiv},
eprint = {2109.02445},
timestamp = {Fri, 29 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-02445.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/GulwaniLRRR20,
author = {Sumit Gulwani and
Vu Le and
Arjun Radhakrishna and
Ivan Radicek and
Mohammad Raza},
title = {Structure interpretation of text formats},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{OOPSLA}},
pages = {212:1--212:29},
year = {2020},
url = {https://doi.org/10.1145/3428280},
doi = {10.1145/3428280},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/GulwaniLRRR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/GaoBRSGLN020,
author = {Xiang Gao and
Shraddha Barke and
Arjun Radhakrishna and
Gustavo Soares and
Sumit Gulwani and
Alan Leung and
Nachiappan Nagappan and
Ashish Tiwari},
title = {Feedback-driven semi-supervised synthesis of program transformations},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{OOPSLA}},
pages = {219:1--219:30},
year = {2020},
url = {https://doi.org/10.1145/3428287},
doi = {10.1145/3428287},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/GaoBRSGLN020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/DrososBGDG20,
author = {Ian Drosos and
Titus Barik and
Philip J. Guo and
Robert DeLine and
Sumit Gulwani},
editor = {Regina Bernhaupt and
Florian 'Floyd' Mueller and
David Verweij and
Josh Andres and
Joanna McGrenere and
Andy Cockburn and
Ignacio Avellino and
Alix Goguey and
Pernille Bj{\o}n and
Shengdong Zhao and
Briane Paul Samson and
Rafal Kocielnik},
title = {Wrex: {A} Unified Programming-by-Example Interaction for Synthesizing
Readable Code for Data Scientists},
booktitle = {{CHI} '20: {CHI} Conference on Human Factors in Computing Systems,
Honolulu, HI, USA, April 25-30, 2020},
pages = {1--12},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3313831.3376442},
doi = {10.1145/3313831.3376442},
timestamp = {Wed, 04 May 2022 13:02:17 +0200},
biburl = {https://dblp.org/rec/conf/chi/DrososBGDG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpr/ZhangPLG20,
author = {Mengshi Zhang and
Daniel Perelman and
Vu Le and
Sumit Gulwani},
title = {An Integrated Approach of Deep Learning and Symbolic Analysis for
Digital {PDF} Table Extraction},
booktitle = {25th International Conference on Pattern Recognition, {ICPR} 2020,
Virtual Event / Milan, Italy, January 10-15, 2021},
pages = {4062--4069},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICPR48806.2021.9413069},
doi = {10.1109/ICPR48806.2021.9413069},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icpr/ZhangPLG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/RazaG20,
author = {Mohammad Raza and
Sumit Gulwani},
editor = {David Maier and
Rachel Pottinger and
AnHai Doan and
Wang{-}Chiew Tan and
Abdussalam Alawini and
Hung Q. Ngo},
title = {Web Data Extraction using Hybrid Program Synthesis: {A} Combination
of Top-down and Bottom-up Inference},
booktitle = {Proceedings of the 2020 International Conference on Management of
Data, {SIGMOD} Conference 2020, online conference [Portland, OR, USA],
June 14-19, 2020},
pages = {1967--1978},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3318464.3380608},
doi = {10.1145/3318464.3380608},
timestamp = {Wed, 04 May 2022 13:02:28 +0200},
biburl = {https://dblp.org/rec/conf/sigmod/RazaG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/Fariha0RG20,
author = {Anna Fariha and
Ashish Tiwari and
Arjun Radhakrishna and
Sumit Gulwani},
editor = {David Maier and
Rachel Pottinger and
AnHai Doan and
Wang{-}Chiew Tan and
Abdussalam Alawini and
Hung Q. Ngo},
title = {ExTuNe: Explaining Tuple Non-conformance},
booktitle = {Proceedings of the 2020 International Conference on Management of
Data, {SIGMOD} Conference 2020, online conference [Portland, OR, USA],
June 14-19, 2020},
pages = {2741--2744},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3318464.3384694},
doi = {10.1145/3318464.3384694},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigmod/Fariha0RG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-01289,
author = {Anna Fariha and
Ashish Tiwari and
Arjun Radhakrishna and
Sumit Gulwani and
Alexandra Meliou},
title = {Data Invariants: On Trust in Data-Driven Systems},
journal = {CoRR},
volume = {abs/2003.01289},
year = {2020},
url = {https://arxiv.org/abs/2003.01289},
eprinttype = {arXiv},
eprint = {2003.01289},
timestamp = {Tue, 10 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-01289.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-12638,
author = {Ashish Tiwari and
Arjun Radhakrishna and
Sumit Gulwani and
Daniel Perelman},
title = {Information-theoretic User Interaction: Significant Inputs for Program
Synthesis},
journal = {CoRR},
volume = {abs/2006.12638},
year = {2020},
url = {https://arxiv.org/abs/2006.12638},
eprinttype = {arXiv},
eprint = {2006.12638},
timestamp = {Wed, 01 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-12638.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-03704,
author = {Rajeev Alur and
Richard G. Baraniuk and
Rastislav Bod{\'{\i}}k and
Ann W. Drobnis and
Sumit Gulwani and
Bjoern Hartmann and
Yasmin B. Kafai and
Jeff Karpicke and
Ran Libeskind{-}Hadas and
Debra J. Richardson and
Armando Solar{-}Lezama and
Candace Thille and
Moshe Y. Vardi},
title = {Computer-Aided Personalized Education},
journal = {CoRR},
volume = {abs/2007.03704},
year = {2020},
url = {https://arxiv.org/abs/2007.03704},
eprinttype = {arXiv},
eprint = {2007.03704},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-03704.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-06835,
author = {Nagarajan Natarajan and
Ajaykrishna Karthikeyan and
Prateek Jain and
Ivan Radicek and
Sriram K. Rajamani and
Sumit Gulwani and
Johannes Gehrke},
title = {Programming by Rewards},
journal = {CoRR},
volume = {abs/2007.06835},
year = {2020},
url = {https://arxiv.org/abs/2007.06835},
eprinttype = {arXiv},
eprint = {2007.06835},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-06835.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/MiltnerGLLRSTU19,
author = {Anders Miltner and
Sumit Gulwani and
Vu Le and
Alan Leung and
Arjun Radhakrishna and
Gustavo Soares and
Ashish Tiwari and
Abhishek Udupa},
title = {On the fly synthesis of edit suggestions},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{OOPSLA}},
pages = {143:1--143:29},
year = {2019},
url = {https://doi.org/10.1145/3360569},
doi = {10.1145/3360569},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/MiltnerGLLRSTU19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aistats/NatarajanSDJG19,
author = {Nagarajan Natarajan and
Danny Simmons and
Naren Datha and
Prateek Jain and
Sumit Gulwani},
editor = {Kamalika Chaudhuri and
Masashi Sugiyama},
title = {Learning Natural Programs from a Few Examples in Real-Time},
booktitle = {The 22nd International Conference on Artificial Intelligence and Statistics,
{AISTATS} 2019, 16-18 April 2019, Naha, Okinawa, Japan},
series = {Proceedings of Machine Learning Research},
volume = {89},
pages = {1714--1722},
publisher = {{PMLR}},
year = {2019},
url = {http://proceedings.mlr.press/v89/natarajan19a.html},
timestamp = {Tue, 11 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aistats/NatarajanSDJG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-05964,
author = {Sumit Gulwani and
Kunal Pathak and
Arjun Radhakrishna and
Ashish Tiwari and
Abhishek Udupa},
title = {Quantitative Programming by Examples},
journal = {CoRR},
volume = {abs/1909.05964},
year = {2019},
url = {http://arxiv.org/abs/1909.05964},
eprinttype = {arXiv},
eprint = {1909.05964},
timestamp = {Wed, 06 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-05964.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/PadhiJPPGM18,
author = {Saswat Padhi and
Prateek Jain and
Daniel Perelman and
Oleksandr Polozov and
Sumit Gulwani and
Todd D. Millstein},
title = {FlashProfile: a framework for synthesizing data profiles},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{OOPSLA}},
pages = {150:1--150:28},
year = {2018},
url = {https://doi.org/10.1145/3276520},
doi = {10.1145/3276520},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/PadhiJPPGM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/RazaG18,
author = {Mohammad Raza and
Sumit Gulwani},
editor = {Sheila A. McIlraith and
Kilian Q. Weinberger},
title = {Disjunctive Program Synthesis: {A} Robust Approach to Programming
by Example},
booktitle = {Proceedings of the Thirty-Second {AAAI} Conference on Artificial Intelligence,
(AAAI-18), the 30th innovative Applications of Artificial Intelligence
(IAAI-18), and the 8th {AAAI} Symposium on Educational Advances in
Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February
2-7, 2018},
pages = {1403--1412},
publisher = {{AAAI} Press},
year = {2018},
url = {https://doi.org/10.1609/aaai.v32i1.11530},
doi = {10.1609/AAAI.V32I1.11530},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/RazaG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/FeldmanCOGPA18,
author = {Molly Q. Feldman and
Ji Yong Cho and
Monica Ong and
Sumit Gulwani and
Zoran Popovic and
Erik Andersen},
editor = {Regan L. Mandryk and
Mark Hancock and
Mark Perry and
Anna L. Cox},
title = {Automatic Diagnosis of Students' Misconceptions in {K-8} Mathematics},
booktitle = {Proceedings of the 2018 {CHI} Conference on Human Factors in Computing
Systems, {CHI} 2018, Montreal, QC, Canada, April 21-26, 2018},
pages = {264},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3173574.3173838},
doi = {10.1145/3173574.3173838},
timestamp = {Sat, 15 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/chi/FeldmanCOGPA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclr/KalyanMPBJG18,
author = {Ashwin Kalyan and
Abhishek Mohta and
Oleksandr Polozov and
Dhruv Batra and
Prateek Jain and
Sumit Gulwani},
title = {Neural-Guided Deductive Search for Real-Time Program Synthesis from
Examples},
booktitle = {6th International Conference on Learning Representations, {ICLR} 2018,
Vancouver, BC, Canada, April 30 - May 3, 2018, Conference Track Proceedings},
publisher = {OpenReview.net},
year = {2018},
url = {https://openreview.net/forum?id=rywDjg-RW},
timestamp = {Tue, 12 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclr/KalyanMPBJG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/AhmedKKKG18,
author = {Umair Z. Ahmed and
Pawan Kumar and
Amey Karkare and
Purushottam Kar and
Sumit Gulwani},
editor = {Patricia Lago and
Michal Young},
title = {Compilation error repair: for the student programs, from the student
programs},
booktitle = {Proceedings of the 40th International Conference on Software Engineering:
Software Engineering Education and Training, {ICSE} {(SEET)} 2018,
Gothenburg, Sweden, May 27 - June 03, 2018},
pages = {78--87},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3183377.3183383},
doi = {10.1145/3183377.3183383},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/AhmedKKKG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/GulwaniRZ18,
author = {Sumit Gulwani and
Ivan Radicek and
Florian Zuleger},
editor = {Jeffrey S. Foster and
Dan Grossman},
title = {Automated clustering and program repair for introductory programming
assignments},
booktitle = {Proceedings of the 39th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2018, Philadelphia, PA,
USA, June 18-22, 2018},
pages = {465--480},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3192366.3192387},
doi = {10.1145/3192366.3192387},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/GulwaniRZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/mc/BeyerGS18,
author = {Dirk Beyer and
Sumit Gulwani and
David A. Schmidt},
editor = {Edmund M. Clarke and
Thomas A. Henzinger and
Helmut Veith and
Roderick Bloem},
title = {Combining Model Checking and Data-Flow Analysis},
booktitle = {Handbook of Model Checking},
pages = {493--540},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-10575-8\_16},
doi = {10.1007/978-3-319-10575-8\_16},
timestamp = {Mon, 03 Jan 2022 22:13:30 +0100},
biburl = {https://dblp.org/rec/reference/mc/BeyerGS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-01186,
author = {Ashwin J. Vijayakumar and
Abhishek Mohta and
Oleksandr Polozov and
Dhruv Batra and
Prateek Jain and
Sumit Gulwani},
title = {Neural-Guided Deductive Search for Real-Time Program Synthesis from
Examples},
journal = {CoRR},
volume = {abs/1804.01186},
year = {2018},
url = {http://arxiv.org/abs/1804.01186},
eprinttype = {arXiv},
eprint = {1804.01186},
timestamp = {Tue, 12 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-01186.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/BailisAG17,
author = {Peter Bailis and
Peter Alvaro and
Sumit Gulwani},
title = {Research for practice: tracing and debugging distributed systems;
programming by examples},
journal = {Commun. {ACM}},
volume = {60},
number = {7},
pages = {46--49},
year = {2017},
url = {https://doi.org/10.1145/3052942},
doi = {10.1145/3052942},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/BailisAG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ftpl/GulwaniPS17,
author = {Sumit Gulwani and
Oleksandr Polozov and
Rishabh Singh},
title = {Program Synthesis},
journal = {Found. Trends Program. Lang.},
volume = {4},
number = {1-2},
pages = {1--119},
year = {2017},
url = {https://doi.org/10.1561/2500000010},
doi = {10.1561/2500000010},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ftpl/GulwaniPS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/queue/AlvaroGB17,
author = {Peter Alvaro and
Sumit Gulwani and
Peter Bailis},
title = {Research for Practice: Tracing and Debugging Distributed Systems;
Programming by Examples},
journal = {{ACM} Queue},
volume = {15},
number = {1},
pages = {60},
year = {2017},
url = {https://doi.org/10.1145/3055301.3074451},
doi = {10.1145/3055301.3074451},
timestamp = {Wed, 01 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/queue/AlvaroGB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/RazaG17,
author = {Mohammad Raza and
Sumit Gulwani},
editor = {Satinder Singh and
Shaul Markovitch},
title = {Automated Data Extraction Using Predictive Program Synthesis},
booktitle = {Proceedings of the Thirty-First {AAAI} Conference on Artificial Intelligence,
February 4-9, 2017, San Francisco, California, {USA}},
pages = {882--890},
publisher = {{AAAI} Press},
year = {2017},
url = {https://doi.org/10.1609/aaai.v31i1.10668},
doi = {10.1609/AAAI.V31I1.10668},
timestamp = {Mon, 04 Sep 2023 14:40:32 +0200},
biburl = {https://dblp.org/rec/conf/aaai/RazaG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aied/AlvinGMM17,
author = {Chris Alvin and
Sumit Gulwani and
Rupak Majumdar and
Supratik Mukhopadhyay},
editor = {Elisabeth Andr{\'{e}} and
Ryan S. Baker and
Xiangen Hu and
Ma. Mercedes T. Rodrigo and
Benedict du Boulay},
title = {Synthesis of Problems for Shaded Area Geometry Reasoning},
booktitle = {Artificial Intelligence in Education - 18th International Conference,
{AIED} 2017, Wuhan, China, June 28 - July 1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10331},
pages = {455--458},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-61425-0\_39},
doi = {10.1007/978-3-319-61425-0\_39},
timestamp = {Sat, 30 Sep 2023 09:33:58 +0200},
biburl = {https://dblp.org/rec/conf/aied/AlvinGMM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/GulwaniJ17,
author = {Sumit Gulwani and
Prateek Jain},
editor = {Bor{-}Yuh Evan Chang},
title = {Programming by Examples: {PL} Meets {ML}},
booktitle = {Programming Languages and Systems - 15th Asian Symposium, {APLAS}
2017, Suzhou, China, November 27-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10695},
pages = {3--20},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-71237-6\_1},
doi = {10.1007/978-3-319-71237-6\_1},
timestamp = {Wed, 01 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aplas/GulwaniJ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/AlvinGMM17,
author = {Chris Alvin and
Sumit Gulwani and
Rupak Majumdar and
Supratik Mukhopadhyay},
editor = {Vasile Rus and
Zdravko Markov},
title = {Synthesis of Solutions for Shaded Area Geometry Problems},
booktitle = {Proceedings of the Thirtieth International Florida Artificial Intelligence
Research Society Conference, {FLAIRS} 2017, Marco Island, Florida,
USA, May 22-24, 2017},
pages = {14--19},
publisher = {{AAAI} Press},
year = {2017},
url = {https://aaai.org/ocs/index.php/FLAIRS/FLAIRS17/paper/view/15416},
timestamp = {Wed, 26 Oct 2022 08:35:10 +0200},
biburl = {https://dblp.org/rec/conf/flairs/AlvinGMM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/RolimSDPGGSH17,
author = {Reudismam Rolim and
Gustavo Soares and
Loris D'Antoni and
Oleksandr Polozov and
Sumit Gulwani and
Rohit Gheyi and
Ryo Suzuki and
Bj{\"{o}}rn Hartmann},
editor = {Sebasti{\'{a}}n Uchitel and
Alessandro Orso and
Martin P. Robillard},
title = {Learning syntactic program transformations from examples},
booktitle = {Proceedings of the 39th International Conference on Software Engineering,
{ICSE} 2017, Buenos Aires, Argentina, May 20-28, 2017},
pages = {404--415},
publisher = {{IEEE} / {ACM}},
year = {2017},
url = {https://doi.org/10.1109/ICSE.2017.44},
doi = {10.1109/ICSE.2017.44},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/RolimSDPGGSH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/EllisG17,
author = {Kevin Ellis and
Sumit Gulwani},
editor = {Carles Sierra},
title = {Learning to Learn Programs from Examples: Going Beyond Program Structure},
booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on
Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
19-25, 2017},
pages = {1638--1645},
publisher = {ijcai.org},
year = {2017},
url = {https://doi.org/10.24963/ijcai.2017/227},
doi = {10.24963/IJCAI.2017/227},
timestamp = {Tue, 20 Aug 2019 16:16:54 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/EllisG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/Gulwani17,
author = {Sumit Gulwani},
editor = {Wim Vanhoof and
Brigitte Pientka},
title = {Programming by examples: applications, algorithms, and ambiguity resolution},
booktitle = {Proceedings of the 19th International Symposium on Principles and
Practice of Declarative Programming, Namur, Belgium, October 09 -
11, 2017},
pages = {2},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3131851.3131853},
doi = {10.1145/3131851.3131853},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/Gulwani17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LePPRUG17,
author = {Vu Le and
Daniel Perelman and
Oleksandr Polozov and
Mohammad Raza and
Abhishek Udupa and
Sumit Gulwani},
title = {Interactive Program Synthesis},
journal = {CoRR},
volume = {abs/1703.03539},
year = {2017},
url = {http://arxiv.org/abs/1703.03539},
eprinttype = {arXiv},
eprint = {1703.03539},
timestamp = {Thu, 28 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LePPRUG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1709-05725,
author = {Saswat Padhi and
Prateek Jain and
Daniel Perelman and
Oleksandr Polozov and
Sumit Gulwani and
Todd D. Millstein},
title = {FlashProfile: Interactive Synthesis of Syntactic Profiles},
journal = {CoRR},
volume = {abs/1709.05725},
year = {2017},
url = {http://arxiv.org/abs/1709.05725},
eprinttype = {arXiv},
eprint = {1709.05725},
timestamp = {Tue, 03 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-05725.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Gulwani16,
author = {Sumit Gulwani},
title = {Technical Perspective: Program synthesis using stochastic techniques},
journal = {Commun. {ACM}},
volume = {59},
number = {2},
pages = {113},
year = {2016},
url = {https://doi.org/10.1145/2863699},
doi = {10.1145/2863699},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Gulwani16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Gulwani16,
author = {Sumit Gulwani},
editor = {Nicola Olivetti and
Ashish Tiwari},
title = {Programming by Examples: Applications, Algorithms, and Ambiguity Resolution},
booktitle = {Automated Reasoning - 8th International Joint Conference, {IJCAR}
2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9706},
pages = {9--14},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-40229-1\_2},
doi = {10.1007/978-3-319-40229-1\_2},
timestamp = {Mon, 26 Jun 2023 20:45:22 +0200},
biburl = {https://dblp.org/rec/conf/cade/Gulwani16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/DesaiGHJKMRR16,
author = {Aditya Desai and
Sumit Gulwani and
Vineet Hingorani and
Nidhi Jain and
Amey Karkare and
Mark Marron and
Sailesh R and
Subhajit Roy},
editor = {Laura K. Dillon and
Willem Visser and
Laurie A. Williams},
title = {Program synthesis using natural language},
booktitle = {Proceedings of the 38th International Conference on Software Engineering,
{ICSE} 2016, Austin, TX, USA, May 14-22, 2016},
pages = {345--356},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2884781.2884786},
doi = {10.1145/2884781.2884786},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/DesaiGHJKMRR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/WangGS16,
author = {Xinyu Wang and
Sumit Gulwani and
Rishabh Singh},
editor = {Eelco Visser and
Yannis Smaragdakis},
title = {{FIDEX:} filtering spreadsheet data using examples},
booktitle = {Proceedings of the 2016 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2016, part of {SPLASH} 2016, Amsterdam, The Netherlands,
October 30 - November 4, 2016},
pages = {195--213},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2983990.2984030},
doi = {10.1145/2983990.2984030},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/WangGS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/BarmanCBG16,
author = {Shaon Barman and
Sarah E. Chasins and
Rastislav Bod{\'{\i}}k and
Sumit Gulwani},
editor = {Eelco Visser and
Yannis Smaragdakis},
title = {Ringer: web automation by demonstration},
booktitle = {Proceedings of the 2016 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2016, part of {SPLASH} 2016, Amsterdam, The Netherlands,
October 30 - November 4, 2016},
pages = {748--764},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2983990.2984020},
doi = {10.1145/2983990.2984020},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/BarmanCBG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/SinghG16,
author = {Rishabh Singh and
Sumit Gulwani},
editor = {Rastislav Bod{\'{\i}}k and
Rupak Majumdar},
title = {Transforming spreadsheet data types using examples},
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 = {343--356},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2837614.2837668},
doi = {10.1145/2837614.2837668},
timestamp = {Wed, 23 Jun 2021 15:34:31 +0200},
biburl = {https://dblp.org/rec/conf/popl/SinghG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/ZulegerRG16,
author = {Florian Zuleger and
Ivan Radicek and
Sumit Gulwani},
editor = {Jens Knoop and
Uwe Zdun},
title = {Feedback generation for performance problems in introductory programming
assignments},
booktitle = {Software Engineering 2016, Fachtagung des GI-Fachbereichs Softwaretechnik,
23.-26. Februar 2016, Wien, {\"{O}}sterreich},
series = {{LNI}},
volume = {{P-252}},
pages = {49--50},
publisher = {{GI}},
year = {2016},
url = {https://dl.gi.de/handle/20.500.12116/715},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/ZulegerRG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/KaleeswaranSKG16,
author = {Shalini Kaleeswaran and
Anirudh Santhiar and
Aditya Kanade and
Sumit Gulwani},
editor = {Thomas Zimmermann and
Jane Cleland{-}Huang and
Zhendong Su},
title = {Semi-supervised verified feedback generation},
booktitle = {Proceedings of the 24th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, {FSE} 2016, Seattle, WA, USA,
November 13-18, 2016},
pages = {739--750},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2950290.2950363},
doi = {10.1145/2950290.2950363},
timestamp = {Thu, 02 Dec 2021 11:46:17 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/KaleeswaranSKG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/natosec/Gulwani16,
author = {Sumit Gulwani},
editor = {Javier Esparza and
Orna Grumberg and
Salomon Sickert},
title = {Programming by Examples - and its applications in Data Wrangling},
booktitle = {Dependable Software Systems Engineering},
series = {{NATO} Science for Peace and Security Series - {D:} Information and
Communication Security},
volume = {45},
pages = {137--158},
publisher = {{IOS} Press},
year = {2016},
url = {https://doi.org/10.3233/978-1-61499-627-9-137},
doi = {10.3233/978-1-61499-627-9-137},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/natosec/Gulwani16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GulwaniRZ16,
author = {Sumit Gulwani and
Ivan Radicek and
Florian Zuleger},
title = {Automated Clustering and Program Repair for Introductory Programming
Assignments},
journal = {CoRR},
volume = {abs/1603.03165},
year = {2016},
url = {http://arxiv.org/abs/1603.03165},
eprinttype = {arXiv},
eprint = {1603.03165},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GulwaniRZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KaleeswaranSKG16,
author = {Shalini Kaleeswaran and
Anirudh Santhiar and
Aditya Kanade and
Sumit Gulwani},
title = {Semi-Supervised Verified Feedback Generation},
journal = {CoRR},
volume = {abs/1603.04584},
year = {2016},
url = {http://arxiv.org/abs/1603.04584},
eprinttype = {arXiv},
eprint = {1603.04584},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KaleeswaranSKG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DasAKG16,
author = {Rajdeep Das and
Umair Z. Ahmed and
Amey Karkare and
Sumit Gulwani},
title = {Prutor: {A} System for Tutoring {CS1} and Collecting Student Programs
for Analysis},
journal = {CoRR},
volume = {abs/1608.03828},
year = {2016},
url = {http://arxiv.org/abs/1608.03828},
eprinttype = {arXiv},
eprint = {1608.03828},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DasAKG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SousaSDPGGSH16,
author = {Reudismam Rolim de Sousa and
Gustavo Soares and
Loris D'Antoni and
Oleksandr Polozov and
Sumit Gulwani and
Rohit Gheyi and
Ryo Suzuki and
Bjoern Hartmann},
title = {Learning Syntactic Program Transformations from Examples},
journal = {CoRR},
volume = {abs/1608.09000},
year = {2016},
url = {http://arxiv.org/abs/1608.09000},
eprinttype = {arXiv},
eprint = {1608.09000},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/SousaSDPGGSH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/GulwaniHKMSZ15,
author = {Sumit Gulwani and
Jos{\'{e}} Hern{\'{a}}ndez{-}Orallo and
Emanuel Kitzelmann and
Stephen H. Muggleton and
Ute Schmid and
Benjamin G. Zorn},
title = {Inductive programming meets the real world},
journal = {Commun. {ACM}},
volume = {58},
number = {11},
pages = {90--99},
year = {2015},
url = {https://doi.org/10.1145/2736282},
doi = {10.1145/2736282},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cacm/GulwaniHKMSZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tochi/DAntoniKAG0H15,
author = {Loris D'Antoni and
Dileep Kini and
Rajeev Alur and
Sumit Gulwani and
Mahesh Viswanathan and
Bj{\"{o}}rn Hartmann},
title = {How Can Automatic Feedback Help Students Construct Automata?},
journal = {{ACM} Trans. Comput. Hum. Interact.},
volume = {22},
number = {2},
pages = {9:1--9:24},
year = {2015},
url = {https://doi.org/10.1145/2723163},
doi = {10.1145/2723163},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tochi/DAntoniKAG0H15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/AhmedCG15,
author = {Umair Z. Ahmed and
Krishnendu Chatterjee and
Sumit Gulwani},
editor = {Blai Bonet and
Sven Koenig},
title = {Automatic Generation of Alternative Starting Positions for Simple
Traditional Board Games},
booktitle = {Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence,
January 25-30, 2015, Austin, Texas, {USA}},
pages = {745--752},
publisher = {{AAAI} Press},
year = {2015},
url = {https://doi.org/10.1609/aaai.v29i1.9287},
doi = {10.1609/AAAI.V29I1.9287},
timestamp = {Mon, 18 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/AhmedCG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/SinghG15,
author = {Rishabh Singh and
Sumit Gulwani},
editor = {Daniel Kroening and
Corina S. Pasareanu},
title = {Predicting a Correct Program in Programming by Example},
booktitle = {Computer Aided Verification - 27th International Conference, {CAV}
2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {9206},
pages = {398--414},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21690-4\_23},
doi = {10.1007/978-3-319-21690-4\_23},
timestamp = {Fri, 27 Mar 2020 08:45:57 +0100},
biburl = {https://dblp.org/rec/conf/cav/SinghG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/ORourkeAGP15,
author = {Eleanor O'Rourke and
Erik Andersen and
Sumit Gulwani and
Zoran Popovic},
editor = {Bo Begole and
Jinwoo Kim and
Kori Inkpen and
Woontack Woo},
title = {A Framework for Automatically Generating Interactive Instructional
Scaffolding},
booktitle = {Proceedings of the 33rd Annual {ACM} Conference on Human Factors in
Computing Systems, {CHI} 2015, Seoul, Republic of Korea, April 18-23,
2015},
pages = {1545--1554},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2702123.2702580},
doi = {10.1145/2702123.2702580},
timestamp = {Sat, 15 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/chi/ORourkeAGP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/ButlerASGP15,
author = {Eric Butler and
Erik Andersen and
Adam M. Smith and
Sumit Gulwani and
Zoran Popovic},
editor = {Bo Begole and
Jinwoo Kim and
Kori Inkpen and
Woontack Woo},
title = {Automatic Game Progression Design through Analysis of Solution Features},
booktitle = {Proceedings of the 33rd Annual {ACM} Conference on Human Factors in
Computing Systems, {CHI} 2015, Seoul, Republic of Korea, April 18-23,
2015},
pages = {2407--2416},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2702123.2702330},
doi = {10.1145/2702123.2702330},
timestamp = {Mon, 17 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/chi/ButlerASGP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/EdgeGMRSWY15,
author = {Darren Edge and
Sumit Gulwani and
Natasa Milic{-}Frayling and
Mohammad Raza and
Reza Adhitya Saputra and
Chao Wang and
Koji Yatani},
editor = {Bo Begole and
Jinwoo Kim and
Kori Inkpen and
Woontack Woo},
title = {Mixed-Initiative Approaches to Global Editing in Slideware},
booktitle = {Proceedings of the 33rd Annual {ACM} Conference on Human Factors in
Computing Systems, {CHI} 2015, Seoul, Republic of Korea, April 18-23,
2015},
pages = {3503--3512},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2702123.2702551},
doi = {10.1145/2702123.2702551},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/chi/EdgeGMRSWY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GulwaniMNP15,
author = {Sumit Gulwani and
Mika{\"{e}}l Mayer and
Filip Niksic and
Ruzica Piskac},
editor = {Antonia Bertolino and
Gerardo Canfora and
Sebastian G. Elbaum},
title = {StriSynth: Synthesis for Live Programming},
booktitle = {37th {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 2},
pages = {701--704},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICSE.2015.227},
doi = {10.1109/ICSE.2015.227},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/GulwaniMNP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/PolozovOSZGP15,
author = {Oleksandr Polozov and
Eleanor O'Rourke and
Adam M. Smith and
Luke Zettlemoyer and
Sumit Gulwani and
Zoran Popovic},
editor = {Qiang Yang and
Michael J. Wooldridge},
title = {Personalized Mathematical Word Problem Generation},
booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
25-31, 2015},
pages = {381--388},
publisher = {{AAAI} Press},
year = {2015},
url = {http://ijcai.org/Abstract/15/060},
timestamp = {Mon, 17 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/PolozovOSZGP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KiniG15,
author = {Dileep Kini and
Sumit Gulwani},
editor = {Qiang Yang and
Michael J. Wooldridge},
title = {FlashNormalize: Programming by Examples for Text Normalization},
booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
25-31, 2015},
pages = {776--783},
publisher = {{AAAI} Press},
year = {2015},
url = {http://ijcai.org/Abstract/15/115},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/KiniG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/RazaGM15,
author = {Mohammad Raza and
Sumit Gulwani and
Natasa Milic{-}Frayling},
editor = {Qiang Yang and
Michael J. Wooldridge},
title = {Compositional Program Synthesis from Natural Language and Examples},
booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
25-31, 2015},
pages = {792--800},
publisher = {{AAAI} Press},
year = {2015},
url = {http://ijcai.org/Abstract/15/117},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/RazaGM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/PolozovG15,
author = {Oleksandr Polozov and
Sumit Gulwani},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {FlashMeta: a framework for inductive program synthesis},
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 = {107--126},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814270.2814310},
doi = {10.1145/2814270.2814310},
timestamp = {Wed, 23 Jun 2021 16:58:51 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/PolozovG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/MadhavanMGK15,
author = {Ravichandhran Madhavan and
Mika{\"{e}}l Mayer and
Sumit Gulwani and
Viktor Kuncak},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {Automating grammar comparison},
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 = {183--200},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814270.2814304},
doi = {10.1145/2814270.2814304},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/MadhavanMGK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/BarowyGHZ15,
author = {Daniel W. Barowy and
Sumit Gulwani and
Ted Hart and
Benjamin G. Zorn},
editor = {David Grove and
Stephen M. Blackburn},
title = {FlashRelate: extracting relational data from semi-structured spreadsheets
using examples},
booktitle = {Proceedings of the 36th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, Portland, OR, USA, June 15-17,
2015},
pages = {218--228},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2737924.2737952},
doi = {10.1145/2737924.2737952},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/BarowyGHZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Gulwani15,
author = {Sumit Gulwani},
editor = {Sriram K. Rajamani and
David Walker},
title = {Automating Repetitive Tasks for the Masses},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {1--2},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2682621},
doi = {10.1145/2676726.2682621},
timestamp = {Mon, 08 Apr 2024 08:19:10 +0200},
biburl = {https://dblp.org/rec/conf/popl/Gulwani15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uist/MayerSGLMPSZG15,
author = {Mika{\"{e}}l Mayer and
Gustavo Soares and
Maxim Grechkin and
Vu Le and
Mark Marron and
Oleksandr Polozov and
Rishabh Singh and
Benjamin G. Zorn and
Sumit Gulwani},
editor = {Celine Latulipe and
Bjoern Hartmann and
Tovi Grossman},
title = {User Interaction Models for Disambiguation in Programming by Example},
booktitle = {Proceedings of the 28th Annual {ACM} Symposium on User Interface Software
{\&} Technology, {UIST} 2015, Charlotte, NC, USA, November 8-11,
2015},
pages = {291--301},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2807442.2807459},
doi = {10.1145/2807442.2807459},
timestamp = {Thu, 28 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/uist/MayerSGLMPSZG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/ChasinsBBG15,
author = {Sarah E. Chasins and
Shaon Barman and
Rastislav Bod{\'{\i}}k and
Sumit Gulwani},
editor = {Aldo Gangemi and
Stefano Leonardi and
Alessandro Panconesi},
title = {Browser Record and Replay as a Building Block for End-User Web Automation
Tools},
booktitle = {Proceedings of the 24th International Conference on World Wide Web
Companion, {WWW} 2015, Florence, Italy, May 18-22, 2015 - Companion
Volume},
pages = {179--182},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2740908.2742849},
doi = {10.1145/2740908.2742849},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/www/ChasinsBBG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Gulwani15a,
author = {Sumit Gulwani},
title = {Cultivating research taste (illustrated via a journey in program synthesis
research)},
booktitle = {Proceedings of the Programming Languages Mentoring Workshop, PLMW@POPL
2015, Mumbai, India, January 14, 2015},
pages = {10:1},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2792434.2792444},
doi = {10.1145/2792434.2792444},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Gulwani15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DesaiGHJKMRR15,
author = {Aditya Desai and
Sumit Gulwani and
Vineet Hingorani and
Nidhi Jain and
Amey Karkare and
Mark Marron and
Sailesh R and
Subhajit Roy},
title = {Program Synthesis using Natural Language},
journal = {CoRR},
volume = {abs/1509.00413},
year = {2015},
url = {http://arxiv.org/abs/1509.00413},
eprinttype = {arXiv},
eprint = {1509.00413},
timestamp = {Tue, 03 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/DesaiGHJKMRR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AlvinGMM15,
author = {Chris Alvin and
Sumit Gulwani and
Rupak Majumdar and
Supratik Mukhopadhyay},
title = {Automatic Synthesis of Geometry Problems for an Intelligent Tutoring
System},
journal = {CoRR},
volume = {abs/1510.08525},
year = {2015},
url = {http://arxiv.org/abs/1510.08525},
eprinttype = {arXiv},
eprint = {1510.08525},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AlvinGMM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Gulwani14,
author = {Sumit Gulwani},
title = {Example-based learning in computer-aided {STEM} education},
journal = {Commun. {ACM}},
volume = {57},
number = {8},
pages = {70--80},
year = {2014},
url = {https://doi.org/10.1145/2634273},
doi = {10.1145/2634273},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Gulwani14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/AlvinGMM14,
author = {Chris Alvin and
Sumit Gulwani and
Rupak Majumdar and
Supratik Mukhopadhyay},
editor = {Carla E. Brodley and
Peter Stone},
title = {Synthesis of Geometry Proof Problems},
booktitle = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence,
July 27 -31, 2014, Qu{\'{e}}bec City, Qu{\'{e}}bec, Canada},
pages = {245--252},
publisher = {{AAAI} Press},
year = {2014},
url = {https://doi.org/10.1609/aaai.v28i1.8745},
doi = {10.1609/AAAI.V28I1.8745},
timestamp = {Mon, 04 Sep 2023 15:06:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/AlvinGMM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/RazaGM14,
author = {Mohammad Raza and
Sumit Gulwani and
Natasa Milic{-}Frayling},
editor = {Carla E. Brodley and
Peter Stone},
title = {Programming by Example Using Least General Generalizations},
booktitle = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence,
July 27 -31, 2014, Qu{\'{e}}bec City, Qu{\'{e}}bec, Canada},
pages = {283--290},
publisher = {{AAAI} Press},
year = {2014},
url = {https://doi.org/10.1609/aaai.v28i1.8744},
doi = {10.1609/AAAI.V28I1.8744},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/RazaGM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gecco/Gulwani14,
author = {Sumit Gulwani},
editor = {Dirk V. Arnold and
Enrique Alba},
title = {Applications of program synthesis to end-user programming and intelligent
tutoring systems},
booktitle = {Genetic and Evolutionary Computation Conference, {GECCO} '14, Vancouver,
BC, Canada, July 12-16, 2014, Companion Material Proceedings},
pages = {5--6},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2598394.2598397},
doi = {10.1145/2598394.2598397},
timestamp = {Wed, 13 Jul 2022 16:15:15 +0200},
biburl = {https://dblp.org/rec/conf/gecco/Gulwani14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iui/CheemaBGL14,
author = {Salman Cheema and
Sarah Buchanan and
Sumit Gulwani and
Joseph J. LaViola Jr.},
editor = {Tsvi Kuflik and
Oliviero Stock and
Joyce Yue Chai and
Antonio Kr{\"{u}}ger},
title = {A practical framework for constructing structured drawings},
booktitle = {19th International Conference on Intelligent User Interfaces, {IUI}
2014, Haifa, Israel, February 24-27, 2014},
pages = {311--316},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2557500.2557522},
doi = {10.1145/2557500.2557522},
timestamp = {Sat, 30 Sep 2023 09:51:13 +0200},
biburl = {https://dblp.org/rec/conf/iui/CheemaBGL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kdd/PolozovG14,
author = {Oleksandr Polozov and
Sumit Gulwani},
editor = {Sofus A. Macskassy and
Claudia Perlich and
Jure Leskovec and
Wei Wang and
Rayid Ghani},
title = {LaSEWeb: automating search strategies over semi-structured web data},
booktitle = {The 20th {ACM} {SIGKDD} International Conference on Knowledge Discovery
and Data Mining, {KDD} '14, New York, NY, {USA} - August 24 - 27,
2014},
pages = {741--750},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2623330.2623761},
doi = {10.1145/2623330.2623761},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kdd/PolozovG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/PerelmanGGP14,
author = {Daniel Perelman and
Sumit Gulwani and
Dan Grossman and
Peter Provost},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {Test-driven synthesis},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {408--418},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594297},
doi = {10.1145/2594291.2594297},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/PerelmanGGP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/LeG14,
author = {Vu Le and
Sumit Gulwani},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {FlashExtract: a framework for data extraction by examples},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {542--553},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594333},
doi = {10.1145/2594291.2594333},
timestamp = {Thu, 28 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/LeG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/GulwaniM14,
author = {Sumit Gulwani and
Mark Marron},
editor = {Curtis E. Dyreson and
Feifei Li and
M. Tamer {\"{O}}zsu},
title = {NLyze: interactive programming by natural language for spreadsheet
data analysis and manipulation},
booktitle = {International Conference on Management of Data, {SIGMOD} 2014, Snowbird,
UT, USA, June 22-27, 2014},
pages = {803--814},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2588555.2612177},
doi = {10.1145/2588555.2612177},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigmod/GulwaniM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/GulwaniRZ14,
author = {Sumit Gulwani and
Ivan Radicek and
Florian Zuleger},
editor = {Shing{-}Chi Cheung and
Alessandro Orso and
Margaret{-}Anne D. Storey},
title = {Feedback generation for performance problems in introductory programming
assignments},
booktitle = {Proceedings of the 22nd {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, (FSE-22), Hong Kong, China, November
16 - 22, 2014},
pages = {41--51},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2635868.2635912},
doi = {10.1145/2635868.2635912},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/GulwaniRZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/natosec/Gulwani14,
author = {Sumit Gulwani},
editor = {Orna Grumberg and
Helmut Seidl and
Maximilian Irlbeck},
title = {Program Synthesis},
booktitle = {Software Systems Safety},
series = {{NATO} Science for Peace and Security Series, {D:} Information and
Communication Security},
volume = {36},
pages = {43--75},
publisher = {{IOS} Press},
year = {2014},
url = {https://doi.org/10.3233/978-1-61499-385-8-43},
doi = {10.3233/978-1-61499-385-8-43},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/natosec/Gulwani14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GulwaniRZ14,
author = {Sumit Gulwani and
Ivan Radicek and
Florian Zuleger},
title = {Feedback Generation for Performance Problems in Introductory Programming
Assignments},
journal = {CoRR},
volume = {abs/1403.4064},
year = {2014},
url = {http://arxiv.org/abs/1403.4064},
eprinttype = {arXiv},
eprint = {1403.4064},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GulwaniRZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AhmedCG14,
author = {Umair Z. Ahmed and
Krishnendu Chatterjee and
Sumit Gulwani},
title = {Automatic Generation of Alternative Starting Positions for Simple
Traditional Board Games},
journal = {CoRR},
volume = {abs/1411.4023},
year = {2014},
url = {http://arxiv.org/abs/1411.4023},
eprinttype = {arXiv},
eprint = {1411.4023},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AhmedCG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/SrivastavaGF13,
author = {Saurabh Srivastava and
Sumit Gulwani and
Jeffrey S. Foster},
title = {Template-based program verification and program synthesis},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {15},
number = {5-6},
pages = {497--518},
year = {2013},
url = {https://doi.org/10.1007/s10009-012-0223-4},
doi = {10.1007/S10009-012-0223-4},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/SrivastavaGF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AlbarghouthiGK13,
author = {Aws Albarghouthi and
Sumit Gulwani and
Zachary Kincaid},
editor = {Natasha Sharygina and
Helmut Veith},
title = {Recursive Program Synthesis},
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 = {934--950},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39799-8\_67},
doi = {10.1007/978-3-642-39799-8\_67},
timestamp = {Wed, 07 Dec 2022 23:12:58 +0100},
biburl = {https://dblp.org/rec/conf/cav/AlbarghouthiGK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/AndersenGP13,
author = {Erik Andersen and
Sumit Gulwani and
Zoran Popovic},
editor = {Wendy E. Mackay and
Stephen A. Brewster and
Susanne B{\o}dker},
title = {A trace-based framework for analyzing and synthesizing educational
progressions},
booktitle = {2013 {ACM} {SIGCHI} Conference on Human Factors in Computing Systems,
{CHI} '13, Paris, France, April 27 - May 2, 2013},
pages = {773--782},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2470654.2470764},
doi = {10.1145/2470654.2470764},
timestamp = {Tue, 01 Jun 2021 15:21:42 +0200},
biburl = {https://dblp.org/rec/conf/chi/AndersenGP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/MenonTGLK13,
author = {Aditya Krishna Menon and
Omer Tamuz and
Sumit Gulwani and
Butler W. Lampson and
Adam Kalai},
title = {A Machine Learning Framework for Programming by Example},
booktitle = {Proceedings of the 30th International Conference on Machine Learning,
{ICML} 2013, Atlanta, GA, USA, 16-21 June 2013},
series = {{JMLR} Workshop and Conference Proceedings},
volume = {28},
pages = {187--195},
publisher = {JMLR.org},
year = {2013},
url = {http://proceedings.mlr.press/v28/menon13.html},
timestamp = {Wed, 29 May 2019 08:41:45 +0200},
biburl = {https://dblp.org/rec/conf/icml/MenonTGLK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/TillmannHXGB13,
author = {Nikolai Tillmann and
Jonathan de Halleux and
Tao Xie and
Sumit Gulwani and
Judith Bishop},
editor = {David Notkin and
Betty H. C. Cheng and
Klaus Pohl},
title = {Teaching and learning programming and software engineering via interactive
gaming},
booktitle = {35th International Conference on Software Engineering, {ICSE} '13,
San Francisco, CA, USA, May 18-26, 2013},
pages = {1117--1126},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICSE.2013.6606662},
doi = {10.1109/ICSE.2013.6606662},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/TillmannHXGB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/AhmedGK13,
author = {Umair Z. Ahmed and
Sumit Gulwani and
Amey Karkare},
editor = {Francesca Rossi},
title = {Automatically Generating Problems and Solutions for Natural Deduction},
booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
on Artificial Intelligence, Beijing, China, August 3-9, 2013},
pages = {1968--1975},
publisher = {{IJCAI/AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6960},
timestamp = {Tue, 23 Jan 2024 13:25:46 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/AhmedGK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/AlurDGKV13,
author = {Rajeev Alur and
Loris D'Antoni and
Sumit Gulwani and
Dileep Kini and
Mahesh Viswanathan},
editor = {Francesca Rossi},
title = {Automated Grading of {DFA} Constructions},
booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
on Artificial Intelligence, Beijing, China, August 3-9, 2013},
pages = {1976--1982},
publisher = {{IJCAI/AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6759},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/AlurDGKV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/ItzhakyGIS13,
author = {Shachar Itzhaky and
Sumit Gulwani and
Neil Immerman and
Mooly Sagiv},
editor = {Kenneth L. McMillan and
Aart Middeldorp and
Andrei Voronkov},
title = {Solving Geometry Problems Using a Combination of Symbolic and Numerical
Reasoning},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 19th
International Conference, LPAR-19, Stellenbosch, South Africa, December
14-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8312},
pages = {457--472},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-45221-5\_31},
doi = {10.1007/978-3-642-45221-5\_31},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/ItzhakyGIS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobisys/LeGS13,
author = {Vu Le and
Sumit Gulwani and
Zhendong Su},
editor = {Hao{-}Hua Chu and
Polly Huang and
Romit Roy Choudhury and
Feng Zhao},
title = {SmartSynth: synthesizing smartphone automation scripts from natural
language},
booktitle = {The 11th Annual International Conference on Mobile Systems, Applications,
and Services, MobiSys'13, Taipei, Taiwan, June 25-28, 2013},
pages = {193--206},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2462456.2464443},
doi = {10.1145/2462456.2464443},
timestamp = {Tue, 30 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mobisys/LeGS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobisys/LeHGS13,
author = {Vu Le and
Jonathan de Halleux and
Sumit Gulwani and
Zhendong Su},
editor = {Hao{-}Hua Chu and
Polly Huang and
Romit Roy Choudhury and
Feng Zhao},
title = {Keyword programming for TouchDevelop},
booktitle = {The 11th Annual International Conference on Mobile Systems, Applications,
and Services, MobiSys'13, Taipei, Taiwan, June 25-28, 2013},
pages = {463--464},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2462456.2465729},
doi = {10.1145/2462456.2465729},
timestamp = {Tue, 30 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mobisys/LeHGS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/SinghGS13,
author = {Rishabh Singh and
Sumit Gulwani and
Armando Solar{-}Lezama},
editor = {Hans{-}Juergen Boehm and
Cormac Flanagan},
title = {Automated feedback generation for introductory programming assignments},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '13, Seattle, WA, USA, June 16-19, 2013},
pages = {15--26},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2491956.2462195},
doi = {10.1145/2491956.2462195},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/SinghGS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/SankaranarayananCG13,
author = {Sriram Sankaranarayanan and
Aleksandar Chakarov and
Sumit Gulwani},
editor = {Hans{-}Juergen Boehm and
Cormac Flanagan},
title = {Static analysis for probabilistic programs: inferring whole program
properties from finitely many paths},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '13, Seattle, WA, USA, June 16-19, 2013},
pages = {447--458},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2491956.2462179},
doi = {10.1145/2491956.2462179},
timestamp = {Fri, 06 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/SankaranarayananCG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/BartheCKGM13,
author = {Gilles Barthe and
Juan Manuel Crespo and
Sumit Gulwani and
C{\'{e}}sar Kunz and
Mark Marron},
editor = {Alex Nicolau and
Xiaowei Shen and
Saman P. Amarasinghe and
Richard W. Vuduc},
title = {From relational verification to {SIMD} loop synthesis},
booktitle = {{ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming,
PPoPP '13, Shenzhen, China, February 23-27, 2013},
pages = {123--134},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2442516.2442529},
doi = {10.1145/2442516.2442529},
timestamp = {Sun, 12 Jun 2022 19:46:08 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/BartheCKGM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uist/YessenovTMMGLK13,
author = {Kuat Yessenov and
Shubham Tulsiani and
Aditya Krishna Menon and
Robert C. Miller and
Sumit Gulwani and
Butler W. Lampson and
Adam Kalai},
editor = {Shahram Izadi and
Aaron J. Quigley and
Ivan Poupyrev and
Takeo Igarashi},
title = {A colorful approach to text processing by example},
booktitle = {The 26th Annual {ACM} Symposium on User Interface Software and Technology,
UIST'13, St. Andrews, United Kingdom, October 8-11, 2013},
pages = {495--504},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2501988.2502040},
doi = {10.1145/2501988.2502040},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uist/YessenovTMMGLK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/GulwaniKS13,
author = {Sumit Gulwani and
Emanuel Kitzelmann and
Ute Schmid},
title = {Approaches and Applications of Inductive Programming (Dagstuhl Seminar
13502)},
journal = {Dagstuhl Reports},
volume = {3},
number = {12},
pages = {43--66},
year = {2013},
url = {https://doi.org/10.4230/DagRep.3.12.43},
doi = {10.4230/DAGREP.3.12.43},
timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/GulwaniKS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/GulwaniHS12,
author = {Sumit Gulwani and
William R. Harris and
Rishabh Singh},
title = {Spreadsheet data manipulation using examples},
journal = {Commun. {ACM}},
volume = {55},
number = {8},
pages = {97--105},
year = {2012},
url = {https://doi.org/10.1145/2240236.2240260},
doi = {10.1145/2240236.2240260},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/GulwaniHS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/ChaudhuriGL12,
author = {Swarat Chaudhuri and
Sumit Gulwani and
Roberto Lublinerman},
title = {Continuity and robustness of programs},
journal = {Commun. {ACM}},
volume = {55},
number = {8},
pages = {107--115},
year = {2012},
url = {https://doi.org/10.1145/2240236.2240262},
doi = {10.1145/2240236.2240262},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/ChaudhuriGL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pvldb/SinghG12,
author = {Rishabh Singh and
Sumit Gulwani},
title = {Learning Semantic String Transformations from Examples},
journal = {Proc. {VLDB} Endow.},
volume = {5},
number = {8},
pages = {740--751},
year = {2012},
url = {http://vldb.org/pvldb/vol5/p740\_rishabhsingh\_vldb2012.pdf},
doi = {10.14778/2212351.2212356},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pvldb/SinghG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SinghGR12,
author = {Rohit Singh and
Sumit Gulwani and
Sriram K. Rajamani},
editor = {J{\"{o}}rg Hoffmann and
Bart Selman},
title = {Automatically Generating Algebra Problems},
booktitle = {Proceedings of the Twenty-Sixth {AAAI} Conference on Artificial Intelligence,
July 22-26, 2012, Toronto, Ontario, Canada},
pages = {1620--1628},
publisher = {{AAAI} Press},
year = {2012},
url = {https://doi.org/10.1609/aaai.v26i1.8341},
doi = {10.1609/AAAI.V26I1.8341},
timestamp = {Mon, 04 Sep 2023 15:56:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SinghGR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/SinghG12,
author = {Rishabh Singh and
Sumit Gulwani},
editor = {P. Madhusudan and
Sanjit A. Seshia},
title = {Synthesizing Number Transformations from Input-Output Examples},
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 = {634--651},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31424-7\_44},
doi = {10.1007/978-3-642-31424-7\_44},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/SinghG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/CheemaGL12,
author = {Salman Cheema and
Sumit Gulwani and
Joseph J. LaViola Jr.},
editor = {Joseph A. Konstan and
Ed H. Chi and
Kristina H{\"{o}}{\"{o}}k},
title = {QuickDraw: improving drawing experience for geometric diagrams},
booktitle = {{CHI} Conference on Human Factors in Computing Systems, {CHI} '12,
Austin, TX, {USA} - May 05 - 10, 2012},
pages = {1037--1064},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2207676.2208550},
doi = {10.1145/2207676.2208550},
timestamp = {Tue, 01 Jun 2021 15:21:43 +0200},
biburl = {https://dblp.org/rec/conf/chi/CheemaGL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/PerelmanGBG12,
author = {Daniel Perelman and
Sumit Gulwani and
Thomas Ball and
Dan Grossman},
editor = {Jan Vitek and
Haibo Lin and
Frank Tip},
title = {Type-directed completion of partial expressions},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '12, Beijing, China - June 11 - 16, 2012},
pages = {275--286},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2254064.2254098},
doi = {10.1145/2254064.2254098},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/PerelmanGBG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/Gulwani12,
author = {Sumit Gulwani},
editor = {Andrei Voronkov and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
title = {Synthesis from Examples: Interaction Models and Algorithms},
booktitle = {14th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2012, Timisoara, Romania, September
26-29, 2012},
pages = {8--14},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/SYNASC.2012.69},
doi = {10.1109/SYNASC.2012.69},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/Gulwani12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1203-5303,
author = {Florian Zuleger and
Sumit Gulwani and
Moritz Sinn and
Helmut Veith},
title = {Bound Analysis of Imperative Programs with the Size-change Abstraction
(extended version)},
journal = {CoRR},
volume = {abs/1203.5303},
year = {2012},
url = {http://arxiv.org/abs/1203.5303},
eprinttype = {arXiv},
eprint = {1203.5303},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1203-5303.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1204-1751,
author = {Rishabh Singh and
Sumit Gulwani and
Armando Solar{-}Lezama},
title = {Automated Semantic Grading of Programs},
journal = {CoRR},
volume = {abs/1204.1751},
year = {2012},
url = {http://arxiv.org/abs/1204.1751},
eprinttype = {arXiv},
eprint = {1204.1751},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1204-1751.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1204-6079,
author = {Rishabh Singh and
Sumit Gulwani},
title = {Learning Semantic String Transformations from Examples},
journal = {CoRR},
volume = {abs/1204.6079},
year = {2012},
url = {http://arxiv.org/abs/1204.6079},
eprinttype = {arXiv},
eprint = {1204.6079},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1204-6079.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1209-3811,
author = {Aditya Krishna Menon and
Omer Tamuz and
Sumit Gulwani and
Butler W. Lampson and
Adam Tauman Kalai},
title = {Textual Features for Programming by Example},
journal = {CoRR},
volume = {abs/1209.3811},
year = {2012},
url = {http://arxiv.org/abs/1209.3811},
eprinttype = {arXiv},
eprint = {1209.3811},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1209-3811.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/BodikGY12,
author = {Rastislav Bod{\'{\i}}k and
Sumit Gulwani and
Eran Yahav},
title = {Software Synthesis (Dagstuhl Seminar 12152)},
journal = {Dagstuhl Reports},
volume = {2},
number = {4},
pages = {21--38},
year = {2012},
url = {https://doi.org/10.4230/DagRep.2.4.21},
doi = {10.4230/DAGREP.2.4.21},
timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/BodikGY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/TalyGT11,
author = {Ankur Taly and
Sumit Gulwani and
Ashish Tiwari},
title = {Synthesizing switching logic using constraint solving},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {13},
number = {6},
pages = {519--535},
year = {2011},
url = {https://doi.org/10.1007/s10009-010-0172-8},
doi = {10.1007/S10009-010-0172-8},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/TalyGT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/GulwaniKT11,
author = {Sumit Gulwani and
Vijay Anand Korthikanti and
Ashish Tiwari},
editor = {Mary W. Hall and
David A. Padua},
title = {Synthesizing geometry constructions},
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 = {50--61},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993505},
doi = {10.1145/1993498.1993505},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/pldi/GulwaniKT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/GulwaniJTV11,
author = {Sumit Gulwani and
Susmit Jha and
Ashish Tiwari and
Ramarathnam Venkatesan},
editor = {Mary W. Hall and
David A. Padua},
title = {Synthesis of loop-free 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 = {62--73},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993506},
doi = {10.1145/1993498.1993506},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/GulwaniJTV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/HarrisG11,
author = {William R. Harris and
Sumit Gulwani},
editor = {Mary W. Hall and
David A. Padua},
title = {Spreadsheet table transformations from examples},
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 = {317--328},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993536},
doi = {10.1145/1993498.1993536},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/HarrisG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/SrivastavaGCF11,
author = {Saurabh Srivastava and
Sumit Gulwani and
Swarat Chaudhuri and
Jeffrey S. Foster},
editor = {Mary W. Hall and
David A. Padua},
title = {Path-based inductive synthesis for program inversion},
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 = {492--503},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993557},
doi = {10.1145/1993498.1993557},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/SrivastavaGCF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Gulwani11,
author = {Sumit Gulwani},
editor = {Thomas Ball and
Mooly Sagiv},
title = {Automating string processing in spreadsheets using input-output examples},
booktitle = {Proceedings of the 38th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2011, Austin, TX, USA, January 26-28,
2011},
pages = {317--330},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1926385.1926423},
doi = {10.1145/1926385.1926423},
timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
biburl = {https://dblp.org/rec/conf/popl/Gulwani11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/ZulegerGSV11,
author = {Florian Zuleger and
Sumit Gulwani and
Moritz Sinn and
Helmut Veith},
editor = {Eran Yahav},
title = {Bound Analysis of Imperative Programs with the Size-Change Abstraction},
booktitle = {Static Analysis - 18th International Symposium, {SAS} 2011, Venice,
Italy, September 14-16, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6887},
pages = {280--297},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23702-7\_22},
doi = {10.1007/978-3-642-23702-7\_22},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/ZulegerGSV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/ChaudhuriGLN11,
author = {Swarat Chaudhuri and
Sumit Gulwani and
Roberto Lublinerman and
Sara NavidPour},
editor = {Tibor Gyim{\'{o}}thy and
Andreas Zeller},
title = {Proving programs robust},
booktitle = {SIGSOFT/FSE'11 19th {ACM} {SIGSOFT} Symposium on the Foundations of
Software Engineering {(FSE-19)} and ESEC'11: 13th European Software
Engineering Conference (ESEC-13), Szeged, Hungary, September 5-9,
2011},
pages = {102--112},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2025113.2025131},
doi = {10.1145/2025113.2025131},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/ChaudhuriGLN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/Gulwani10,
author = {Sumit Gulwani},
editor = {Roderick Bloem and
Natasha Sharygina},
title = {Dimensions in program synthesis},
booktitle = {Proceedings of 10th International Conference on Formal Methods in
Computer-Aided Design, {FMCAD} 2010, Lugano, Switzerland, October
20-23},
pages = {1},
publisher = {{IEEE}},
year = {2010},
url = {https://ieeexplore.ieee.org/document/5770924/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/Gulwani10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/JhaGST10,
author = {Susmit Jha and
Sumit Gulwani and
Sanjit A. Seshia and
Ashish Tiwari},
editor = {Janos Sztipanovits and
Raj Rajkumar},
title = {Synthesizing switching logic for safety and dwell-time requirements},
booktitle = {{ACM/IEEE} 1st International Conference on Cyber-Physical Systems,
{ICCPS} '10, Stockholm, Sweden, April 12-15, 2010},
pages = {22--31},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1795194.1795198},
doi = {10.1145/1795194.1795198},
timestamp = {Wed, 06 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccps/JhaGST10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/JhaGST10,
author = {Susmit Jha and
Sumit Gulwani and
Sanjit A. Seshia and
Ashish Tiwari},
editor = {Jeff Kramer and
Judith Bishop and
Premkumar T. Devanbu and
Sebasti{\'{a}}n Uchitel},
title = {Oracle-guided component-based program synthesis},
booktitle = {Proceedings of the 32nd {ACM/IEEE} International Conference on Software
Engineering - Volume 1, {ICSE} 2010, Cape Town, South Africa, 1-8
May 2010},
pages = {215--224},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1806799.1806833},
doi = {10.1145/1806799.1806833},
timestamp = {Wed, 06 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/JhaGST10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/ItzhakyGIS10,
author = {Shachar Itzhaky and
Sumit Gulwani and
Neil Immerman and
Mooly Sagiv},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {A simple inductive synthesis methodology and its applications},
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 = {36--46},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869463},
doi = {10.1145/1869459.1869463},
timestamp = {Tue, 22 Jun 2021 17:10:56 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/ItzhakyGIS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/GulwaniZ10,
author = {Sumit Gulwani and
Florian Zuleger},
editor = {Benjamin G. Zorn and
Alexander Aiken},
title = {The reachability-bound problem},
booktitle = {Proceedings of the 2010 {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2010, Toronto, Ontario,
Canada, June 5-10, 2010},
pages = {292--304},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1806596.1806630},
doi = {10.1145/1806596.1806630},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/GulwaniZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/ChaudhuriGL10,
author = {Swarat Chaudhuri and
Sumit Gulwani and
Roberto Lublinerman},
editor = {Manuel V. Hermenegildo and
Jens Palsberg},
title = {Continuity analysis of programs},
booktitle = {Proceedings of the 37th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2010, Madrid, Spain, January 17-23,
2010},
pages = {57--70},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1706299.1706308},
doi = {10.1145/1706299.1706308},
timestamp = {Tue, 22 Jun 2021 17:10:57 +0200},
biburl = {https://dblp.org/rec/conf/popl/ChaudhuriGL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/SrivastavaGF10,
author = {Saurabh Srivastava and
Sumit Gulwani and
Jeffrey S. Foster},
editor = {Manuel V. Hermenegildo and
Jens Palsberg},
title = {From program verification to program synthesis},
booktitle = {Proceedings of the 37th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2010, Madrid, Spain, January 17-23,
2010},
pages = {313--326},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1706299.1706337},
doi = {10.1145/1706299.1706337},
timestamp = {Tue, 22 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/SrivastavaGF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/Gulwani10,
author = {Sumit Gulwani},
editor = {Temur Kutsia and
Wolfgang Schreiner and
Maribel Fern{\'{a}}ndez},
title = {Dimensions in program synthesis},
booktitle = {Proceedings of the 12th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 26-28, 2010,
Hagenberg, Austria},
pages = {13--24},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1836089.1836091},
doi = {10.1145/1836089.1836091},
timestamp = {Tue, 27 Nov 2018 15:52:28 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/Gulwani10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Gulwani09,
author = {Sumit Gulwani},
editor = {Ahmed Bouajjani and
Oded Maler},
title = {{SPEED:} Symbolic Complexity Bound Analysis},
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 = {51--62},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02658-4\_7},
doi = {10.1007/978-3-642-02658-4\_7},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/Gulwani09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/SrivastavaGF09,
author = {Saurabh Srivastava and
Sumit Gulwani and
Jeffrey S. Foster},
editor = {Ahmed Bouajjani and
Oded Maler},
title = {{VS3:} {SMT} Solvers for Program Verification},
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 = {702--708},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02658-4\_58},
doi = {10.1007/978-3-642-02658-4\_58},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/SrivastavaGF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/SrivastavaG09,
author = {Saurabh Srivastava and
Sumit Gulwani},
editor = {Michael Hind and
Amer Diwan},
title = {Program verification using templates over predicate abstraction},
booktitle = {Proceedings of the 2009 {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2009, Dublin, Ireland,
June 15-21, 2009},
pages = {223--234},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1542476.1542501},
doi = {10.1145/1542476.1542501},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/pldi/SrivastavaG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/GulwaniJK09,
author = {Sumit Gulwani and
Sagar Jain and
Eric Koskinen},
editor = {Michael Hind and
Amer Diwan},
title = {Control-flow refinement and progress invariants for bound analysis},
booktitle = {Proceedings of the 2009 {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2009, Dublin, Ireland,
June 15-21, 2009},
pages = {375--385},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1542476.1542518},
doi = {10.1145/1542476.1542518},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/GulwaniJK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/GulwaniMC09,
author = {Sumit Gulwani and
Krishna K. Mehra and
Trishul M. Chilimbi},
editor = {Zhong Shao and
Benjamin C. Pierce},
title = {{SPEED:} precise and efficient static estimation of program computational
complexity},
booktitle = {Proceedings of the 36th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2009, Savannah, GA, USA, January
21-23, 2009},
pages = {127--139},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1480881.1480898},
doi = {10.1145/1480881.1480898},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/popl/GulwaniMC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/GulwaniLS09,
author = {Sumit Gulwani and
Tal Lev{-}Ami and
Mooly Sagiv},
editor = {Zhong Shao and
Benjamin C. Pierce},
title = {A combination framework for tracking partition sizes},
booktitle = {Proceedings of the 36th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2009, Savannah, GA, USA, January
21-23, 2009},
pages = {239--251},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1480881.1480912},
doi = {10.1145/1480881.1480912},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/GulwaniLS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/GulwaniSV09,
author = {Sumit Gulwani and
Saurabh Srivastava and
Ramarathnam Venkatesan},
editor = {Neil D. Jones and
Markus M{\"{u}}ller{-}Olm},
title = {Constraint-Based Invariant Inference over Predicate Abstraction},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 10th International
Conference, {VMCAI} 2009, Savannah, GA, USA, January 18-20, 2009.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5403},
pages = {120--135},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-93900-9\_13},
doi = {10.1007/978-3-540-93900-9\_13},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/GulwaniSV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/TalyGT09,
author = {Ankur Taly and
Sumit Gulwani and
Ashish Tiwari},
editor = {Neil D. Jones and
Markus M{\"{u}}ller{-}Olm},
title = {Synthesizing Switching Logic Using Constraint Solving},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 10th International
Conference, {VMCAI} 2009, Savannah, GA, USA, January 18-20, 2009.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5403},
pages = {305--319},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-93900-9\_25},
doi = {10.1007/978-3-540-93900-9\_25},
timestamp = {Wed, 06 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/TalyGT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GulwaniT08,
author = {Sumit Gulwani and
Ashish Tiwari},
editor = {Aarti Gupta and
Sharad Malik},
title = {Constraint-Based Approach for Analysis of Hybrid Systems},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {190--203},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_18},
doi = {10.1007/978-3-540-70545-1\_18},
timestamp = {Sat, 30 Sep 2023 09:35:55 +0200},
biburl = {https://dblp.org/rec/conf/cav/GulwaniT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CookGLRS08,
author = {Byron Cook and
Sumit Gulwani and
Tal Lev{-}Ami and
Andrey Rybalchenko and
Mooly Sagiv},
editor = {Aarti Gupta and
Sharad Malik},
title = {Proving Conditional Termination},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {328--340},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_32},
doi = {10.1007/978-3-540-70545-1\_32},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/CookGLRS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GulavaniG08,
author = {Bhargav S. Gulavani and
Sumit Gulwani},
editor = {Aarti Gupta and
Sharad Malik},
title = {A Numerical Abstract Domain Based on Expression Abstraction and Max
Operator with Application in Timing Analysis},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {370--384},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_35},
doi = {10.1007/978-3-540-70545-1\_35},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/GulavaniG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/ChawdharyCGSY08,
author = {Aziem Chawdhary and
Byron Cook and
Sumit Gulwani and
Mooly Sagiv and
Hongseok Yang},
editor = {Sophia Drossopoulou},
title = {Ranking Abstractions},
booktitle = {Programming Languages and Systems, 17th European Symposium on Programming,
{ESOP} 2008, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2008, Budapest, Hungary, March 29-April
6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4960},
pages = {148--162},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78739-6\_13},
doi = {10.1007/978-3-540-78739-6\_13},
timestamp = {Sun, 02 Jun 2019 21:23:56 +0200},
biburl = {https://dblp.org/rec/conf/esop/ChawdharyCGSY08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/GulwaniM08,
author = {Sumit Gulwani and
Madan Musuvathi},
editor = {Sophia Drossopoulou},
title = {Cover Algorithms and Their Combination},
booktitle = {Programming Languages and Systems, 17th European Symposium on Programming,
{ESOP} 2008, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2008, Budapest, Hungary, March 29-April
6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4960},
pages = {193--207},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78739-6\_16},
doi = {10.1007/978-3-540-78739-6\_16},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/GulwaniM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/GulwaniSV08,
author = {Sumit Gulwani and
Saurabh Srivastava and
Ramarathnam Venkatesan},
editor = {Rajiv Gupta and
Saman P. Amarasinghe},
title = {Program analysis as constraint solving},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2008 Conference on Programming
Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008},
pages = {281--292},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1375581.1375616},
doi = {10.1145/1375581.1375616},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/pldi/GulwaniSV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/CheremCG08,
author = {Sigmund Cherem and
Trishul M. Chilimbi and
Sumit Gulwani},
editor = {Rajiv Gupta and
Saman P. Amarasinghe},
title = {Inferring locks for atomic sections},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2008 Conference on Programming
Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008},
pages = {304--315},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1375581.1375619},
doi = {10.1145/1375581.1375619},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/CheremCG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/GulwaniMT08,
author = {Sumit Gulwani and
Bill McCloskey and
Ashish Tiwari},
editor = {George C. Necula and
Philip Wadler},
title = {Lifting abstract interpreters to quantified logical domains},
booktitle = {Proceedings of the 35th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2008, San Francisco, California,
USA, January 7-12, 2008},
pages = {235--246},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1328438.1328468},
doi = {10.1145/1328438.1328468},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/popl/GulwaniMT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/GulwaniN07,
author = {Sumit Gulwani and
George C. Necula},
title = {A polynomial-time algorithm for global value numbering},
journal = {Sci. Comput. Program.},
volume = {64},
number = {1},
pages = {97--114},
year = {2007},
url = {https://doi.org/10.1016/j.scico.2006.03.005},
doi = {10.1016/J.SCICO.2006.03.005},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/GulwaniN07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/TiwariG07,
author = {Ashish Tiwari and
Sumit Gulwani},
editor = {Frank Pfenning},
title = {Logical Interpretation: Static Program Analysis Using Theorem Proving},
booktitle = {Automated Deduction - CADE-21, 21st International Conference on Automated
Deduction, Bremen, Germany, July 17-20, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4603},
pages = {147--166},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73595-3\_11},
doi = {10.1007/978-3-540-73595-3\_11},
timestamp = {Wed, 06 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/TiwariG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GulwaniT07,
author = {Sumit Gulwani and
Ashish Tiwari},
editor = {Werner Damm and
Holger Hermanns},
title = {An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software},
booktitle = {Computer Aided Verification, 19th International Conference, {CAV}
2007, Berlin, Germany, July 3-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4590},
pages = {379--392},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73368-3\_42},
doi = {10.1007/978-3-540-73368-3\_42},
timestamp = {Sat, 30 Sep 2023 09:35:55 +0200},
biburl = {https://dblp.org/rec/conf/cav/GulwaniT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/GulwaniT07,
author = {Sumit Gulwani and
Ashish Tiwari},
editor = {Rocco De Nicola},
title = {Computing Procedure Summaries for Interprocedural Analysis},
booktitle = {Programming Languages and Systems, 16th European Symposium on Programming,
{ESOP} 2007, Held as Part of the Joint European Conferences on Theory
and Practics of Software, {ETAPS} 2007, Braga, Portugal, March 24
- April 1, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4421},
pages = {253--267},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71316-6\_18},
doi = {10.1007/978-3-540-71316-6\_18},
timestamp = {Wed, 06 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esop/GulwaniT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/GulwaniJ07,
author = {Sumit Gulwani and
Nebojsa Jojic},
editor = {Martin Hofmann and
Matthias Felleisen},
title = {Program verification as probabilistic inference},
booktitle = {Proceedings of the 34th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2007, Nice, France, January 17-19,
2007},
pages = {277--289},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1190216.1190258},
doi = {10.1145/1190216.1190258},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/popl/GulwaniJ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/GulwaniT07,
author = {Sumit Gulwani and
Ashish Tiwari},
editor = {Byron Cook and
Andreas Podelski},
title = {Assertion Checking Unified},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 8th International
Conference, {VMCAI} 2007, Nice, France, January 14-16, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4349},
pages = {363--377},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-69738-1\_26},
doi = {10.1007/978-3-540-69738-1\_26},
timestamp = {Wed, 06 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/GulwaniT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/GulwaniT06,
author = {Sumit Gulwani and
Ashish Tiwari},
editor = {Peter Sestoft},
title = {Assertion Checking over Combined Abstraction of Linear Arithmetic
and Uninterpreted Functions},
booktitle = {Programming Languages and Systems, 15th European Symposium on Programming,
{ESOP} 2006, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2006, Vienna, Austria, March 27-28,
2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3924},
pages = {279--293},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11693024\_19},
doi = {10.1007/11693024\_19},
timestamp = {Wed, 06 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esop/GulwaniT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/GulwaniT06,
author = {Sumit Gulwani and
Ashish Tiwari},
editor = {Michael I. Schwartzbach and
Thomas Ball},
title = {Combining abstract interpreters},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2006 Conference on Programming
Language Design and Implementation, Ottawa, Ontario, Canada, June
11-14, 2006},
pages = {376--386},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1133981.1134026},
doi = {10.1145/1133981.1134026},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/pldi/GulwaniT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/GulwaniN05,
author = {Sumit Gulwani and
George C. Necula},
title = {A randomized satisfiability procedure for arithmetic and uninterpreted
function symbols},
journal = {Inf. Comput.},
volume = {199},
number = {1-2},
pages = {107--131},
year = {2005},
url = {https://doi.org/10.1016/j.ic.2004.10.006},
doi = {10.1016/J.IC.2004.10.006},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/GulwaniN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/NeculaG05,
author = {George C. Necula and
Sumit Gulwani},
editor = {Kousha Etessami and
Sriram K. Rajamani},
title = {Randomized Algorithms for Program Analysis and Verification},
booktitle = {Computer Aided Verification, 17th International Conference, {CAV}
2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3576},
pages = {1},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11513988\_1},
doi = {10.1007/11513988\_1},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/NeculaG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/GulwaniN05,
author = {Sumit Gulwani and
George C. Necula},
editor = {Jens Palsberg and
Mart{\'{\i}}n Abadi},
title = {Precise interprocedural analysis using random interpretation},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2005, Long Beach, California, USA,
January 12-14, 2005},
pages = {324--337},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1040305.1040332},
doi = {10.1145/1040305.1040332},
timestamp = {Sat, 31 Jul 2021 17:22:14 +0200},
biburl = {https://dblp.org/rec/conf/popl/GulwaniN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/GulwaniTN04,
author = {Sumit Gulwani and
Ashish Tiwari and
George C. Necula},
editor = {Kamal Lodaya and
Meena Mahajan},
title = {Join Algorithms for the Theory of Uninterpreted Functions},
booktitle = {{FSTTCS} 2004: Foundations of Software Technology and Theoretical
Computer Science, 24th International Conference, Chennai, India, December
16-18, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3328},
pages = {311--323},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30538-5\_26},
doi = {10.1007/978-3-540-30538-5\_26},
timestamp = {Wed, 06 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/GulwaniTN04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/GulwaniN04,
author = {Sumit Gulwani and
George C. Necula},
editor = {Neil D. Jones and
Xavier Leroy},
title = {Global value numbering using random interpretation},
booktitle = {Proceedings of the 31st {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2004, Venice, Italy, January 14-16,
2004},
pages = {342--352},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/964001.964030},
doi = {10.1145/964001.964030},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/popl/GulwaniN04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/GulwaniN04,
author = {Sumit Gulwani and
George C. Necula},
editor = {Roberto Giacobazzi},
title = {A Polynomial-Time Algorithm for Global Value Numbering},
booktitle = {Static Analysis, 11th International Symposium, {SAS} 2004, Verona,
Italy, August 26-28, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3148},
pages = {212--227},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27864-1\_17},
doi = {10.1007/978-3-540-27864-1\_17},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/GulwaniN04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/GulwaniN04a,
author = {Sumit Gulwani and
George C. Necula},
editor = {Roberto Giacobazzi},
title = {Path-Sensitive Analysis for Linear Arithmetic and Uninterpreted Functions},
booktitle = {Static Analysis, 11th International Symposium, {SAS} 2004, Verona,
Italy, August 26-28, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3148},
pages = {328--343},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27864-1\_24},
doi = {10.1007/978-3-540-27864-1\_24},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/GulwaniN04a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/GulwaniN03,
author = {Sumit Gulwani and
George C. Necula},
editor = {Franz Baader},
title = {A Randomized Satisfability Procedure for Arithmetic and Uninterpreted
Function Symbols},
booktitle = {Automated Deduction - CADE-19, 19th International Conference on Automated
Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2741},
pages = {167--181},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45085-6\_14},
doi = {10.1007/978-3-540-45085-6\_14},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/GulwaniN03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/GulwaniN03,
author = {Sumit Gulwani and
George C. Necula},
editor = {Alex Aiken and
Greg Morrisett},
title = {Discovering affine equalities using random interpretation},
booktitle = {Conference Record of {POPL} 2003: The 30th {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, New Orleans, Louisisana, USA,
January 15-17, 2003},
pages = {74--84},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/604131.604138},
doi = {10.1145/604131.604138},
timestamp = {Fri, 25 Jun 2021 17:17:37 +0200},
biburl = {https://dblp.org/rec/conf/popl/GulwaniN03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comcom/GulwaniTGSBMC01,
author = {Sumit Gulwani and
A. Tarachandani and
Deepak Gupta and
Dheeraj Sanghi and
Luciano Porto Barreto and
Gilles Muller and
Charles Consel},
title = {WebCaL - a domain specific language for web caching},
journal = {Comput. Commun.},
volume = {24},
number = {2},
pages = {191--201},
year = {2001},
url = {https://doi.org/10.1016/S0140-3664(00)00314-5},
doi = {10.1016/S0140-3664(00)00314-5},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/comcom/GulwaniTGSBMC01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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-04-21 18: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:
