Constrictor: Immutability as a Design Concept. - Elad Kinsbruner; Shachar Itzhaky; Hila Peleg (ECOOP, 2024)

Kotlin's Type System is (Also) Unsound. - Elad Kinsbruner; Hila Peleg; Shachar Itzhaky (CoRR, 2024)

Constrictor: Immutability as a Design Concept (Artifact). - Elad Kinsbruner; Shachar Itzhaky; Hila Peleg (Dagstuhl Artifacts Ser., 2024)

Veil: A Framework for Automated and Interactive Verification of Transition Systems. - George Pîrlea; Vladimir Gladshtein; Elad Kinsbruner; Qiyuan Zhao; Ilya Sergey (CAV (3), 2025)