Compile-Time Analysis and Specialization of Clocks in Concurrent Programs-Reference-Cited by-同舟云学术

Compile-Time Analysis and Specialization of Clocks in Concurrent Programs

Published:2009 Issue: Volume: Page:48-62
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Vasudevan Nalini,Tardieu Olivier,Dolby Julian,Edwards Stephen A.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-00722-4_5

Reference15 articles.

1. Charles, P., Grothoff, C., Saraswat, V., Donawa, C., Kielstra, A., Ebcioglu, K., von Praun, C., Sarkar, V.: X10: an object-oriented approach to non-uniform cluster computing. SIGPLAN Not. 40(10), 519–538 (2005)

2. Saraswat, V.A., Sarkar, V., von Praun, C.: X10: concurrent programming for modern architectures. In: PPoPP 2007: Proceedings of the 12th ACM SIGPLAN symposium on Principles and practice of parallel programming, p. 271. ACM, New York (2007)

3. Lecture Notes in Computer Science;A. Cimatti,2002

4. IBM, et al.: T. j. watson libraries for analysis (2006), http://wala.sourceforge.net

5. Vasudevan, N., Tardieu, O., Dolby, J., Edwards, S.A.: Analysis of clocks in x10 programs (extended). Technical Report CUCS–052–08, Columbia University, Department of Computer Science, New York, USA (December 2008)

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Efficient lock‐step synchronization in task‐parallel languages;Software: Practice and Experience;2019-07

2. Dynamic Deadlock Verification for General Barrier Synchronisation;ACM Transactions on Programming Languages and Systems;2019-03-31

3. Dynamic deadlock verification for general barrier synchronisation;ACM SIGPLAN Notices;2015-12-18

4. Dynamic deadlock verification for general barrier synchronisation;Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming;2015-01-24

5. Improving the Performance of X10 Programs by Clock Removal;Lecture Notes in Computer Science;2014