Cong Ma
where else to find them
no profile links on file
what they talk about
where they keep going back
- OOPSLA3 editions2023–2025
on a stage with
all 8 in the filters
who talks about the same things
- Zhaoyi Ge2 talks
- Jonghyun Jung2 talks
- Yizhou Zhang13 talks
- Daniel Hillerström11 talks
- Jonathan Immanuel Brachthäuser22 talks
- Philipp Schuster13 talks
| title | conference | date |
|---|---|---|
| Virtualizing Continuations | PLDI 2026 | 2026-06-15 |
Implements a novel virtual continuation scheme that assigns virtual addresses to stack-allocated handlers and mediates effect invocations via a software MMU… | ||
| Zero-Overhead Lexical Effect Handlers | OOPSLA 2025 | 2025-10-16 |
Claims a zero-overhead implementation for lexically scoped exceptional effect handlers via a type-directed translation that emits static provenance metadata… | ||
| Lexical Effect Handler: Fast by Design, Correct by Proof | Doctoral Symposium @ SPLASH 2025 | 2025-10-13 |
Claims a compiler and language named Lexa that outperforms existing effect handler implementations while preserving lexical scoping and formal correctness… | ||
| Lexical Effect Handlers, Directly | OOPSLA 2024 | 2024-10-20 |
Compiles lexically scoped algebraic effect handlers down to low-level stack switching and header frames, identifying handlers by memory address so handler… | ||
| Quantifying and Mitigating Cache Side Channel Leakage with Differential Set | OOPSLA 2023 | 2023-10-23 |
Introduces a new abstraction differential set and a tool DSA that both measures and removes cache side‑channel leakage by aligning sibling memory accesses… | ||
| nothing matches | ||