CACM
2010
13 years 6 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...
CACM
2010
13 years 6 months ago
2010
CACM
2010
13 years 6 months ago
2010
CACM
2010
13 years 6 months ago
2010
CACM
2010
13 years 6 months ago
2010
Multithreaded programs are notoriously prone to race conditions. Prior work on dynamic race detectors includes fast but imprecise race detectors that report false alarms, as well ...
CACM
2010
13 years 6 months ago
2010
BIRTHDAY
2010
Springer
13 years 6 months ago
2010
Springer
Pioneers of logic, among them J.R. B
BIRTHDAY
2010
Springer
13 years 6 months ago
2010
Springer
Yuri Gurevich made many varied and deep contributions to logic for computer science. Logic provides also the theoretical foundation of database systems. Hence, it is almost unavoid...
BIRTHDAY
2010
Springer
13 years 6 months ago
2010
Springer
We define the notions of a canonical inference rule and a canonical constructive system in the framework of strict single-conclusion Gentzen-type systems (or, equivalently, natural...