The Proceedings of the ACM on Programming Languages (PACMPL) issue for #PLDI2026 is out!
🔗https://t.co/CCqaSJ4QeE
With less than a week until the conference kicks off in Boulder, CO on June 15, now's the perfect time to plan your reading list and program schedule!
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!
🔗https://t.co/S5LH8fVHdG
🚨 Today is the final day for early registration for #SPLASH2024! 🏃♂️ Don’t miss out on discounted rates. Join us in sunny Southern California for an amazing program filled with groundbreaking papers, insightful talks, and networking!
https://t.co/FW9yntowjb
Looking forward to seeing colleagues at @PLDI next week! I'll be giving the talk on Friday in the TOPLAS track on "Interactive Abstract Interpretation with Demanded Summarization" (part of @benno_stein 's PhD work and with @rakingleaves). https://t.co/PjgfJUTX9G
1/2 At OOPSLA? Come hear @cuplv student @meiershawn speak on "Historia: Refuting Callback Reachability with Message-History Logics," 4pm, Room II. In an event-driven app, some bugs can only be fixed by changing what callbacks are enabled at different times.
Btw, i was told by a few parents I talked to (many were women) that I should use my position of power to do something about @sigplan not offering childcare at conferences. So, here I am!