Proceedings of the 27th ACM Symposium on Operating Systems Principles - SOSP '19
Latest Publications

TOTAL DOCUMENTS

38
(FIVE YEARS 0)

H-INDEX

8
(FIVE YEARS 0)

Published By ACM Press

9781450368735
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Parity models

2019 ◽  
Author(s):  
Jack Kosaian ◽  
K. V. Rashmi ◽  
Shivaram Venkataraman

scholarly journals TASO

2019 ◽  
Author(s):  
Zhihao Jia ◽  
Oded Padon ◽  
James Thomas ◽  
Todd Warszawski ◽  
Matei Zaharia ◽  
...  

scholarly journals Niijima

2019 ◽  
Author(s):  
Guoqing Harry Xu ◽  
Margus Veanes ◽  
Michael Barnett ◽  
Madan Musuvathi ◽  
Todd Mytkowicz ◽  
...  

scholarly journals Lineage stash

2019 ◽  
Author(s):  
Stephanie Wang ◽  
John Liagouris ◽  
Robert Nishihara ◽  
Philipp Moritz ◽  
Ujval Misra ◽  
...  

scholarly journals The inflection point hypothesis

2019 ◽  
Author(s):  
Yongle Zhang ◽  
Kirk Rodrigues ◽  
Yu Luo ◽  
Michael Stumm ◽  
Ding Yuan
Keyword(s):  
Inflection Point

scholarly journals Scaling symbolic evaluation for automated verification of systems code with Serval

2019 ◽  
Author(s):  
Luke Nelson ◽  
James Bornholt ◽  
Ronghui Gu ◽  
Andrew Baumann ◽  
Emina Torlak ◽  
...  
Keyword(s):  
Automated Verification ◽  
Symbolic Evaluation

Fast and secure global payments with Stellar

2019 ◽  
Author(s):  
Marta Lokhava ◽  
Giuliano Losa ◽  
David Mazières ◽  
Graydon Hoare ◽  
Nicolas Barry ◽  
...  

scholarly journals Notary

2019 ◽  
Author(s):  
Anish Athalye ◽  
Adam Belay ◽  
M. Frans Kaashoek ◽  
Robert Morris ◽  
Nickolai Zeldovich

KVell

2019 ◽  
Author(s):  
Baptiste Lepers ◽  
Oana Balmau ◽  
Karan Gupta ◽  
Willy Zwaenepoel
Load More ...
Sign in / Sign up

Export Citation Format

Share Document