Brandon Paulsen

26 papers A* 5B 1Journal 16Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
Validated Code Translation for Projects with External Libraries.
CoRR
Hanliang Zhang, Arindam Sharma, Cristina David, Meng Wang, Brandon Paulsen, Daniel Kroening, Wenjia Ye, Taro Sekiyama
2025 J jnl
Adversarial Agent Collaboration for C to Rust Translation.
CoRR
Tianyu Li, Ruishi Li, Bo Wang, Brandon Paulsen, Umang Mathur, Prateek Saxena
2025 J jnl
Automated Cloud Infrastructure-as-Code Reconciliation with AI Agents.
CoRR
Zhenning Yang, Hui Guan, Victor Nicolet, Brandon Paulsen, Joey Dodds, Daniel Kroening, Ang Chen
2025 J jnl
MatchFixAgent: Language-Agnostic Autonomous Repository-Level Code Translation Validation and Repair.
CoRR
Ali Reza Ibrahimzada, Brandon Paulsen, Reyhaneh Jabbarvand, Joey Dodds, Daniel Kroening
2025 J jnl
Scalable, Validated Code Translation of Entire Projects using Large Language Models.
Proc. ACM Program. Lang.
Hanliang Zhang, Cristina David, Meng Wang, Brandon Paulsen, Daniel Kroening
2025 A* conf
VERT: Polyglot Verified Equivalent Rust Transpilation with Large Language Models.
ASE
Aidan Z. H. Yang, Yoshiki Takashima, Brandon Paulsen, Josiah Dodds, Daniel Kroening
2024 J jnl
Scalable, Validated Code Translation of Entire Projects using Large Language Models.
CoRR
Hanliang Zhang, Cristina David, Meng Wang, Brandon Paulsen, Daniel Kroening
2024 J jnl
Towards Translating Real-World Code with LLMs: A Study of Translating to Rust.
CoRR
Hasan Ferit Eniser, Hanliang Zhang, Cristina David, Meng Wang, Maria Christakis, Brandon Paulsen, Joey Dodds, Daniel Kroening
2024 J jnl
VERT: Verified Equivalent Rust Transpilation with Few-Shot Learning.
CoRR
Aidan Z. H. Yang, Yoshiki Takashima, Brandon Paulsen, Josiah Dodds, Daniel Kroening
2022 — conf
Example Guided Synthesis of Linear Approximations for Neural Network Verification.
CAV (1)
Brandon Paulsen, Chao Wang
2022 — conf
LinSyn: Synthesizing Tight Linear Bounds for Arbitrary Neural Network Activation Functions.
TACAS (1)
Brandon Paulsen, Chao Wang
2022 J jnl
LinSyn: Synthesizing Tight Linear Bounds for Arbitrary Neural Network Activation Functions.
CoRR
Brandon Paulsen, Chao Wang
2021 — conf
Defending Web Servers Against Flash Crowd Attacks.
ACNS (2)
Rajat Tandon, Abhinav Palia, Jaydeep Ramani, Brandon Paulsen, Genevieve Bartlett, Jelena Mirkovic
2021 — conf
DiffRNN: Differential Verification of Recurrent Neural Networks.
FORMATS
Sara Mohammadinejad, Brandon Paulsen, Jyotirmoy V. Deshmukh, Chao Wang
2020 J jnl
DiffRNN: Differential Verification of Recurrent Neural Networks.
CoRR
Sara Mohammadinejad, Brandon Paulsen, Chao Wang, Jyotirmoy V. Deshmukh
2020 A* conf
NEURODIFF: Scalable Differential Verification of Neural Networks using Fine-Grained Approximation.
ASE
Brandon Paulsen, Jingbo Wang, Jiawei Wang, Chao Wang
2020 J jnl
NeuroDiff: Scalable Differential Verification of Neural Networks using Fine-Grained Approximation.
CoRR
Brandon Paulsen, Jingbo Wang, Jiawei Wang, Chao Wang
2020 J jnl
ReluDiff: Differential Verification of Deep Neural Networks.
CoRR
Brandon Paulsen, Jingbo Wang, Chao Wang
2020 A* conf
ReluDiff: differential verification of deep neural networks.
ICSE
Brandon Paulsen, Jingbo Wang, Chao Wang
2019 A* conf
Debreach: Mitigating Compression Side Channels via Static Analysis and Transformation.
ASE
Brandon Paulsen, Chungha Sung, Peter A. H. Peterson, Chao Wang
2019 J jnl
Debreach: Mitigating Compression Side Channels via Static Analysis and Transformation.
CoRR
Brandon Paulsen, Chungha Sung, Peter A. H. Peterson, Chao Wang
2019 B conf
Defending Web Servers Against Flash Crowd Attacks.
ICNP
Rajat Tandon, Abhinav Palia, Jaydeep Ramani, Brandon Paulsen, Genevieve Bartlett, Jelena Mirkovic
2018 J jnl
CANAL: A Cache Timing Analysis Framework via LLVM Transformation.
CoRR
Chungha Sung, Brandon Paulsen, Chao Wang
2018 A* conf
CANAL: a cache timing analysis framework via LLVM transformation.
ASE
Chungha Sung, Brandon Paulsen, Chao Wang
2016 J jnl
A Comparison of Sorting Times between Java 8 and Parallel Colt: an Exploratory Experiment.
ACM SIGSOFT Softw. Eng. Notes
Andrew Brooks, Laura Krebs, Brandon Paulsen
2014 J jnl
Beta-testing a requirements analysis tool.
ACM SIGSOFT Softw. Eng. Notes
Andrew Brooks, Laura Krebs, Brandon Paulsen