Yizhou Zhang, Assistant Professor at the University of Waterloo, presented bidirectional algebraic effects, a new programming abstraction that subsumes current control flow patterns (e.g., exceptions, promises, generators) while supporting bidirectional control flows. With the new typed abstraction, all declared effects are handled, and no effects are accidentally handled by the wrong handler.