Mark Marron
where else to find them
no profile links on file
what they talk about
all 6 in the filters
where they keep going back
- Onward!2 editions2023–2024
all 9 in the filters
on a stage with
all 16 in the filters
who talks about the same things
- Stephen Goldbaum7 talks
- Beeke-Marie Nelke3 talks
- Michaël Hompus6 talks
- Miguel1 talk
- Peter Birch3 talks
- Ian Dunbar-Hall3 talks
| title | conference | date |
|---|---|---|
| Going Where No GC Has Gone Before | ISMM 2026 | 2026-06-16 |
Language and GC co‑design for Bosque pairs a copy‑nursery with reference counting in old space, conservative root scanning, an 8 MB nursery and an ~2.4K‑LOC… | ||
| A Programing Language for Data and Configuration! | Onward! 2024 | 2024-10-23 |
Proposes a new programming-language-style schema that packs type-safety, versioning, packaging, IDE support into data/config specs, with real newtypes… | ||
| An Effectively Ω(c) Language and Runtime | VMIL 2024 | 2024-10-20 |
Claims a language and runtime that are effectively Ω(c): constant-time operations, fixed memory overhead, and a GC that does constant work per allocation with… | ||
| Toward Programming Languages for Reasoning -- Humans, Symbolic Systems, and AI ... | Onward! 2023 | 2023-10-25 |
Argues that programming should be a substrate for reasoning and presents the Bosque core plus a developer-friendly surface that eliminates loops, enforces… | ||
| Programming Languages for AI Programing Agents | DLS 2023 | 2023-10-24 |
Argues that languages and tools must expose concrete signals so LLM agents can be grounded: showing that about 5% of get/fetch methods are impure changes… | ||
| High Assurance Software for Financial Regulation and Business Platforms | VMCAI 2022 | 2022-01-16 |
An open stack called Morphir compiles Elm and Legend into a pure, loop‑free MorphirIR that maps one‑to‑one to SMT theories and is checked with SMT/Z3 encodings… | ||
| Panel: Integrating Legend, Bosque, and Morphir For Open Reg Tech through FINOS | Open Source Strategy Forum New York 2021 | 2021-11-09 |
Open-source Legend models author business logic in Pure, an automated step generates Morphir IR JSON from Pure so a Morpher visualizer displays every logical… | ||
| Agile and Dependable Service Development with Bosque and Morphir | Open Source Summit + Embedded Linux Conference + OSPOCon 2021 | 2021-09-27 |
Bosque provides executable types with pre/postconditions and converts them to first-order logic so a solver produces solver-generated mocks and targeted… | ||
| Formalizing Asynchronous Context | Node+JS Interactive 2018 | 2018-10-10 |
Proposes a concrete Continuation Model that gives every async callback a continuation wrapper via a host API called continuify, producing a context object with… | ||
| User Interaction Models for Disambiguation in Programming by Example | UIST 2015 | 2015-11-08 |
Presents two concrete interaction models: program viewer paraphrases code into plain English so users inspect and switch among ranked alternative programs, and… | ||
| nothing matches | ||