iiinova — where your digital self keeps evolving

Jenna DiVincenzo @jcenzo.bsky.social · 22/09/2026

Just noticed that the Dafny workshop is now the WAVE workshop starting this year, which extends its coverage to auto-active verification as a whole (popl27.sigplan.org/home/wave-2027). This is such a good change and I'm so excited I can probably make it this year!🤩

040

Jenna DiVincenzo @jcenzo.bsky.social · 14/09/2026

Are you an undergrad or PhD student interested in programming languages research? Check out PLMW @ POPL 2027, where sessions cover new PL research, career mentoring, and support interactions with PL researchers! Scholarship Deadline: Oct 19 AoE More Info + Apply: popl27.sigplan.org/home/PLMW-PO...

051

Reposted by Jenna DiVincenzo

Cyrus Omar on sabbatical in Cambridge @neurocy.bsky.social · 23/06/2026

Worse than it sounds, approximately zero new NSF grants are being funded right now: the cuts and hare-brained reallocation leaves only enough to keep previous grants funded. Research groups that do fundamental research will be unable to accept new students at all.

7192

Reposted by Jenna DiVincenzo

Yaron Minsky @yminsky.bsky.social · 11/06/2026

I've been telling people for 25 years that Jane Street is not interested in formal methods. No more! And we're actively hiring to form a new formal methods team! blog.janestreet.com/formal-metho...

blog.janestreet.com

Formal methods and the future of programming

I’ve been telling people for the last 25 years that Jane Street as an organization was just not interested in formal methods.

38119

Reposted by Jenna DiVincenzo

PLDI @sigplan-pldi.bsky.social · 20/06/2026

Most sincere thanks to the authors, speakers, sponsors, reviewers, and participants for making PLDI 2026 in Boulder such a huge success! -- PLDI 2026 Organizers

1131

Reposted by Jenna DiVincenzo

PLDI @sigplan-pldi.bsky.social · 17/06/2026

Unable to attend a talk or session at #PLDI2026 in person? You can still join via live-stream links available on the PLDI website!

012

Reposted by Jenna DiVincenzo

PLDI @sigplan-pldi.bsky.social · 15/06/2026

Beyond the sessions, at #PLDI2026 we've got a full week of social meetups to explore Boulder! This includes hikes in Chautauqua Mon/Tues/Fri, walk to downtown Pearl St for Bands on the Bricks on Wed, and tea at the Dushanbe Tea House on Thu. 🏔️ pldi26.sigplan.org/track/pldi-2...

041

Reposted by Jenna DiVincenzo

PLDI @sigplan-pldi.bsky.social · 15/06/2026

#PLDI2026 is live-streaming participating sessions on YouTube! Catch workshops, keynotes, research talks, and more from the premier PL and programming systems research venue. 📺Tune in at: pldi26.sigplan.org/attending/li...

pldi26.sigplan.org

PLDI Live Streams - PLDI 2026

Welcome to the home page of the 47th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2026)! PLDI is the premier forum in the field of programming languages and programmi...

075

Reposted by Jenna DiVincenzo

PLDI @sigplan-pldi.bsky.social · 14/06/2026

As you begin your travels to #PLDI2026, don't forget to check out the travel information on the website for directions from the airport to the Limelight Boulder. We also have tips for exploring Boulder from our local organizers. Pack your hiking boots! 🔗 pldi26.sigplan.org

062

Reposted by Jenna DiVincenzo

PLDI @sigplan-pldi.bsky.social · 29/05/2026

We've set up a Discord server for #PLDI26! Join the community for discussions, networking, and real-time conference updates. Find the invite link on the attendee info page: pldi26.sigplan.org/attending/In...

053

Reposted by Jenna DiVincenzo

Shriram Krishnamurthi @shriram.bsky.social · 20/04/2026

Now that people are starting to make travel plans to FLoC: if you're doing education, please consider submitting to Tools for Educational Activities in Logic! Lots of categories: you can even re-send us *existing papers* (please see CFP)! (Please reshare!) teal.cs.brown.edu/floc2026/

teal.cs.brown.edu

TEAL 2026: Tools for Educational Activities in Logic

TEAL 2026: Tools for Educational Activities in Logic @ FLoC2026

