Prosenjit Chatterjee (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

4		Prosenjit Chatterjee, Hemanthkumar Sivaraj, Ganesh Gopalakrishnan: Shared Memory Consistency Protocol Verification Against Weak Memory Models: Refinement via Model-Checking. CAV 2002: 123-136
3		Prosenjit Chatterjee, Ganesh Gopalakrishnan: A Specification and Verification Framework for Developing Weak Shared Memory Consistency Protocols. FMCAD 2002: 292-309
2		Prosenjit Chatterjee, Ganesh Gopalakrishnan: towards A formal Model of Shared Memory Consistency for Intel ItaniumTM. ICCD 2001: 515-518

Selection of 3 from 5 records - Prosenjit Chatterjee has 4 coauthors