| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2023 | J | jnl |
ACM Trans. Comput. Educ.
|
| 2022 | — | conf |
ICAC
|
| 2020 | J | jnl |
Int. J. Medical Informatics
|
| 2017 | — | conf |
Skink: Static Analysis of Programs in LLVM Intermediate Representation - (Competition Contribution).
TACAS (2)
|
| 2016 | — | conf |
SPLASH (Companion Volume)
|
| 2015 | J | jnl |
Sci. Comput. Program.
|
| 2014 | J | jnl |
Sci. Comput. Program.
|
| 2014 | B | conf |
SLE
|
| 2014 | B | conf |
SLE
|
| 2014 | — | conf |
TREC
|
| 2014 | — | conf |
WGP@ICFP
|
| 2013 | — | conf |
EISMC
|
| 2013 | — | conf |
ICCL
|
| 2012 | — | conf |
Belief Functions
|
| 2011 | C | conf |
FUSION
|
| 2011 | C | conf |
FUSION
|
| 2010 | C | conf |
FUSION
|
| 2010 | C | conf |
FUSION
|
| 2010 | C | conf |
FUSION
|
| 2008 | J | jnl |
Br. J. Educ. Technol.
|