Spring I/O 2025 - 21-23 May, Barcelona Slides: JSpecify is a set of annotations, specifications and documentation designed to verify the null-safety of Java applications in the IDE or during the compilation thanks to tools like NullAway. Sébastien, who is a member of the JSpecify working group bringing together several companies invested in the JVM ecosystem like Google, JetBrains, Oracle and Broadcom, will present how JSpecify can enable Java developers to detect potential NullPointerException at compile time, making their applications more reliable in production by turning “the billion dollar mistake” into a useful feature that allows to specify the potential absence of value. He will also present how the upcoming Spring Framework 7.0 and Spring Boot 4.0 releases will leverage JSpecify on framework and application sides to create safer Spring Boot applications.