Welcome to Will Morris's Website!
👓 About Me
Hello! I'm Will Morris, a CS Ph.D. student at Georgia Tech advised by Dr. Jacob Laurel. I research strategies for verifying correctness properties of scientific programs at scale.
Currently, I'm building a new verification framework for nonlinear, multidimensional hyperbolic PDEs. My artifacts include the verified PDE solver PDEnclose and the numeric program analysis suite DiffDomain.
If you'd like to discuss how formal methods are evolving to support scientific computing and machine learning, feel free to email me at wmorris49@gatech.edu!
Outside of work, I enjoy the finer things in life, like Minecraft, Freeciv, and Legos. I also like to touch grass with walks and hikes!
Projects
I run the Williserver Minecraft server, along with a suite of accompanying plugins and scripts.
As an aside, this website is named for the eponymous Minecraft server!
Over Covid, I started playing a Civ2 clone called Freeciv with my friends.
Now I've got a whole collection of Freeciv utilities called "Beeciv"!
PDEnclose uses program analysis to guarantee the robustness of numerical PDE solver methods against common failures like shock wave formation.
DiffDomain is a library of abstract interpreters for numeric programs and scientific computing.
It reinterprets scalar programs to operate over entire ranges of values!
HPCarver is a C++ implementation of seam carving, a dynamic programming algorithm for image resizing.
This artifact compares LLNL's RAJA performance portability with other parallelization libraries, such as CUDA and OpenMP.
FaultCrosser is a tool for automatically calculating the robustness of fault-centered TLA+ libraries.
It reports the maximal combinations of faults a TLA+ model is robust against!
RobustNet models network channels in TLA+. Its interface is compatible with FaultCrosser!
Over winter break, I built a Huffman compressor in Rust. It was a bit of a journey!
NameSet selects a personal Lego set based on your name.