ICFP 2025
Sun 12 - Sat 18 October 2025 Singapore
co-located with ICFP/SPLASH 2025

results

People (6 results)
Dimi Racordon

Dimi Racordon

… …

Işıl Dillig

Işıl Dillig

… …

Cheng Zhang

Cheng Zhang

… …

Events (12 results)

How to secure a distributed database such as OpenRiak with open-source tools

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 …

Concurrent Algorithms under the hood of Kotlin Coroutines

Tutorials 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 People: Evgenii Moiseenko, Nikita Koval

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

Automating maintenance of the Linux kernel: a perspective over 20 years

SPLASH Keynotes People: Julia Lawall

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

Attending Information (3 results)

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 …

Travel Information and Visas

… Arrival Card (SGAC)

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

Tracks (5 results)

Volunteers

… 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 …

Workshops

… , and emerging new ideas in computing.

All co-located events must submit a proposal …

ICFP Artifacts

… ; * as complete as possible, supporting all claims of the paper; * well-documented …-ready deadline. These are the key dates (all dates are in the [Anywhere on Earth …-chairs as early as possible.

Instructions for All Artifacts

Artifact …