Yay, our paper was just accepted to POPL 2024! "When Subtyping Constraints Liberate: A Novel Approach to First-Class-Polymorphic Type Inference" With Alex Boruch-Gruszecki Andong Fan ƒosfor

I started a blog. In the first installment I write of some of my memories of Niklaus Wirth. odersky.github.io/blog/2024-01-0…

Honored to be the winner of this year's POPL's most egregious Twitter reference!

I did not expect a compiler book to be this brutal. #unexpectedchutzpah

Glad to say that IWACO is happening again in 2024! If you didn't get your fix of Aliasing, Capabilities, and Ownership last year, now's your chance :) 2024.splashcon.org/home/iwaco-2024

Do you like poking holes in your favorite compiler’s type checker? Are you interested in discussing the various sources of unsoundness in type system and verification tools with like-minded PL nerds? The UNSOUND workshop at SPLASH 2024 is for you! Talk proposal deadline is Jul 15

Yijia Chen presents his great work with Lionel Parreaux on using type-based flow analysis to implement deforestation.

Anton Lorenzen cracks open OCaml modes! Great talk at ICFP

This is a short note on my experience as an immigrant and new American. The timeline is this: - 2002: moved from India to attend Grinnell College, Iowa - 2006: started PhD in computer science at Brown University, Rhode Island - 2012: started as a postdoc scholar at Cornell