Daniel Schemmel

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 15

Top Topics

Test Generation

Symbolic Execution

Top Venues

SIGCOMM Posters and Demos

ACM Trans. Model. Comput. Simul.

Publications

Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack, Cristian Cadar
KDAlloc: The KLEE Deterministic Allocator: Deterministic Memory Allocation during Symbolic Execution and Test Case Replay. ISSTA (2023)
Cristian Cadar, Daniel Schemmel, Arindam Sharma
Patch Specifications via Product Programs. FormaliSE (2023)
Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack, Cristian Cadar
A Deterministic Memory Allocator for Dynamic Symbolic Execution (Artifact). Dagstuhl Artifacts Ser. 8 (2) (2022)
Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack, Cristian Cadar
A Deterministic Memory Allocator for Dynamic Symbolic Execution. ECOOP (2022)
Johannes Krude, Jan Rüth, Daniel Schemmel, Felix Rath, Iohannes-Heorh Folbort, Klaus Wehrle
Determination of throughput guarantees for processor-based SmartNICs. CoNEXT (2021)
Daniel Schemmel, Julian Büning, César Rodríguez, David Laprell, Klaus Wehrle
Symbolic Partial-Order Execution for Testing Multi-Threaded Programs. CoRR (2020)
Daniel Schemmel, Julian Büning, César Rodríguez, David Laprell, Klaus Wehrle
Symbolic Partial-Order Execution for Testing Multi-Threaded Programs. CAV (1) (2020)
Daniel Schemmel, René Glebke, Mirko Stoffers, Klaus Wehrle
Towards Benchmark Optimization by Automated Equivalence Detection. Bench@CPSWeek (2018)
Mirko Stoffers, Daniel Schemmel, Oscar Soria Dustmann, Klaus Wehrle
On Automated Memoization in the Field of Simulation Parameter Studies. ACM Trans. Model. Comput. Simul. 28 (4) (2018)
Daniel Schemmel, Julian Büning, Oscar Soria Dustmann, Thomas Noll, Klaus Wehrle
Symbolic Liveness Analysis of Real-World Software. CAV (2) (2018)
Felix Rath, Daniel Schemmel, Klaus Wehrle
Interoperability-Guided Testing of QUIC Implementations using Symbolic Execution. CoRR (2018)
Felix Rath, Daniel Schemmel, Klaus Wehrle
Interoperability-Guided Testing of QUIC Implementations using Symbolic Execution. EPIQ@CoNEXT (2018)
Daniel Liew, Daniel Schemmel, Cristian Cadar, Alastair F. Donaldson, Rafael Zähl, Klaus Wehrle
Floating-point symbolic execution: a case study in n-version programming. ASE (2017)
Felix Rath, Johannes Krude, Jan Rüth, Daniel Schemmel, Oliver Hohlfeld, Jó Ágila Bitsch, Klaus Wehrle
SymPerf: Predicting Network Function Performance. SIGCOMM Posters and Demos (2017)
Mirko Stoffers, Daniel Schemmel, Oscar Soria Dustmann, Klaus Wehrle
Automated Memoization for Parameter Studies Implemented in Impure Languages. SIGSIM-PADS (2016)
Georg Kunz, Daniel Schemmel, James Gross, Klaus Wehrle
Multi-level Parallelism for Time- and Cost-Efficient Parallel Discrete Event Simulation on GPUs. PADS (2012)