Corky Cartwright and Nick Vrvilo discuss language structure.
Programming Languages and Software Engineering (PLSE)
We increasingly live in a world governed by software, a world where programming is at the heart of science and industry as well as a basic skill for everyday life. In this world, the vision of a robust, flexible, and accessible process of software design process is more relevant than ever.
Research in the PLSE group at Rice aims to make this vision possible. Our research interests include new language abstractions for principled programming (led by Profs. Cartwright, Chaudhuri, Sarkar, and Wong), compiler construction and optimization (led by Profs. Cooper, Mellor-Crummey, and Sarkar), software technology for parallel computing (led by Profs. Mellor-Crummey and Sarkar), compilers and architectures for low-power and inexact computing (led by Prof. Palem), formal reasoning about program correctness (led by Profs. Chaudhuri, Mamouras and Vardi), and computer-assisted programming (led by Profs. Chaudhuri and Vardi).