The world’s largest federated conference in logic & automated reasoning, FLoC 2026 (www.floc26.org), will be in Lisbon! Thousands will attend—an excellent chance for companies to showcase their presence. Interested in sponsoring? Details www.floc26.org/sponsors/FLo...

People use LLM agents to interact with (access/modify) their system and external services. We (@bimalraj.bsky.social, @samkumar.bsky.social, and Sai) think this can be a bit dangerous 💣⏲️💥 so we wrote a paper (arxiv.org/pdf/2506.13028) on system guardrails for such agent-driven interactions!

An article written just came out covering our latest work on semantic-driven static analysis for shell script correctness (www.infoworld.com/article/3977...). There will also be a presentation at HotOS on Thursday (sigops.org/s/conference...) for anyone who is there!

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!

I am looking to recruit a PhD student (fully funded at UK home tuition rate) to work on automated testing and verification of machine learning compilers and runtimes! Deadline: 30th April. Please spread the word! Details here: www.doc.ic.ac.uk/~afd/PhD-Adv...

An extended version of our Netherite paper with folks from Microsoft Research was just published to the VLDB Journal (link.springer.com/article/10.1...). The key addition is Section 8, which contains real usage data for Durable Functions. See more below ⬇️

A student in my paper reading class at UCLA identified a serious missed opportunity in our MuCache paper:

Hey all! Who's at POPL? If you're here and looking to do a PhD at Princeton, let's chat!

Consider following the ✨new✨ and official PLDI account on Bluesky @sigplan-pldi.bsky.social

SoCal Programming Languages and Systems is back and will be @ucsd_cse in February! Submit your abstracts! socalpls.github.io @ranjitjhala.bsky.social @manu.sridharan.net @cristalopes.bsky.social Reposts appreciated!

Our recent paper on an overload control system for μservice applications called Rajomon was accepted for NSDI 25 🎉 This paper was led by Jiali (@jia-li.bsky.social), who persisted and saw it through many resubmissions! The work started from an idea from 2021! See thread for more: ⬇️

If you (or someone you know) is a PhD student in PL and planning to come to PLDI this year, please reach out! I'm looking for a Social Chair who'll help organize event during the conference. Apart from being tremendous fun, the position is extremely visible and useful for late stage students

We are hiring! The Dept of Computing at Imperial are looking to appoint *six* new faculty members. Focus areas: - AI+ML - Computer Graphics +Computer Vision - Quantum Computing + Quantum Information - Software Engineering Please spread the word! www.imperial.ac.uk/jobs/search-...

Attention🚨 We are looking for motivated students and researchers to be members of the PLDI 2025 Artifact Evaluation Committee. This year, we are accepting self-nominations (the form is here: forms.gle/2TPmixasDmqM...). Deadline: Dec 23rd, 2024. For more info: pldi25.sigplan.org/track/pldi-2...