Writing good code requires close attention to detail and lots of will power and discipline. Good habits are half the battle.

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 ...