| ReluDiff: Differential Verification of Deep Neural Networks B Paulsen, J Wang, C Wang 42nd International Conference on Software Engineering (ICSE '20), 2020 | 60 | 2020 |
| Neurodiff: scalable differential verification of neural networks using fine-grained approximation B Paulsen, J Wang, J Wang, C Wang Proceedings of the 35th IEEE/ACM International Conference on Automated …, 2020 | 40 | 2020 |
| CANAL: A cache timing analysis framework via llvm transformation C Sung, B Paulsen, C Wang The 33rd IEEE/ACM International Conference on Automated Software Engineering …, 2018 | 34 | 2018 |
| DiffRNN: differential verification of recurrent neural networks S Mohammadinejad, B Paulsen, JV Deshmukh, C Wang Formal Modeling and Analysis of Timed Systems: 19th International Conference …, 2021 | 22 | 2021 |
| LinSyn: Synthesizing tight linear bounds for arbitrary neural network activation functions B Paulsen, C Wang International Conference on Tools and Algorithms for the Construction and …, 2022 | 16 | 2022 |
| Debreach: Mitigating Compression Side Channels via Static Analysis and Transformation B Paulsen, C Sung, PAH Peterson, C Wang The 34th IEEE/ACM International Conference on Automated Software Engineering …, 2019 | 14 | 2019 |
| Defending web servers against flash crowd attacks R Tandon, A Palia, J Ramani, B Paulsen, G Bartlett, J Mirkovic International Conference on Applied Cryptography and Network Security, 338-361, 2021 | 10 | 2021 |
| Towards translating real-world code with llms: A study of translating to rust HF Eniser, H Zhang, C David, M Wang, M Christakis, B Paulsen, J Dodds, ... arXiv preprint arXiv:2405.11514, 2024 | 9 | 2024 |
| Example guided synthesis of linear approximations for neural network verification B Paulsen, C Wang International Conference on Computer Aided Verification, 149-170, 2022 | 9 | 2022 |
| Beta-testing a requirements analysis tool A Brooks, L Krebs, B Paulsen ACM SIGSOFT Software Engineering Notes 39 (5), 1-6, 2014 | 7 | 2014 |
| Vert: Verified equivalent rust transpilation with few-shot learning AZH Yang, Y Takashima, B Paulsen, J Dodds, D Kroening arXiv preprint arXiv:2404.18852, 2024 | 6 | 2024 |
| Reludiff: Differential verification of deep neural networks. In 2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE) B Paulsen, J Wang, C Wang IEEE, 2020 | 5 | 2020 |
| debreach: Selective Dictionary Compression to Prevent BREACH and CRIME B Paulsen University of Minnesota, Duluth, 2017 | 2 | 2017 |
| Towards Translating Real-World Code with LLMs: A Study of Translating to Rust H Ferit Eniser, H Zhang, C David, M Wang, M Christakis, B Paulsen, ... arXiv e-prints, arXiv: 2405.11514, 2024 | | 2024 |
| A Comparison of Sorting Times between Java 8 and Parallel Colt: an Exploratory Experiment A Brooks, L Krebs, B Paulsen ACM SIGSOFT Software Engineering Notes 41 (4), 1-5, 2016 | | 2016 |
Chao WangUniversity of Southern CaliforniaVerified email at usc.edu
