3 papers
cs.PF2019
A Valgrind Tool to Compute the Working Set of a Software Process
Martin Becker, Samarjit Chakraborty
This paper introduces a new open-source tool for the dynamic analyzer Valgrind. The tool measures the amount of memory that is actively being used by a process at any given point i…
cs.PF2018
Measuring Software Performance on Linux
Martin Becker, Samarjit Chakraborty
Measuring and analyzing the performance of software has reached a high complexity, caused by more advanced processor designs and the intricate interaction between user programs, th…
cs.SE2017
Development and Verification of a Flight Stack for a High-Altitude Glider in Ada/SPARK 2014
Martin Becker, Emanuel Regnath, Samarjit Chakraborty
SPARK 2014 is a modern programming language and a new state-of-the-art tool set for development and verification of high-integrity software. In this paper, we explore the capabilit…