Jan-Paul Ramos-Davila
where else to find them
no profile links on file
what they talk about
all 4 in the filters
where they keep going back
no series more than once — all 4 in the filters
on a stage with
- Haojia Sunonce
- Jenna Wiseonce
- Jonathan Aldrichonce
all 4 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Sound Default-Typed Scheme (Position Paper) | Scheme 2025 | 2025-10-16 |
Proposes a concrete default typing system where each expression carries a plausibility-ranked set of types (rank 0 = common, rank ∞ = impossible), implemented… | ||
| Formal Verification of a Software Defined Delay-Tolerant Network | CoqPL 2025 | 2025-01-25 |
Claims a verified path from a P4 match‑action pipeline to network‑calculus guarantees by building NetQIR, a domain‑specific IR, a compiler from a restricted P4… | ||
| Gradual Verification for Smart Contracts | PriSC 2024 | 2024-01-20 |
Gradual verification combines static separation-logic proofs with imprecise specifications (written as question marks) and automatically emits dynamic checks… | ||
| Evaluating Soundness of a Gradual Verifier with Property Based Testing | POPL 2023 SRC | 2023-01-18 |
An empirical checker implements Gradual C0 and a fully dynamic Dynamic C0 verifier, runs both on mutated versions of a dozen large benchmarks, and asserts… | ||
| nothing matches | ||