Martin Nowack

According to our database, Martin Nowack authored at least 20 papers between 2009 and 2025.

Collaborative distances:

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

2025

Deterministic state space exploration.

Martin Nowack

Int. J. Softw. Tools Technol. Transf., August, 2025

2024

Towards Effective Symbolic Execution.

Martin Nowack

PhD thesis, 2024

Sparse Symbolic Loop Execution (Registered Report).

Frank Busse, Martin Nowack, Cristian Cadar

Proceedings of the 3rd ACM International Fuzzing Workshop, 2024

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

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

KLEE symbolic execution engine in 2019.

Cristian Cadar, Martin Nowack

Int. J. Softw. Tools Technol. Transf., 2021

2020

Running symbolic execution forever.

Frank Busse, Martin Nowack, Cristian Cadar

Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

2019

Constraints in Dynamic Symbolic Execution: Bitvectors or Integers?

Timotej Kapus, Martin Nowack, Cristian Cadar

Proceedings of the Tests and Proofs - 13th International Conference, 2019

Fine-Grain Memory Object Representation in Symbolic Execution.

Martin Nowack

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

2015

Parallel Symbolic Execution: Merging In-Flight Requests.

Martin Nowack, Katja Tietze, Christof Fetzer

Proceedings of the Hardware and Software: Verification and Testing, 2015

Safe Exception Handling with Transactional Memory.

Pascal Felber, Christof Fetzer, Vincent Gramoli, Derin Harmanci, Martin Nowack

Proceedings of the Transactional Memory. Foundations, Algorithms, Tools, and Applications, 2015

2013

Brief announcement: between all and nothing - versatile aborts in hardware transactional memory.

Stephan Diestelhorst, Martin Nowack, Michael F. Spear, Christof Fetzer

Proceedings of the 25th ACM Symposium on Parallelism in Algorithms and Architectures, 2013

TM-dietlibc: A TM-aware Real-World System Library.

Vesna Smiljkovic, Martin Nowack, Neboja Miletic, Tim Harris, Osman S. Ünsal, Adrián Cristal, Mateo Valero

Proceedings of the 27th IEEE International Symposium on Parallel and Distributed Processing, 2013

2011

Optimizing hybrid transactional memory: the importance of nonspeculative operations.

Torvald Riegel, Patrick Marlier, Martin Nowack, Pascal Felber, Christof Fetzer

Proceedings of the SPAA 2011: Proceedings of the 23rd Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2011

2010

The Velox Transactional Memory Stack.

Yehuda Afek, Ulrich Drepper, Pascal Felber, Christof Fetzer, Vincent Gramoli, Michael Hohmuth, Etienne Rivière, Per Stenström, Osman S. Unsal, Walther Maldonado, Derin Harmanci, Patrick Marlier, Stephan Diestelhorst, Martin Pohlack, Adrián Cristal, Ibrahim Hur, Aleksandar Dragojevic, Rachid Guerraoui, Michal Kapalka, Sasa Tomic, Guy Korland, Nir Shavit, Martin Nowack, Torvald Riegel

IEEE Micro, 2010

Klimarisikomanagement mit dem CO₂-Navigator.

Edeltraud Günther, Christian Manthey, Gabriel Weber, Martin Nowack, Henry Dannenberg, Wilfried Ehrenfeld

HMD Prax. Wirtsch., 2010

Brief Announcement: Hybrid Time-Based Transactional Memory.

Pascal Felber, Christof Fetzer, Patrick Marlier, Martin Nowack, Torvald Riegel

Proceedings of the Distributed Computing, 24th International Symposium, 2010

Evaluation of AMD's advanced synchronization facility within a complete transactional memory stack.

Dave Christie, Jae-Woong Chung, Stephan Diestelhorst, Michael Hohmuth, Martin Pohlack, Christof Fetzer, Martin Nowack, Torvald Riegel, Pascal Felber, Patrick Marlier, Etienne Rivière

Proceedings of the European Conference on Computer Systems, 2010

2009

Speculation for Parallelizing Runtime Checks.

Martin Süßkraut, Stefan Weigert, Ute Schiffel, Thomas Knauth, Martin Nowack, Diogo Becker de Brum, Christof Fetzer

Proceedings of the Stabilization, 2009