Dylan J. Wolff

PhD Candidate in Computer Science at NUS

About Me

I am currently pursuing my PhD at the National University of Singapore, advised by Abhik Roychoudhury. Before this, I completed my masters at ETH Zürich. Previously, I also have worked at Mathworks on a variety of projects, mostly involving testing and deployment infrastructure for web applications.

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 (sequentially consistent) instruction interleavings for interesting program behaviors or bugs. In my past research, I’ve worked on components for a Rust verification framework and a domain specific fuzzer for SMT solvers.

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.