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 × 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 DBLP: Sivaraj:Hemanthkumar

Contributed to:

CAV 20042004
CAV 20022002

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

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.