James Noble
where else to find them
no profile links on file
what they talk about
all 9 in the filters
where they keep going back
all 9 in the filters
on a stage with
all 16 in the filters
who talks about the same things
- Sophia Drossopoulou11 talks
- Julian Mackay4 talks
- Susan Eisenbach5 talks
- Jonathan Aldrich17 talks
- Amal Ahmed25 talks
- Mark Batty5 talks
| title | conference | date |
|---|---|---|
| Reasoning about External Calls | OOPSLA 2025 | 2025-10-16 |
Paper proposes concrete assertions and a verification calculus that prove internal code cannot lose funds despite invoking unknown external objects. It models… | ||
| Against Borrowing: Own the forest, not the trees! | IWACO 2025 | 2025-10-14 |
Argues that Rust’s borrow checker is best understood as an ownership types system layered over classic OO ownership, not a novel separate mechanism… | ||
| Fast & Easy ASTs for Flexible Embedded Interpreters | MPLR 2025 | 2025-10-14 |
Claim that a carefully engineered textual AST format lets a language ship its entire parser and libraries as textually identical ASTs that are valid across… | ||
| Exploring The Design Space For Runtime Enforcement of Dynamic Capabilities | Onward! 2025 | 2025-10-12 |
Dala implements three safe object flavours—ISO (isolated), immutable, local—and the paper enumerates six enforcement axes that yield 2,880 combinations and… | ||
| On Modelling Heap Invariants for Type Systems in Dafny | WITS 2024 | 2024-01-20 |
Claims that a middle-level heap model can express ownership-style invariants and that Dafny can both encode and check them. Builds a prototype ~500 lines of… | ||
| Work in Progress: Modelling Incorrect Programs in the Open World with D... | Incorrectness 2024 | 2024-01-17 |
Proposes using Dafny to model open‑world trust assumptions by adding an opaque ghost predicate (a “bay”) to pre/postconditions so specs explicitly record… | ||
| Object Capabilities | POCL 2024 | 2024-01-16 |
Claim: object capabilities act as necessary conditions for effects, not just rights, and tracking which objects can reach which capabilities lets one… | ||
| Learn 'em Dafny | Dafny 2024 | 2024-01-14 |
A programming‑first software correctness course uses Dafny with a flipped classroom and automated, proof‑based feedback for about 120 required students… | ||
| Colouring Flags with Dafny & Idris | Dafny 2024 | 2024-01-14 |
Compares Dafny’s imperative design-by-contract + Hoare/Boogie pipeline with Idris’s dependently typed, type-driven approach by reimplementing the Dutch… | ||
| programmingLanguage as Language; | Onward! 2023 | 2023-10-25 |
Argues that programming languages behave like human languages, borrowing noun cases, number, and register (Rust’s borrow/!macro roles as genitive/vocative… | ||
| All Languages are Dynamic | DLS 2023 | 2023-10-24 |
Argues that languages are dynamic in multiple, concrete ways: implementations use ZX81 BASIC bytecodes and UCSD Pascal p‑code or JITs, IDEs enable Smalltalk‑78… | ||
| Reference Capabilities for Flexible Memory Management | OOPSLA 2023 | 2023-10-23 |
Verona organises all objects into tree-shaped regions with a window of mutability that only allows allocation and deallocation in the active region, making… | ||
| Necessity Specifications for Robustness | OOPSLA 2022 | 2022-12-05 |
A formal language called necessity specifies robustness by stating explicit necessary preconditions: temporal-implication operators say exactly what must have… | ||
| Dala: A Simple Capability-Based Dynamic Language Design For Data Race-Freedom | Onward! 2021 | 2021-10-20 |
Dala is a dynamic capability model that guarantees data-race freedom for safe objects while allowing unsafe objects to coexist. It defines three… | ||
| First-class Dynamic Types | DLS 2019 | 2019-10-20 |
Claim: patterns in Grace become first-class type objects that are looked up at runtime, matched via a uniform match API, and can carry transformed values back… | ||
| nothing matches | ||