Autor der Publikation

Automated Verification of Idempotence for Stateful Serverless Applications.

, , , , und . OSDI, Seite 887-910. USENIX Association, (2023)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

The Concurrent Learned Indexes for Multicore Data Storage., , , , und . ACM Trans. Storage, 18 (1): 8:1-8:35 (2022)The Spatial Mechanism and Predication of Rural Tourism Development in China: A Random Forest Regression Analysis., , und . ISPRS Int. J. Geo Inf., 12 (8): 321 (August 2023)Droid-Sec: deep learning in android malware detection., , , und . SIGCOMM, Seite 371-372. ACM, (2014)Fast In-Memory Transaction Processing Using RDMA and HTM., , , , , , , und . ACM Trans. Comput. Syst., 35 (1): 3:1-3:37 (2017)Ad Hoc Transactions: What They Are and Why We Should Care., , , , , , und . SIGMOD Rec., 52 (1): 7-15 (2023)Replication-Based Fault-Tolerance for Large-Scale Graph Processing., , , , , , , und . IEEE Trans. Parallel Distributed Syst., 29 (7): 1621-1635 (2018)A Combined Neural and Genetic Algorithm Model for Data Center Temperature Control., , , , und . CIMA@ICTAI, Volume 2252 von CEUR Workshop Proceedings, Seite 58-69. CEUR-WS.org, (2018)WeBridge: Synthesizing Stored Procedures for Large-Scale Real-World Web Applications., , , , , , und . Proc. ACM Manag. Data, 2 (1): 64:1-64:29 (Februar 2024)Co-designing the Collaborative Digital Musical Instruments for Group Music Therapy., , , , , , und . CHI, Seite 698:1-698:18. ACM, (2024)On the Parallels between Paxos and Raft, and how to Port Optimizations., , , , und . PODC, Seite 445-454. ACM, (2019)