Tracking down software bugs using automatic anomaly detection
Hangal, Sudheendra, Lam, Monica S.
Published in International Conference on Software Engineering: Proceedings of the 24th International Conference on Software Engineering; 19-25 May 2002 (01.01.2002)
Published in International Conference on Software Engineering: Proceedings of the 24th International Conference on Software Engineering; 19-25 May 2002 (01.01.2002)
Get full text
Conference Proceeding
Journal Article
Automatic dimension inference and checking for object-oriented programs
Hangal, Sudheendra, Lam, Monica S
Published in International Conference on Software Engineering 2009 (24.05.2009)
Published in International Conference on Software Engineering 2009 (24.05.2009)
Get full text
Journal Article
Automatic dimension inference and checking for object-oriented programs
Hangal, Sudheendra, Lam, Monica S.
Published in 2009 IEEE 31st International Conference on Software Engineering (16.05.2009)
Published in 2009 IEEE 31st International Conference on Software Engineering (16.05.2009)
Get full text
Conference Proceeding
Completely verifying memory consistency of test program executions
Manovit, C., Hangal, S.
Published in The Twelfth International Symposium on High-Performance Computer Architecture, 2006 (2006)
Published in The Twelfth International Symposium on High-Performance Computer Architecture, 2006 (2006)
Get full text
Conference Proceeding
Testing implementations of transactional memory
Manovit, Chaiyasit, Hangal, Sudheendra, Chafi, Hassan, McDonald, Austen, Kozyrakis, Christos, Olukotun, Kunle
Published in 2006 International Conference on Parallel Architectures and Compilation Techniques (PACT) (01.09.2006)
Published in 2006 International Conference on Parallel Architectures and Compilation Techniques (PACT) (01.09.2006)
Get full text
Conference Proceeding