Programming Languages and Software Engineering

    We develop new approaches to programming, whether that takes the form of programming languages, tools (like compilers), or methodologies (like ways to collect requirements or formulate designs). Advances in these ingredients can improve many aspects of applications and systems infrastructure.

    New programming languages can improve developer productivity and allow new categories of users to tackle complex programming challenges. Improved compilers can boost program performance through automatic program analysis and transformation. Formal methods can build confidence in system correctness through logical arguments about complex code bases (whether through automated reductions to harness SMT solvers or through more manual construction of proofs of deeper properties using computer proof assistants like Coq).

    Programming tools are relevant to most parts of computer science, and this area is therefore rich in collaborations with others, including the two-way interplay between machine learning and programming. Another popular thread is applying formal methods to classes of hardware and software systems whose correctness and security matter most: computer processors, operating systems, databases, and cryptographic libraries.

    Latest news in programming languages and software engineering

    Realtime Robotics has developed a combination of proprietary software and hardware that reduces system deployment time by 70 percent or more, reduces deployment costs by 30 percent or

    Associate professor Vivienne Sze is bringing artificial intelligence applications to smartphones and tiny robots by co-designing energy-efficient hardware and software. Image: Lillie Paquette/MIT School of Engineering Not so long

    PhD candidate Aziza Almanakly stands in front of MIT’s Great Dome. EECS PhD candidate Aziza Almanakly recently received news of an exciting honor: together with nine other MIT

    Mustafa Doğa Doğan, shown here in front of MIT’s Great Dome. Photo credit: Hannah Harens. Mustafa Doğa Doğan is a 3rd year PhD student working with Prof. Stefanie

    Graduate students Ava Soleimany (left) and Alexander Amini moved their popular IAP course on deep learning online this year, but still managed to work in some surprises. The

    Upcoming events