| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2015 | — | conf |
ICA3PP (2)
|
| 2014 | B | conf |
PACT
|
| 2012 | A* | conf |
HPCA
|
| 2011 | — | conf |
Euro-Par (2)
|
| 2009 | A* | conf |
ASPLOS
|
| 2008 | B | conf |
PPoPP
|
| 2008 | — | conf |
CASCON
|
| 2001 | — | conf |
Proof Linking: Distributed Verification of Java Classfiles in the Presence of Multiple Classloaders.
Java Virtual Machine Research and Technology Symposium
|
| 2000 | J | jnl |
ACM Trans. Softw. Eng. Methodol.
|
| 1999 | J | jnl |
Markup Lang.
|
| 1998 | — | conf |
SIGSOFT FSE
|
| 1998 | J | jnl |
J. Digit. Inf.
|
| 1997 | J | jnl |
First Monday
|
| 1994 | — | conf |
ICSM
|
| 1994 | B | conf |
COMPSAC
|
| 1993 | J | jnl |
LOPLAS
|
| 1993 | J | jnl |
J. Funct. Program.
|
| 1992 | J | jnl |
IEEE Trans. Software Eng.
|
| 1990 | J | jnl |
Softw. Eng. J.
|
| 1989 | J | jnl |
ACM Trans. Program. Lang. Syst.
|
| 1988 | J | jnl |
IEEE Softw.
|
| 1988 | J | jnl |
IEEE Trans. Inf. Theory
|
| 1988 | — | conf |
ICSM
|
| 1984 | J | jnl |
ACM Trans. Program. Lang. Syst.
|
| 1978 | J | jnl |
IEEE Trans. Computers
|