| 2012 | ||
|---|---|---|
| c11 | Abhinay Nagpal, Sudheendra Hangal, Rifat Reza Joyee, Monica S. Lam: Friends, romans, countrymen: lend me your URLs. using social chatter to personalize web search. CSCW 2012: 461-470 | |
| c10 | Sudheendra Hangal, Abhinay Nagpal, Monica S. Lam: Effective browsing and serendipitous discovery with an experience-infused browser. IUI 2012: 149-158 | |
| 2011 | ||
| c9 | Diana MacLean, Sudheendra Hangal, Seng Keat Teh, Monica S. Lam, Jeffrey Heer: Groups without tears: mining social topologies from email. IUI 2011: 83-92 | |
| c8 | Sudheendra Hangal, Monica S. Lam, Jeffrey Heer: MUSE: reviving memories using email archives. UIST 2011: 75-84 | |
| 2009 | ||
| c7 | Sudheendra Hangal, Monica S. Lam: Automatic dimension inference and checking for object-oriented programs. ICSE 2009: 155-165 | |
| 2006 | ||
| c6 | Chaiyasit Manovit, Sudheendra Hangal, Hassan Chafi, Austen McDonald, Christos Kozyrakis, Kunle Olukotun: Testing implementations of transactional memory. PACT 2006: 134-143 | |
| c5 | Chaiyasit Manovit, Sudheendra Hangal: Completely verifying memory consistency of test program executions. HPCA 2006: 166-175 | |
| 2005 | ||
| c4 | Sudheendra Hangal, Naveen Chandra, Sridhar Narayanan, Sandeep Chakravorty: IODINE: a tool to automatically infer dynamic invariants for hardware designs. DAC 2005: 775-778 | |
| c3 | Chaiyasit Manovit, Sudheendra Hangal: Efficient algorithms for verifying memory consistency. SPAA 2005: 245-252 | |
| 2004 | ||
| c2 | Sudheendra Hangal, Durgam Vahia, Chaiyasit Manovit, Juin-Yeu Joseph Lu, Sridhar Narayanan: TSOtool: A Program for Verifying Memory Systems Using the Memory Consistency Model. ISCA 2004: 114-123 | |
| 2002 | ||
| c1 | Sudheendra Hangal, Monica S. Lam: Tracking down software bugs using automatic anomaly detection. ICSE 2002: 291-301 | |
Data released under the ODC-BY 1.0 license — See also our legal information page