( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Using Crash Hoare logic for certifying the FSCQ file system.

, , , , , и . SOSP, стр. 18-37. ACM, (2015)

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.

Haykal Tej

Martina Teja

Pedro Tejera Palomares

Iwan Gunawan Tejakusuma

Álvaro Tejero-Cantero

 

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

Amber: Decoupling User Data from Web Applications., , , , , , и . HotOS, USENIX Association, (2015)GoJournal: a verified, concurrent, crash-safe journaling system., , , , , и . OSDI, стр. 423-439. USENIX Association, (2021)Using Crash Hoare Logic for Certifying the FSCQ File System., , , , , и . USENIX ATC, USENIX Association, (2016)Verifying a high-performance crash-safe file system using a tree specification., , , , , , , и . SOSP, стр. 270-286. ACM, (2017)DBSP: Automatic Incremental View Maintenance for Rich Query Languages., , , , и . Proc. VLDB Endow., 16 (7): 1601-1614 (2023)Using Crash Hoare logic for certifying the FSCQ file system., , , , , и . SOSP, стр. 18-37. ACM, (2015)Verifying concurrent software using movers in CSPEC., , , и . OSDI, стр. 306-322. USENIX Association, (2018)Verifying a concurrent, crash-safe file system with sequential reasoning. MIT, USA, (2022)Certifying a file system using crash hoare logic: correctness in the presence of crashes., , , , , и . Commun. ACM, 60 (4): 75-84 (2017)Verifying concurrent, crash-safe systems with Perennial., , , и . SOSP, стр. 243-258. ACM, (2019)