Benjamin Beurdouche, INRIA Paris-Rocquencourt