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 Bornholt, Todd Mytkowicz, and Kathryn S. McKinley, Uncertain<T>: A First-Order Type for Uncertain Data, in ACM International Conference on Architectural Support for Programming Languages and Systems (ASPLOS), pp. 51-66, Selected for ACM SIGPLAN Research Highlight 2014, and IEEE MICRO Top Picks 2015, ACM – Association for Computing Machinery, March 2014.