Login / Signup
Hemanthkumar Sivaraj
Publication Activity (10 Years)
Years Active: 2002-2004
Publications (10 Years): 0
</>
Publications
</>
Ganesh Gopalakrishnan
,
Yue Yang
,
Hemanthkumar Sivaraj
QB or Not QB: An Efficient Execution Verification Tool for Memory Orderings.
CAV
(2004)
Hemanthkumar Sivaraj
,
Ganesh Gopalakrishnan
Random Walk Based Heuristic Algorithms for Distributed Memory Model Checking.
Electron. Notes Theor. Comput. Sci.
89 (1) (2003)
Prosenjit Chatterjee
,
Hemanthkumar Sivaraj
,
Ganesh Gopalakrishnan
Shared Memory Consistency Protocol Verification Against Weak Memory Models: Refinement via Model-Checking.
CAV
(2002)