Types, Regions, and Effects for Safe Programming with Object-Oriented Parallel Frameworks-Reference-Cited by-同舟云学术

Types, Regions, and Effects for Safe Programming with Object-Oriented Parallel Frameworks

Published:2011 Issue: Volume: Page:306-332
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Bocchino Robert L.,Adve Vikram S.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-22655-7_15

Reference37 articles.

1. http://gee.cs.oswego.edu/dl/jsr166/dist/extra166ydocs/index.html?extra166y/package-tree.html

2. Lecture Notes in Computer Science;J. Aldrich,2004

3. Altherr, P., Cremet, V.: Adding type constructor parameterization to Java. In: Formal Techniques for Java-like Programs, FTFJP (2007)

4. Barnett, M., et al.: The Spec# programming system: An overview. In: Barthe, G., Burdy, L., Huisman, M., Lanet, J.-L., Muntean, T. (eds.) CASSIS 2004. LNCS, vol. 3362, pp. 49–69. Springer, Heidelberg (2005)

5. Bocchino, R.: An Effect System and Language for Deterministic-by-Default Parallel Programming. PhD thesis, Univ. of Illinois, Urbana-Champaign, IL (2010)

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

1. Understanding and Reaching the Performance Limit of Schedule Tuning on Stable Synchronization Determinism;Proceedings of the International Conference on Parallel Architectures and Compilation Techniques;2022-10-08

2. Deterministic Atomic Buffering;2020 53rd Annual IEEE/ACM International Symposium on Microarchitecture (MICRO);2020-10

3. Reproducible Containers;Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems;2020-03-09

4. Region and effect inference for safe parallelism;Automated Software Engineering;2019-05-11

5. Lazy Determinism for Faster Deterministic Multithreading;Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems;2019-04-04