Starting my first leg to #pldi #PLDI2023 in Orlando. Amtrak from greenfield down to CT. 🌊 https://www.nts.live/shows/fold/episodes/fold-6th-april-2023

From the Infer people:

We are happy to announce the fourth Infer Practitioners Workshop, co-located with #PLDI2023 Submit your work on the Infer static analysis platform by April 28th, 2023. Workshop date June 18th. Details https://pldi23.sigplan.org/home/infer-2023