Daniel Schemmel

18 papers A* 1A 3B 1Journal 5Unranked 7

Year	Rank	Type	Title / 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