Autor der Publikation

A Deterministic Memory Allocator for Dynamic Symbolic Execution.

, , , , und . ECOOP, Volume 222 von LIPIcs, Seite 9:1-9:26. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)

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

Determination of throughput guarantees for processor-based SmartNICs., , , , , und . CoNEXT, Seite 267-281. ACM, (2021)Design of High-Power High-Frequency Coreless Transformer Systems. MIT, USA, (2022)Multi-level Parallelism for Time- and Cost-Efficient Parallel Discrete Event Simulation on GPUs., , , und . PADS, Seite 23-32. IEEE Computer Society, (2012)SymPerf: Predicting Network Function Performance., , , , , , und . SIGCOMM Posters and Demos, Seite 34-36. ACM, (2017)A Deterministic Memory Allocator for Dynamic Symbolic Execution., , , , und . ECOOP, Volume 222 von LIPIcs, Seite 9:1-9:26. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Artifact for the CAV 2018 Paper: Symbolic Liveness Analysis of Real-World Software., , , , und . (Juli 2018)Artifact for the CAV 2020 Paper: Symbolic Partial-Order Execution for Testing Multi-Threaded Programs., , , , und . (Juli 2020)Automated Memoization for Parameter Studies Implemented in Impure Languages., , , und . SIGSIM-PADS, Seite 221-232. ACM, (2016)Symbolic Partial-Order Execution for Testing Multi-Threaded Programs., , , , und . CAV (1), Volume 12224 von Lecture Notes in Computer Science, Seite 376-400. Springer, (2020)Interoperability-Guided Testing of QUIC Implementations using Symbolic Execution., , und . CoRR, (2018)