Beta-testing a requirements analysis tool. - Andrew Brooks; Laura Krebs; Brandon Paulsen (ACM SIGSOFT Softw. Eng. Notes, 2014)

A Comparison of Sorting Times between Java 8 and Parallel Colt: an Exploratory Experiment. - Andrew Brooks; Laura Krebs; Brandon Paulsen (ACM SIGSOFT Softw. Eng. Notes, 2016)

CANAL: a cache timing analysis framework via LLVM transformation. - Chungha Sung; Brandon Paulsen; Chao Wang 001 (ASE, 2018)

Defending Web Servers Against Flash Crowd Attacks. - Rajat Tandon; Abhinav Palia; Jaydeep Ramani; Brandon Paulsen; Genevieve Bartlett; Jelena Mirkovic (ICNP, 2019)

Debreach: Mitigating Compression Side Channels via Static Analysis and Transformation. - Brandon Paulsen; Chungha Sung; Peter A. H. Peterson; Chao Wang 001 (ASE, 2019)

ReluDiff: differential verification of deep neural networks. - Brandon Paulsen; Jingbo Wang 006; Chao Wang 001 (ICSE, 2020)

NEURODIFF: Scalable Differential Verification of Neural Networks using Fine-Grained Approximation. - Brandon Paulsen; Jingbo Wang 006; Jiawei Wang; Chao Wang 001 (ASE, 2020)

DiffRNN: Differential Verification of Recurrent Neural Networks. - Sara Mohammadinejad; Brandon Paulsen; Jyotirmoy V. Deshmukh; Chao Wang 001 (FORMATS, 2021)

Example Guided Synthesis of Linear Approximations for Neural Network Verification. - Brandon Paulsen; Chao Wang 001 (CAV (1), 2022)

LinSyn: Synthesizing Tight Linear Bounds for Arbitrary Neural Network Activation Functions. - Brandon Paulsen; Chao Wang 001 (TACAS (1), 2022)

VERT: Verified Equivalent Rust Transpilation with Few-Shot Learning. - Aidan Z. H. Yang; Yoshiki Takashima; Brandon Paulsen; Josiah Dodds; Daniel Kroening (CoRR, 2024)

Towards Translating Real-World Code with LLMs: A Study of Translating to Rust. - Hasan Ferit Eniser; Hanliang Zhang; Cristina David; Meng Wang 002; Maria Christakis; Brandon Paulsen; Joey Dodds; Daniel Kroening (CoRR, 2024)

Scalable, Validated Code Translation of Entire Projects using Large Language Models. - Hanliang Zhang; Cristina David; Meng Wang 002; Brandon Paulsen; Daniel Kroening (Proc. ACM Program. Lang., 2025)