082

Reposted by Jenna DiVincenzo

PLDI @sigplan-pldi.bsky.social · 01/04/2026

Undergraduate, master’s, and early-stage PhD students interested in programming languages should apply to PLMW at PLDI 2026. It is a great opportunity to learn from researchers, build connections, and explore future directions in PL! Apply here: pldi26.sigplan.org/home/PLMW-PL...

011

Reposted by Jenna DiVincenzo

PLDI @sigplan-pldi.bsky.social · 30/03/2026

A special workshop celebrating Thomas Ball's 60th birthday and extraordinary impact in PL, SE, and formal methods will be held on June 16th at PLDI'26! There is a great line up of speakers who will reflect on his contributions and lasting influence. Don't miss it! pldi26.sigplan.org/home/tb-60-2...

032

Jenna DiVincenzo @jcenzo.bsky.social · 30/03/2026

Idk why but the terms "agentic" or "agent" as used in AI are so off-putting to me. Maybe because they feel so buzz wordy? Lack precision?

260

Jenna DiVincenzo @jcenzo.bsky.social · 24/03/2026

I thought paper reviews wouldn't bother me as much as a faculty, but nope they still do just as much. This time I get to feel like I let my students down instead of my advisors. (Also, reviews are fresh so in my feels right now😅; I'll be in higher spirits soon.)

160

Reposted by Jenna DiVincenzo

PLDI @sigplan-pldi.bsky.social · 07/03/2026

📢 Calling all students! PLDI'26 is now soliciting student volunteers. It's a fantastic opportunity to connect with the programming languages research community, meet top researchers, and contribute to PLDI'26's success! ⏳ Apply by April 13 AoE pldi26.sigplan.org/track/pldi-2...

pldi26.sigplan.org

PLDI 2026 - Volunteering - PLDI 2026

Sign up to be a Volunteer and help us make PLDI 2026 a great experience for all attendants! PLDI 2026 is pleased to offer a number of opportunities for volunteers, who are vital to the efficient opera...

052

Jenna DiVincenzo @jcenzo.bsky.social · 21/02/2026

My PhD student Wen Fan (fanweneddie.github.io) is looking for summer internships! ✨His research interests are at the intersection of AI and formal methods, and his work with me is exploring how LLMs can be used to build more usable and scalable verification tools.

141

Reposted by Jenna DiVincenzo

The Scala Workshop @workshop.scala-lang.org · 13/02/2026

We’re happy to announce that Scala Workshop 2026 will take place in Brussels, co-located with ECOOP! 🎉 📍 Brussels, Belgium 🗓 Mon 29 Jun 2026 🎙️ Submit your 1–2 page talk proposal! 🕒 Deadline: 23 Mar 2026 👉 2026.workshop.scala-lang.org #Scala #ScalaLang #ProgrammingLanguages #ECOOP

scala-workshop.epfl.ch

SCALA 26

083

Jenna DiVincenzo @jcenzo.bsky.social · 12/02/2026

Just a reminder you can follow PLDI (bsky.app/profile/sigp...) on BlueSky for conference updates! PLDI is the premier forum in the field of programming languages and programming systems research, covering the areas of design, implementation, theory, applications, and performance. pldi26.sigplan.org

2133

Reposted by Jenna DiVincenzo

PLDI @sigplan-pldi.bsky.social · 06/01/2026

Are you interested in programming languages research and mentoring up and coming PL researchers? Then you should fill out the self-nomination form for the PLDI'26 Student Research Competition's PC: forms.gle/KSacbLEtw1Yw... (Note, you must have a PhD by June 2026 to be a judge)

forms.gle

[PLDI 26] SRC Program Committee Nomination Form

Thank you for your interest in the program committee for the SRC! We're excited for you (or someone you are nominating) to join us in providing high-quality feedback to junior researchers in the PLDI ...

083

Jenna DiVincenzo @jcenzo.bsky.social · 06/01/2026

Looks like from the activity on my post the answer is yes, yay😄

060

Jenna DiVincenzo @jcenzo.bsky.social · 05/01/2026

Are programming languages people still active on BlueSky? I've been on a hiatus from social media, but would like to try to be more active going forward.

4632

Reposted by Jenna DiVincenzo

