Travelled to:1 × Denmark
1 × USA
Collaborated with:G.Gopalakrishnan Y.Yang P.Chatterjee
Talks about:memori (3) verif (2) model (2) protocol (1) consist (1) against (1) execut (1) effici (1) share (1) refin (1)
Person: Hemanthkumar Sivaraj
DBLP: Sivaraj:Hemanthkumar
Contributed to:
20042002Wrote 2 papers:
- CAV-2004-GopalakrishnanYS #execution #memory management #order #performance #verification
- QB or Not QB: An Efficient Execution Verification Tool for Memory Orderings (GG, YY, HS), pp. 401–413.
- CAV-2002-ChatterjeeSG #consistency #memory management #model checking #modelling #protocol #refinement #verification
- Shared Memory Consistency Protocol Verification Against Weak Memory Models: Refinement via Model-Checking (PC, HS, GG), pp. 123–136.