SPLASH Conference
@splashcon
SPLASH: ACM Annual Conference on Systems, Programming, Languages, Applications: Software for Humanity #SPLASH2025 #SPLASH25
📢 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
PLMW (@PLMentoring) 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…
FP and OO unify again! Join us at the Scala Workshop, co-located with @icfp_conference and @splashcon 💡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
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
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…
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…
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!
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…
The @PLMentoring is not only about research! Great tips for all participants!
Distinguish Artifacts and Distinguish Artifacts Reviewers at OOPSLA
The @sigplan Robin Milner Young Research Award goes to Armando Solar-Lezama for his work on program synthesis.
Kuang-Chen Lu presenting Identifying and Correcting Programming Language Behavior Misconceptions
Yoshiki Takashima presenting Crabtree: Rust API Test Synthesis Guided by Coverage and Type
Jifeng Wu presenting QuAC: Quick Attribute-Centric Type Inference for Python
Seungmin Jeon presenting Quantum Probabilistic Model Checking for Time-Bounded Properties
Đorđe Žikelić, Quantitative Bounds on Resource Usage of Probabilistic Programs, OOPSLA
