Abhishek Udupa
Publications by Year
Research Areas
Software Testing and Debugging Techniques, Parallel Computing and Optimization Techniques, Formal Methods in Verification, Software Engineering Research, Distributed systems and fault tolerance
Most-Cited Works
- → Syntax-guided synthesis(2013)513 cited
- → TRANSIT(2013)159 cited
- → Scaling Enumerative Program Synthesis via Divide and Conquer(2017)140 cited
- → Software Pipelined Execution of Stream Programs on GPUs(2009)114 cited
- → On the fly synthesis of edit suggestions(2019)48 cited
- → A fuzzy control for network overload alleviation(2001)41 cited
- → Synthesizing Finite-State Protocols from Scenarios and Requirements(2014)37 cited
- → Synergistic execution of stream programs on multicores with accelerators(2009)27 cited