Translating C To Rust: Lessons from a User Study.
CoRR, 2024
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
The inconsistency of documentation: a study of online C standard library documents.
Cybersecur., 2022
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