今天，感兴趣的系统涉及多核/众核处理器、嵌入式和分布式系统以及移动和 Web 应用程序。编程语言和软件工程 (PL & SE) 小组致力于此类系统的性能优化和正确性问题，研究侧重于广泛的问题，包括提供用于表达并行性、安全性和实时属性的新抽象，设计新的程序分析和编译器优化技术，检查托管运行时和动态优化，定义用于测试和调试现代软件系统的新技术。

软件工程的当前实践要求开发人员花费巨大的努力来生产最多只能是正确的软件。不幸的是，错误可能会使企业损失数百万美元，而安全漏洞可能会造成灾难性的后果。

PL & SE 小组积极研究新技术和工具，通过使用自动定理证明和自动机理论的强大基础以及利用新的测试和调试方法，帮助程序员发现关键但微妙的软件错误和漏洞。例如，我们正在开发的技术可以发现并消除 (1) 并发程序中的可靠性错误，(2) 频繁使用的应用程序库中的性能错误，(3) 关键电路设计中的安全错误和攻击，以及 (4) 细微错误部署后在软件中。

PL & SE 还研究了预测编译器分析的全新方向，这些方向旨在预测应用程序在执行期间的动态属性。这些属性在传送到执行环境时，允许系统以最佳效率运行，还允许资源与动态应用程序需求的最佳匹配，从而提供巨大的性能增益。

该小组积极将软件和工具发布到公共领域。学校还有许多行业合作伙伴，包括英特尔、谷歌、IBM、微软、英飞凌、索尼、东芝、Greenhills、LogicBlox 和高通。