research

I have a wide range of research topics that I am interested in, and I prioritize projects that give students research experience. My artificial societies research group is currently working at the intersection of high-performance computing and emergent LLM behavior, including narrative understanding and interactive storytelling systems.

My PhD (2019) work was in the application of vector embeddings to systems software. This is where I learned to love and hate static program analysis and compilers.

And I have a long-standing interest in software security. My first research projects as a student all revolved around memory forensics and low-level systems exploitation. My 2012 master's thesis, Android Privacy Through Encryption, presented one of the first Android implementations of per-application encryption with key removal on screen lock, designed to limit exposure to forensic acquisition.

Peer-reviewed publications

2025

The Wizard in the Town Plaza: Voice-Based Interactive Storytelling in Public Spaces

D. DeFreez, J. Harrower, T. Wood, C. Salbato

ICCC 2025 best poster · pdf

2023

Transpiling Nand2Tetris to VHDL for Teaching Digital Logic

N. Mogensen, D. DeFreez

ITiCSE 2023 · doi

2020

Detecting and Reproducing Error-Code Propagation Bugs in MPI Implementations

D. DeFreez, A. Bhowmick, I. Laguna, C. Rubio-González

PPoPP 2020 · doi

2019

Effective Error Specification Inference via Domain Knowledge Expansion

D. DeFreez, H. M. Baldwin, C. Rubio-González, A. V. Thakur

ESEC/FSE 2019 · doi

2018

Path-Based Function Embedding and its Application to Error-Handling Specification Mining

D. DeFreez, A. V. Thakur, C. Rubio-González

ESEC/FSE 2018 · doi

Mining Error-Handling Specifications for Systems Software

D. DeFreez

ESEC/FSE 2018, ACM Student Research Competition 1st place · doi

Path-Based Function Embeddings

D. DeFreez, A. V. Thakur, C. Rubio-González

ICSE 2018, poster · doi

2014

A First Look at Firefox OS Security

D. DeFreez, B. Shastry, J.-P. Seifert

MoST 2014 · pdf · arxiv

Theses

Unlikely Paths: Error-handling Specification Inference for Software that Uses the Return-code Idiom

PhD dissertation, University of California, Davis, 2019

Android Privacy Through Encryption

Master's thesis, Southern Oregon University, May 2012

Blog posts

These articles were published on my blog and are not peer reviewed.

Evil maid goes after WhisperCore: why we need a securable bootloader

September 25, 2011

Bypassing LastPass Mobile UUID Restrictions

February 19, 2011