Center for Programming Systems
The mission of the Center for Programming Systems is to
(1) make scientific discoveries regarding the programming of computer systems and
(2) educate the next generation of researchers in programming systems.
Scientific discoveries regarding computer programming take many forms and lead to improved runtime efficiency of programs, improved guarantees regarding program behavior, and improved programmer productivity. Discoveries in programming systems also lead to insights into the nature of computation in general and computational processes in other areas of scientific inquiry, such as physics and biology.
The founding members of the Center study functional programming languages, that is, languages that treat functions as first-class entities and that circumscribe side effects such as the mutation of state. Indiana University has a long tradition of excellence in this area, for example, with Professors Friedman and Wise’s discovery of lazy evaluation in 1976. We expect that functional programming will be an emphasis of the Center for some time to come, but the scope of the Center is not limited to that. The scope of the Center is any research involving the programming of computer systems, including the use of programming languages semantics to reason about properties of programs and the design of domain specific languages to capture domain abstractions and improve performance. The current research areas of the Center include gradual typing, parallelism and compiler optimization, probabilistic programming, quantum computing, homotopy type theory, and dependently-typed programming.
Director: Jeremy G. SiekAffiliated Faculty include:
Daniel Friedman, Ryan Newton, Amr Sabry, Chung-chieh Shan, Jeremy Siek, Sam Tobin-Hochstadt