Follow
Benjamin A. Braun
Benjamin A. Braun
Graduate Candidate, CS, Stanford University
Verified email at stanford.edu - Homepage
Title
Cited by
Cited by
Year
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
2002013
Taking Proof-Based Verified Computation a Few Steps Closer to Practicality.
STV Setty, V Vu, N Panpalia, B Braun, AJ Blumberg, M Walfish
USENIX Security Symposium, 253-268, 2012
1902012
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
1472013
Robust and efficient elimination of cache and timing side channels
BA Braun, S Jana, D Boneh
arXiv preprint arXiv:1506.00189, 2015
502015
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
382015
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
262019
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
242012
Compiling computations to constraints for verified computation
B Braun
UT Austin Honors Thesis HR-12-10, 2012
192012
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
182020
Taking proof-based verified computation a few steps closer to practicality (extended version)
S Setty, V Vu, N Panpalia, B Braun, M Ali, AJ Blumberg, M Walfish
Cryptology ePrint Archive, 2012
102012
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
92021
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
72017
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
72016
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
22017
ddtrace: Rich performance monitoring in distributed systems
B Braun, H Qin
Technical report, Stanford University, 2015
22015
Verifying computations with state (extended version)
B Braun, AJ Feldman, Z Ren, S Setty, AJ Blumberg, M Walfish
Cryptology ePrint Archive, 2013
22013
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
12020
usenix conference policies
S Setty, V Vu, N Panpalia, B Braun, AJ Blumberg, M Walfish
The system can't perform the operation now. Try again later.
Articles 1–18