A Type System for Parallel Components
Francisco Heron de Carvalho-Junior, Rafael Dueire Lins
TL;DR
This paper presents a novel type system for parallel components to enhance abstraction and safety in parallel programming, based on universal and existential bounded quantification, with implementation insights for HPE.
Contribution
It introduces a new type system for # programming systems that improves parallel programming safety and abstraction using formal quantification methods.
Findings
Designed a type system based on bounded quantification for parallel components
Discussed implementation issues within the HPE # programming system
Enhanced safety and abstraction in parallel programming models
Abstract
The # component model was proposed to improve the practice of parallel programming. This paper introduces a type system for # programming systems, aiming to lift the abstraction and safety of programming for parallel computing architectures by introducing a notion of abstract component based on universal and existential bounded quantification. Issues about the implementation of such type system in HPE, a # programming system, are also discussed.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsDistributed and Parallel Computing Systems · Cloud Computing and Resource Management · Distributed systems and fault tolerance