Louis Cheung

Publication Activity (10 Years)

Years Active: 2021-2022
Publications (10 Years): 3

Top Topics

Multiresolution

Face Verification

Probability Distribution

Graphical Interface

Top Venues

Publications

Louis Cheung, Liam O'Connor, Christine Rizkallah
Overcoming restraint: composing verification of foreign functions with cogent. CPP (2022)
Louis Cheung, Liam O'Connor, Christine Rizkallah
Overcoming Restraint: Composing Verification of Foreign Functions with Cogent. CoRR (2021)
Louis Cheung, Liam O'Connor, Christine Rizkallah
Overcoming Restraint: Modular Refinement using Cogent's Principled Foreign Function Interface. CoRR (2021)