Travelled to:1 × Italy
1 × United Kingdom
Collaborated with:J.Talpin T.Gautier P.L.Guernic A.Legay V.Joloboff Q.Carbonneaux J.H.0002 L.Besnard
Talks about:probabilist (2) transform (2) compil (2) verif (2) polychron (1) translat (1) synchron (1) resourc (1) program (1) analysi (1)
Person: Van Chan Ngo
DBLP: Ngo:Van_Chan
Contributed to:
2015
2012
2016
2018Wrote 4 papers:
- FASE-2015-NgoTGG #compilation #validation
- Translation Validation for Clock Transformations in a Synchronous Compiler (VCN, JPT, TG, PLG), pp. 171–185.
- IFM-2012-NgoTGGB #compilation #equation #verification
- Formal Verification of Compiler Transformations on Polychronous Equations (VCN, JPT, TG, PLG, LB), pp. 113–127.
- CAV-2016-NgoLJ #modelling #named #probability #runtime #verification
- PSCV: A Runtime Verification Tool for Probabilistic SystemC Models (VCN, AL, VJ), pp. 84–91.
- PLDI-2018-NgoC0 #analysis #bound #probability #source code
- Bounded expectations: resource analysis for probabilistic programs (VCN, QC, JH0), pp. 496–512.