Search for 'all'
results
How to secure a distributed database such as OpenRiak with open-source tools
Tutorials When: Sun 12 Oct 2025 16:00 - 17:30Sun 12 Oct 2025 14:00 - 15:30 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 …
Concurrent Algorithms under the hood of Kotlin Coroutines
Tutorials When: Sun 12 Oct 2025 14:00 - 15:30Sun 12 Oct 2025 16:00 - 17:30 People: Nikita Koval
… the Lincheck framework designed to test all … the problems we have faced when improving Kotlin Coroutines, present all …
Testing concurrent code on JVM with Lincheck
Tutorials When: Sun 12 Oct 2025 09:00 - 10:30Sun 12 Oct 2025 11:00 - 12:30 People: Evgenii Moiseenko, Nikita Koval
… in the Java standard library. All tasks run locally on attendees’ laptops. By the end …
A Programming Language for Feasible Solutions
SAS 2025 When: Tue 14 Oct 2025 15:00 - 15:20 People: Weijun Chen, Yuxi Fu, Huan Long
… equivalence property: All definable programs are guaranteed to run in polynomial time; Conversely, all problems solvable in polynomial time can be solved by some …
Code of Conduct
… 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 …
Call for Sponsorship
… 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 …
Information for Attendees
… participation.**
All the talks from ICFP/SPLASH and the colocated workshops …
SAS 2025
… 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 …
SAS Artifact
… 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 …
Volunteers
… a great experience for all attendants!
ICFP/SPLASH 2025 is pleased to offer ….
Volunteers from all time zones are encouraged to apply.
About Volunteering … Conference Registration, offering access to all open sessions (i.e., parallel paper …
SAS 2025 Homepage
… 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 Homepage
… for Humanity (SPLASH) embraces all aspects of software construction and delivery, to make …