Daniel Schemmel

According to our database, Daniel Schemmel authored at least 17 papers between 2012 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

KDAlloc: The KLEE Deterministic Allocator: Deterministic Memory Allocation during Symbolic Execution and Test Case Replay.

Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack, Cristian Cadar

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

Patch Specifications via Product Programs.

Cristian Cadar, Daniel Schemmel, Arindam Sharma

Proceedings of the 11th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2023

2022

Design of High-Power High-Frequency Coreless Transformer Systems

Daniel Schemmel

PhD thesis, 2022

A Deterministic Memory Allocator for Dynamic Symbolic Execution (Artifact).

Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack, Cristian Cadar

Dagstuhl Artifacts Ser., 2022

A Deterministic Memory Allocator for Dynamic Symbolic Execution.

Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack, Cristian Cadar

Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

2021

Determination of throughput guarantees for processor-based SmartNICs.

Johannes Krude, Jan Rüth, Daniel Schemmel, Felix Rath, Iohannes-Heorh Folbort, Klaus Wehrle

Proceedings of the CoNEXT '21: The 17th International Conference on emerging Networking EXperiments and Technologies, Virtual Event, Munich, Germany, December 7, 2021

2020

Artifact for the CAV 2020 Paper: Symbolic Partial-Order Execution for Testing Multi-Threaded Programs.

Daniel Schemmel, Julian Büning, César Rodríguez, David Laprell, Klaus Wehrle

Dataset, July, 2020

Symbolic Partial-Order Execution for Testing Multi-Threaded Programs.

Daniel Schemmel, Julian Büning, César Rodríguez, David Laprell, Klaus Wehrle

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2018

Artifact for the CAV 2018 Paper: Symbolic Liveness Analysis of Real-World Software.

Daniel Schemmel, Julian Büning, Oscar Soria Dustmann, Thomas Noll, Klaus Wehrle

Dataset, July, 2018

On Automated Memoization in the Field of Simulation Parameter Studies.

Mirko Stoffers, Daniel Schemmel, Oscar Soria Dustmann, Klaus Wehrle

ACM Trans. Model. Comput. Simul., 2018

Towards Benchmark Optimization by Automated Equivalence Detection.

Daniel Schemmel, René Glebke, Mirko Stoffers, Klaus Wehrle

Proceedings of the Workshop on Benchmarking Cyber-Physical Networks and Systems, 2018

Interoperability-Guided Testing of QUIC Implementations using Symbolic Execution.

Felix Rath, Daniel Schemmel, Klaus Wehrle

Proceedings of the Workshop on the Evolution, 2018

Symbolic Liveness Analysis of Real-World Software.

Daniel Schemmel, Julian Büning, Oscar Soria Dustmann, Thomas Noll, Klaus Wehrle

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017

SymPerf: Predicting Network Function Performance.

Felix Rath, Johannes Krude, Jan Rüth, Daniel Schemmel, Oliver Hohlfeld, Jó Ágila Bitsch, Klaus Wehrle

Proceedings of the Posters and Demos Proceedings of the Conference of the ACM Special Interest Group on Data Communication, 2017

Floating-point symbolic execution: a case study in n-version programming.

Daniel Liew, Daniel Schemmel, Cristian Cadar, Alastair F. Donaldson, Rafael Zähl, Klaus Wehrle

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

2016

Automated Memoization for Parameter Studies Implemented in Impure Languages.

Mirko Stoffers, Daniel Schemmel, Oscar Soria Dustmann, Klaus Wehrle

Proceedings of the 2016 annual ACM Conference on SIGSIM Principles of Advanced Discrete Simulation, 2016

2012

Multi-level Parallelism for Time- and Cost-Efficient Parallel Discrete Event Simulation on GPUs.

Georg Kunz, Daniel Schemmel, James Gross, Klaus Wehrle

Proceedings of the 26th ACM/IEEE/SCS Workshop on Principles of Advanced and Distributed Simulation, 2012