Abhishek Udupa

Cited by

	All	Since 2017
Citations	1432	1015
h-index	13	11
i10-index	13	11

240

120

180

200920102011201220132014201520162017201820192020202120227 17 21 36 39 49 112 118 160 164 184 222 225 60

Public access

View all

4 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Rajeev AlurZisman Family Professor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Mukund RaghothamanUniversity of Southern CaliforniaVerified email at usc.edu
Milo M. K. MartinGoogle (Former Associate Professor, University of Pennsylvania)Verified email at google.com
Emina TorlakUniversity of WashingtonVerified email at alum.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 seas.upenn.edu
Jyotirmoy V. DeshmukhAssistant Professor, University of Southern CaliforniaVerified email at usc.edu
Rishabh SinghResearch Scientist, Google BrainVerified email at google.com
Rastislav BodikUniversity of WashingtonVerified email at cs.washington.edu
Sanjit A. SeshiaUniversity of California, BerkeleyVerified email at eecs.berkeley.edu
Armando Solar-LezamaMITVerified email at csail.mit.edu
R GovindarajanProfessor, SERC and CSA, Indian Institute of ScienceVerified email at iisc.ac.in
Arun RaghavanOracle LabsVerified email at oracle.com
William ThiesMicrosoft Research IndiaVerified email at microsoft.com
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	694	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	198	2013
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	140	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	134	2009
Alter: exploiting breakable dependences for parallelization A Udupa, K Rajan, W Thies Proceedings of the 32nd ACM SIGPLAN conference on Programming language …, 2011	45	2011
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	37	2013
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	36	2014
Language to specify syntax-guided synthesis problems M Raghothaman, A Udupa arXiv preprint arXiv:1405.5590, 2014	26	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	25	2009
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	24	2019
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	23	2015
Depth bounded explicit-state model checking A Udupa, A Desai, S Rajamani International SPIN Workshop on Model Checking of Software, 57-74, 2011	23	2011
Interactive program synthesis V Le, D Perelman, O Polozov, M Raza, A Udupa, S Gulwani arXiv preprint arXiv:1703.03539, 2017	14	2017
String transformation sub-program suggestion S Gulwani, R Kumar, A Udupa, CA Lee, GM Della-Libera US Patent 11,256,710, 2022	3	2022
Output prefix specification transformers S Gulwani, A Udupa US Patent 10,635,414, 2020	3	2020
The SyGuS language standard version 2.0 M Raghothaman, A Reynolds, A Udupa Tech. rep, 2019	2	2019
ALTER: Exploiting breakable dependences for parallelization K Rajan, A Udupa, W Thies Proceedings of the ACM SIGPLAN Conference on Programming Language Design and …, 2011	2	2011
The SyGuS Language Standard Version 2.1 S Padhi, E Polgreen, M Raghothaman, A Reynolds, A Udupa	1	2021
Quantitative Programming by Examples S Gulwani, K Pathak, A Radhakrishna, A Tiwari, A Udupa arXiv preprint arXiv:1909.05964, 2019	1	2019
Synthesis of distributed protocols from scenarios and specifications A Udupa University of Pennsylvania, 2016	1	2016

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 this author

Cited by

Co-authors