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

Schemmel, Daniel; Büning, Julian; Busse, Frank; Nowack, Martin; Cadar, Cristian; Schemmel, Daniel; Büning, Julian; Busse, Frank; Nowack, Martin; Cadar, Cristian; Krude, Johannes; Rüth, Jan; Schemmel, Daniel; Rath, Felix; Folbort, Iohannes-Heorh; Wehrle, Klaus; Schemmel, Daniel; Büning, Julian; Rodríguez, César; Laprell, David; Wehrle, Klaus; Rath, Felix; Schemmel, Daniel; Wehrle, Klaus; Stoffers, Mirko; Schemmel, Daniel; Soria Dustmann, Oscar; Wehrle, Klaus; Schemmel, Daniel; Büning, Julian; Soria Dustmann, Oscar; Noll, Thomas; Wehrle, Klaus; Schemmel, Daniel; Glebke, René; Stoffers, Mirko; Wehrle, Klaus; Liew, Daniel; Schemmel, Daniel; Cadar, Cristian; Donaldson, Alastair; Zähl, Rafael; Wehrle, Klaus; Rath, Felix; Krude, Johannes; Rüth, Jan; Schemmel, Daniel; Hohlfeld, Oliver; Bitsch Link, Jó Agila; Wehrle, Klaus; Stoffers, Mirko; Schemmel, Daniel; Soria Dustmann, Oscar; Wehrle, Klaus; Kunz, Georg; Schemmel, Daniel; Gross, James; Wehrle, Klaus

doi:10.1145/3597926.3604921

Publications

Year:

All :: 2012, ... , 2017, 2018, 2020, ... , 2023

Author:

All :: A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, Ö, P, Q, R, S, T, U, V, W, X, Y, Z

All :: Saad, ... , Scheitle, Schemmel, Scheurenberg, ... , Stüble

2023
12.	Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack, and Cristian Cadar KDAlloc: The KLEE Deterministic Allocator: Deterministic Memory Allocation during Symbolic Execution and Test Case Replay ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2023) July 2023 DOI: 10.1145/3597926.3604921
2022
11.	Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack, and Cristian Cadar A Deterministic Memory Allocator for Dynamic Symbolic Execution European Conference on Object-Oriented Programming (ECOOP 2022) June 2022 DOI: 10.4230/LIPIcs.ECOOP.2022.9
2021
10.	Johannes Krude, Jan Rüth, Daniel Schemmel, Felix Rath, Iohannes-Heorh Folbort, and Klaus Wehrle Determination of Throughput Guarantees for Processor-based SmartNICs The 17th International Conference on emerging Networking EXperiments and Technologies (CoNEXT '21) Publisher: ACM, December 2021 DOI: 10.1145/3485983.3494842 ISBN: 978-1-4503-9098-9/21/12
2020
9.	Daniel Schemmel, Julian Büning, César Rodríguez, David Laprell, and Klaus Wehrle Symbolic Partial-Order Execution for Testing Multi-Threaded Programs Computer Aided Verification (CAV 2020) July 2020 DOI: 10.1007/978-3-030-53288-8_18 https://arxiv.org/abs/2005.06688
2018
8.	Felix Rath, Daniel Schemmel, and Klaus Wehrle Interoperability-Guided Testing of QUIC Implementations using Symbolic Execution EPIQ'18 Workshop Paper Heraklion, Greece, 4.12.2018 Publisher: ACM, December 2018 DOI: 10.1145/3284850.3284853 ISBN: 978-1-4503-6082-1 https://dl.acm.org/citation.cfm?id=3284853 https://arxiv.org/abs/1811.12099
7.	Mirko Stoffers, Daniel Schemmel, Oscar Soria Dustmann, and Klaus Wehrle On Automated Memoization in the Field of Simulation Parameter Studies ACM Transactions on Modeling and Computer Simulation (TOMACS), 28(4):26:1-26:25 October 2018 DOI: 10.1145/3186316
6.	Daniel Schemmel, Julian Büning, Oscar Soria Dustmann, Thomas Noll, and Klaus Wehrle Symbolic Liveness Analysis of Real-World Software Computer Aided Verification (CAV 2018) July 2018 DOI: 10.1007/978-3-319-96142-2_27
5.	Daniel Schemmel, René Glebke, Mirko Stoffers, and Klaus Wehrle Towards Benchmark Optimization by Automated Equivalence Detection Proceedings of the 1st Workshop on Benchmarking Cyber-Physical Networks and Systems (CPSBench'18) April 2018 DOI: 10.1109/CPSBench.2018.00011 ISBN: 978-1-5386-6742-2
2017
4.	Daniel Liew, Daniel Schemmel, Cristian Cadar, Alastair Donaldson, Rafael Zähl, and Klaus Wehrle Floating-Point Symbolic Execution: A Case Study in N-Version Programming Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering October 2017 ISBN: 978-1-5386-2684-9/17
3.	Felix Rath, Johannes Krude, Jan Rüth, Daniel Schemmel, Oliver Hohlfeld, Jó Agila Bitsch Link, and Klaus Wehrle SymPerf: Predicting Network Function Performance ACM SIGCOMM 2017 Poster Los Angeles, USA, 21.8.2017 - 25.8.2017 Publisher: ACM, August 2017 DOI: 10.1145/3123878.3131977 ISBN: 978-1-4503-5057-0/17/08
2016
2.	Mirko Stoffers, Daniel Schemmel, Oscar Soria Dustmann, and Klaus Wehrle Automated Memoization for Parameter Studies Implemented in Impure Languages Proceedings of the 4th ACM SIGSIM/PADS Conference on Principles of Advanced Discrete Simulation (SIGSIM-PADS’16), Banff, AB, Canada, page 221-232. Publisher: ACM, New York, NY May 2016 DOI: 10.1145/2901378.2901386
2012
1.	Georg Kunz, Daniel Schemmel, James Gross, and Klaus Wehrle Multi-level Parallelism for Time- and Cost-efficient Parallel Discrete Event Simulation on GPUs Proceedings of the 26th ACM/IEEE/SCS Workshop on Principles of Advanced and Distributed Simulation (PADS'12), Zhangjiajie, China, page 23--32. Publisher: IEEE, July 2012 DOI: 10.1109/PADS.2012.27 ISBN: 978-0-7695-4714-5

Export as:

BibTeX, XML

2023

2022

2021

2020

2018

2017

2016

2012