Abhishek Udupa

According to our database, Abhishek Udupa authored at least 17 papers between 2009 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

The SyGuS Language Standard Version 2.1.

Saswat Padhi, Elizabeth Polgreen, Mukund Raghothaman, Andrew Reynolds, Abhishek Udupa

CoRR, 2023

2019

On the fly synthesis of edit suggestions.

Anders Miltner, Sumit Gulwani, Vu Le, Alan Leung, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari, Abhishek Udupa

Proc. ACM Program. Lang., 2019

Quantitative Programming by Examples.

Sumit Gulwani, Kunal Pathak, Arjun Radhakrishna, Ashish Tiwari, Abhishek Udupa

CoRR, 2019

SyGuS-Comp 2018: Results and Analysis.

Rajeev Alur, Dana Fisman, Saswat Padhi, Rishabh Singh, Abhishek Udupa

CoRR, 2019

2017

Interactive Program Synthesis.

Vu Le, Daniel Perelman, Oleksandr Polozov, Mohammad Raza, Abhishek Udupa, Sumit Gulwani

CoRR, 2017

Scaling Enumerative Program Synthesis via Divide and Conquer.

Rajeev Alur, Arjun Radhakrishna, Abhishek Udupa

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

2015

Syntax-Guided Synthesis.

Rajeev Alur, Rastislav Bodík, Eric Dallal, Dana Fisman, Pranav Garg, Garvit Juniwal, Hadas Kress-Gazit, P. Madhusudan, Milo M. K. Martin, Mukund Raghothaman, Shambwaditya Saha, Sanjit A. Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, Abhishek Udupa

Proceedings of the Dependable Software Systems Engineering, 2015

Automatic Completion of Distributed Protocols with Symmetry.

Rajeev Alur, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa

CoRR, 2015

Automatic Completion of Distributed Protocols with Symmetry.

Rajeev Alur, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

Language to Specify Syntax-Guided Synthesis Problems.

Mukund Raghothaman, Abhishek Udupa

CoRR, 2014

Synthesizing Finite-State Protocols from Scenarios and Requirements.

Rajeev Alur, Milo M. K. Martin, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa

Proceedings of the Hardware and Software: Verification and Testing, 2014

2013

TRANSIT: specifying protocols with concolic snippets.

Abhishek Udupa, Arun Raghavan, Jyotirmoy V. Deshmukh, Sela Mador-Haim, Milo M. K. Martin, Rajeev Alur

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

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

Proceedings of the Formal Methods in Computer-Aided Design, 2013

2011

Depth Bounded Explicit-State Model Checking.

Abhishek Udupa, Ankush Desai, Sriram K. Rajamani

Proceedings of the Model Checking Software, 2011

ALTER: exploiting breakable dependences for parallelization.

Abhishek Udupa, Kaushik Rajan, William Thies

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

2009

Synergistic execution of stream programs on multicores with accelerators.

Abhishek Udupa, R. Govindarajan, Matthew J. Thazhuthaveetil

Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, 2009

Software Pipelined Execution of Stream Programs on GPUs.

Abhishek Udupa, R. Govindarajan, Matthew J. Thazhuthaveetil

Proceedings of the CGO 2009, 2009