Travelled to:1 × Singapore
1 × Sweden
1 × USA
Collaborated with:D.Kröning A.Rajan P.Schrammel V.Forejt G.Narayanaswamy S.S.Vakkalanka G.Gopalakrishnan R.M.Kirby
Talks about:program (2) mpi (2) deadlock (1) communic (1) predict (1) analysi (1) acceler (1) precis (1) execut (1) discov (1)
Person: Subodh Sharma
DBLP: Sharma:Subodh
Contributed to:
2014
2014
2008Wrote 3 papers:
- ASE-2014-RajanSSK #execution #using
- Accelerated test execution using GPUs (AR, SS, PS, DK), pp. 97–102.
- FM-2014-ForejtKNS #analysis #communication #precise #predict #source code
- Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs (VF, DK, GN, SS), pp. 263–278.
- PPoPP-2008-VakkalankaSGK #model checking #named #source code
- ISP: a tool for model checking MPI programs (SSV, SS, GG, RMK), pp. 285–286.