Daniel Schemmel

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