Jeremy Singer
where else to find them
no profile links on file
what they talk about
all 8 in the filters
where they keep going back
all 8 in the filters
on a stage with
all 10 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Interpreter Memory Safety via Differential Fuzzing with a CHERI on Top | ISMM 2026 | 2026-06-16 |
A differential fuzzing framework called diffCHERI:FruitFly generates and mutates MicroPython programs with an LLM and CST operators, then runs them on… | ||
| Let's Take Esoteric Programming Languages Seriously | Onward! 2025 | 2025-10-12 |
Claims that esoteric languages boost programmer awareness and teach language design through constraint and surprise, backed by concrete examples: Whitespace… | ||
| SecureMind: A Framework for Benchmarking Large Language Models in Memory Bug Detection(…) | ISMM 2025 | 2025-06-17 |
A Python framework that automates dataset retrieval, cutoff-date filtering to avoid data leakage, probe orchestration and metric calculation, SecureMind… | ||
| Sealed with a Library Call: Memory Allocators Should Track Capability Seal Opera... | POCL 2024 | 2024-01-16 |
Claim: memory allocators must track capability seal operations or they break when user code seals pointers. Evidence: ports of the Boehm GC and MicroPython to… | ||
| CHERI Performance Enhancement for a Bytecode Interpreter | VMIL 2023 | 2023-10-23 |
Porting MicroPython to CHERI/Morello shows actual fixes, not promises: PMCstat sampling finds 99% allocator samples on bad cases, then changing the default… | ||
| Morello MicroPython: A Python Interpreter for CHERI | MPLR 2023 | 2023-10-22 |
Port of MicroPython to Arm Morello implements both pure-cap and hybrid ABI builds, changes include replacing inline assembly to save full capability registers… | ||
| ChatGPT, Make a Secure Malloc for me | PLARCH 2023 | 2023-06-17 |
Claims a workflow to synthesize production-grade allocators: map high-level allocation and security properties onto processor primitives (eg. CHERI… | ||
| Pricing Python Parallelism: A Dynamic Language Cost Model for Heterogeneous Platforms | DLS 2020 | 2020-11-17 |
An analytical cost model (ACM) for ALPyNA decides whether to JIT code for CPU (Numba) or GPU by modeling loop-dependence partitions (D-sequential, D-parallel… | ||
| Notes on Notebooks: Is Jupyter the Bringer of Jollity? | Onward! 2020 | 2020-11-15 |
Jupyter is an interactive notebook ecosystem with a web client, server, language kernel and IPYNB JSON file store; GitHub hosts about 10 million notebooks and… | ||
| ALPyNA: Acceleration of Loops in Python for Novel Architectures | ARRAY 2019 | 2019-06-22 |
ALPyNA is an automatic loop-parallelization framework for CPython that staged dependence analysis (static skeletal graphs plus runtime type and bounds… | ||
| nothing matches | ||