Steven Holtzen

Assistant Professor at Northeastern University

[Steven Holtzen @zengola]

@ArjunGuha I left at 3:30 today for groceries! I managed to get bread.

[Steven Holtzen @zengola]

Update: The new deadline is January 17!

[Steven Holtzen @zengola]

The SPLASH/ISSTA 2026 workshop deadline is in 2 days (Jan 10)! SPLASH next year will be in Oakland, CA! Link below the fold to fool the silly algorithm 👇

[Steven Holtzen @zengola]

https://t.co/wcIhA6krwB

[Steven Holtzen @zengola]

Update: We've extended the deadline to January 17! Please help spread the word.

[Steven Holtzen @zengola]

The SPLASH/ISSTA 2026 workshop deadline is in 2 days (Jan 10)! SPLASH next year will be in Oakland, CA! Link below the fold to fool the silly algorithm 👇

[Rohan Padhye @moarbugs]

Next year, SPLASH (@splashcon) and ISSTA (@issta_conf) are going to be co-located in Oakland, CA! 🥳

If you would like to run a workshop in PL/SE/Testing, submit a proposal by Jan 10th: https://t.co/2eyw0RSTBh

Please RT for visibility. Contact @zengola or me for questions.

[Steven Holtzen @zengola]

@lorisdanto I do: https://t.co/jyzW2YRvRf

[Steven Holtzen @zengola]

@docmilanfar Thanks for replying Peyman. But surely then we must agree that the NSF is “key”? I think we need to support this institution that has so many successful careers. It’s not above criticism, but I think we need to carefully acknowledge its importance along with its faults.

[Steven Holtzen @zengola]

@docmilanfar New faculty can't really go for large MURI grants or things like that until we get some experience. NSF is that "first grant". I see you also had a CAREER early on that helped you get started. I think this role for the NSF needs to be recognized.

[Steven Holtzen @zengola]

@docmilanfar As new faculty supported almost entirely by NSF, one thing I want to point out about NSF that is often missed is its critical role in new faculty development. NSF held me to high standards while writing proposals, which drives good research. Dollar amount isn't everything.

[Steven Holtzen @zengola]

@headinthebox Which problem do you see as the one that is not being addressed, and how should we measure progress towards it?

[Atılım Güneş Baydin @atilimgunes]

Calling all PL enthusiasts! Matthijs Vákár (Utrecht Uni) and I are organizing LAFI 2025 at #POPL2025. If you’re working on differentiable programming, inference algorithms, PL for AI, this is your venue!
Submit by: Oct 30, 2024
https://t.co/hR0auggbS3

[Steven Holtzen @zengola]

@djg98115 I have some notes on this from my PL course taught last semester https://t.co/f7qHM1HDXn
Covers tail form, continuation-passing interpreters, and then uses that to add exceptions to a small calculator language. Based on "Essentials of Programming Languages"

[Steven Holtzen @zengola]

@johnbender a random variable is just a morphism in the category of measurable spaces

[Steven Holtzen @zengola]

@tetraduzione @ChrSzegedy This is a real classic https://t.co/CUx1XoNTiu

[Rob Mensching @robmen]

Lots of analysis of the xz/liblzma vulnerability. Most skip over the first step of the attack:

0. The original maintainer burns out, and only the attacker offers to help (so the attacker inherits the trust of the project built by the maintainer).

Read their words👇🏻 1/

[Arjun Guha @ArjunGuha]

Shoutout to @zengola from @ellev3n11 for his AI class.

[Ankush Das @Das8Ankush]

Super excited to be part of the organizing team of OPLSS 2024 at Boston University! I still remember getting inspired from attending it almost 10 years ago!! Please RT and encourage students to register. Registration deadline: March 30. Details: https://t.co/DnC4BQXOVw

[Steven Holtzen @zengola]

https://t.co/G17gboU2Bt

Apply for the Khoury Distinguished Post-doc! We're looking to hire in programming languages!

[Steven Holtzen @zengola]

Very excited for LAFI@POPL coming up this Sunday: https://t.co/YFaSBUT1d7
@Hong_Ge2 will be presenting our keynote!
18 accepted posters spanning many topics within probabilistic and differentiable programming
Sponsored by @BasisOrg this year! Hope to see you there!