Julian Büning, M.Sc.

Researcher

	Ahornstraße 55, building E3 52074 Aachen Germany
	9015
	+49 241 80-21418
	julian.buening@comsys.rwth-aachen.de

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

Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack, Cristian Cadar. KDAlloc: The KLEE Deterministic Allocator: Deterministic Memory Allocation during Symbolic Execution and Test Case Replay. Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2023), Jul 17 - Jul 21, 2023, Seattle, WA, United States. July 2023.

Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack, Cristian Cadar. A Deterministic Memory Allocator for Dynamic Symbolic Execution. Proceedings of the 36th European Conference on Object-Oriented Programming (ECOOP 2022), Jun 6 - Jun 10, 2022. June 2022.

Daniel Schemmel, Julian Büning, César Rodríguez, David Laprell, Klaus Wehrle. Symbolic Partial-Order Execution for Testing Multi-Threaded Programs. Computer Aided Verification. Lecture Notes in Computer Science, vol. 12224. Presented at the 32nd International Conference on Computer Aided Verification (CAV '20), Jul 21 - Jul 24, 2020. July 2020.

Daniel Schemmel, Julian Büning, Oscar Soria Dustmann, Thomas Noll, Klaus Wehrle. Symbolic Liveness Analysis of Real-World Software. Computer Aided Verification. Lecture Notes in Computer Science, vol. 10982. Presented at the 30th International Conference on Computer Aided Verification (CAV '18), Jul 14 - Jul 17, 2018, Oxford, UK. July 2018.