Martin Nowack
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
6
Active years
2009–2023
Best venue rank
A
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | ISSTA | KDAlloc: The KLEE Deterministic Allocator: Deterministic Memory Allocation during Symbolic Execution and Test Case Replay. | Daniel Schemmel, Julian Bning, Frank Busse, Martin Nowack, Cristian Cadar |
| 2022 | ECOOP | A Deterministic Memory Allocator for Dynamic Symbolic Execution. | Daniel Schemmel, Julian Bning, Frank Busse, Martin Nowack, Cristian Cadar |
| 2020 | ISSTA | Running symbolic execution forever. | Frank Busse, Martin Nowack, Cristian Cadar |
| 2019 | TAP | Constraints in Dynamic Symbolic Execution: Bitvectors or Integers? | Timotej Kapus, Martin Nowack, Cristian Cadar |
| 2013 | SPAA | Brief announcement: between all and nothing - versatile aborts in hardware transactional memory. | Stephan Diestelhorst, Martin Nowack, Michael F. Spear, Christof Fetzer |
| 2011 | SPAA | Optimizing hybrid transactional memory: the importance of nonspeculative operations. | Torvald Riegel, Patrick Marlier, Martin Nowack, Pascal Felber, Christof Fetzer |
| 2010 | EuroSys | 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 Rivire |
| 2009 | SSS | Speculation for Parallelizing Runtime Checks. | Martin Skraut, Stefan Weigert, Ute Schiffel, Thomas Knauth, Martin Nowack, Diogo Becker de Brum, Christof Fetzer |