| Verifying computations with state B Braun, AJ Feldman, Z Ren, S Setty, AJ Blumberg, M Walfish Proceedings of the twenty-fourth ACM Symposium on Operating Systems …, 2013 | 245 | 2013 |
| Taking {Proof-Based} verified computation a few steps closer to practicality S Setty, V Vu, N Panpalia, B Braun, AJ Blumberg, M Walfish 21st USENIX Security Symposium (USENIX Security 12), 253-268, 2012 | 226 | 2012 |
| Resolving the conflict between generality and plausibility in verified computation S Setty, B Braun, V Vu, AJ Blumberg, B Parno, M Walfish Proceedings of the 8th ACM European Conference on Computer Systems, 71-84, 2013 | 174 | 2013 |
| Robust and efficient elimination of cache and timing side channels BA Braun, S Jana, D Boneh arXiv preprint arXiv:1506.00189, 2015 | 64 | 2015 |
| A functional enrichment test for molecular convergent evolution finds a clear protein-coding signal in echolocating bats and whales A Marcovitz, Y Turakhia, HI Chen, M Gloudemans, BA Braun, H Wang, ... Proceedings of the National Academy of Sciences 116 (42), 21094-21103, 2019 | 50 | 2019 |
| Mx1 and Mx2 key antiviral proteins are surprisingly lost in toothed whales BA Braun, A Marcovitz, JG Camp, R Jia, G Bejerano Proceedings of the National Academy of Sciences 112 (26), 8036-8040, 2015 | 50 | 2015 |
| Epitopes with similar physicochemical properties contribute to cross reactivity between peanut and tree nuts JB Nesbit, CH Schein, BA Braun, SAY Gipson, H Cheng, BK Hurlburt, ... Molecular immunology 122, 223-231, 2020 | 29 | 2020 |
| Validation of a phage display and computational algorithm by mapping a conformational epitope of Bla g 2 R Tiwari, SS Negi, B Braun, W Braun, A Pomés, MD Chapman, ... International archives of allergy and immunology 157 (4), 323-330, 2012 | 28 | 2012 |
| Compiling computations to constraints for verified computation B Braun UT Austin Honors Thesis HR-12-10, 2012 | 25 | 2012 |
| DGraph clusters flaviviruses and β-coronaviruses according to their hosts, disease type, and human cell receptors BA Braun, CH Schein, W Braun Bioinformatics and Biology Insights 15, 11779322211020316, 2021 | 15 | 2021 |
| Smart window structures based on highly conductive, transparent metal nanomeshes and thermochromic perovskite films SH Wu, G Cossio, B Braun, FCM Wu, ET Yu Advanced Optical Materials 11 (6), 2202409, 2023 | 11 | 2023 |
| EXCITE-VM: Extending the virtual memory system to support snapshot isolation transactions H Litz, B Braun, D Cheriton Proceedings of the 2016 International Conference on Parallel Architectures …, 2016 | 9 | 2016 |
| A novel unbiased test for molecular convergent evolution and discoveries in echolocating, aquatic and high-altitude mammals A Marcovitz, Y Turakhia, M Gloudemans, BA Braun, HI Chen, G Bejerano bioRxiv, 170985, 2017 | 8 | 2017 |
| Verifying computations with state (extended version) B Braun, AJ Feldman, Z Ren, S Setty, AJ Blumberg, M Walfish Cryptology ePrint Archive, 2013 | 5 | 2013 |
| A novel unbiased test for molecular convergent evolution and discoveries in echolocating, aquatic and high-altitude mammals. bioRxiv A Marcovitz, Y Turakhia, M Gloudemans, BA Braun, HI Chen, G Bejerano | 2 | 2017 |
| ddtrace: Rich performance monitoring in distributed systems B Braun, H Qin Technical report, Stanford University, 2015 | 2 | 2015 |
| Multifactor authentication of secure transmission of data MI Howald, M Walfish, AJ Blumberg, B Braun US Patent App. 17/935,381, 2023 | 1 | 2023 |
| The TRaCaR Ratio: Selecting the Right Storage Technology for Active Dataset-Serving Databases F Romero, B Braun, D Cheriton arXiv preprint arXiv:2006.14793, 2020 | 1 | 2020 |
