🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

Just presented a poster at SPLASH Conference :)

Mark your calendars: the ICFP'25 submission deadline will be Feb 27! The call for papers will be released soon. Check out icfp25.sigplan.org/track/icfp-202… for more important dates!

Thank you SPLASH Conference community for an amazing SPLASH 2024!

Thanks everyone for attending SPLASH Conference! I had a blast and hope you did too

Đorđe Žikelić, Quantitative Bounds on Resource Usage of Probabilistic Programs, OOPSLA

Seungmin Jeon presenting Quantum Probabilistic Model Checking for Time-Bounded Properties

Jifeng Wu presenting QuAC: Quick Attribute-Centric Type Inference for Python

Yoshiki Takashima presenting Crabtree: Rust API Test Synthesis Guided by Coverage and Type

Kuang-Chen Lu presenting Identifying and Correcting Programming Language Behavior Misconceptions

Tomoki Nakamaru presenting Multiverse Notebook

The @sigplan Robin Milner Young Research Award goes to Armando Solar-Lezama for his work on program synthesis.

Distinguish Artifacts and Distinguish Artifacts Reviewers at OOPSLA

The Programming Languages Mentoring Workshop is not only about research! Great tips for all participants!

SPLASH and ICFP will be co-located in 2025! 📆 Mark your calendars: the ICFP'25 submission deadline will be Feb 27, 2025 icfp25.sigplan.org/track/icfp-202…

Have a big idea for the next great workshop? 💡 Submit workshop proposals for ICFP/SPLASH 2025 by **Thursday, January 16**! Don't miss this opportunity to shape the discussion in programming languages and software engineering. Details: conf.researchr.org/track/icfp-spl…

This year, SPLASH & ICFP join forces, giving sponsors greater visibility across both programming languages & software engineering communities. Don’t miss this opportunity to connect with top researchers & practitioners! 📢 Learn more: conf.researchr.org/attending/icfp…

Round 2 of the #OOPSLA2025 paper submission deadline is approaching soon. Looking forward to all your submissions and re-submissions! 📷 25th March 2025 2025.splashcon.org/track/OOPSLA

FP and OO unify again! Join us at the Scala Workshop, co-located with ICFP Conference and SPLASH Conference 💡No papers, just talk proposals! Meet leading researchers, connect with the Scala community, and bring your industry perspective—everyone’s invited. 2025.workshop.scala-lang.org

PLMW (Programming Languages Mentoring Workshop) is calling for student applications -- **Funding is available**. If you are a student interested in ICFP/SPLASH 2025, consider applying! 🗓️ Deadline: July 15, AoE conf.researchr.org/home/icfp-spla…

📢 Call for Student Volunteers: ICFP & SPLASH 2025 in Singapore! 🇸🇬 Get involved behind the scenes, network & gain experience! Includes free registration, meals & more! Apply by July 31st! 👇 conf.researchr.org/track/icfp-spl… #ICFP2025 #SPLASH2025 #Volunteer #Students #Singapore