Null Safety in Spring Applications With JSpecify and NullAway by Sébastien Deleuze

JSpecify is a set of annotations, specifications, and documentation designed to verify the null-safety of Java applications in the IDE or during compilation thanks to tools like NullAway. Those annotations are also natively understood by Kotlin 2+ to infer Kotlin null-safety from Java APIs. Sébastien, who is a member of the JSpecify working group bringing together several companies invested in the JVM ecosystem like Google, JetBrains, Oracle, Uber, and Broadcom, will present how JSpecify can enable Java developers to detect potential NullPointerExceptions at compile time, making their applications more reliable in production by turning “the billion dollar mistake” into a useful feature that allows specifying the potential absence of value, and how those annotations can make Java libraries idiomatic for Kotlin developers. He will also present how the upcoming Spring Framework 7.0 and Spring Boot 4.0 releases will leverage JSpecify on the framework and application sides to create safer Spring Boot applications. Speaker: Sébastien Deleuze Sébastien is a Spring Framework Core Committer at Broadcom, where he is leading several cross-cutting efforts, such as the null safety of Spring APIs, Kotlin support and the runtime efficiency of Spring applications via GraalVM Native Image, and CDS and JVM AOT cache support for cheaper and more sustainable hosting. He is also involved in Spring web support, where he contributed key building blocks such as CORS support and parts of the Spring WebFlux Reactive infrastructure. He is also a WebAssembly believer, a Kotlin Google Developer Expert, and a former MiXiT conference staff member. #SpringBoot #NullSafety #Java #Kotlin Join us: Website: https://jb.gg/website Blog: https://jb.gg/blog X: https://x.com/intellijidea Bluesky: https://bsky.app/profile/intellijidea... LinkedIn:   / intellijidea   Facebook:   / intellijidea   Download IntelliJ IDEA: https://jb.gg/download-intellij-idea Top 15 IntelliJ IDEA shortcuts: https://jb.gg/Top15IntelliJIDEAShortcuts