6 ms·
That, and the main author of CompCert [1], as well as (apparently) the author of the original threading support in the Linux kernel [2]. [1]: https://en.wikipe
by tomsmeding 11mo ago
That, and the main author of CompCert [1], as well as (apparently) the author of the original threading support in the Linux kernel [2].
[1]: https://en.wikipedia.org/wiki/CompCert https://en.wikipedia.org/wiki/CompCert
[2]: https://en.wikipedia.org/wiki/Xavier_Leroy https://en.wikipedia.org/wiki/Xavier_Leroy