The use of runtime verification, as a lightweight approach to guarantee properties of systems, has been increasingly employed on real-life software. In this paper, we present the tool LARVA, for the ...

People program in many different programming languages in the multi-core era, but how does each programming language affect application scalability with transactional memory? As commercial ...