I work on the static analysis of C programs. Sometimes I write blog posts, that may be on the subject of static analysis of C programs, at http://blog.frama-c.com/

I obtained the C gold badge at the very end of 2013. Now for the OCaml badge!

(this is a jokey reference to the bias in reputation brought by popular languages)

Top Answers
1 2 3 4 5 8