| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2013 | J | jnl |
Sci. Comput. Program.
|
| 2013 | — | book |
|
| 2012 | B | conf |
SLE
|
| 2012 | — | conf |
LDTA
|
| 2012 | J | jnl |
ACM Trans. Program. Lang. Syst.
|
| 2012 | — | conf |
Onward!
|
| 2012 | — | conf |
SPLASH
|
| 2011 | — | — |
|
| 2011 | B | conf |
GPCE
|
| 2011 | — | conf |
SPIN
|
| 2011 | B | conf |
GPCE
|
| 2011 | A | conf |
OOPSLA
|
| 2011 | — | conf |
OOPSLA Companion
|
| 2011 | J | jnl |
J. Symb. Comput.
|
| 2011 | — | conf |
OOPSLA Companion
|
| 2011 | — | conf |
OOPSLA Companion
|
| 2010 | J | jnl |
Softw. Syst. Model.
|
| 2010 | C | conf |
SCAM
|
| 2010 | B | conf |
SLE
|
| 2010 | A | conf |
OOPSLA
|
| 2010 | — | conf |
SPLASH/OOPSLA Companion
|
| 2010 | — | conf |
WRLA
|
| 2010 | A | conf |
OOPSLA
|
| 2009 | — | conf |
LDTA
|
| 2009 | B | conf |
CC
|
| 2009 | — | conf |
LDTA
|
| 2009 | B | conf |
SLE
|
| 2009 | A | conf |
OOPSLA
|
| 2008 | — | conf |
ICMT@TOOLS
|
| 2008 | A | conf |
OOPSLA
|
| 2008 | — | conf |
WRLA
|
| 2008 | — | conf |
OOPSLA Companion
|