Our mission is to explore next-generation computing systems that are scalable, efficient, robust, and easy to program.
We believe that to create next-generation systems necessitates innovation and vertical integration across traditional software and hardware abstraction boundaries. For example, we are exploring new programming and execution models, adaptive system software, and novel forms of hardware acceleration. We bring to bear on these problems broad expertise that encompasses programming languages, compilers, runtime systems, operating systems, and computer architecture. We leverage our expertise to design, implement, and evaluate complete systems that span the spectrum from tiny devices that harvest ambient energy to geo-partitioned large scale distributed systems.
- James Bornolt, Todd Mytkowicz, and Kathryn S. McKinley, Uncertain<T>: A First-Order Type for Uncertain Data, Architectural Support for Programming Languages and Operating Systems (ASPLOS), March 2014