Author of the publication

Automated Verification of Idempotence for Stateful Serverless Applications.

, , , , and . OSDI, page 887-910. USENIX Association, (2023)

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

Proving Query Equivalence Using Linear Integer Arithmetic., , , , , , , and . Proc. ACM Manag. Data, 1 (4): 227:1-227:26 (December 2023)Using concurrent relational logic with helpers for verifying the AtomFS file system., , , , , and . SOSP, page 259-274. ACM, (2019)Retrieving Lab Test Related Questions from Social Q&A Sites by Combining Shallow Features and Deep Representations., , , , and . AMIA, AMIA, (2020)AGRank: Augmented Graph-based Unsupervised Keyphrase Extraction., and . AACL/IJCNLP (1), page 230-239. Association for Computational Linguistics, (2022)AttentionRank: Unsupervised Keyphrase Extraction using Self and Cross Attentions., and . EMNLP (1), page 1919-1928. Association for Computational Linguistics, (2021)Automated Verification of Idempotence for Stateful Serverless Applications., , , , and . OSDI, page 887-910. USENIX Association, (2023)Research on multithread programming method based on Java programming., and . AIAM (ACM), page 2405-2412. ACM, (2021)WeTune: Automatic Discovery and Verification of Query Rewrite Rules., , , , , , , , and . SIGMOD Conference, page 94-107. ACM, (2022)AC-YOLOv4: an object detection model incorporating attention mechanism and atrous convolution for contraband detection in x-ray images., , and . Multim. Tools Appl., 83 (9): 26485-26504 (March 2024)Attention-based Unsupervised Keyphrase Extraction and Phrase Graph for COVID-19 Medical Literature Retrieval., and . ACM Trans. Comput. Heal., 3 (1): 12:1-12:16 (2022)