Software Pipelined Execution of Stream Programs on GPUs. - Abhishek Udupa; R. Govindarajan; Matthew J. Thazhuthaveetil (CGO, 2009)

Synergistic execution of stream programs on multicores with accelerators. - Abhishek Udupa; R. Govindarajan; Matthew J. Thazhuthaveetil (LCTES, 2009)

ALTER: exploiting breakable dependences for parallelization. - Abhishek Udupa; Kaushik Rajan; William Thies (PLDI, 2011)

Depth Bounded Explicit-State Model Checking. - Abhishek Udupa; Ankush Desai; Sriram K. Rajamani (SPIN, 2011)

Syntax-guided synthesis. - 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 (FMCAD, 2013)

TRANSIT: specifying protocols with concolic snippets. - Abhishek Udupa; Arun Raghavan; Jyotirmoy V. Deshmukh; Sela Mador-Haim; Milo M. K. Martin; Rajeev Alur (PLDI, 2013)

Synthesizing Finite-State Protocols from Scenarios and Requirements. - Rajeev Alur; Milo M. K. Martin; Mukund Raghothaman; Christos Stergiou 001; Stavros Tripakis; Abhishek Udupa (Haifa Verification Conference, 2014)

Language to Specify Syntax-Guided Synthesis Problems. - Mukund Raghothaman; Abhishek Udupa (CoRR, 2014)

Automatic Completion of Distributed Protocols with Symmetry. - Rajeev Alur; Mukund Raghothaman; Christos Stergiou 001; Stavros Tripakis; Abhishek Udupa (CAV (2), 2015)

Syntax-Guided Synthesis. - Rajeev Alur; Rastislav Bodík; Eric Dallal; Dana Fisman; Pranav Garg 001; Garvit Juniwal; Hadas Kress-Gazit; P. Madhusudan; Milo M. K. Martin; Mukund Raghothaman; Shambwaditya Saha; Sanjit A. Seshia; et al. (Dependable Software Systems Engineering, 2015)

Scaling Enumerative Program Synthesis via Divide and Conquer. - Rajeev Alur; Arjun Radhakrishna; Abhishek Udupa (TACAS (1), 2017)

Interactive Program Synthesis. - Vu Le 002; Daniel Perelman; Oleksandr Polozov; Mohammad Raza; Abhishek Udupa; Sumit Gulwani (CoRR, 2017)

SyGuS-Comp 2018: Results and Analysis. - Rajeev Alur; Dana Fisman; Saswat Padhi; Rishabh Singh; Abhishek Udupa (CoRR, 2019)

Quantitative Programming by Examples. - Sumit Gulwani; Kunal Pathak; Arjun Radhakrishna; Ashish Tiwari 001; Abhishek Udupa (CoRR, 2019)

On the fly synthesis of edit suggestions. - Anders Miltner; Sumit Gulwani; Vu Le 002; Alan Leung; Arjun Radhakrishna; Gustavo Soares; Ashish Tiwari 001; Abhishek Udupa (Proc. ACM Program. Lang., 2019)

The SyGuS Language Standard Version 2.1. - Saswat Padhi; Elizabeth Polgreen; Mukund Raghothaman; Andrew Reynolds 001; Abhishek Udupa (CoRR, 2023)