Adrian Sampson
where else to find them
what they talk about
where they keep going back
- OOPSLA2 editions2020–2024
- PLDI Workshop Honoring Andreas Podelski2 editions2020–2023
on a stage with
- Rachit Nigam2×
- Aditi Kabraonce
- Andrew Buttonce
all 11 in the filters
who talks about the same things
- Rachit Nigam5 talks
- Anshuman Mohan6 talks
- Margaret Martonosi4 talks
- Saman Amarasinghe13 talks
- Adam Chlipala23 talks
- Nate Foster24 talks
| title | conference | date |
|---|---|---|
| Unifying Static and Dynamic Intermediate Languages for Accelerator Generators | OOPSLA 2024 | 2024-10-20 |
Piezo is an IL that embeds static timing inside a dynamic Calyx-style language by treating static control as a refinement of dynamic behavior so the compiler… | ||
| Modular Hardware Design with Timeline Types | PLDI 2023 | 2023-06-17 |
Filament implements timeline types to encode when signals are produced and consumed, enforcing timing and structural constraints for statically scheduled… | ||
| Geometry Types for Graphics Programming | OOPSLA 2020 | 2020-11-15 |
Defines geometry types that tag vectors with coordinate scheme, geometric object, and reference frame, and implements them in a new language called Gator with… | ||
| Ask Me Anything with Margaret Martonosi | PLDI 2020 | 2020-06-15 |
Leads the US computing directorate as assistant director for CISE, stewarding roughly a billion-dollar budget while keeping Princeton tenure and advising… | ||
| nothing matches | ||