Elad Kinsbruner

According to our database, Elad Kinsbruner authored at least 4 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Veil: A Framework for Automated and Interactive Verification of Transition Systems.

George Pîrlea, Vladimir Gladshtein, Elad Kinsbruner, Qiyuan Zhao, Ilya Sergey

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

2024

Constrictor: Immutability as a Design Concept (Artifact).

Elad Kinsbruner, Shachar Itzhaky, Hila Peleg

Dagstuhl Artifacts Ser., 2024

Kotlin's Type System is (Also) Unsound.

Elad Kinsbruner, Hila Peleg, Shachar Itzhaky

CoRR, 2024

Constrictor: Immutability as a Design Concept.

Elad Kinsbruner, Shachar Itzhaky, Hila Peleg

Proceedings of the 38th European Conference on Object-Oriented Programming, 2024