Abhishek Udupa
Abhishek Udupa
Microsoft Research
Verified email at microsoft.com - Homepage
Title
Cited by
Cited by
Year
Syntax-guided synthesis
R Alur, R Bodik, G Juniwal, MMK Martin, M Raghothaman, SA Seshia, ...
2013 Formal Methods in Computer-Aided Design, 1-8, 2013
5372013
TRANSIT: specifying protocols with concolic snippets
A Udupa, A Raghavan, JV Deshmukh, S Mador-Haim, MMK Martin, R Alur
ACM SIGPLAN Notices 48 (6), 287-296, 2013
1542013
Software pipelined execution of stream programs on GPUs
A Udupa, R Govindarajan, MJ Thazhuthaveetil
2009 International Symposium on Code Generation and Optimization, 200-209, 2009
1192009
Scaling enumerative program synthesis via divide and conquer
R Alur, A Radhakrishna, A Udupa
International Conference on Tools and Algorithms for the Construction and …, 2017
932017
ALTER: exploiting breakable dependences for parallelization
A Udupa, K Rajan, W Thies
Proceedings of the 32nd ACM SIGPLAN conference on Programming language …, 2011
382011
Synthesizing finite-state protocols from scenarios and requirements
R Alur, M Martin, M Raghothaman, C Stergiou, S Tripakis, A Udupa
Haifa Verification Conference, 75-91, 2014
282014
Language to specify syntax-guided synthesis problems
M Raghothaman, A Udupa
arXiv preprint arXiv:1405.5590, 2014
252014
Synergistic execution of stream programs on multicores with accelerators
A Udupa, R Govindarajan, MJ Thazhuthaveetil
Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages …, 2009
242009
Automatic completion of distributed protocols with symmetry
R Alur, M Raghothaman, C Stergiou, S Tripakis, A Udupa
International Conference on Computer Aided Verification, 395-412, 2015
202015
Depth bounded explicit-state model checking
A Udupa, A Desai, S Rajamani
International SPIN Workshop on Model Checking of Software, 57-74, 2011
202011
Syntax-guided synthesis. In 2013 Formal Methods in Computer-Aided Design
R Alur, R Bodik, G Juniwal, MMK Martin, M Raghothaman, SA Seshia, ...
IEEE, 2013
192013
Interactive Program Synthesis
V Le, D Perelman, O Polozov, M Raza, A Udupa, S Gulwani
arXiv preprint arXiv:1703.03539, 2017
82017
On the fly synthesis of edit suggestions
A Miltner, S Gulwani, V Le, A Leung, A Radhakrishna, G Soares, A Tiwari, ...
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-29, 2019
62019
ALTER: Exploiting breakable dependences for parallelization
K Rajan, A Udupa, W Thies
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and …, 2011
32011
Quantitative Programming by Examples
S Gulwani, K Pathak, A Radhakrishna, A Tiwari, A Udupa
arXiv preprint arXiv:1909.05964, 2019
12019
Synthesized programming-by-example programs
A Udupa, S Gulwani
US Patent App. 15/829,591, 2019
12019
String transformation sub-program suggestion
S Gulwani, R Kumar, A Udupa, CA Lee, GM Della-Libera
US Patent App. 15/299,412, 2018
12018
Synthesis of distributed protocols from scenarios and specifications
A Udupa
12016
Output prefix specification transformers
S Gulwani, A Udupa
US Patent App. 16/827,368, 2020
2020
Parallel Search in Program Synthesis
S Gulwani, A Udupa, M Vollmer
US Patent App. 15/963,590, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–20