Colin S. Gordon
where else to find them
no profile links on file
what they talk about
where they keep going back
- Onward!2 editions2023–2024
all 4 in the filters
on a stage with
- Ismail Kuruonce
- Sergey Matskevichonce
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Actor Capabilities for Controlled Actor Interactions (Keynote) | Erlang 2026 | 2026-08-24 |
Defines PIDs as flow‑sensitive reference capabilities so senders get a PID<L> describing allowable message sequences (regular‑language protocols), uses… | ||
| Modal Abstractions for Virtualizing Memory Addresses | OOPSLA 2025 | 2025-10-16 |
Introduces a modal assertion [r]P that ties assertions to a particular page‑table root and a definition of virtual points-to that splits page‑table traversal… | ||
| Mocking Temporal Logic | SPLASH-E 2024 | 2024-10-24 |
Argues that teaching temporal reasoning through mocking dependencies in Java (using the Makito-style embedded DSL) conveys the same ordering, eventuality, and… | ||
| The Linguistics of Programming | Onward! 2024 | 2024-10-23 |
Argues that linguistics supplies concrete tools and predictions for PL/SE: pragmatics explains systematic errors when people translate English to LTL (frequent… | ||
| Trustworthy Formal Natural Language Specifications | Onward! 2023 | 2023-10-25 |
A prototype embeds an extensible fragment of English inside the Lean proof assistant, using categorial grammars encoded as type class instances to parse… | ||
| nothing matches | ||