57 search results - page 2 / 12 » Runtime safety analysis of multithreaded programs |
SIGSOFT
2004
ACM
13 years 10 months ago
2004
ACM
In run-time safety analysis the executions of a concurrent program are monitored and analyzed with respect to safety properties. Similar to testing, run-time analysis is quite eï¬...
CACM
2010
13 years 2 months ago
2010
We present Goldilocks, a Java runtime that monitors program executions and throws a DataRaceException when a data race is about to occur. This prevents racy accesses from taking p...
RTSS
2009
IEEE
13 years 11 months ago
2009
IEEE
Abstract—The Hierarchical Timing Language (HTL) is a realtime coordination language for distributed control systems. HTL programs must be checked for well-formedness, race freedo...
FMCO
2007
Springer
13 years 11 months ago
2007
Springer
We present a language and a program analysis that certiï¬es the safe use of flexible resource management idioms, in particular advance reservation or “block booking†of costl...
SEFM
2009
IEEE
13 years 11 months ago
2009
IEEE
—In this paper we present ¼heckmate, a generic static analyzer of Java multithreaded programs based on the interpretation theory. It supports all the most relevant features of J...