Van Chan Ngo

Identifiers

No identifiers captured yet.

Papers (3)

1. Verifying and Synthesizing Constant-Resource Implementations with Types cs.PL · 2018 · author #1
2. Formal Verification of Probabilistic SystemC Models with Statistical Model Checking cs.SE · 2017 · author #1
3. Bounded Expectations: Resource Analysis for Probabilistic Programs cs.PL · 2017 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Jan Hoffmann 2 shared papers
• Axel Legay 1 shared papers
• Mario Dehesa-Azuara 1 shared papers
• Matthew Fredrikson 1 shared papers
• Quentin Carbonneaux 1 shared papers