Publications

Greybox Fuzzing for Concurrency Testing
Dylan Wolff, Shi Zheng, Gregory Duck, Umang Mathur, Abhik Roychoudhury
ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) 2024
PDF | BIB

Value Mutation Testing for SMT Solvers
Dylan Wolff Proceedings of the ACM on Programming Languages (POPL) – Student Research Competition 2021
PDF | BIB