Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Verifying a high-performance crash-safe file system using a tree specification., , , , , , , and . SOSP, page 270-286. ACM, (2017)Physical Cyclic Animations., , , and . Proc. ACM Comput. Graph. Interact. Tech., 6 (3): 45:1-45:18 (August 2023)Role Detection in Bicycle-Sharing Networks Using Multilayer Stochastic Block Models., , , , , and . CoRR, (2019)Wave Simulations in Infinite Spacetime., , , and . CoRR, (2023)Fluid Cohomology., , , , and . ACM Trans. Graph., 42 (4): 126:1-126:25 (August 2023)Exoshuffle: An Extensible Shuffle Architecture., , , , , , , , , and . SIGCOMM, page 564-577. ACM, (2023)Training Classifiers with Natural Language Explanations., , , , , and . ACL (1), page 1884-1895. Association for Computational Linguistics, (2018)Training Classifiers with Natural Language Explanations, , , , , and . arXiv preprint arXiv:1805.03818, (2018)Practical Volume-Based Attacks on Encrypted Databases., , , and . EuroS&P, page 354-369. IEEE, (2020)Lineage stash: fault tolerance off the critical path., , , , , , and . SOSP, page 338-352. ACM, (2019)