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.
Scalable Handling of Effects
Dagstuhl Seminar 21292, Germany, July 18 - July 23, 2021.
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.