Welcome to Willmo3's Website!
👓 About Me
Hello! I'm Will Morris, a recent graduate of James Madison University and incoming CS Ph.D. student at Georgia Tech under Dr. Jacob Laurel.
My research interest centers on applied programming language design for developer productivity. Using novel optimizations and verification techniques, how can we enable developers to write correct high-performance code without being bogged down by low-level details?
I'm particularly interested in the evolution of parallel and distributed languages. "The Rise and Fall of High Performance Fortran" is one of my favorite papers!
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!
Past Research
While at the REUSE program in CMU's SoDA lab, I formalized and prototyped software robustness analysis in the TLA+ modeling language.
Dr. Chris Johnson's Twoville is an educational programming system for generating and visualizing SVG shapes!
I examined avenues for performance improvements in Twoville, like upgrading its interpreter and web runtime, with a specific interest in Rust WebAssembly.
As a research capstone, I evaluated the effectiveness of LLNL's RAJA library, designed for large (~1mil LOC+) codebases, at porting small (~1k LOC) end-user programs across consumer-grade architectures.
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"!
Walc is a multiplatform programming language built to test the performance of an interpreter run on WebAssembly. CLI and web frontends are supported!
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 synchronous, partially synchronous, and asynchronous network channels in TLA+.
It includes faults for synchronous networks that are compatible with FaultCrosser!
Over winter break, I built a Huffman compressor in Rust. It was a bit of a journey!
Tiers is a Minecraft plugin for dynamically expanding world borders in 'tiers'.
NameSet selects a personal Lego set based on your name.