Optimizing hybrid transactional memory: the importance of nonspeculative operations
- T. Riegel, P. Marlier, Martin Nowack, P. Felber, C. Fetzer
- Computer ScienceACM Symposium on Parallelism in Algorithms and…
- 4 June 2011
Several new hybrid TM algorithms are presented that can execute HTM and STM transactions concurrently and can thus provide good performance over a large spectrum of workloads and are evaluated based on AMD's Advanced Synchronization Facility.
Evaluation of AMD's advanced synchronization facility within a complete transactional memory stack
- D. Christie, J. Chung, E. Rivière
- Computer ScienceEuropean Conference on Computer Systems
- 13 April 2010
Measurements on a wide range of benchmarks indicate that the overheads traditionally associated with software transactional memories can be significantly reduced with the help of ASF.
Review of Delphi-Based Scenario Studies: Quality and Design Considerations
Running symbolic execution forever
- Frank Busse, Martin Nowack, Cristian Cadar
- Computer ScienceInternational Symposium on Software Testing and…
- 18 July 2020
This paper presents a technique that can record an ongoing symbolic execution analysis to disk and selectively restore paths of interest later, making it possible to run symbolic execution indefinitely.
Review and downscaling of life cycle decision support tools for the procurement of low-value products
- Martin Nowack, H. Hoppe, Edeltraud Guenther
- BusinessThe International Journal of Life Cycle…
- 16 March 2012
PurposeIn this article, we analyze how environmental aspects can be derived from life cycle management instruments for procurement decisions of low-value products. For our analysis, we chose the case…
KLEE symbolic execution engine in 2019
- Cristian Cadar, Martin Nowack
- Computer ScienceInternational Journal on Software Tools for…
- 2 June 2020
KLEE has been used and extended by groups from many universities and companies in a variety of different areas such as high-coverage test generation, automated debugging, exploit generation, wireless sensor networks, and online gaming, among many others.
The Velox Transactional Memory Stack
An overview of the VELOX TM stack and its associated challenges and contributions is presented, spanning from programming language to the hardware support, and including runtime and libraries, compilers, and application environments.
Speculation for Parallelizing Runtime Checks
- Martin Süßkraut, Stefan Weigert, C. Fetzer
- Computer ScienceSafety-critical Systems Symposium
- 5 November 2009
ParExC has --- in contrast to similar frameworks --- two noteworthy features that permit a more efficient parallelization of checks: (1) speculative variables, and (2) the ability to add checks by static instrumentation.
Demographic Change as Driver of Wastewater Fees in Urban Drainage Systems: A Comparison of Demography, Water Saving, Maintenance Cost, Operating Cost and Industry Effects
- Martin Nowack
- 14 November 2010
Decision makers in the wastewater industry face demographic changes in terms of a decreasing population and a declining quantity of wastewater. This results in technical hurdles and economic…
TM-dietlibc: A TM-aware Real-World System Library
- Vesna Smiljkovic, Martin Nowack, M. Valero
- Computer ScienceIEEE 27th International Symposium on Parallel and…
- 20 May 2013
This paper presents the first TM-aware system library, a complex software implementation integrated with TM principles and suited for software (STM), hardware (HTM) and hybrid TM (HyTM), derived from a modified lock-based implementation and can be used with the existing standard C API.