 | 2012 |
|---|
| 11 |       | 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 |
| 10 | | Sudheendra Hangal,
Abhinay Nagpal,
Monica S. Lam:
Effective browsing and serendipitous discovery with an experience-infused browser.
IUI 2012: 149-158 |
| 2011 |
|---|
| 9 | | Diana MacLean,
Sudheendra Hangal,
Seng Keat Teh,
Monica S. Lam,
Jeffrey Heer:
Groups without tears: mining social topologies from email.
IUI 2011: 83-92 |
| 8 | | Sudheendra Hangal,
Monica S. Lam,
Jeffrey Heer:
MUSE: reviving memories using email archives.
UIST 2011: 75-84 |
| 2009 |
|---|
| 7 | | Sudheendra Hangal,
Monica S. Lam:
Automatic dimension inference and checking for object-oriented programs.
ICSE 2009: 155-165 |
| 2006 |
|---|
| 6 | | Chaiyasit Manovit,
Sudheendra Hangal:
Completely verifying memory consistency of test program executions.
HPCA 2006: 166-175 |
| 5 | | Chaiyasit Manovit,
Sudheendra Hangal,
Hassan Chafi,
Austen McDonald,
Christos Kozyrakis,
Kunle Olukotun:
Testing implementations of transactional memory.
PACT 2006: 134-143 |
| 2005 |
|---|
| 4 | | Sudheendra Hangal,
Naveen Chandra,
Sridhar Narayanan,
Sandeep Chakravorty:
IODINE: a tool to automatically infer dynamic invariants for hardware designs.
DAC 2005: 775-778 |
| 3 | | Chaiyasit Manovit,
Sudheendra Hangal:
Efficient algorithms for verifying memory consistency.
SPAA 2005: 245-252 |
| 2004 |
|---|
| 2 | | 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 |
|---|
| 1 | | 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