Defense: Towards Live Programming Environments for Statically Verified JavaScript

Speaker Name: 
Christopher Schuster
Speaker Title: 
PhD Candidate (Advisor: Cormac Flanagan)
Speaker Organization: 
Computer Science
Start Time: 
Monday, December 10, 2018 - 10:00am
End Time: 
Monday, December 10, 2018 - 10:00am
Engineering 2, Room 599
Cormac Flanagan

Abstract:  Programming environments assist users in both writing program code and understanding program behavior. A fast feedback loop can significantly improve this process. In particular, live programming provides continuous feedback for live code updates of running programs. This idea can also be applied to program verification. In general, verifiers statically check programs based on source code annotations such as invariants, pre- and postconditions. However, verification errors are often hard to understand, so programming environment integration is crucial for supporting the development process. This dissertation includes contributions to both live programming and static verification of dynamically-typed JavaScript programs and explores how programming environments can be designed to integrate both concepts to provide a better programming experience.