Autor der Publikation

Understanding and automatically detecting conflicting interactions between smart home IoT applications.

, , , , , und . ESEC/SIGSOFT FSE, Seite 1215-1227. ACM, (2020)

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

Mako: a low-pause, high-throughput evacuating collector for memory-disaggregated datacenters., , , , , , , und . PLDI, Seite 92-107. ACM, (2022)Dorylus: Affordable, Scalable, and Accurate GNN Training with Distributed CPU Servers and Serverless Threads., , , , , , , , , und 1 andere Autor(en). OSDI, Seite 495-514. USENIX Association, (2021)MemLiner: Lining up Tracing and Application for a Far-Memory-Friendly Runtime., , , , , , , und . OSDI, Seite 35-53. USENIX Association, (2022)PerfDebug: Performance Debugging of Computation Skew in Dataflow Systems., , , und . SoCC, Seite 465-476. ACM, (2019)Grapple: A Graph System for Static Finite-State Property Checking of Large-Scale Systems Code., , , , , , , , und . EuroSys, Seite 38:1-38:17. ACM, (2019)Niijima: sound and automated computation consolidation for efficient multilingual data-parallel pipelines., , , , , , , und . SOSP, Seite 306-321. ACM, (2019)Gerenuk: thin computation over big native data using speculative program transformation., , , , , , und . SOSP, Seite 538-553. ACM, (2019)Leveraging Hardware Probes and Optimizations for Accelerating Fuzz Testing of Heterogeneous Applications., , , , und . ESEC/SIGSOFT FSE, Seite 1101-1113. ACM, (2023)Yashme: detecting persistency races., , und . ASPLOS, Seite 830-845. ACM, (2022)Crafty: efficient, HTM-compatible persistent transactions., , und . PLDI, Seite 59-74. ACM, (2020)