Hemanthkumar Sivaraj

According to our database, Hemanthkumar Sivaraj authored at least 3 papers between 2002 and 2004.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2004

QB or Not QB: An Efficient Execution Verification Tool for Memory Orderings.

Ganesh Gopalakrishnan, Yue Yang, Hemanthkumar Sivaraj

Proceedings of the Computer Aided Verification, 16th International Conference, 2004

2003

Random Walk Based Heuristic Algorithms for Distributed Memory Model Checking.

Hemanthkumar Sivaraj, Ganesh Gopalakrishnan

Proceedings of the 2nd International Workshop on Parallel and Distributed Model Checking, 2003

2002

Shared Memory Consistency Protocol Verification Against Weak Memory Models: Refinement via Model-Checking.

Prosenjit Chatterjee, Hemanthkumar Sivaraj, Ganesh Gopalakrishnan

Proceedings of the Computer Aided Verification, 14th International Conference, 2002