|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 11 occurrences of 9 keywords
|
|
|
|
|
Results
Found 11 publication records. Showing 11 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Sudheendra Hangal, Abhinay Nagpal, Monica S. Lam |
Effective browsing and serendipitous discovery with an experience-infused browser. |
IUI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sudheendra Hangal, Monica S. Lam, Jeffrey Heer |
MUSE: reviving memories using email archives. |
UIST |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Diana MacLean, Sudheendra Hangal, Seng Keat Teh, Monica S. Lam, Jeffrey Heer |
Groups without tears: mining social topologies from email. |
IUI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sudheendra Hangal, Monica S. Lam |
Automatic dimension inference and checking for object-oriented programs. |
ICSE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Chaiyasit Manovit, Sudheendra Hangal, Hassan Chafi, Austen McDonald, Christos Kozyrakis, Kunle Olukotun |
Testing implementations of transactional memory. |
PACT |
2006 |
DBLP DOI BibTeX RDF |
verification, testing, specification, transactional memory |
| 1 | Chaiyasit Manovit, Sudheendra Hangal |
Completely verifying memory consistency of test program executions. |
HPCA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Sudheendra Hangal, Naveen Chandra, Sridhar Narayanan, Sandeep Chakravorty |
IODINE: a tool to automatically infer dynamic invariants for hardware designs. |
DAC |
2005 |
DBLP DOI BibTeX RDF |
dynamic invariants, formal specification, dynamic analysis |
| 1 | Chaiyasit Manovit, Sudheendra Hangal |
Efficient algorithms for verifying memory consistency. |
SPAA |
2005 |
DBLP DOI BibTeX RDF |
multiprocessor verification, total store order, sequential consistency, memory consistency models, vector clocks |
| 1 | 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 |
DBLP DOI BibTeX RDF |
Multiprocessor verification, Total Store Order, Sequential Consistency, Memory consistency models |
| 1 | Sudheendra Hangal, Monica S. Lam |
Tracking down software bugs using automatic anomaly detection. |
ICSE |
2002 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #11 of 11 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")