| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2026 | J | jnl |
Proc. ACM Program. Lang.
|
| 2026 | J | jnl |
CoRR
|
| 2025 | J | jnl |
CoRR
|
| 2025 | J | jnl |
Proc. ACM Program. Lang.
|
| 2025 | J | jnl |
Proc. ACM Program. Lang.
|
| 2024 | — | conf |
Onward!
|
| 2023 | B | conf |
VL/HCC
|
| 2023 | — | conf |
NFM
|
| 2023 | J | jnl |
CoRR
|
| 2023 | J | jnl |
Proc. ACM Program. Lang.
|
| 2023 | J | jnl |
Empir. Softw. Eng.
|
| 2021 | — | conf |
CAV (1)
|
| 2021 | J | jnl |
CoRR
|
| 2021 | A* | conf |
PLDI
|
| 2021 | A* | conf |
ASE
|
| 2021 | J | jnl |
Proc. ACM Program. Lang.
|
| 2020 | A* | conf |
USENIX Security Symposium
|
| 2020 | C | conf |
DLS
|
| 2020 | A | conf |
AAMAS
|
| 2019 | A | conf |
ICST
|
| 2019 | — | conf |
CHI Extended Abstracts
|
| 2019 | J | jnl |
CoRR
|
| 2019 | A* | conf |
NeurIPS
|
| 2019 | J | jnl |
CoRR
|
| 2019 | J | jnl |
Proc. ACM Program. Lang.
|
| 2019 | A | conf |
AAMAS
|
| 2019 | J | jnl |
CoRR
|
| 2019 | A* | conf |
PLDI
|
| 2019 | J | jnl |
CoRR
|
| 2018 | A | conf |
ESOP
|
| 2018 | J | jnl |
CoRR
|
| 2018 | A* | ed. |
PLDI
|
| 2018 | B | conf |
VMCAI
|
| 2018 | — | conf |
SOUPS @ USENIX Security Symposium
|
| 2017 | J | jnl |
Formal Methods Syst. Des.
|
| 2017 | — | conf |
MAPL@PLDI
|
| 2017 | J | jnl |
CoRR
|
| 2017 | J | jnl |
Commun. ACM
|
| 2017 | J | jnl |
CoRR
|
| 2017 | A* | conf |
CHI
|
| 2016 | J | jnl |
Softw. Pract. Exp.
|
| 2016 | J | jnl |
CoRR
|
| 2016 | A* | conf |
PLDI
|
| 2016 | A* | conf |
ICSE
|
| 2016 | — | conf |
SIGSOFT FSE
|
| 2015 | — | conf |
CAV (2)
|
| 2015 | — | conf |
ESORICS (2)
|
| 2015 | J | jnl |
CoRR
|
| 2015 | J | jnl |
CoRR
|
| 2015 | A | conf |
OOPSLA
|
| 2015 | J | jnl |
CoRR
|
| 2015 | — | conf |
ESEC/SIGSOFT FSE
|
| 2014 | A* | conf |
PLDI
|
| 2014 | C | conf |
DLS
|
| 2014 | J | jnl |
ACM Trans. Program. Lang. Syst.
|
| 2014 | J | jnl |
IEEE Trans. Software Eng.
|
| 2013 | A* | conf |
ICSE
|
| 2013 | J | jnl |
Int. J. Softw. Tools Technol. Transf.
|
| 2013 | Misc | conf |
SAC
|
| 2012 | — | conf |
HotSWUp
|
| 2012 | — | conf |
SPSM@CCS
|
| 2012 | J | jnl |
IEEE Trans. Software Eng.
|
| 2012 | A | conf |
OOPSLA
|
| 2012 | — | conf |
VSTTE
|
| 2012 | — | conf |
HotSWUp
|
| 2012 | A* | conf |
ICSE
|
| 2011 | B | conf |
SAS
|
| 2011 | A* | conf |
POPL
|
| 2011 | J | jnl |
ACM Trans. Program. Lang. Syst.
|
| 2011 | A* | conf |
PLDI
|
| 2011 | — | conf |
ICDE Workshops
|
| 2010 | A* | conf |
POPL
|
| 2010 | A* | conf |
PLDI
|
| 2010 | J | jnl |
Commun. ACM
|
| 2010 | J | jnl |
Softw. Pract. Exp.
|
| 2010 | A* | conf |
CCS
|
| 2010 | — | conf |
ICSE (1)
|
| 2009 | J | jnl |
ACM SIGPLAN Notices
|
| 2009 | C | conf |
DLS
|
| 2009 | — | conf |
HotSWUp
|
| 2009 | A | conf |
OOPSLA
|
| 2009 | A* | conf |
ASE
|
| 2009 | Misc | conf |
SAC
|
| 2009 | — | conf |
Tests to the left of me, types to the right: how not to get stuck in the middle of a ruby execution.
STOP@ECOOP
|
| 2009 | C | conf |
DLS
|
| 2009 | A* | conf |
CAV
|
| 2008 | J | jnl |
ACM Trans. Program. Lang. Syst.
|
| 2008 | A* | conf |
POPL
|
| 2008 | — | conf |
TPHOLs
|
| 2008 | J | jnl |
IEEE Trans. Software Eng.
|
| 2008 | — | conf |
PASTE
|
| 2008 | J | jnl |
Inf. Comput.
|
| 2007 | — | conf |
PASTE
|
| 2007 | A | conf |
OOPSLA
|
| 2007 | — | conf |
TLDI
|
| 2007 | A | conf |
OOPSLA
|
| 2006 | B | conf |
SAS
|
| 2006 | J | jnl |
ACM Trans. Program. Lang. Syst.
|
| 2006 | A* | conf |
PLDI
|
| 2006 | A | conf |
ESOP
|
| 2005 | A* | conf |
PLDI
|
| 2005 | A | conf |
MSR
|
| 2005 | J | jnl |
ACM SIGSOFT Softw. Eng. Notes
|
| 2004 | A | conf |
ISSRE
|
| 2004 | — | conf |
eTX
|
| 2003 | A* | conf |
PLDI
|
| 2002 | A* | conf |
PLDI
|
| 2001 | A* | conf |
USENIX Security Symposium
|
| 2000 | A* | conf |
NDSS
|
| 2000 | B | conf |
SAS
|
| 1999 | A* | conf |
PLDI
|
| 1998 | — | conf |
Types in Compilation
|
| 1998 | A* | conf |
PLDI
|