Barrier inference

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Barrier inference

Full text

Pdf (1.53 MB)

Source

Annual Symposium on Principles of Programming Languages archive
Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages table of contents

San Diego, California, United States

Pages: 342 - 354

Year of Publication: 1998

ISBN:0-89791-979-3

Authors

Alexander Aiken	EECS Department, University of California, Berkeley, Berkeley, CA
David Gay	EECS Department, University of California, Berkeley, Berkeley, CA

Sponsors

SIGACT: ACM Special Interest Group on Algorithms and Computation Theory
SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 12, Downloads (12 Months): 33, Citation Count: 23

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/268946.268974 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Joel Auslander , Matthai Philipose , Craig Chambers , Susan J. Eggers , Brian N. Bershad, Fast, effective dynamic compilation, Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation, p.149-159, May 21-24, 1996, Philadelphia, Pennsylvania, United States
	2	D. Callahan , K. Kennedy , J. Subhlok, Analysis of event synchronization in a parallel programming tool, Proceedings of the second ACM SIGPLAN symposium on Principles & practice of parallel programming, p.21-30, March 14-16, 1990, Seattle, Washington, United States
	3	David Callahan , Jaspal Sublok, Static analysis of low-level synchronization, Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging, p.100-111, May 05-06, 1988, Madison, Wisconsin, United States
	4	Gray Research Incorporated. The URA Y T3D Hardware Reference Manual, 1993.
	5	D. E. (3uller, A. Dusseau, S. (3. Goldstein, A. Krishnamurthy, S. Lumetta, T. yon Eicken, and K. Yelick. Introduction to Sptit-U. University of California, Berkeley, 1993.
	6	David E Gay, Barrier Inference, University of California at Berkeley, Berkeley, CA, 1997
	7	D. Gifford, P. Jouvelot, J. Lucassen, and M. Sheldon. FX-87 REFERENCE MANUAL. Technical Report MIT-LCS//MIT/L(3S/TR-407, Massachusetts Institute of Technology, Laboratory for Computer Science, September 1987'.
	8	James Gosling , Bill Joy , Guy L. Steele, The Java Language Specification, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1996
	9	David P. Helmbold , Charles E. McDowell, Computing reachable states of parallel programs, Proceedings of the 1991 ACM/ONR workshop on Parallel and distributed debugging, p.76-84, May 20-21, 1991, Santa Cruz, California, United States
	10	Tor E. Jeremiassen , Susan J. Eggers, Computing Per-Process Summary Side-Effect Information, Proceedings of the 5th International Workshop on Languages and Compilers for Parallel Computing, p.175-191, August 03-05, 1992
	11	Tor E. Jeremiassen , Susan J. Eggers, Static Analysis of Barrier Synchronization in Explicitly Parallel Programs, Proceedings of the IFIP WG10.3 Working Conference on Parallel Architectures and Compilation Techniques, p.171-180, August 24-26, 1994
	12	Neil D. Jones , Carsten K. Gomard , Peter Sestoft, Partial evaluation and automatic program generation, Prentice-Hall, Inc., Upper Saddle River, NJ, 1993
	13	A. Krishnamurthy , D. E. Culler , A. Dusseau , S. C. Goldstein , S. Lumetta , T. von Eicken , K. Yelick, Parallel programming in Split-C, Proceedings of the 1993 ACM/IEEE conference on Supercomputing, p.262-273, December 1993, Portland, Oregon, United States [doi>10.1145/169627.169724]
	14	Arvind Krishnamurthy , Katherine Yelick, Optimizing parallel programs with explicit synchronization, Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation, p.196-204, June 18-21, 1995, La Jolla, California, United States
	15	William Landi , Barbara G. Ryder, A safe approximate algorithm for interprocedural aliasing, Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation, p.235-248, June 15-19, 1992, San Francisco, California, United States
	16	D. H. Lawrie , T. Layman , D. Baer , J. M. Randal, Glypnir—a programming language for Illiac IV, Communications of the ACM, v.18 n.3, p.157-164, March 1975 [doi>10.1145/360680.360687]
	17	Charles E. Leiserson , Zahi S. Abuhamdeh , David C. Douglas , Carl R. Feynman , Mahesh N. Ganmukhi , Jeffrey V. Hill , Daniel Hillis , Bradley C. Kuszmaul , Margaret A. St. Pierre , David S. Wells , Monica C. Wong , Shaw-Wen Yang , Robert Zak, The network architecture of the Connection Machine CM-5 (extended abstract), Proceedings of the fourth annual ACM symposium on Parallel algorithms and architectures, p.272-285, June 29-July 01, 1992, San Diego, California, United States [doi>10.1145/140901.141883]
	18	Stephen P. Masticola , Barbara G. Ryder, Non-concurrency analysis, Proceedings of the fourth ACM SIGPLAN symposium on Principles and practice of parallel programming, p.129-138, May 19-22, 1993, San Diego, California, United States
	19	Charles E. McDowell, A practical algorithm for static analysis of parallel programs, Journal of Parallel and Distributed Computing, v.6 n.3, p.515-536, June 1989 [doi>10.1016/0743-7315(89)90004-X]
	20	Document for a Standard Message-Passing Interface, University of Tennessee, Knoxville, TN, 1993
	21	M. A. Nichols , H. J. Siegel , H. G. Dietz, Data Management and Control-Flow Aspects of an SIMD/SPMD Parallel Language/Compiler, IEEE Transactions on Parallel and Distributed Systems, v.4 n.2, p.222-234, February 1993 [doi>10.1109/71.207596]
	22	Richard N. Taylor, A general-purpose algorithm for analyzing concurrent programs, Communications of the ACM, v.26 n.5, p.361-376, May 1983 [doi>10.1145/69586.69587]
	23	Thinking Machines Corporation. G* Programming Guide, 1993.
	24	L. Wang. ELP User's Manual Parallel Processing Laboratory, School of Electrical and Computer Engineering, Purdue UniversiLy, March 1996.
	25	Steven Cameron Woo , Moriyoshi Ohara , Evan Torrie , Jaswinder Pal Singh , Anoop Gupta, The SPLASH-2 programs: characterization and methodological considerations, Proceedings of the 22nd annual international symposium on Computer architecture, p.24-36, June 22-24, 1995, S. Margherita Ligure, Italy
	26	M. Young and R. N. Taylor. Combining Static Concurrency Analysis 'wi~h Symbolic Execution. In Proceedings Workshop on Software Testing, pages 10-18, 1986.

CITED BY 23

	Dan Bonachea, Bulk file I/O extensions to Java, Proceedings of the ACM 2000 conference on Java Grande, p.16-25, June 03-04, 2000, San Francisco, California, United States
	Cormac Flanagan , Shaz Qadeer, A type and effect system for atomicity, ACM SIGPLAN Notices, v.38 n.5, May 2003
	Cormac Flanagan , Stephen N. Freund, Type-based race detection for Java, ACM SIGPLAN Notices, v.35 n.5, p.219-232, May 2000
	Cormac Flanagan , Shaz Qadeer, Types for atomicity, ACM SIGPLAN Notices, v.38 n.3, March 2003
	Alain Darte , Robert Schreiber, A linear-time algorithm for optimal barrier placement, Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming, June 15-17, 2005, Chicago, IL, USA
	Robert O'Callahan , Jong-Deok Choi, Hybrid dynamic data race detection, ACM SIGPLAN Notices, v.38 n.10, October 2003
	Martin Abadi , Cormac Flanagan , Stephen N. Freund, Types for safe locking: Static race detection for Java, ACM Transactions on Programming Languages and Systems (TOPLAS), v.28 n.2, p.207-255, March 2006
	Liang Peng , Weng-Fai Wong , Chung-Kwong Yuen, SilkRoad II: mixed paradigm cluster computing with RC_dag consistency, Parallel Computing, v.29 n.8, p.1091-1115, 1 August 2003
	Shaz Qadeer , Dinghao Wu, KISS: keep it simple and sequential, ACM SIGPLAN Notices, v.39 n.6, May 2004
	Jong-Deok Choi , Keunwoo Lee , Alexey Loginov , Robert O'Callahan , Vivek Sarkar , Manu Sridharan, Efficient and precise datarace detection for multithreaded object-oriented programs, ACM SIGPLAN Notices, v.37 n.5, May 2002
	Ohad Shacham , Mooly Sagiv , Assaf Schuster, Scaling model checking of dataraces using dynamic information, Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming, June 15-17, 2005, Chicago, IL, USA
	Cormac Flanagan , Stephen N. Freund , Shaz Qadeer , Sanjit A. Seshia, Modular verification of multithreaded programs, Theoretical Computer Science, v.338 n.1-3, p.153-183, 10 June 2005
	Mayur Naik , Alex Aiken , John Whaley, Effective static race detection for Java, ACM SIGPLAN Notices, v.41 n.6, June 2006
	Arun Kejariwal , Hideki Saito , Xinmin Tian , Milind Girkar , Wel Li , Utpal Banerjee , Alexandru Nicolau , Constantine D. Polychronopoulos, Lightweight lock-free synchronization methods for multithreading, Proceedings of the 20th annual international conference on Supercomputing, June 28-July 01, 2006, Cairns, Queensland, Australia
	Yuan Zhang , Evelyn Duesterwald, Barrier matching for programs with textually unaligned barriers, Proceedings of the 12th ACM SIGPLAN symposium on Principles and practice of parallel programming, March 14-17, 2007, San Jose, California, USA
	Ohad Shacham , Mooly Sagiv , Assaf Schuster, Scaling model checking of dataraces using dynamic information, Journal of Parallel and Distributed Computing, v.67 n.5, p.536-550, May, 2007
	Tachio Terauchi , Alex Aiken, A capability calculus for concurrency and determinism, ACM Transactions on Programming Languages and Systems (TOPLAS), v.30 n.5, p.1-30, August 2008
	K. Yelick , P. Hilfinger , S. Graham , D. Bonachea , J. Su , A. Kamil , K. Datta , P. Colella , T. Wen, Parallel Languages and Compilers: Perspective From the Titanium Experience, International Journal of High Performance Computing Applications, v.21 n.3, p.266-290, August 2007
	Cormac Flanagan , Stephen N. Freund , Marina Lifshin , Shaz Qadeer, Types for atomicity: Static checking and inference for Java, ACM Transactions on Programming Languages and Systems (TOPLAS), v.30 n.4, p.1-53, July 2008
	Chang-Seo Park , Koushik Sen, Randomized active atomicity violation detection in concurrent programs, Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering, November 09-14, 2008, Atlanta, Georgia
	Koushik Sen, Race directed random testing of concurrent programs, ACM SIGPLAN Notices, v.43 n.6, June 2008
	Alexandru Nicolau , Guangqiang Li , Arun Kejariwal, Techniques for efficient placement of synchronization primitives, Proceedings of the 14th ACM SIGPLAN symposium on Principles and practice of parallel programming, February 14-18, 2009, Raleigh, NC, USA
	Cormac Flanagan , Stephen N. Freund, FastTrack: efficient and precise dynamic race detection, ACM SIGPLAN Notices, v.44 n.6, June 2009