Travelled to:1 × Ireland
4 × USA
Collaborated with:R.Govindarajan M.J.Thazhuthaveetil R.Alur K.Rajan W.Thies M.Raghothaman C.Stergiou S.Tripakis A.Raghavan J.V.Deshmukh S.Mador-Haim M.M.K.Martin Anders Miltner S.Gulwani V.Le A.Leung A.Radhakrishna G.Soares A.T.0001
Talks about:protocol (2) program (2) stream (2) execut (2) synergist (1) distribut (1) synthesi (1) symmetri (1) parallel (1) multicor (1)
Person: Abhishek Udupa
DBLP: Udupa:Abhishek
Contributed to:
2015
20132011
2009
2009
2019Wrote 6 papers:
- CAV-2015-AlurRSTU #automation #distributed #protocol #symmetry
- Automatic Completion of Distributed Protocols with Symmetry (RA, MR, CS, ST, AU), pp. 395–412.
- PLDI-2013-UdupaRDMMA #named #protocol #specification
- TRANSIT: specifying protocols with concolic snippets (AU, AR, JVD, SMH, MMKM, RA), pp. 287–296.
- PLDI-2011-UdupaRT #dependence #named #parallel
- ALTER: exploiting breakable dependences for parallelization (AU, KR, WT), pp. 480–491.
- CGO-2009-UdupaGT #execution #pipes and filters #source code
- Software Pipelined Execution of Stream Programs on GPUs (AU, RG, MJT), pp. 200–209.
- LCTES-2009-UdupaGT #execution #multi #source code
- Synergistic execution of stream programs on multicores with accelerators (AU, RG, MJT), pp. 99–108.
- OOPSLA-2019-MiltnerGLLRSTU #on the #on the fly #synthesis
- On the fly synthesis of edit suggestions (AM, SG, VL, AL, AR, GS, AT0, AU), p. 29.