Seguir
Abhishek Udupa
Abhishek Udupa
Microsoft Research
Dirección de correo verificada de microsoft.com - Página principal
Título
Citado por
Citado por
Año
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
10462013
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
2752013
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
2412017
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
1442009
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
722019
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
522014
ALTER: exploiting breakable dependences for parallelization
A Udupa, K Rajan, W Thies
Proceedings of the 32nd ACM SIGPLAN conference on Programming language …, 2011
512011
Language to specify syntax-guided synthesis problems
M Raghothaman, A Udupa
arXiv preprint arXiv:1405.5590, 2014
332014
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
322015
Interactive program synthesis
V Le, D Perelman, O Polozov, M Raza, A Udupa, S Gulwani
arXiv preprint arXiv:1703.03539, 2017
282017
Depth bounded explicit-state model checking
A Udupa, A Desai, S Rajamani
International SPIN Workshop on Model Checking of Software, 57-74, 2011
282011
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
272009
Synthesized programming-by-example programs
A Udupa, S Gulwani
US Patent 10,831,451, 2020
152020
Output prefix specification transformers
S Gulwani, A Udupa
US Patent 10,635,414, 2020
122020
The SyGuS Language Standard Version 2.1
S Padhi, E Polgreen, M Raghothaman, A Reynolds, A Udupa
arXiv preprint arXiv:2312.06001, 2023
102023
Quantitative programming by examples
S Gulwani, K Pathak, A Radhakrishna, A Tiwari, A Udupa
arXiv preprint arXiv:1909.05964, 2019
52019
Provisioning edge backhauls for dynamic workloads
R Singh, S Agarwal, RA Beckett, A Udupa, P Bahl
US Patent 11,595,264, 2023
32023
String transformation sub-program suggestion
S Gulwani, R Kumar, A Udupa, CA Lee, GM Della-Libera
US Patent 11,256,710, 2022
22022
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20