Publications

Fuzzing: On Benchmarking Outcome as a Function of Benchmark Properties
Dylan Wolff, Marcel Böhme, Abhik Roychoudhury Transactions On Software Engineering Methodology (TOSEM) 2025
PDF (pre-print)

Selectively Uniform Concurrency Testing
Huan Zhao, Dylan Wolff, Umang Mathur, Abhik Roychoudhury
ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) 2025
PDF | BIB | CODE

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 | CODE

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