FastTrack

This publication has 27 references indexed in Scilit:

• SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs
  Published by Springer Nature ,2009
• Velodrome
  Published by Association for Computing Machinery (ACM) ,2008
• Atomizer: A dynamic atomicity checker for multithreaded programs
  Science of Computer Programming, 2008
• Types for safe locking
  ACM Transactions on Programming Languages and Systems, 2006
• RaceTrack
  Published by Association for Computing Machinery (ACM) ,2005
• Type Inference for Parameterized Race-Free Java
  Published by Springer Nature ,2004
• RecPlay
  ACM Transactions on Computer Systems, 1999
• Eraser
  ACM Transactions on Computer Systems, 1997
• Techniques for debugging parallel programs with flowback analysis
  ACM Transactions on Programming Languages and Systems, 1991
• Time, clocks, and the ordering of events in a distributed system
  Communications of the ACM, 1978