Research
1 Jan 0001
Research
My publications contain more technical descriptions of my research.
My research aims to develop tools and techniques to help developers produce more reliable software systems. In particular, I am developing (1) lightweight specification languages, which enable developers to state key properties of their software, and (2) static analysis techniques, which enable compilers to verify that these properties actually hold.
Technology. Static analysis determines properties of a program without actually executing the program; contrast this to dynamic analysis, which collects program properties by observing program executions. Optimizing compilers have used static analysis to eliminate unnecessary computations and thereby speed up program executions. In the software engineering domain, static analysis has been used, for instance, to find potential null pointer bugs and to verify that device drivers always respect API usage requirements.
Static Analysis for Software Engineering, Winter 2021
1 Jan 0001
Outline v1: pdf
Papers list: google doc
Project suggestions: google doc
- Week 1 video: https://youtu.be/1KeJZGZvfFQ
Static Analysis for Software Engineering, Winter 2022
1 Jan 0001
Outline v3: pdf
Papers list: google doc
Project suggestions: google doc
