Memory Consistency of Shared Memory Multiprocessors

TSOtool: A program for verifying memory systems using the memory consistency model.
Sudheendra Hangal, Durgam Vahia, Chaiyasit Manovit, Juin-Yeu Joseph Lu and Sridhar Narayanan.
ISCA '04: Proceedings of the 31st Annual International Symposium on Computer Architecture (ISCA), 2004.
(PDF)

Efficient algorithms for verifying memory consistency.
Chaiyasit Manovit and Sudheendra Hangal
SPAA '05: Proceedings of the Seventeenth Annual ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 2005.
(PDF)

Completely verifying memory consistency of test program executions.
Chaiyasit Manovit and Sudheendra Hangal
HPCA '06: Proceedings of the 12th International Symposium on High-Performance Computer Architecture (HPCA), 2006.
(PDF)

Testing implementations of transactional memory.
Chaiyasit Manovit, Sudheendra Hangal, Hassan Chafi, Austen McDonald, Christos Kozyrakis and Kunle Olukotun.
PACT '06: Proceedings of the 15th International Conference on Parallel Architectures and Compilation Techniques (PACT), 2006.
(PDF)

Program Analysis

Tracking down software bugs using automatic anomaly detection.
Sudheendra Hangal and Monica S. Lam
ICSE '02: Proceedings of the 24th International Conference on Software Engineering (ICSE), 2002.
(PDF)

Automatic Dimension Inference and Checking for Object-Oriented Programs.
Sudheendra Hangal and Monica S. Lam
ICSE '09: Proceedings of the 31st International Conference on Software Engineering (ICSE), 2009.
(PDF)

Microprocessor Simulation and Verification

Performance analysis and validation of the picoJava processor.
Sudheendra Hangal and Mike O'Connor
IEEE Micro, Volume 19, Issue 3, May-June 1999
(PDF)

IODINE: a tool to automatically infer dynamic invariants for hardware designs.
Sudheendra Hangal, Naveen Chandra, Sridhar Narayanan and Sandeep Chakravorty
DAC '05: Proceedings of the 42nd Annual Conference on Design Automation (DAC), 2005.
(PDF)

Hardware Design

A general purpose interconnection network interface for the PCI bus.
Sudheendra Hangal, Lokesh Bhasin, Abhay Ranade, and Praveen Shekokar
HiPC '95: Proceedings of the International Conference on High-Performance Computing (HiPC), 1995.