Jeronimo Castrillon
where else to find them
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
- Lars Schützeonce
- Norman A. Rinkonce
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Closing Session | LCTES 2026 | 2026-06-15 |
Quick conference wrap that announces distinguished reviewer awards: Klaus Schneider and Jong Uk Choi with Klaus to receive his by post and a photo taken with… | ||
| Opening Remarks | LCTES 2026 | 2026-06-15 |
Remarks summarize conference stats and schedule: 42 full papers and 12 short papers yield 196 reviews (≈3.6 per paper) with each TPC member reviewing 5–7… | ||
| Efficient Late Binding of Dynamic Function Compositions | SLE 2019 | 2019-10-20 |
Implements late binding by compiling per-callsite “collagraphs” into JVM MethodHandle trees and using invokeDynamic plus combinators to inline role lifting and… | ||
| TeIL: a type-safe imperative Tensor Intermediate Language | ARRAY 2019 | 2019-06-22 |
Defines a small, imperative tensor IR with precise semantics and a mechanized Coq formalization that proves programs have no out‑of‑bounds tensor accesses… | ||
| nothing matches | ||