2025
- ACM CCSRethinking Tamper-Evident Logging: A High-Performance, Co-Designed Auditing SystemIn ACM Conference on Computer and Communications Security (CCS), 2025
2024
2023
2022
2021
2020
2019
- ASEHow effective are existing Java API specifications for finding bugs during runtime verification?Automated Software Engineering, 2019
2018
2017
2016
- ASEHow good are the specs? A study of the bug-finding effectiveness of existing Java API specificationsIn IEEE/ACM International Conference on Automated Software Engineering (ASE), 2016