Charles-Henri Gros

According to our database, Charles-Henri Gros authored at least 2 papers between 2010 and 2013.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2013

Scalable and incremental software bug detection.

Scott McPeak, Charles-Henri Gros, Murali Krishna Ramanathan

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

2010

A few billion lines of code later: using static analysis to find bugs in the real world.

Al Bessey, Ken Block, Benjamin Chelf, Andy Chou, Bryan Fulton, Seth Hallem, Charles-Henri Gros, Asya Kamsky, Scott McPeak, Dawson R. Engler

Commun. ACM, 2010