iiinova — where your digital self keeps evolving

Steven Holtzen

@sholtzen.bsky.social

I like computers. assistant prof at northeastern www.khoury.northeastern.edu/home/sh…

Steven Holtzen @sholtzen.bsky.social · 27/09/2026

Curious how calibrated decision models like Jev interact with probabilistic programs. I've added some notes on this to my ongoing probabilistic programming course: sholtzen.dev/fall26-pwp/L...

sholtzen.dev

4 Language models

000

Steven Holtzen @sholtzen.bsky.social · 19/01/2026

Super excited to be lecturing at the 2026 edition of EPIT 11 – 15 May, 2026 at the French spring school in theoretical computer science! I will be lecturing on the mechanics of probabilistic inference. Other topics include probabilistic semantics and verification. conferences.cirm-math.fr/3489.html

010

Steven Holtzen @sholtzen.bsky.social · 08/01/2026

We've extended the deadline for workshops at SPLASH/ISSTA 2026 to **January 17**! Please submit your proposals (it's just a small HotCRP form this year, easy!), and we're looking forward to seeing you in Oakland! Link: 2026.splashcon.org/track/splash... @rohan.padhye.org @issta.bsky.social

2026.splashcon.org

SPLASH/ISSTA 2026 - Workshops - SPLASH 2026

Welcome to the website of the SPLASH 2026 conference. We are working hard to fill the website with all related information. Please check back soon! In the meantime, please consider this overview of th...

031

Reposted by Steven Holtzen

Rohan Padhye @rohan.padhye.org · 03/12/2025

SPLASH and ISSTA are going to be co-located in 2026 at Oakland, CA! 🥳 If you would like to run a workshop in PL/SE/Testing, submit a proposal by Jan 10th: conf.researchr.org/track/splash... Contact @sholtzen.bsky.social or me for questions.

conf.researchr.org

SPLASH/ISSTA 2026 - Workshops - SPLASH/ISSTA 2026

Welcome to the website of the SPLASH/ISSTA 2026 conference. We are working hard to fill the website with all related information. Please check back soon! In the meantime, please consider this overview...

051