Travelled to:
1 × Canada
1 × Estonia
1 × India
1 × South Africa
1 × Switzerland
2 × USA
Collaborated with:
S.Park M.J.Harrold A.Chandramowlishwaran K.Knobe J.Choi A.Singh S.Bhat A.Agarwal A.G.Gray J.Sim A.Dasgupta H.Kim C.Hou G.Vulov D.J.Quinlan D.Jefferson R.Fujimoto
Talks about:
concurr (4) program (3) model (2) local (2) bug (2) understand (1) framework (1) asynchron (1) parallel (1) multipli (1)
Person: Richard W. Vuduc
DBLP: Vuduc:Richard_W=
Facilitated 1 volumes:
Contributed to:
Wrote 8 papers:
- ISSTA-2013-ParkHV #comprehension #concurrent #data access #debugging #named
- Griffin: grouping suspicious memory-access patterns to improve understanding of concurrency bugs (SP, MJH, RWV), pp. 134–144.
- CC-2012-HouVQJFV
- A New Method for Program Inversion (CH, GV, DJQ, DJ, RF, RWV), pp. 81–100.
- ICST-2012-ParkVH #approach #concurrent #debugging
- A Unified Approach for Localizing Non-deadlock Concurrency Bugs (SP, RWV, MJH), pp. 51–60.
- POPL-2012-BhatAVG #probability #type system
- A type theory for probability density functions (SB, AA, RWV, AGG), pp. 545–556.
- PPoPP-2012-SimDKV #analysis #framework #identification #performance
- A performance analysis framework for identifying potential benefits in GPGPU applications (JS, AD, HK, RWV), pp. 11–22.
- ICSE-2010-ParkVH #concurrent #fault #locality #named #source code
- Falcon: fault localization in concurrent programs (SP, RWV, MJH), pp. 245–254.
- PPoPP-2010-ChandramowlishwaranKV #algebra #concurrent #linear #parallel #programming
- Applying the concurrent collections programming model to asynchronous parallel dense linear algebra (AC, KK, RWV), pp. 345–346.
- PPoPP-2010-ChoiSV #modelling #multi
- Model-driven autotuning of sparse matrix-vector multiply on GPUs (JC, AS, RWV), pp. 115–126.