I do research on programming languages. In particular, I seek programming abstractions that can provide the expressiveness and assurance required to build extensible, reliable software.

The Genus programming language reflects our thoughts on parametric polymorphism and exception handling.

Recent Publications


Yizhou Zhang, Guido Salvaneschi, Quinn Beightol, Barbara Liskov, and Andrew C. Myers

PLDI'16
Accepting Blame for Safe Tunneled Exceptions

An exception mechanism that reconciles local, compile-time enforcement of exception handling with higher-order programming and allows for good performance.

Yizhou Zhang, Matthew C. Loring, Guido Salvaneschi, Barbara Liskov, and Andrew C. Myers

PLDI'15
Lightweight, Flexible Object-Oriented Generics

An expressive, lightweight genericity mechanism with better code reuse and stronger static checking.