Steven Holtzen
Assistant Professor at Northeastern University, US
Invited talk
From TPMs to Programming Languages and Back Again
Tractable probabilistic models (TPMs) have slowly but steadily become a standard method for probabilistic reasoning in the programming languages community, with several papers published this year in top-tier venues that make use of TPMs for performing probabilistic reasoning. I think this is the beginning of exciting cross-pollination of these communities. My goal in this talk is to (1) explain to you why the programming languages community cares about and uses probability; (2) show you why TPMs are steadily becoming a standard tool within that community for solving their problems; and (3) point towards future opportunities for collaboration between communities. Along the way, I will give you a flavor of how the programming languages person thinks.
Biography
Steven Holtzen is an assistant professor and programming languages researcher at Northeastern University. His research focuses on designing tools and foundations for reasoning about programs with probabilistic behavior. He received his PhD in computer science from the University of California, Los Angeles in 2021. His work has been recognized by two ACM SIGPLAN distinguished paper awards and an NSF CAREER award.







