Refereed Conference Papers
Elad Kinsbruner, Shachar Itzhaky, and Hila Peleg. 2024. Constrictor: Immutability as a Design Concept. In 38th European Conference on Object-Oriented Programming (ECOOP 2024). Distinguished Artifact Award. Link. BibTeX. Link to artifact.
Preprint
Elad Kinsbruner, Hila Peleg, and Shachar Itzhaky. 2024. Kotlin’s Type System is (Also) Unsound. In arXiv. Link to preprint.