Dylan J. Wolff

Applied Scientist at Amazon Web Services

About Me

Before starting at AWS, I completed my PhD at the National University of Singapore, advised by Abhik Roychoudhury and my masters at ETH Zürich.

My research goals revolve around using program analysis to find, prevent, and fix bugs in real-world software. Recently, I have been focused on investigating novel automated testing approaches for concurrent programs. I’ve created several systems which can replace the OS scheduler to deterministically control and reorder concurrent program executions. Along with these systems, I’ve developed novel randomized algorithms which can efficiently search the space of program behaviors or bugs. Now, at AWS, I am looking into ways to apply these techniques and other formal methods to distributed storage within the Amazon Elastic File System. I’ve also worked on components for a Rust deductive verification framework, researched the use of AI agents for security testing, and a created domain specific fuzzer for SMT solvers. In a past life, before I became a researcher I worked at Mathworks as a software engineer on a variety of projects, mostly involving testing and deployment infrastructure for web applications.

Fun Fact:

I am a (semi)-retired competitive ultimate frisbee player. Over the course of roughly 12 years of competition, I played in two different semi-professional leagues and also won a world championship in 2013 with team USA in Toronto.

About This Site:

This website was created with a simple static site generator I wrote in Rust. You can see the code for it on my Github.