Brandon Lucia
where else to find them
what they talk about
all 5 in the filters
where they keep going back
- PLDI Workshop Honoring Andreas Podelski2 editions2023–2025
all 4 in the filters
on a stage with
all 8 in the filters
who talks about the same things
- Milijana Surbatovich7 talks
- Limin Jia17 talks
- Azalea Raad27 talks
- Guido Salvaneschi17 talks
- Viktor Vafeiadis23 talks
- Mae Milano10 talks
| title | conference | date |
|---|---|---|
| Ripple: Asynchronous Programming for Spatial Dataflow Architectures | PLDI 2025 | 2025-06-16 |
Ripple is a new language plus ISA and microarchitectural support that exposes asynchronous iterators and hardware token queues so compilers lower queues and… | ||
| An MLIR Dialect for WebAssembly | WAW 2025 | 2025-01-20 |
Describes an implemented MLIR WebAssembly dialect and a compiler pipeline that skips the LLVM backend by lowering higher-level MLIR dialects (e.g., scf… | ||
| A Type System for Safe Intermittent Computing | PLDI 2023 | 2023-06-17 |
Curricle is a Rust-based information-flow type system that classifies variables as item-potent or non-item-potent, adds access-mode inference to decide when… | ||
| Intermittent Computer Systems on Earth and in Space | SPLASH 2020 REBASE | 2020-11-16 |
Describes a formal intermittent-execution model and a toolchain (Chain/Alpaca/Coati, EDB debugger, Capybara power manager) used to run tiny energy-harvesting… | ||
| Towards a Formal Foundation of Intermittent Computing | OOPSLA 2020 | 2020-11-15 |
Provides a formal correctness definition: an intermittent execution is correct if it is observationally equivalent to some continuous execution, and it proves… | ||
| nothing matches | ||