| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2025 | J | jnl |
Proc. Priv. Enhancing Technol.
|
| 2024 | A* | conf |
Impeding LLM-assisted Cheating in Introductory Programming Assignments via Adversarial Perturbation.
EMNLP
|
| 2024 | J | jnl |
Impeding LLM-assisted Cheating in Introductory Programming Assignments via Adversarial Perturbation.
CoRR
|
| 2023 | B | conf |
CC
|
| 2023 | J | jnl |
CoRR
|
| 2022 | — | conf |
SOAP@PLDI
|
| 2021 | — | conf |
Checkmate@CCS
|
| 2021 | B | conf |
VEE
|
| 2021 | — | conf |
Checkmate@CCS
|
| 2020 | J | jnl |
CoRR
|
| 2020 | A* | conf |
ASE
|
| 2019 | J | jnl |
CoRR
|
| 2018 | A | conf |
EuroS&P
|
| 2017 | — | conf |
CODASPY
|
| 2017 | B | conf |
RV
|
| 2017 | — | conf |
LCPC
|
| 2015 | A* | conf |
IEEE Symposium on Security and Privacy
|
| 2015 | — | conf |
CODASPY
|
| 2015 | A* | conf |
CCS
|
| 2014 | — | conf |
PPREW@ACSAC
|
| 2014 | C | conf |
SCAM
|
| 2012 | — | conf |
ICDE Workshops
|
| 2012 | A* | conf |
ICDE
|
| 2012 | A | conf |
CGO
|
| 2001 | — | conf |
OM@PLDI
|
| 1999 | — | ch. |
The Logic Programming Paradigm
|