Hyperkernel: Push-Button Verification of an OS Kernel. - Luke Nelson; Helgi Sigurbjarnarson; Kaiyuan Zhang 001; Dylan Johnson; James Bornholt; Emina Torlak; Xi Wang 005 (SOSP, 2017)

Innovative last mile delivery concepts: Evaluating last mile delivery using a traffic simulator. - Dylan Johnson; Emmanouil Chaniotakis (MT-ITS, 2021)

SkillScope: A Tool to Predict Fine-Grained Skills Needed to Solve Issues on GitHub. - Benjamin C. Carter; Jonathan Rivas Contreras; Carlos A. Llanes Villegas; Pawan Acharya; Jack Utzerath; Adonijah O. Farner; Hunter Jenkins; Dylan Johnson; Jacob Penney; Igor Steinmacher; Marco Aurélio Gerosa; Fabio Santos (NLBSE@ICSE, 2025)