2024
Translating C To Rust: Lessons from a User Study.
CoRR, 2024

2023
TransMap: Pinpointing Mistakes in Neural Code Translation.
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

2022
The inconsistency of documentation: a study of online C standard library documents.
Cybersecur., 2022

2020
RTFM! Automatic Assumption Discovery and Verification Derivation from Library Document for API Misuse Detection.
Proceedings of the CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security, 2020