28 Feb 2023 - Frama-C
OCaml Blog
The OCaml Planet
Sub-single-instruction Peano to machine integer conversion
It is a rainy end of January in Paris, morale is getting soggier by the day, and the bulk of our light exposure needs are now fulfilled by our computer screens as the sun seems to have definitively disappeared behind a continuous stream of low-hanging clouds. But, all is not lost, the warm rays of c...
23 Jan 2023 - OCamlPro
Statically guaranteeing security properties on Java bytecode: Paper presentation at VMCAI 23
We are excited to announce that Nicolas will present a paper at the International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI) the 16th and 17th of January. This year, VMCAI is co-located with the Symposium on Principles of Programming Languages (POPL) conference, ...
12 Jan 2023 - OCamlPro
News
If you want to contribute a blog post, or add your RSS feed, check out the Contributing Guide on GitHub.