Talks and Meetings

Graph IRs for Impure Higher-Order Languages – Making Aggressive Optimizations Affordable with Precise Effect Dependencies
Conference paper presentation. SPLASH/OOPSLA 2023, October 26, 2023.
Slides Video Paper

Diamonds and Rust
Invited talk at the Purdue University Programming Languages Group (PurPL) Seminar, USA, February 10, 2023. Slides

Functional Systems Programming – From Ownership, Capabilities, and Effects to Compilation and Abstraction without Regret
Invited talk at Galois, Inc., Portland, OR, USA, January 12, 2023.

Reachability Types – Tracking Aliasing and Separation in Higher-Order Functional Programs
Conference paper presentation (virtual). SPLASH/OOPSLA 2021, October 20, 2021.
Slides Video Paper

Scalable Handling of Effects
Dagstuhl Seminar 21292, Germany, July 18 - July 23, 2021.

Towards Full Dependent Types in Scala
Invited talk at PurPL Retreat 2020, August 31, 2020.

Event Correlation Systems à la Carte
Invited talk at Purdue University/PurPL, USA, November 15, 2019. Host : Tiark Rompf.

Programming and Reasoning with Algebraic Effects and Effect Handlers
NII Shonan Meeting Seminar 146, Japan, March 24 – March 29, 2019.

Functional Stream Libraries and Fusion: What’s Next?
NII Shonan Meeting Seminar 136, Japan, October 21 – October 25, 2018.

Algebraic Effect Handlers go Mainstream
Dagstuhl Seminar 18172, Germany, April 22 – April 27, 2018.

The Marriage of Effects and Joins
Invited talk at the University of Edinburgh, UK, December 14, 2017. Host : Sam Lindley.

Event Correlation with Algebraic Effects
Invited talk at University of Cambridge, UK, September 15, 2017. Host : Neel Krishnaswami.

Oregon Programming Languages Summer School (OPLSS)
University of Oregon, USA, June 20 - July 2, 2016.