Jong-Deok Choi
- ABC*88.Frances Allen, Michael Burke, Ron Cytron, Jeanne Ferrante, Wilson Hsieh, and Vivek Sarkar. A framework for determining useful parallelism. Proceedings of the A CM 1988 International Conference on Supercomputing, 207-215, July 1988. Google Scholar
Digital Library
- BK89.V. Balasundaram and K. Kennedy. Compile time detection of race conditions in a parallel program. Proceedings of the International Conference on Supercomputiug, 1989. Google ScholarDigital Library
- CMN91.J. D. Choi, B. P. Miller, and R. H. B. Netzer. Techniques for debugging parallel programs with flowback analysis. A CM Transactions on Programming Languages and Systems, 1991. To appear. Google ScholarDigital Library
- CS88.D. Callahan and J. Subhlok. Static analysis of low-level synchronization. Proceedings of the A CM SIGPLAN and SIGOPS Workshop on Parallel and Distributed Debugging, 100- 111, May 1988. Google ScholarDigital Library
- Cyt86.Ron Cytron. Doacross: beyond vectorization for multiprocessors. Proceedings of the 1986 International Conference on Parallel Processing, 836-844, August 1986.Google Scholar
- DS90.A. Dinning and E. Schonberg. An empirical comparision of monitoring algorithms for access anomaly detection. Second A CM SIG- PLAN Symposium on Principles and Practice of Parallel Programming (PPOPP), 1- 10, March 1990. Google ScholarDigital Library
- EGP89.P. Emrath, S. Ghosh, and D. Padua. Event synchronization analysis for debugging parallel programs. Supercomputing 89, 580-588, November 1989. Google ScholarDigital Library
- EP88.P. Emrath and D. Padua. Automatic detection of nondeterminacy in parallel programs. Proceedings of the A CM SIGPLAN and SIGOPS Workshop on Parallel and Distributed Debugging, 89-99, May 1988. Google ScholarDigital Library
- HKM90.R. Hood, K. Kennedy, and J. M. Mellor- Crummy. Parallel program debugging with on-the-fly anomaly detection. Supercomputing 90, November 1990. Google ScholarDigital Library
- IBM88.IBM. Parallel Fortran Language and Library Reference. Technical Report, International Business Machines, March 1988. Pub. No. SC23-0431-0.Google Scholar
- Ins83.American National Standards Institute. A da Programming Language Military Standard. Technical Report, American National Standards Institute, January 1983. ANSI/MIL- STD-1815A.Google Scholar
- Lam78.L. Lamport. Time, clocks, and the ordering of events in a districuted system. Communications of #he A CM, 21(7), July 1978. Google ScholarDigital Library
- Lam79.L. Lamport. How to make a multiprocessor computer that correctly executes multiprocess program. IEEE Trans. on Computers, C-28(9), September 1979.Google Scholar
- MC88.B.P. Miller and J. D. Choi. A mechanism for efficient debugging of parallel programs. Proceedings of the SIGPLAN '88 Conference on Programming Language Design and Implementation, 135-144, June 1988. Google ScholarDigital Library
- MC91.S.L. Min and J. D. Choi. An efficient cachebased access anomaly detection scheme. Proceedings of A CM Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, April 1991. To appear. Google ScholarDigital Library
- ML89.j.M. Mellor-Crummey and T. J. LeBlane. A software instreution counter. Proceedings of the third International Conference on Architectural Support for Programming Languages and Operating Systems, 78-86, April 1989. Google ScholarDigital Library
- NM91.R.H.B. Netzer and B. P. Miller. Improving the accuracy of data race detection. Proe. of Third A CM SIGPLAN Symposium on Principles and Practices of Parallel Processing, April 1991. Google ScholarDigital Library
- Sch89.E. Schonberg. On-the-fly detection of access anomalies. Proceedings of the SIGPLAN '89 Conference on Programming Language Design and Implementation, 285-297, June 1989. Google ScholarDigital Library
- Tay83.R.N. Taylor. A general purpose algorithm for analyzing concurrent programs. Communications of the A CM, 26(5):362-376, May 1983. Google ScholarDigital Library
Index Terms
- Race Frontier: reproducing data races in parallel-program debugging
Recommendations
What are race conditions?: Some issues and formalizations
In shared-memory parallel programs that use explicit synchronization, race conditions result when accesses to shared memory are not properly synchronized. Race conditions are often considered to be manifestations of bugs, since their presence can cause ...
Parallelizing data race detection
ASPLOS '13: Proceedings of the eighteenth international conference on Architectural support for programming languages and operating systemsDetecting data races in multithreaded programs is a crucial part of debugging such programs, but traditional data race detectors are too slow to use routinely. This paper shows how to speed up race detection by spreading the work across multiple cores. ...
Parallelizing data race detection
ASPLOS '13Detecting data races in multithreaded programs is a crucial part of debugging such programs, but traditional data race detectors are too slow to use routinely. This paper shows how to speed up race detection by spreading the work across multiple cores. ...
Comments