Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

52

Voted

TOPLAS
2011

58views more TOPLAS 2011»

LOCKSMITH: Practical static race detection for C

14 years 9 months ago

LOCKSMITH: Practical static race detection for C

Download www.cs.umd.edu

Polyvios Pratikakis, Jeffrey S. Foster, Michael Hi

Real-time Traffic

TOPLAS 2011 |

claim paper

Related Content

» LOCKSMITH contextsensitive correlation analysis for race detection

» Static data race detection for concurrent programs with asynchronous calls

» Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions

» Static Deadlock Detection for the SHIM Concurrent Language

» Optimized runtime race detection and atomicity checking using partial discovered types

» Scalable and precise dynamic datarace detection for structured parallelism

» Static Validation of C Preprocessor Macros

» Compositional deadlock detection for rendezvous communication

» Detection of injected dynamically generated and obfuscated malicious code

Post Info
More Details (n/a)

Added	15 May 2011
Updated	15 May 2011
Type	Journal
Year	2011
Where	TOPLAS
Authors	Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks

Comments (0)