, Implementing jalapeño in java, Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming , systems, languages, and applications, pp.314-324, 1999.
DOI : 10.1145/320385.320418
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.25.8194
, The dacapo benchmarks: Java benchmarking development and analysis, Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, pp.169-190, 2006.
, Pacer: proportional detection of data races, Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation, pp.255-268, 2010.
, Ownership types for safe programming, ACM SIGPLAN Notices, vol.37, issue.11, pp.211-230, 2002.
DOI : 10.1145/583854.582440
, Trade, a topological approach to on-the-fly race detection in java programs, Proceedings of the 2001 Symposium on Java TM Virtual Machine Research and Technology Symposium, pp.15-15, 2001.
, Detecting access anomalies in programs with critical sections, Proceedings of the 1991 ACM/ONR workshop on Parallel and distributed debugging, pp.85-96, 1991.
DOI : 10.1145/127695.122767
, Goldilocks: a race and transaction-aware java runtime, Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation, pp.245-255, 2007.
, RacerX, ACM SIGOPS Operating Systems Review, vol.37, issue.5, pp.237-252, 2003.
DOI : 10.1145/1165389.945468
, Type-based race detection for Java, ACM SIGPLAN Notices, vol.35, issue.5, pp.219-232, 2000.
DOI : 10.1145/358438.349328
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.143.5635
, Fasttrack: efficient and precise dynamic race detection, Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation, pp.121-133, 2009.
, Race checking by context inference, Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation, pp.1-13, 2004.
DOI : 10.1145/996893.996844
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.5.4562
, Learning from mistakes: a comprehensive study on real world concurrency bug characteristics, Proceedings of the 13th international conference on Architectural support for programming languages and operating systems, pp.329-339, 2008.
, Avio: detecting atomicity violations via access interleaving invariants, Proceedings of the 12th international conference on Architectural support for programming languages and operating systems, pp.37-48, 2006.
DOI : 10.1109/mm.2007.5
URL : http://carmen.cs.uiuc.edu/~shanlu/paper/asplos062-lu.ps
, The java memory model, Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp.378-391, 2005.
DOI : 10.1145/1047659.1040336
, Literace: effective sampling for lightweight data-race detection, Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation, pp.134-143, 2009.
, An efficient cache-based access anomaly detection scheme, Proceedings of the fourth international conference on Architectural support for programming languages and operating systems, pp.235-244, 1991.
DOI : 10.1145/106973.106996
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.49.4183
, Effective static race detection for java, Proceedings of the twentieth ACM symposium on Operating systems principles, pp.308-319, 2006.
DOI : 10.1145/1133255.1134018
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.81.585
, What are race conditions?: Some issues and formalizations, ACM Letters on Programming Languages and Systems, vol.1, issue.1, pp.74-88, 1992.
DOI : 10.1145/130616.130623
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.145.1099
, Hybrid dynamic data race detection, ACM Lett. Program . Lang. Syst, vol.38, issue.10, pp.167-178, 2003.
, Efficient on-the-fly data race detection in multithreaded c++ programs, Proceedings of the ninth ACM SIGPLAN symposium on Principles and practice of parallel programming, pp.179-190, 2003.
, Locksmith: context-sensitive correlation analysis for race detection, Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation, pp.320-331, 2006.
, Kiss: keep it simple and sequential, Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation, pp.14-24, 2004.
, Accurate and efficient filtering for the Intel thread checker race detector, Proceedings of the 1st workshop on Architectural and system support for improving software dependability , ASID '06, pp.34-41, 2006.
DOI : 10.1145/1181309.1181315
, Automated type-based analysis of data races and atomicity, Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming , PPoPP '05, pp.83-94, 2005.
DOI : 10.1145/1065944.1065956
, Eraser: a dynamic data race detector for multithreaded programs, ACM Transactions on Computer Systems, vol.15, issue.4, pp.391-411, 1997.
DOI : 10.1145/265924.265927
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.175.3886
, On-the-fly detection of access anomalies, SIGPLAN Not, vol.39, issue.4, 1989.
, Warlock: A static data race analysis tool, pp.97-106, 1993.
, Object race detection, Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, pp.70-82, 2001.
, RELAY, Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering , ESEC-FSE '07, pp.205-214, 2007.
DOI : 10.1145/1287624.1287654
, Racetrack: efficient detection of data race conditions via adaptive tracking, Proceedings of the twentieth ACM symposium on Operating systems principles, pp.221-234, 2005.
, CARISMA: a context-sensitive approach to race-condition sample-instance selection for multithreaded applications, Proceedings of the 2012 International Symposium on Software Testing and Analysis, ISSTA 2012, pp.221-231, 2012.
DOI : 10.1145/2338965.2336780