Yizhou Zhang, Doctoral candidate
Computer Science Department, Cornell University
Language design does not have to be about abandoning old features or piling on new ones. A principled approach to language design can offer simplicity, expressive power, strong guarantees, and good performance all at the same time. As an example, I will describe the design of the exception-handling mechanism in the Genus programming language. The design is an effort towards settling the long-running debate over checked vs. unchecked exceptions; the payoff is safer, cleaner, and faster code. I will also discuss how this design can be generalized to fix a fundamental modularity problem in algebraic effects, a unifying language abstraction that is quickly gaining popularity among programmers and language designers.
Bio: Yizhou Zhang is a doctoral candidate in the Computer Science Department at Cornell University, advised by Andrew Myers. His research interests are in programming languages and software engineering. He designs and implements programming languages that help improve programmer productivity and software reliability. He was an undergraduate student at Shanghai Jiao Tong University.
200 University Avenue West
Waterloo, ON N2L 3G1