Valency Hub
alphaFeedback
VN

Van Chan Ngo

0000-0002-1081-3772
cs.PLcs.SEcs.LOcs.PF

On Valency

published · living versions
W_p72qpum3·v1 · currentpublished
te-comp: A Complete MLIR Compiler Generating Self-Contained C Inference Engines for MCUs
1 version

Preprints & journals

4 papers in the corpus · 2014–2018
Verifying and Synthesizing Constant-Resource Implementations with Types1801.01896v1 · Van Chan Ngo, Mario Dehesa-Azuara, Matthew Fredrikson et al.2018 · 47 citationsarXiv
Bounded Expectations: Resource Analysis for Probabilistic Programs1711.08847v1 · Van Chan Ngo, Quentin Carbonneaux, Jan Hoffmann2017 · 93 citationsarXiv
Dependability Analysis of Control Systems using SystemC and Statistical Model Checking1507.08187v2 · Van Chan Ngo (ESTASYS), Axel Legay (ESTASYS)2015 · 1 citationarXiv
Dynamic Verification of SystemC with Statistical Model Checking1412.0885v2 · Van Chan Ngo (ESPRESSO), Axel Legay (ESTASYS), Jean Quilbeuf (ESTASYS)2014 · 1 citationarXiv
Career total: 23 works. 4 are in this corpus.

Profile built from the corpus for this byline.

Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.