计算机科学哲学博士-编程语言和软件工程

今天，感兴趣的系统涉及多/多核处理器，嵌入式和分布式系统以及移动和Web应用程序。我们的编程语言和软件工程（PL＆SE）小组致力于此类系统的性能优化和正确性问题，研究的重点是广泛的问题，从提供表示并行性，安全性和实时属性的新抽象开始，设计新的程序分析和编译器优化技术，检查托管运行时和动态优化，定义用于测试和调试现代软件系统的新技术。软件工程的当前实践要求开发人员花费巨大的精力来生产充其量是最正确的软件。不幸的是，错误可能使企业损失数百万美元，并且安全漏洞可能会带来灾难性的后果。
Today, the systems of interest involve multi/many-core processors, embedded and distributed systems, and mobile and web applications. Our Programming Languages & Software Engineering (PL & SE) group works on both performance optimizations and correctness problems for such systems, with research that focuses on a wide range of issues, from providing new abstractions for expressing parallelism, security, and real-time properties, to devising new program analysis and compiler optimization techniques, to examining managed runtimes and dynamic optimizations, to defining new techniques for testing and debugging modern software systems. Current practice in software engineering requires developers to spend enormous effort to produce software that is mostly correct at best. Unfortunately, bugs can cost an enterprise millions of dollars, and security vulnerabilities can have catastrophic effects.