Concepedia

Abhishek Udupa

AU

10

Publications

1K

Citations

10

H-Index

2001

Active since

Affiliations

University of Pennsylvania(Current)

Indian Institute of Science Bangalore

Microsoft (United States)

Microsoft Research (India)

Abhishek Udupa is an author at University of Pennsylvania specializing in engineering, computer science, and program analysis.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisFormal MethodsAutomated ReasoningFormal VerificationComputer EngineeringSoftware EngineeringParallel Computing

Publications per year

2001–2019

10

Publications

10

Syntax-guided synthesis

Rajeev Alur, Rastislav Bodík, Garvit Juniwal et al. · 2013 · 512 citations

Program-synthesis Problem, Logic Synthesis, Syntax +14

Abhishek Udupa, Arun Raghavan, Jyotirmoy V. Deshmukh et al. · 2013 · 159 citations

Formal Specification, Engineering, Runtime Verification +14

Software Pipelined Execution of Stream Programs on GPUs

Abhishek Udupa, R. Govindarajan, Matthew J. Thazhuthaveetil · 2009 · 114 citations

Cluster Computing, Engineering, Computer Architecture +18

On the fly synthesis of edit suggestions

Anders Miltner, Sumit Gulwani, Vu Le et al. · Proceedings of the ACM on Programming Languages · 2019 · 48 citations · Full text

Engineering, Software Systems, Software Engineering +21

TRANSIT

Abhishek Udupa, Arun Raghavan, Jyotirmoy V. Deshmukh et al. · ACM SIGPLAN Notices · 2013 · 47 citations

Formal Specification, Engineering, Runtime Verification +14

Rows per page

1–5 of 10