Research
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Episode 58, January 9, 2019 – Dr. Protzenko talks about what’s wrong with software (and why it’s vitally important to get it right), explains why there are so many programming languages (and tells us about…
The year’s end is an opportunity to reflect on what was achieved and to resolve to aspire to even greater heights in the one that’s about to begin. Looking back on what was accomplished at…
Distributed systems are hard to get right. There have been many notable efforts in formal reasoning for distributed systems: these efforts have focused on language design, automated or semi-automated verification, and, more recently, on automated…
From booking air tickets to analyzing astronomy datasets, database queries are pervasive in people’s work and life. However, reasoning database queries automatically is not easy. It is shown to be undecidable in general. And there…
![Video: Discover[i]: Component-based Parameterized Reasoning for Distributed Applications](https://cm-edgetun.pages.dev/en-us/research/wp-content/uploads/2018/11/42373_Discoveri-Component-based-Parameterized-Reasoning_video_10_2019_1280x720-1024x576.jpg)
