Search the dblp DataBase

Publications of Author

1. Chaiyasit Manovit, Sudheendra Hangal, Hassan Chafi, Austen McDonald, Christos Kozyrakis, Kunle Olukotun
   Testing implementations of transactional memory. [Citation Graph (0, 0)][DBLP]
   PACT, 2006, pp:134-143 [Conf]
   
2. Sudheendra Hangal, Naveen Chandra, Sridhar Narayanan, Sandeep Chakravorty
   IODINE: a tool to automatically infer dynamic invariants for hardware designs. [Citation Graph (0, 0)][DBLP]
   DAC, 2005, pp:775-778 [Conf]
   
3. Sudheendra Hangal, Monica S. Lam
   Tracking down software bugs using automatic anomaly detection. [Citation Graph (0, 0)][DBLP]
   ICSE, 2002, pp:291-301 [Conf]
   
4. Sudheendra Hangal, Durgam Vahia, Chaiyasit Manovit, Juin-Yeu Joseph Lu, Sridhar Narayanan
   TSOtool: A Program for Verifying Memory Systems Using the Memory Consistency Model. [Citation Graph (0, 0)][DBLP]
   ISCA, 2004, pp:114-123 [Conf]
   
5. Chaiyasit Manovit, Sudheendra Hangal
   Efficient algorithms for verifying memory consistency. [Citation Graph (0, 0)][DBLP]
   SPAA, 2005, pp:245-252 [Conf]
   
6. 
   Completely verifying memory consistency of test program executions. [Citation Graph (, )][DBLP]
   
   
7. 
   Automatic dimension inference and checking for object-oriented programs. [Citation Graph (, )][DBLP]