PLDI @sigplan-pldi.bsky.social · 17/11/2025

🎉PLDI'26 is already off to an incredible start, with a record breaking 398 paper submissions this year!🎉Let the reviewing fun begin!

0114

Reposted by Jenna DiVincenzo

Alexandria Ocasio-Cortez @aoc.bsky.social · 04/07/2025

Freedom from kings. Freedom from fascism. Power to the people forever. ♥️ Happy Independence Day 🇺🇸

999587359052

Reposted by Jenna DiVincenzo

Jonathan Aldrich @jonathanaldrich.bsky.social · 19/06/2025

#LiquidTypes are a lightweight way to specify and check code properties. What stands in the way of more widespread adoption? Friday at 10:30, @catarinavgamboa.bsky.social presents our #PLDI2025 paper (with Abigail Reese and @alcidesfonseca.com), "Usability Barriers for Liquid Types."

1123

Reposted by Jenna DiVincenzo

Jonathan Aldrich @jonathanaldrich.bsky.social · 24/05/2025

I'm delighted to announce the 5th edition of Programming Language Pragmatics! I joined Michael Scott as a coauthor. We updated the semantics chapter to use inference rules, & substantially updated coverage of types, OO, codegen, Rust ownership & safe concurrency, async, traits & more!

Programming Language Pragmatics textbook cover, showing a waterfall in a woodland

48711

Reposted by Jenna DiVincenzo

Elena Glassman @elglassman.bsky.social · 15/05/2025

My largest remaining NSF grant, that was awarded by a competitive process on the recommendation of national experts, was terminated yesterday. The money would have paid for PhD students to invent better AI systems for everyday people who need programs written for them but who can't or won't write...

5386

Reposted by Jenna DiVincenzo

Kate Starbird @katestarbird.bsky.social · 04/05/2025

Thinking about devastating cuts to NSF: US gov-funded science has been the engine upon which most of the tech wealth was generated. But the oligarchs (currently hoarding much of that $) think it’s their own brilliance & not the accident of standing close to the scientific engine that made them rich.

11361801662

Reposted by Jenna DiVincenzo

Julian Sanchez @normative.bsky.social · 22/04/2025

I feel like we need to keep saying this because it’s so insane: This is a legal U.S. resident who has been detained for over a month now for his political opinions.

236233508272

Reposted by Jenna DiVincenzo

Ben Collins @bencollins.bsky.social · 20/04/2025

I care less about Signal chats and more about the blacksite offshore concentration camps we're sending random people to without any semblance of a trial, so I'll be interested to see if the national media can rub their bellies and pat their heads at the same time this week. Historically they can't.

657344535345

Reposted by Jenna DiVincenzo

Eoin Higgins @eoinhiggins.bsky.social · 15/04/2025

MIT following Harvard's lead here

571328446678

Reposted by Jenna DiVincenzo

Zahr K. Said @zahrsaid.bsky.social · 10/04/2025

In case you missed this update, no longer 70%, it’s 90% of people abducted and sent to El Salvador are innocent (“no US criminal record”)

11333167

Reposted by Jenna DiVincenzo

60 Minutes @60minutes.bsky.social · 07/04/2025

60 Minutes found no criminal record for 75% of the Venezuelan migrants the U.S. sent to a mega-prison in El Salvador. cbsn.ws/4lC4Vp5

10522772612830

Reposted by Jenna DiVincenzo

Rust Language @rust-lang.org · 05/04/2025

🦀 Hello World! The Rust project now has an official presence on Bluesky! ✨ We'll be posting the same on our Mastodon and Bluesky accounts, so you won't miss anything on either platform.

311459285

Jenna DiVincenzo @jcenzo.bsky.social · 29/03/2025

Two updates: 1) early registration for physical attendees has been extended to April 1 and late registration to April 18, and 2) travel grant information is available on the VerifyThis website (verifythis.ethz.ch), apply by April 8. Hope to see you there!

052

Reposted by Jenna DiVincenzo

Jingbo Wang @jingbow.bsky.social · 28/03/2025

PLMW@PLDI'25 is now accepting applications: pldi25.sigplan.org/home/PLMW-pl... Deadline: April 10, 2025 PLMW an excellent place to learn about exciting PL research, from the ground up, and to find your PL friends! Please apply!

