A Deterministic Memory Allocator for Dynamic Symbolic Execution

Schemmel, Daniel; Büning, Julian; Busse, Frank; Nowack, Martin; Cadar, Cristian; Schemmel, Daniel; Büning, Julian; Rodríguez, César; Laprell, David; Wehrle, Klaus; Schemmel, Daniel; Büning, Julian; Soria Dustmann, Oscar; Noll, Thomas; Wehrle, Klaus

doi:10.4230/LIPIcs.ECOOP.2022.9

Julian Büning, M.Sc.

Communication and Distributed Systems
RWTH Aachen University
Ahornstr. 55
52074 Aachen, Germany

E-Mail: julian.buening[[at]]comsys.rwth-aachen.de
Phone: +49 241 80-21418
Office: Building E3, Room 9015

I joined COMSYS as researcher and PhD student in August 2019, after completing my M.Sc. at RWTH Aachen University. As member of our Systems Analysis Group, my research interests are centered around symbolic execution, with a focus on concurrent programs.

Publications

3.	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
2.	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
1.	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

Export as:

BibTeX, XML