Science of Computer Programming–109 www.elsevier.com locate scico Atomizer: A dynamic atomicity checker for multithreaded programs Cormac Flanagan a,∗ , Stephen N. Freund b a Department of Computer Scien - Freund - Document - PDFSEARCH.IO

First Page	Meta Content
	Science of Computer Programming–109 www.elsevier.com/locate/scico Atomizer: A dynamic atomicity checker for multithreaded programs Cormac Flanagan a,∗ , Stephen N. Freund b a Department of Computer Scien Add to Reading List Document Date: 2008-04-23 15:51:13 Open Document File Size: 1,56 MB Share Result on Facebook

Science of Computer Programming–109 www.elsevier.com/locate/scico Atomizer: A dynamic atomicity checker for multithreaded programs Cormac Flanagan a,∗ , Stephen N. Freund b a Department of Computer ScienAdd to Reading List