pldi25.sigplan.org

PLMW @ PLDI 2025 - Programming Languages Mentoring Workshop - PLDI 2025

The Programming Language Mentoring Workshop (PLMW) aims to broaden the exposure of late-stage undergraduate students and early-stage graduate students to research and career opportunities in programmi...

0169

Reposted by Jenna DiVincenzo

Isil Dillig @idillig.bsky.social · 04/03/2025

For formal methods folks looking for a new position: @VeridiseInc is hiring a formal methods researcher to work on verification/analysis tools targeting zero-knowledge applications. More details are here: veridise.com/careers/zk-r...

1197

Reposted by Jenna DiVincenzo

Yuriy Brun @yuriybrun.bsky.social · 28/02/2025

Are you graduating with a PhD? Do you work on program analysis, formal verification, software correctness, or AI? Apply to join the UMass LASER lab as a postdoctoral researcher, a vibrant team focused on using the latest NLP technology to ensure software correctness!

151

Jenna DiVincenzo @jcenzo.bsky.social · 24/02/2025

VerifyThis is a series of program verification competitions bringing together those interested in formal verification. The 2025 edition will be held as a hybrid workshop with ETAPS. Early registration for physical attendees is open until Feb. 28. For more information see verifythis.ethz.ch. 1/2

1135

Reposted by Jenna DiVincenzo

🌶 David Gray Widder @davidthewid.bsky.social · 17/02/2025

I recently gave one of the best talks of my career thus far, and thankfully it was recorded, so I figured I share that here! Thoughts/ideas/questions welcome! scs.hosted.panopto.com/Panopto/Page...

scs.hosted.panopto.com

HCII Seminar Series: David Widder

25218

Reposted by Jenna DiVincenzo

Pete Buttigieg @petebuttigieg.bsky.social · 17/02/2025

If you wanted to cut waste, fraud, and abuse, you would empower the inspectors general. If you wanted more waste, fraud, and abuse, you would fire them.

214512433031294

Reposted by Jenna DiVincenzo

Prof Christina Pagel @chrischirp.bsky.social · 13/02/2025

🧵"So this is how liberty dies..." Trump’s first 3 weeks have been a relentless flood of actions. It's incredibly hard to keep up. I’ve gone through 69 actions & mapped out the pattern - showing how they fall within 5 broad domains consistent with authoritarian states 1/9

This is a venn diagram showing how 69 Trump actions map onto domains covering: undermining democratic institutions; suppressing dissent and media; dismantling social protections; attacking science and education; destabilising the global order. A table version is available here https://docs.google.com/spreadsheets/d/1LZN7QnbSyFfUZJG8Sn1MWpK0VnfBtb0OSyZ1jxP3xBk/edit?usp=sharing

47999515726

Reposted by Jenna DiVincenzo

Popehat @kenwhite.bsky.social · 08/02/2025

Please remember something: if you had said a year ago that Trump would do even a fraction of these things, you would have been mocked, belittled, accused of “Trump derangement syndrome,” and dismissed by certain people. Identify those people and block and shun them.

332153122837

Reposted by Jenna DiVincenzo

Kristopher Micinski @krismicinski.bsky.social · 07/02/2025

NSF proposed Trump budget goes from $9Bil->$3Bil, wow--can you believe that $6Bil of all NSF funding goes to DEI!?

1122

Reposted by Jenna DiVincenzo

Talia Ringer @taliaringer.bsky.social · 05/02/2025

To be honest, I'm surprised every scientific agency and university and so on is getting on its knees for this administration rather than actually resisting fascism in some meaningful way

1836252

Reposted by Jenna DiVincenzo

George Porter @georgemporter.bsky.social · 06/02/2025

This statement from CRA outlines the critical importance that the National Science Foundation plays for our nation's prosperity, security, and future. I highly recommend sharing it with your colleagues, and calling your representatives in Congress to convey these benefits to them in your own words!

cra.org

NSF Budget Cuts Would Put the Future of U.S. Innovation and Security at Risk

A statement from the Computing Research Association (CRA) Recent executive actions have raised the potential of significant budget cuts and mass layoffs at the National Science Foundation (NSF), a …

0115