Gallium (Inria)

gallium.inria.fr

At Gallium, we conduct research on the design, formalization and implementation of programming languages and systems. The OCaml functional language and the CompCert verified compiler embody many of our research results. Our objective is to improve the reliability of software systems through:

Popular posts: 1
Total points: 587
HN comments: 141
Rank: #2,327 company

Visit gallium.inria.fr → On Hacker News Jul 2017 – Jul 2017

Systems & Performance 1 Hardware & Electronics 1

Most points Most discussed Most cited Newest

I found a bug in Intel Skylake processors

2017587 points141 commentscited by 5Systems & Performance details

Instructors of “Introduction to programming” courses know that students are willing to blame the failures of their programs on anything. Sorting routine discards half of the data? “That might be a Windows virus!” Binary search always fails? “The Java compiler is acting funny today!” More experienced programmers know…