| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2015 | — | ch. |
Transactional Memory
|
| 2013 | A* | conf |
PLDI
|
| 2012 | — | conf |
HotPar
|
| 2012 | B | conf |
PPoPP
|
| 2011 | A* | conf |
PLDI
|
| 2010 | J | jnl |
Commun. ACM
|
| 2010 | — | conf |
ICSE (2)
|
| 2010 | A | conf |
TACAS
|
| 2010 | — | — |
|
| 2009 | A* | conf |
POPL
|
| 2009 | — | conf |
PADTAD
|
| 2007 | A* | conf |
PLDI
|
| 2007 | B | conf |
RV
|
| 2006 | — | conf |
PADTAD
|
| 2006 | — | conf |
FATES/RV
|
| 2005 | — | conf |
FATES
|
| 2005 | A* | conf |
PLDI
|
| 2005 | — | conf |
RV@CAV
|
| 2004 | — | conf |
AWCC
|