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
Photo of Jeffrey Foster

Jeffrey Foster

Professor
Photo of Michael Hicks

Michael Hicks

Professor
Associate Chair of Undergraduate Education; Distinguished Scholar-Teacher
Photo of Atif Memon

Atif Memon

Professor
Photo of Adam Porter

Adam Porter

Professor
Fraunhofer Executive Director
Photo of David Van Horn

David Van Horn

Assistant Professor
Photo of Xiaodi Wu

Xiaodi Wu

Assistant Professor
Photo of Victor Basili

Victor Basili

Professor Emeritus
Research Professor
Photo of William Pugh

William Pugh

Professor Emeritus
Photo of Marvin Zelkowitz

Marvin Zelkowitz

Professor Emeritus
Photo of Arnab Ray

Arnab Ray

Adjunct Associate Professor
Senior Research Scientist, Fraunhofer Center for Experimental Software Engineering
Photo of Elaine  Shi

Elaine Shi

Adjunct Associate Professor
Photo of Rajeev Barua

Rajeev Barua

Affiliate Associate Professor
Photo of Robert Rand

Robert Rand

Research Associate
Basili Fellow