Tutorials People: Nicholas Adams, Peter Clark

… For ease of use, many pieces of software are insecure in their default settings. Not realising this, users in all the major categories - academic, industry and hobbyist, will often run said software in a configuration where vulnerabilities …

Tutorials People: Nikita Koval

… the Lincheck framework designed to test all … the problems we have faced when improving Kotlin Coroutines, present all …

Tutorials People: Evgenii Moiseenko, Nikita Koval

… in the Java standard library. All tasks run locally on attendees’ laptops. By the end …

SPLASH Keynotes People: Julia Lawall

… in thousands of kernel commits. However, not all software issues can be neatly …

… for registration and all conference activities. Special circumstances may … expect all the participants to use welcoming and inclusive language … and all associated events. Conference participants violating these standards may …

… languages, covering all aspects of theory, implementation, and application. Every year …, Programming, Languages, and Applications: Software for Humanity. SPLASH embraces all … - $8,000

• All of the benefits of Bronze sponsorship
• One complementary 3-day …

… Arrival Card (SGAC)

All travellers are required to submit the **[SG Arrival …

… are welcomed on all aspects of program analysis analysis, including, but not limited … and static analysis for LLM

All paper submissions will be evaluated on the basis … that they can spend on each paper. With the exception of NEAT papers, all papers …

… be bootable and contain all the necessary libraries installed. Please ensure … of a container image containing the experiments, along with all dependencies ….

All artifacts will follow a double-blind process: author names …

… experience for all attendants!

SPLASH 2025 is pleased to offer a number …-conference coordination and training may also be required.

Volunteers from all … Registration, offering access to all open sessions (i.e., parallel paper presentations …

… Static Analysis Symposium 2025 Welcome to the website of the Static Analysis Symposium 2025 conference. We are working hard to fill the website with all related information. Please check back soon! 483b53b7-37b9-4535-b32c-39022867d91d …

… SPLASH 2025 Welcome to the website of the SPLASH 2025 conference.

The ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) embraces all aspects of software …