From post

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.

 

Другие публикации лиц с тем же именем

Sketching for Latent Dirichlet-Categorical Models., , и . AISTATS, том 89 из Proceedings of Machine Learning Research, стр. 256-265. PMLR, (2019)GoJournal: a verified, concurrent, crash-safe journaling system., , , , , и . OSDI, стр. 423-439. USENIX Association, (2021)Verifying vMVCC, a high-performance transaction library using multi-version concurrency control., , , , , и . OSDI, стр. 871-886. USENIX Association, (2023)Verifying the DaisyNFS concurrent and crash-safe file system with sequential reasoning., , , , и . OSDI, стр. 447-463. USENIX Association, (2022)Almost-Sure Termination by Guarded Refinement., , , , и . CoRR, (2024)A separation logic for negative dependence., , , и . Proc. ACM Program. Lang., 6 (POPL): 1-29 (2022)On Building Modular and Elastic Data Structures with Bulk Operations., , , , , , и . ICDCN, стр. 237-238. ACM, (2021)The K2 Architecture for Trustworthy Hardware Security Modules., , , и . KISV@SOSP, стр. 26-32. ACM, (2023)Transfinite Iris: resolving an existential dilemma of step-indexed separation logic., , , , , , и . PLDI, стр. 80-95. ACM, (2021)RockSalt: better, faster, stronger SFI for the x86., , , , и . PLDI, стр. 395-404. ACM, (2012)