Affiliation:
1. SEI/Carnegie Mellon University
2. Google Research
3. CSD/Carnegie Mellon University
Abstract
Today's computing ecosystem, comprising commodity heterogeneous interconnected computing (CHIC) platforms, is increasingly being employed for critical applications, consequently demanding fairly strong end-to-end assurances. However, the generality and system complexity of today's CHIC stack seem to outpace existing tools and methodologies toward provable end-to-end guarantees. This paper describes our on-going research, and presents überSpark, a system architecture that argues for structuring the CHIC stack around Universal Object Abstractions (üobjects), a fundamental system abstraction and building block towards practical and provable end-to-end guarantees.
Publisher
Association for Computing Machinery (ACM)
Reference133 articles.
1. Balancing the Load
2. Uri Alon Shaked Brody Omer Levy and Eran Yahav. 2019. code2seq: Generating Sequences from Structured Representations of Code. In ICLR (Poster). OpenReview.net. Uri Alon Shaked Brody Omer Levy and Eran Yahav. 2019. code2seq: Generating Sequences from Structured Representations of Code. In ICLR (Poster). OpenReview.net.
3. The MILS architecture for high-assurance embedded systems