Aleks Boruch⁠-⁠Gruszecki

Aleks Boruch⁠-⁠Gruszecki

PhD candidate

EPFL

About me

I’m interested in building strong theoretical foundations for pragmatic PL features. During my PhD in Martin Odersky’s lab I focused on the theory of Capture Tracking for Scala. Also, I worked on SuperF, a type inference algorithm for System F and added subtyping reconstruction, a novel OO take on GADTs, to the Scala compiler.

Developing some very desireable PL features, like type inference, requires taking on additional complexity to improve the life of the language’s users. After a certain point, the only way to implement such features without completely losing track of what’s going on involves developing and studying appropriate formal foundations.

I’m also interested in:

  • personal knowledge management
  • interactive programming environments
  • education

If you see how all three are connected, let’s chat :)

Projects

Capture Tracking

Tracking the Capture of capabilities in types.

Key Publications

(2024). When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism. At POPL'24.

PDF DOI

(2023). Capturing Types. In TOPLAS.

PDF DOI

(2022). A case for DOT: Theoretical Foundations for Objects with Pattern Matching and GADT-style Reasoning. At OOPSLA'22.

PDF DOI

(2022). Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back. At OOPSLA'22.

PDF DOI