Cormac - PDFSEARCH.IO - Document Search Engine

Cormac
Results: 158

#	Item
51	Velodrome: A Sound and Complete Dynamic Atomicity Checker for Multithreaded Programs Cormac Flanagan Stephen N. Freund Add to Reading List Source URL: dept.cs.williams.edu Language: English - Date: 2008-03-27 13:21:07
52	DOI: FastTrack: Efficient and Precise Dynamic Race Detection By Cormac Flanagan and Stephen N. Freund Add to Reading List Source URL: dept.cs.williams.edu Language: English - Date: 2011-01-02 12:02:47
53	Types for Safe Locking: Static Race Detection for Java MARTIN ABADI Microsoft Research and University of California at Santa Cruz CORMAC FLANAGAN University of California at Santa Cruz Add to Reading List Source URL: dept.cs.williams.edu Language: English - Date: 2007-08-07 13:03:20
54	RedCard: Redundant Check Elimination for Dynamic Race Detectors Cormac Flanagan1 and Stephen N. Freund2 1 University of California at Santa Cruz Add to Reading List Source URL: dept.cs.williams.edu Language: English - Date: 2013-07-12 09:39:33
55	Type-Based Race Detection for Java (summary) 1 Cormac Flanagan Compaq Systems Research Center Add to Reading List Source URL: dept.cs.williams.edu Language: English - Date: 2007-08-07 13:03:19
56	Fifty Years of Cormac McCarthy October 8-‐10, 2015 Conference Schedule All panel sessions will be held in the River Room, Third F Add to Reading List Source URL: www.cormacmccarthy.com Language: English - Date: 2015-10-05 20:19:19
57	Type Inference For Atomicity Cormac Flanagan Department of Computer Science University of California, Santa Cruz Santa Cruz, CA 95064 Add to Reading List Source URL: dept.cs.williams.edu Language: English - Date: 2007-08-07 13:03:18
58	The ROAD RUNNER Dynamic Analysis Framework for Concurrent Programs Cormac Flanagan Stephen N. Freund Add to Reading List Source URL: dept.cs.williams.edu Language: English - Date: 2010-03-30 23:26:18
59	The Plight of the Targeted Attacker in a World of Scale Cormac Herley Microsoft Research One Microsoft Way Redmond, WA, USA Add to Reading List Source URL: weis2010.econinfosec.org Language: English
60	Kent County Public Library Book Discussion Kits updated January 2015 For more details on borrowing these kits or to find out whether specific titles will be available on certain dates, please call the Chestertown Branch Add to Reading List Source URL: www.kentcountylibrary.org Language: English - Date: 2015-01-26 16:52:59 Patchett Geraldine Cormac McCarthy Russell Shorto Barbery Olive Kitteridge

UPDATE