research

My current work centers on artificial societies: deterministic simulation mixed with AI, built so that emergent behavior can be replayed and audited. Alongside that sit narrative knowledge graphs and interactive storytelling systems. Earlier work applied program analysis to systems software, especially error-handling specification inference.

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