Abhishek Udupa

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