Fast&Furious
Alberto Ros, Stefanos Kaxiras · 2015
Existing multi-threaded applications perform synchronization either in an explicit way, e.g., making use of the functionality provided by synchronization libraries or in an implicit or "covert" way, e.g., using shared variables. Unfortunately, the implicit synchronization constructs are prone to errors and difficult to detect.