Programming Languages and Software Engineering

Programming Languages and Software Engineering

Programming languages are our means of expressing computations. Thus, programming languages are a powerful locus of research toward building high-quality software, i.e., software that is flexible, secure, reliable, available, efficient, reusable, and more. We can design new languages, or we can build tools that analyze programs in existing languages, toward maximizing quality.

The Lab for Programming Languages and the University of Maryland (PLUM) is engaged in exciting research that aims to improve software quality through new languages and software tools. Our work involves formalism and proof (e.g., to show that a particular analysis establishes a certain property of the programs it considers) as well as implementation and evaluation (e.g., to show that our ideas work on real software at reasonable cost). Current interests focus on cloud computing, mobile computing, high-availability systems, static analysis, functional programming, debugging, and privacy-preseving computation.

Associated Faculty

Photo of Rance Cleaveland

Rance Cleaveland

Professor
CMNS Associate Dean for Research
Photo of Leonidas Lampropoulos

Leonidas Lampropoulos

Assistant Professor
Photo of Adam Porter

Adam Porter

Professor
Fraunhofer Executive Director
Photo of Hanan Samet

Hanan Samet

Professor
Distinguished University Professor
Photo of Milijana Surbatovich

Milijana Surbatovich

Assistant Professor
Photo of David Van Horn

David Van Horn

Associate Professor
Photo of Xiaodi Wu

Xiaodi Wu

Associate Professor
Photo of Victor Basili

Victor Basili

Professor Emeritus
Research Professor
Photo of Michael Hicks

Michael Hicks

Professor Emeritus
Distinguished Scholar-Teacher
Photo of William Pugh

William Pugh

Professor Emeritus
Photo of Marvin Zelkowitz

Marvin Zelkowitz

Professor Emeritus
Photo of Jeffrey Foster

Jeffrey Foster

Adjunct Professor
Photo of Elaine  Shi

Elaine Shi

Adjunct Associate Professor
Photo of Liyi Li

Liyi Li

Post-Doctoral Associate
Victor Basili Postdoctoral Fellow