Abhishek Udupa

Cited by

	All	Since 2018
Citations	1808	1230
h-index	13	11
i10-index	13	12

240

120

180

2009201020112012201320142015201620172018201920202021202220238 17 21 36 39 50 107 116 164 168 190 215 229 203 225

Public access

View all

2 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Mukund RaghothamanUniversity of Southern CaliforniaVerified email at usc.edu
Milo M. K. MartinGoogle (Former Associate Professor, University of Pennsylvania)Verified email at google.com
Rishabh SinghResearch Scientist, Google BrainVerified email at google.com
Emina TorlakAmazon Web Services, University of WashingtonVerified email at alum.mit.edu
Rastislav BodikUniversity of WashingtonVerified email at cs.washington.edu
Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyVerified email at eecs.berkeley.edu
Armando Solar-LezamaMITVerified email at csail.mit.edu
Garvit JuniwalUC BerkeleyVerified email at eecs.berkeley.edu
Arjun RadhakrishnaMicrosoftVerified email at microsoft.com
Sela Mador-HaimComputer Information Science, University of PennsylvaniaVerified email at xcitedb.com
Jyotirmoy V. DeshmukhAssociate Professor, University of Southern CaliforniaVerified email at usc.edu
R GovindarajanProfessor, SERC and CSA, Indian Institute of ScienceVerified email at iisc.ac.in
Arun RaghavanOracle LabsVerified email at oracle.com
William ThiesEverwell (formerly Microsoft Research, MIT)Verified email at everwell.org
Stavros TripakisAssociate Professor, Northeastern UniversityVerified email at northeastern.edu
Ankush DesaiSenior Applied Scientist, Amazon Web ServicesVerified email at amazon.com
Sriram RajamaniMicrosoft Research Verified email at microsoft.com

Abhishek Udupa

Microsoft Research

Verified email at microsoft.com - Homepage

Applied Verification Program Analysis Model Checking Program Synthesis


Title Sort by citations Sort by year Sort by 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	868	2013
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	246	2013
Scaling enumerative program synthesis via divide and conquer R Alur, A Radhakrishna, A Udupa Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017	191	2017
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	143	2009
Syntax-guided synthesis. In 2013 Formal Methods in Computer-Aided Design R Alur, R Bodik, G Juniwal, MMK Martin, M Raghothaman, SA Seshia, ... IEEE, 1ś8, 2013	54	2013
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	53	2019
ALTER: exploiting breakable dependences for parallelization A Udupa, K Rajan, W Thies Proceedings of the 32nd ACM SIGPLAN conference on Programming language …, 2011	48	2011
Synthesizing finite-state protocols from scenarios and requirements R Alur, M Martin, M Raghothaman, C Stergiou, S Tripakis, A Udupa Hardware and Software: Verification and Testing: 10th International Haifa …, 2014	46	2014
Automatic completion of distributed protocols with symmetry R Alur, M Raghothaman, C Stergiou, S Tripakis, A Udupa Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015	29	2015
Language to specify syntax-guided synthesis problems M Raghothaman, A Udupa arXiv preprint arXiv:1405.5590, 2014	29	2014
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	28	2009
Depth bounded explicit-state model checking A Udupa, A Desai, S Rajamani International SPIN Workshop on Model Checking of Software, 57-74, 2011	27	2011
Interactive program synthesis V Le, D Perelman, O Polozov, M Raza, A Udupa, S Gulwani arXiv preprint arXiv:1703.03539, 2017	21	2017
Synthesized programming-by-example programs A Udupa, S Gulwani US Patent 10,831,451, 2020	7	2020
Output prefix specification transformers S Gulwani, A Udupa US Patent 10,635,414, 2020	6	2020
Quantitative programming by examples S Gulwani, K Pathak, A Radhakrishna, A Tiwari, A Udupa arXiv preprint arXiv:1909.05964, 2019	4	2019
The SyGuS language standard version 2.0 M Raghothaman, A Reynolds, A Udupa Tech. rep, 2019	2	2019
The SyGuS Language Standard Version 2.1 S Padhi, E Polgreen, M Raghothaman, A Reynolds, A Udupa	2	2014
ALTER: Exploiting breakable dependences for parallelization K Rajan, B Thies Proceedings of the ACM SIGPLAN Conference on Programming Language Design and …, 2011	2	2011
Provisioning edge backhauls for dynamic workloads R Singh, S Agarwal, RA Beckett, A Udupa, P Bahl US Patent 11,595,264, 2023	1	2023

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors