Abhishek Udupa
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2009–2017
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | TACAS | Scaling Enumerative Program Synthesis via Divide and Conquer. | Rajeev Alur, Arjun Radhakrishna, Abhishek Udupa |
| 2015 | CAV | Automatic Completion of Distributed Protocols with Symmetry. | Rajeev Alur, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa |
| 2013 | FMCAD | Syntax-guided synthesis. | Rajeev Alur, Rastislav Bodk, Garvit Juniwal, Milo M. K. Martin, Mukund Raghothaman, Sanjit A. Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, Abhishek Udupa |
| 2013 | PLDI | TRANSIT: specifying protocols with concolic snippets. | Abhishek Udupa, Arun Raghavan, Jyotirmoy V. Deshmukh, Sela Mador-Haim, Milo M. K. Martin, Rajeev Alur |
| 2011 | PLDI | ALTER: exploiting breakable dependences for parallelization. | Abhishek Udupa, Kaushik Rajan, William Thies |
| 2009 | CGO | Software Pipelined Execution of Stream Programs on GPUs. | Abhishek Udupa, R. Govindarajan, Matthew J. Thazhuthaveetil |