Programming Languages and Software Engineering at the Allen School

Explore cutting-edge research in programming languages and software engineering through a colloquium series presented by the Allen School's PLSE group. Discover how to leverage computers for complex coding tasks, apply static analysis to real-world code, gain insights into live distributed systems, prove distributed systems correct with minimal proof lines, and ensure CSS compatibility across various devices and browsers. Delve into topics such as file systems, building tools, static analysis, modeling systems, proof automation, graphical interactive debugging, distributed systems, web pages as programs, and client-server reasoning. Gain valuable knowledge from experts in the field as they discuss innovative approaches to solving contemporary software engineering challenges.

Introduction
Format
James Bourne Holt
File Systems
Building Tools
Static Analysis
The Problem
The Stack Trace
Concerto
Concerto Summary
The Pulse Lab
Modeling Systems
Proof Automation
Summary
Graphical Interactive Debugger
Distributed Systems
Understanding Bugs
Visual Studio
Distributed System
Oddity
Oddity Demo
Oddity Summary
Console Whine
Theme
Web Pages
Web Pages as Programs
Web Browser Behavior
Unit Tests
ClientServer Reasoning