Suivre
Abhishek Udupa
Abhishek Udupa
Microsoft Research
Adresse e-mail validée de microsoft.com - Page d'accueil
Titre
Citée par
Citée par
Année
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
9282013
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
2572013
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
2032017
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
1432009
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
582019
ALTER: exploiting breakable dependences for parallelization
A Udupa, K Rajan, W Thies
Proceedings of the 32nd ACM SIGPLAN conference on Programming language …, 2011
502011
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
472014
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
292015
Language to specify syntax-guided synthesis problems
M Raghothaman, A Udupa
arXiv preprint arXiv:1405.5590, 2014
292014
Depth bounded explicit-state model checking
A Udupa, A Desai, S Rajamani
International SPIN Workshop on Model Checking of Software, 57-74, 2011
272011
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
262009
Interactive program synthesis
V Le, D Perelman, O Polozov, M Raza, A Udupa, S Gulwani
arXiv preprint arXiv:1703.03539, 2017
242017
Synthesized programming-by-example programs
A Udupa, S Gulwani
US Patent 10,831,451, 2020
112020
Output prefix specification transformers
S Gulwani, A Udupa
US Patent 10,635,414, 2020
92020
The SyGuS Language Standard Version 2.1
S Padhi, E Polgreen, M Raghothaman, A Reynolds, A Udupa
arXiv preprint arXiv:2312.06001, 2023
72023
Quantitative programming by examples
S Gulwani, K Pathak, A Radhakrishna, A Tiwari, A Udupa
arXiv preprint arXiv:1909.05964, 2019
42019
The SyGuS language standard version 2.0
M Raghothaman, A Reynolds, A Udupa
Tech. rep, 2019
22019
ALTER: Exploiting breakable dependences for parallelization
K Rajan, B Thies
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and …, 2011
22011
Representation and orchestration for virtual wide area networks
RA Beckett, S Agarwal, P Bahl, R Singh, A Udupa
US Patent 11,799,731, 2023
12023
Provisioning edge backhauls for dynamic workloads
R Singh, S Agarwal, RA Beckett, A Udupa, P Bahl
US Patent 11,595,264, 2023
12023
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20