Brandon Paulsen

According to our database, Brandon Paulsen authored at least 12 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Towards Translating Real-World Code with LLMs: A Study of Translating to Rust.

Hasan Ferit Eniser, Hanliang Zhang, Cristina David, Meng Wang, Maria Christakis, Brandon Paulsen, Joey Dodds, Daniel Kroening

CoRR, 2024

VERT: Verified Equivalent Rust Transpilation with Few-Shot Learning.

Aidan Z. H. Yang, Yoshiki Takashima, Brandon Paulsen, Josiah Dodds, Daniel Kroening

CoRR, 2024

2022

LinSyn: Synthesizing Tight Linear Bounds for Arbitrary Neural Network Activation Functions.

Brandon Paulsen, Chao Wang

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

Example Guided Synthesis of Linear Approximations for Neural Network Verification.

Brandon Paulsen, Chao Wang

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021

DiffRNN: Differential Verification of Recurrent Neural Networks.

Sara Mohammadinejad, Brandon Paulsen, Jyotirmoy V. Deshmukh, Chao Wang

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2021

2020

NEURODIFF: Scalable Differential Verification of Neural Networks using Fine-Grained Approximation.

Brandon Paulsen, Jingbo Wang, Jiawei Wang, Chao Wang

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

ReluDiff: differential verification of deep neural networks.

Brandon Paulsen, Jingbo Wang, Chao Wang

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

2019

Debreach: Mitigating Compression Side Channels via Static Analysis and Transformation.

Brandon Paulsen, Chungha Sung, Peter A. H. Peterson, Chao Wang

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

Defending Web Servers Against Flash Crowd Attacks.

Rajat Tandon, Abhinav Palia, Jaydeep Ramani, Brandon Paulsen, Genevieve Bartlett, Jelena Mirkovic

Proceedings of the 27th IEEE International Conference on Network Protocols, 2019

2018

CANAL: a cache timing analysis framework via LLVM transformation.

Chungha Sung, Brandon Paulsen, Chao Wang

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

2016

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

2014

Beta-testing a requirements analysis tool.

Andrew Brooks, Laura Krebs, Brandon Paulsen

ACM SIGSOFT Softw. Eng. Notes, 2014