Wei-Ngan Chin
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Specifying and Verifying Future Conditions | SAS 2025 | 2025-10-13 |
Proposes over-approximating Hoare-style forward rules that embed future-condition obligations into program states so each event is processed once, plus a bag… | ||
| Automated Temporal Verification for Algebraic Effects | APLAS 2022 | 2022-12-05 |
ContEffs provides a regular-expression–based logic to state precise temporal properties for algebraic effects and a forward verifier plus fixpoint calculator… | ||
| Tracing OCaml Programs | OCaml 2022 | 2022-09-16 |
A framework instruments OCaml with a two-stage PPX pipeline that marshals values into binary traces during the first build and uses type info in a second… | ||
| nothing matches | ||