Hemanthkumar Sivaraj

Welcome to my home page. I am a graduate student pursuing my M.S. in Computer Science at the School of Computing in the University of Utah. I am working with Prof. Ganesh Gopalakrishnan in the Utah Verifier (UV) group. I did my undergraduate studies from the Birla Institute of Technology and Science, Pilani, India. I majored in Mathematics and Computer Science. After my undergraduate studies I worked for one year at Hughes Software Systems in Bangalore developing software based on Voice over IP (VoIP) protocols H.323 and SIP.

Research

Publications

Shared memory consistency protocol verification against weak memory models: refinement via model-checking, [PS, PDF] Prosenjit Chatterjee, Hemanthkumar Sivaraj, Ganesh Gopalakrishnan, In 14th International Conference on Computer Aided Verification (CAV'02), Lecture Notes in Computer Science, Copenhagen, July 2002. Springer-Verlag.

Random Walk Based Heuristic Algorithms for Distributed Memory Model Checking, [PS] Hemanthkumar Sivaraj, Ganesh Gopalakrishnan, In 2nd International Workshop on Parallel and Distributed Model Checking (PDMC'03), Boulder, Colorado, USA, July 2003.
More details like the psudocodes for the various heuristics can be found in the School of Computing Technical Report UUCS-03-001 [PS, PDF].

Parallel Random Walk Based Heuristics for Semi-Formal Verification, Hemanthkumar Sivaraj, Ganesh Gopalakrishnan, In TECHCON 2003, Dallas, USA, August 2003.

Here's my Resume (doc) (pdf)

Contact Information

You can mail me at

Office Address Home Address

School of Computing, Room #3190 1263 E South Temple, Apt. 10

50 S. Central Campus Drive, University of Utah Salt Lake City, UT 84102

Salt Lake City, Utah - 84112-9205

Phone: (801) 581-4183 Phone: (801) 531-1756

Personal

Fun Stuff

Warp images.

Friends

Abhijeet Joglekar, scandwitty@times :-)
Parveen Patel, no no noo ...
Vijay, ... yeah right, that's what my uncle used to say...
Prashant Mohan, alias Pondy, Bastu, Pups, ..., eh ehh ehhh teach me DiffG
Sandeep Tare , the illustrious sandy
Vishal Sanghvi
Sameer Herlekar, Sam ra baboo

My Bookmarks (not updated for a long time)

"Be what you would seem to be" - or if you'd like it put more simply -
"Never imagine yourself not to be otherwise than what it might appear
to others that what you were or might have been was not otherwise than
what you had been would have appeared to them to be otherwise."
- The Duchess, from Lewis Caroll's Alice's Adventures in Wondeland

Office Address	Home Address
School of Computing, Room #3190	1263 E South Temple, Apt. 10
50 S. Central Campus Drive, University of Utah	Salt Lake City, UT 84102
Salt Lake City, Utah - 84112-9205
Phone: (801) 581-4183	Phone: (801) 531-1756