Platforms, Programming and Synthesis

Brandon Lucia (CMU), Theme Leader

Platforms, Programming and Synthesis: This theme focuses on: (1) Abstractions for programmers to develop and verify high-level application specifications conveniently separable into functionality specifications and end-to-end policies governing security, privacy, reliability, and performance; (2) Synthesis tools and runtimes for translating this high-level specification into a distributed program and mapping it onto heterogeneous in-network resources; (3) Program transformations to help meet the latency and reliability specifications; and (4) Custom heterogeneous platforms with support for accelerators, introspection, and intermittent execution.

CONIX-T2 Metrics

  1. Current

    4 Research Tasks
    7 Universities
    38 Students
    16 Faculty Researchers
    9 Liaison Personnel
  2. This Year

    10 Research Publications
  3. Last Year

    4 Task Starts
    71 Research Publications
Updated: 22-Mar-2019, 12:05 a.m. ET

4819 Emperor Blvd, Suite 300 Durham, NC 27703 Voice: (919) 941-9400 Fax: (919) 941-9450

Important Information for the SRC website. This site uses cookies to store information on your computer. By continuing to use our site, you consent to our cookies. If you are not happy with the use of these cookies, please review our Cookie Policy to learn how they can be disabled. By disabling cookies, some features of the site will not work.