Ross Tate and Nada Amin (EPFL) recently wrote a paper that will win a Distinguished Artifact Award at OOPSLA 2016 in November. The paper, entitled “Java and Scala’s Type Systems are Unsound: The Existential Crisis of Null Pointers,” examines the broken type systems that they discovered within the widely used programming languages and explores the security implications of the flaws while also questioning how such an oversight could have slipped past the research community. Tate is also currently working with the Java team to investigate how to fix the type system.
Read more on their website: The Unsound Playground.