Publications

Agentic Concolic Execution
Zhengxiong Luo, Huan Zhao, Dylan Wolff, Cristian Cadar, Abhik Roychoudhury
(to appear) 47th IEEE Symposium on Security and Privacy (S&P) 2026
PDF (pre-print) | CODE

Large Language Models in Software Security Analysis
Dylan Wolff, Martin Mirchev, Abhik Roychoudhury
(to appear) Communications of the ACM (CACM) 2025
PDF (pre-print)

Shifting Fuzzing Left in Software Workflows
Dylan Wolff, Yannic Noller, Ridwan Shariffdeen, Abhik Roychoudhury
Empirical Software Engineering (EMSE) 2025
PDF | BIB | CODE

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

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