Benjamin A. Braun
Benjamin A. Braun
Graduate Candidate, CS, Stanford University
Bestätigte E-Mail-Adresse bei stanford.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
1692013
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
1572012
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
1242013
Robust and efficient elimination of cache and timing side channels
BA Braun, S Jana, D Boneh
arXiv preprint arXiv:1506.00189, 2015
422015
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
312015
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
222012
Compiling computations to constraints for verified computation
B Braun
UT Austin Honors Thesis HR-12-10, 2012
142012
Taking Proof based Verified Computation a Few Steps Closer to Practicality (extended version)
S Setty, V Vu, N Panpalia, B Braun, AJ Blumberg, M Walfish
TEXAS UNIV AT AUSTIN AUSTIN United States, 2012
102012
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
92019
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
92017
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
72020
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
In Shape–The Art of Mapping Conformational Epitopes
E Gadermaier
International archives of allergy and immunology 157 (4), 321, 2012
52012
D-graph clusters flaviviruses and β-coronaviruses according to their hosts, disease type and human cell receptors
BA Braun, CH Schein, W Braun
BioRxiv, 2020
22020
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, Report 2013/356, 2013
12013
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
2020
Contents Vol. 157, 2012
A Bozek, A Fisher, B Filipowska, B Mazur, J Jarzab, A Sogut, O Yilmaz, ...
International Archives of Allergy and Immunology 157 (4), I-IV, 2012
2012
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–19