Concept
Langage de programmation exotique
Publications associées (103)
Formal Foundations of Capture Tracking
Aleksander Slawomir Boruch-Gruszecki
Type systems are a device for verifying properties of programs without running them. Many programming languages used in the industry have always had a type system, while others were initially created without a type system and later adopted one, when the ad ...
EPFL2024Degrees of Separation: A Flexible Type System for Safe Concurrency
Martin Odersky, Yichen Xu, Aleksander Slawomir Boruch-Gruszecki
Data races have long been a notorious problem in concurrent programming. They are subtle to detect, and lead to non-deterministic behaviours. There has been a lot of interest in type systems that statically guarantee data race freedom. Significant progress ...
2024Dynamic Linkers Are the Narrow Waist of Operating Systems
Adrien Ghosn, Charly Nicolas Lucien Castes
While software applications, programming languages, and hardware have changed, operating systems have not. Widely-used commodity operating systems are still modeled after the ones designed in the seventies. The accumulated burden of backward compatibility ...
Association for Computing Machinery2023Capturing Types
Martin Odersky, Aleksander Slawomir Boruch-Gruszecki, Ondrej Lhoták
Type systems usually characterize the shape of values but not their free variables. However, many desirable safety properties could be guaranteed if one knew the free variables captured by values. We describe CC
New York2023