| 2018 | PLDI | Bounded expectations: resource analysis for probabilistic programs. | Van Chan Ngo, Quentin Carbonneaux, Jan Hoffmann |
| 2017 | SP | Verifying and Synthesizing Constant-Resource Implementations with Types. | Van Chan Ngo, Mario Dehesa-Azuara, Matthew Fredrikson, Jan Hoffmann |
| 2016 | CAV | PSCV: A Runtime Verification Tool for Probabilistic SystemC Models. | Van Chan Ngo, Axel Legay, Vania Joloboff |
| 2015 | FASE | Translation Validation for Clock Transformations in a Synchronous Compiler. | Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic |
| 2015 | FORTE | Translation Validation for Synchronous Data-Flow Specification in the SIGNAL Compiler. | Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier |
| 2015 | SCOPES | Modular translation validation of a full-sized synchronous compiler using off-the-shelf verification tools. | Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Loc Besnard, Paul Le Guernic |
| 2012 | IFM | Formal Verification of Compiler Transformations on Polychronous Equations. | Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic, Loc Besnard |
| 2009 | ESORICS | Formal Indistinguishability Extended to the Random Oracle Model. | Cristian Ene, Yassine Lakhnech, Van Chan Ngo |