Author:
Lee Jonathan K.,Palsberg Jens,Majumdar Rupak,Hong Hong
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Agarwal, S., Barik, R., Sarkar, V., Shyamasundar, R.K.: May-happen-in-parallel analysis of X10 programs. In: Yelick, K.A., Mellor-Crummey, J.M. (eds.) PPOPP, pp. 183–193. ACM (2007)
2. Aho, A.V., Sethi, R.I., Ullman, J.D.: Compilers: Principles, Techniques, and Tools, 2nd edn. Addison-Wesley, Reading (1986)
3. Lecture Notes in Computer Science;R. Barik,2006
4. Lecture Notes in Computer Science;A. Bouajjani,2005
5. Charles, P., Donawa, C., Ebcioglu, K., Grothoff, C., Kielstra, A., Sarkar, V., Von Praun, C.: X10: An object-oriented approach to non-uniform cluster computing. In: Proceedings of the 20th ACM SIGPLAN Conference on Object-oriented Programing, Systems, Languages, and Applications, pp. 519–538. ACM SIGPLAN (2005)
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Damage detection techniques for wind turbine blades: A review;Mechanical Systems and Signal Processing;2020-07
2. On the fly MHP analysis;Proceedings of the 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming;2020-02-19
3. Automatic Inference of Task Parallelism in Task-Graph-Based Actor Models;IEEE Access;2018
4. May-Happen-in-Parallel Analysis with Returned Futures;Automated Technology for Verification and Analysis;2017
5. Sound static deadlock analysis for C/Pthreads;Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering;2016-08-25