Andrew Tolmach
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
all 7 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Meta-tracing Interpreters in WebAssembly | WAW 2025 | 2025-01-20 |
A meta-tracing pipeline for improving interpreted programs compiled to WebAssembly, claiming offline trace capture of executions, tandem-repeat detection… | ||
| SECOMP2CHERI: Securely Compiling Compartments from CompCert C to a Capability M... | PriSC 2023 | 2023-01-21 |
Extension of CompCert implements CompCert with compartments that enforces interfaces, disables cross-compartment inlining/tailcalls, and updates Coq… | ||
| Why are partial evaluation and supercompilation still not widely used in practic | PEPM 2022 | 2022-01-17 |
Argues that partial evaluation and supercompilation repeatedly show concrete wins in research—Russian work produces prototypes (including a Novosibirsk… | ||
| nothing matches | ||