Brandon Paulsen

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 18

Top Topics

Activation Function

Top Venues

ACM SIGSOFT Softw. Eng. Notes

Publications

Hasan Ferit Eniser, Hanliang Zhang, Cristina David, Meng Wang, Maria Christakis, Brandon Paulsen, Joey Dodds, Daniel Kroening
Towards Translating Real-World Code with LLMs: A Study of Translating to Rust. CoRR (2024)
Aidan Z. H. Yang, Yoshiki Takashima, Brandon Paulsen, Josiah Dodds, Daniel Kroening
VERT: Verified Equivalent Rust Transpilation with Few-Shot Learning. CoRR (2024)
Brandon Paulsen, Chao Wang
LinSyn: Synthesizing Tight Linear Bounds for Arbitrary Neural Network Activation Functions. TACAS (1) (2022)
Brandon Paulsen, Chao Wang
Example Guided Synthesis of Linear Approximations for Neural Network Verification. CAV (1) (2022)
Brandon Paulsen, Chao Wang
LinSyn: Synthesizing Tight Linear Bounds for Arbitrary Neural Network Activation Functions. CoRR (2022)
Sara Mohammadinejad, Brandon Paulsen, Jyotirmoy V. Deshmukh, Chao Wang
DiffRNN: Differential Verification of Recurrent Neural Networks. FORMATS (2021)
Rajat Tandon, Abhinav Palia, Jaydeep Ramani, Brandon Paulsen, Genevieve Bartlett, Jelena Mirkovic
Defending Web Servers Against Flash Crowd Attacks. ACNS (2) (2021)
Brandon Paulsen, Jingbo Wang, Jiawei Wang, Chao Wang
NeuroDiff: Scalable Differential Verification of Neural Networks using Fine-Grained Approximation. CoRR (2020)
Brandon Paulsen, Jingbo Wang, Chao Wang
ReluDiff: differential verification of deep neural networks. ICSE (2020)
Sara Mohammadinejad, Brandon Paulsen, Chao Wang, Jyotirmoy V. Deshmukh
DiffRNN: Differential Verification of Recurrent Neural Networks. CoRR (2020)
Brandon Paulsen, Jingbo Wang, Chao Wang
ReluDiff: Differential Verification of Deep Neural Networks. CoRR (2020)
Brandon Paulsen, Jingbo Wang, Jiawei Wang, Chao Wang
NEURODIFF: Scalable Differential Verification of Neural Networks using Fine-Grained Approximation. ASE (2020)
Rajat Tandon, Abhinav Palia, Jaydeep Ramani, Brandon Paulsen, Genevieve Bartlett, Jelena Mirkovic
Defending Web Servers Against Flash Crowd Attacks. ICNP (2019)
Brandon Paulsen, Chungha Sung, Peter A. H. Peterson, Chao Wang
Debreach: Mitigating Compression Side Channels via Static Analysis and Transformation. CoRR (2019)
Brandon Paulsen, Chungha Sung, Peter A. H. Peterson, Chao Wang
Debreach: Mitigating Compression Side Channels via Static Analysis and Transformation. ASE (2019)
Chungha Sung, Brandon Paulsen, Chao Wang
CANAL: A Cache Timing Analysis Framework via LLVM Transformation. CoRR (2018)
Chungha Sung, Brandon Paulsen, Chao Wang
CANAL: a cache timing analysis framework via LLVM transformation. ASE (2018)
Andrew Brooks, Laura Krebs, Brandon Paulsen
A Comparison of Sorting Times between Java 8 and Parallel Colt: an Exploratory Experiment. ACM SIGSOFT Softw. Eng. Notes 41 (4) (2016)
Andrew Brooks, Laura Krebs, Brandon Paulsen
Beta-testing a requirements analysis tool. ACM SIGSOFT Softw. Eng. Notes 39 (5) (2014)