Author:
Sura Zehra,Wong Chi-Leung,Fang Xing,Lee Jaejin,Midkiff Samuel P.,Padua David
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Adve, S.V., Gharachorloo, K.: Shared memory consistency models: A tutorial. IEEE Computer, 66–76 (December 1996)
2. Alpern, B., et al.: The Jalapeno virtual machine. IBM Systems Journal (February 2000)
3. Choi, J.-D., Gupta, M., Serrano, M., Sreedhar, V.C., Midkiff, S.: Escape analysis for Java. In: Proceedings ACM 1999 Conference on Object-Oriented Programming Systems (OOPSLA 1999), November 1999, pp. 1–19 (1999)
4. Emrath, P.A., Ghosh, S., Padua, D.A.: Event synchronization analysis for debugging parallel programs. In: Proceedings of Supercomputing, pp. 580–588 (1989)
5. Fang, X.: Inserting fences to guarantee sequential consistency. Master’s thesis, Michigan State University (July 2002)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Dynamic synthesis for relaxed memory models;ACM SIGPLAN Notices;2012-08-06
2. Automatic inference of memory fences;ACM SIGACT News;2012-06-11
3. Dynamic synthesis for relaxed memory models;Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation;2012-06-11
4. A Verification-Based Approach to Memory Fence Insertion in Relaxed Memory Systems;Model Checking Software;2011
5. The Java memory model;ACM SIGPLAN Notices;2005-01-12