is to develop the insights that enable new tools and approaches to make parallel programming easier, and to demonstrate their effectiveness through prototype implementations on real problems.
Status: Call for papers
Workshop: Nov 30 - Dec 1, 2017
Support for Industrial Collaboration
- UPMARC supports industrial collaboration projects. See here
- Non-speculative load-load reordering in TSO. In Proc. 44th International Symposium on Computer Architecture, pp 187-200, ACM Press, New York, 2017.
- Multigrid for matrix-free finite element computations on graphics processors. Technical report / Department of Information Technology, Uppsala University nr 2017-006, 2017.
- Context-bounded analysis for POWER. In Tools and Algorithms for the Construction and Analysis of Systems: Part II, volume 10206 of Lecture Notes in Computer Science, pp 56-74, Springer, 2017.