| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2025 | C | conf |
ISMM
|
| 2025 | J | jnl |
Proc. ACM Program. Lang.
|
| 2025 | C | conf |
BSN
|
| 2024 | J | jnl |
CoRR
|
| 2024 | A | conf |
ECOOP
|
| 2024 | B | conf |
SLE
|
| 2023 | — | conf |
Programming
|
| 2023 | J | jnl |
CoRR
|
| 2023 | B | conf |
SLE
|
| 2022 | — | conf |
TFPIE
|
| 2021 | — | conf |
ELS
|
| 2021 | — | conf |
VMIL@SPLASH
|
| 2020 | — | conf |
ELS
|
| 2020 | — | conf |
Scheme@ICFP
|
| 2020 | — | ed. |
VMIL@SPLASH
|
| 2019 | B | conf |
CC
|
| 2018 | — | conf |
VMIL@SPLASH
|
| 2017 | J | jnl |
Interprocedural Specialization of Higher-Order Dynamic Languages Without Static Analysis (Artifact).
Dagstuhl Artifacts Ser.
|
| 2017 | A | conf |
ECOOP
|
| 2016 | A | conf |
ECOOP
|
| 2015 | C | conf |
DLS
|
| 2015 | J | jnl |
CoRR
|
| 2015 | J | jnl |
CoRR
|
| 2015 | A | conf |
ECOOP
|
| 2014 | — | ed. |
ILC
|
| 2014 | A | conf |
ECOOP
|
| 2014 | J | jnl |
CoRR
|
| 2014 | J | jnl |
CoRR
|
| 2012 | — | conf |
Scheme@ICFP
|
| 2011 | C | conf |
DLS
|
| 2011 | J | jnl |
ACM Trans. Reconfigurable Technol. Syst.
|
| 2009 | — | conf |
IFL
|
| 2008 | B | conf |
CC
|
| 2007 | — | conf |
IFL
|
| 2006 | — | ed. |
Erlang Workshop
|
| 2005 | J | jnl |
High. Order Symb. Comput.
|
| 2005 | J | jnl |
Sci. Comput. Program.
|
| 2005 | C | conf |
IEEE International Workshop on Rapid System Prototyping
|
| 2004 | — | conf |
SCCC
|
| 2003 | — | conf |
IVME
|
| 2002 | A | conf |
ICFP
|
| 2000 | J | jnl |
Acta Informatica
|
| 1998 | C | conf |
ISMM
|
| 1998 | — | conf |
PLILP/ALP
|
| 1996 | Misc | conf |
PDPTA
|
| 1996 | B | conf |
CC
|
| 1996 | J | jnl |
Benchmarking Implementations of Functional Languages with 'Pseudoknot', a Float-Intensive Benchmark.
J. Funct. Program.
|
| 1996 | A | conf |
ICFP
|
| 1995 | — | conf |
PSLS
|
| 1994 | J | jnl |
LISP Symb. Comput.
|
| 1993 | — | conf |
FPCA
|
| 1992 | — | conf |
Parallel Symbolic Computing
|
| 1992 | J | jnl |
Comput. Lang.
|
| 1990 | — | conf |
LISP and Functional Programming
|
| 1987 | J | jnl |
Comput. Lang.
|