Abhishek Udupa

Publication Activity (10 Years)

Years Active: 2009-2023
Publications (10 Years): 8

Top Topics

Recursive Programs

Partially Observable Markov Decision Processes

Program Synthesis

Top Venues

Proc. ACM Program. Lang.

Publications

Saswat Padhi, Elizabeth Polgreen, Mukund Raghothaman, Andrew Reynolds, Abhishek Udupa
The SyGuS Language Standard Version 2.1. CoRR (2023)
Rajeev Alur, Dana Fisman, Saswat Padhi, Rishabh Singh, Abhishek Udupa
SyGuS-Comp 2018: Results and Analysis. CoRR (2019)
Sumit Gulwani, Kunal Pathak, Arjun Radhakrishna, Ashish Tiwari, Abhishek Udupa
Quantitative Programming by Examples. CoRR (2019)
Anders Miltner, Sumit Gulwani, Vu Le, Alan Leung, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari, Abhishek Udupa
On the fly synthesis of edit suggestions. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Vu Le, Daniel Perelman, Oleksandr Polozov, Mohammad Raza, Abhishek Udupa, Sumit Gulwani
Interactive Program Synthesis. CoRR (2017)
Rajeev Alur, Arjun Radhakrishna, Abhishek Udupa
Scaling Enumerative Program Synthesis via Divide and Conquer. TACAS (1) (2017)
Rajeev Alur, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa
Automatic Completion of Distributed Protocols with Symmetry. CoRR (2015)
Rajeev Alur, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa
Automatic Completion of Distributed Protocols with Symmetry. CAV (2) (2015)
Rajeev Alur, Milo M. K. Martin, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa
Synthesizing Finite-state Protocols from Scenarios and Requirements. CoRR (2014)
Rajeev Alur, Milo M. K. Martin, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa
Synthesizing Finite-State Protocols from Scenarios and Requirements. Haifa Verification Conference (2014)
Mukund Raghothaman, Abhishek Udupa
Language to Specify Syntax-Guided Synthesis Problems. CoRR (2014)
Abhishek Udupa, Arun Raghavan, Jyotirmoy V. Deshmukh, Sela Mador-Haim, Milo M. K. Martin, Rajeev Alur
TRANSIT: specifying protocols with concolic snippets. PLDI (2013)
Rajeev Alur, Rastislav Bodík, Garvit Juniwal, Milo M. K. Martin, Mukund Raghothaman, Sanjit A. Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, Abhishek Udupa
Syntax-guided synthesis. FMCAD (2013)
Abhishek Udupa, Kaushik Rajan, William Thies
ALTER: exploiting breakable dependences for parallelization. PLDI (2011)
Abhishek Udupa, Ankush Desai, Sriram K. Rajamani
Depth Bounded Explicit-State Model Checking. SPIN (2011)
Abhishek Udupa, R. Govindarajan, Matthew J. Thazhuthaveetil
Software Pipelined Execution of Stream Programs on GPUs. CGO (2009)
Abhishek Udupa, R. Govindarajan, Matthew J. Thazhuthaveetil
Synergistic execution of stream programs on multicores with accelerators. LCTES (2009)