Dynamic determinacy analysis.

Max Schfer, Manu Sridharan, Julian Dolby, Frank Tip

Browse the full PLDI paper archive.