I agree that this site is using cookies. You can find further informations here.
X
Baumann, Andrew
542  results:
Search for persons X
?
1

Proceedings of the 19th Workshop on Hot Topics in Operating..:

Baumann, Andrew ; Crooks, Natacha ; Schwarzkopf, Malte , 2023
Link: https://dl.acm.org/doi/1..
 
?
2

Asymmetric walking on an incline affects aspects of positiv..:

Hurt, Christopher P. ; Kuhman, Daniel J. ; Reed, William R....
Journal of Biomechanics.  136 (2022)  - p. 111083 , 2022
Link: https://doi.org/10.1016/..
 
?
3

Autarky : closing controlled channels with self-paging e..:

, In: Proceedings of the Fifteenth European Conference on Computer Systems,
Orenbach, Meni ; Baumann, Andrew ; Silberstein, Mark - p. 1-16 , 2020
Link: https://dl.acm.org/doi/1..
 
?
4

Proceedings of the 16th ACM SIGPLAN/SIGOPS International Co..:

Nagarakatte, Santosh ; Baumann, Andrew ; Kasikci, Baris , 2020
Link: https://dl.acm.org/doi/1..
 
?
5

A fork() in the road:

, In: Proceedings of the Workshop on Hot Topics in Operating Systems,
Baumann, Andrew ; Appavoo, Jonathan ; Krieger, Orran. - p. 14-22 , 2019
Link: https://dl.acm.org/doi/1..
 
?
6

Scaling symbolic evaluation for automated verification of s..:

, In: Proceedings of the 27th ACM Symposium on Operating Systems Principles,
Nelson, Luke ; Bornholt, James ; Gu, Ronghui... - p. 225-242 , 2019
Link: https://dl.acm.org/doi/1..
 
?
7

Komodo : Using verification to disentangle secure-enclav..:

, In: Proceedings of the 26th Symposium on Operating Systems Principles,
Ferraiuolo, Andrew ; Baumann, Andrew ; Hawblitzel, Chris. - p. 287-305 , 2017
Link: https://dl.acm.org/doi/1..
 
?
8

Hardware is the new Software:

, In: Proceedings of the 16th Workshop on Hot Topics in Operating Systems,
Baumann, Andrew - p. 132-137 , 2017
Link: https://dl.acm.org/doi/1..
 
?
9

Session details: Storage systems:

, In: Proceedings of the 25th Symposium on Operating Systems Principles,
Baumann, Andrew , 2015
Link: https://dl.acm.org/doi/1..
 
?
10

Shielding Applications from an Untrusted Cloud with Haven:

Baumann, Andrew ; Peinado, Marcus ; Hunt, Galen
ACM Transactions on Computer Systems.  33 (2015)  3 - p. 1-26 , 2015
Link: https://doi.org/10.1145/..
 
?
11

Shielding Applications from an Untrusted Cloud with Haven:

Baumann, Andrew ; Peinado, Marcus ; Hunt, Galen
ACM Transactions on Computer Systems (TOCS).  33 (2015)  3 - p. 1-26 , 2015
Link: https://dl.acm.org/doi/1..
 
?
12

Shielding applications from an untrusted cloud with Haven:

, In: Proceedings of the 11th USENIX conference on Operating Systems Design and Implementation,
Baumann, Andrew ; Peinado, Marcus ; Hunt, Galen - p. 267-283 , 2014
Link: https://dl.acm.org/doi/1..
 
?
13

Composing OS extensions safely and efficiently with Bascule:

, In: Proceedings of the 8th ACM European Conference on Computer Systems,
Baumann, Andrew ; Lee, Dongyoon ; Fonseca, Pedro... - p. 239-252 , 2013
Link: https://dl.acm.org/doi/1..
 
?
14

A Declarative Language Approach to Device Configuration:

Schüpbach, Adrian ; Baumann, Andrew ; Roscoe, Timothy.
ACM Transactions on Computer Systems (TOCS).  30 (2012)  1 - p. 1-35 , 2012
Link: https://dl.acm.org/doi/1..
 
?
15

A Declarative Language Approach to Device Configuration:

Schüpbach, Adrian ; Baumann, Andrew ; Roscoe, Timothy.
ACM Transactions on Computer Systems.  30 (2012)  1 - p. 1-35 , 2012
Link: https://doi.org/10.1145/..
 
1-15