( en | de | ru )

 

Disambiguation of "Paulsen, Brandon"

Author of the publication

copydeleteadd this publication to your clipboard
NEURODIFF: Scalable Differential Verification of Neural Networks using Fine-Grained Approximation.

, , , and . ASE, page 784-796. IEEE, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Brandon Dravie

Brandon Look

Brandon Rothrock

Brandon Cline

Brandon Noia

 

Other publications of authors with the same name

Defending Web Servers Against Flash Crowd Attacks., , , , , and . ICNP, page 1-2. IEEE, (2019)NEURODIFF: Scalable Differential Verification of Neural Networks using Fine-Grained Approximation., , , and . ASE, page 784-796. IEEE, (2020)ReluDiff: differential verification of deep neural networks., , and . ICSE, page 714-726. ACM, (2020)VERT: Verified Equivalent Rust Transpilation with Few-Shot Learning., , , , and . CoRR, (2024)Towards Translating Real-World Code with LLMs: A Study of Translating to Rust., , , , , , , and . CoRR, (2024)Debreach: Mitigating Compression Side Channels via Static Analysis and Transformation., , , and . ASE, page 899-911. IEEE, (2019)LinSyn: Synthesizing Tight Linear Bounds for Arbitrary Neural Network Activation Functions., and . TACAS (1), volume 13243 of Lecture Notes in Computer Science, page 357-376. Springer, (2022)DiffRNN: Differential Verification of Recurrent Neural Networks., , , and . FORMATS, volume 12860 of Lecture Notes in Computer Science, page 117-134. Springer, (2021)CANAL: a cache timing analysis framework via LLVM transformation., , and . ASE, page 904-907. ACM, (2018)Example Guided Synthesis of Linear Approximations for Neural Network Verification., and . CAV (1), volume 13371 of Lecture Notes in Computer Science, page 149-170. Springer, (2022)