BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Udupa:Abhishek

Contributed to:

CAV 20152015
PLDI 20132013
PLDI 20112011
CGO 20092009
LCTES 20092009
OOPSLA 20192019

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.