Margaret Martonosi
where else to find them
no profile links on file
what they talk about
all 5 in the filters
where they keep going back
- OOPSLA2 editions2020–2021
on a stage with
all 9 in the filters
who talks about the same things
- Tyler Sorensen12 talks
- Alastair F. Donaldson14 talks
- Adrian Sampson5 talks
- John Wickerson14 talks
- Vasileios Klimis4 talks
- Guido Martínez10 talks
| title | conference | date |
|---|---|---|
| The Computing and Information Science... | USENIX ATC '22 | 2022-07-11 |
CISE manages a $1B+ annual budget, reviews ~7,000 proposals a year and funds research at 373 institutions supporting ~20,000 people and roughly 80% of… | ||
| Specifying and Testing GPU Workgroup Progress Models | OOPSLA 2021 | 2021-10-17 |
A toolbox formalizes a tiny concurrent language, implements executable semantics in the CDP model checker, synthesizes 483 litmus tests, compiles them to… | ||
| Foundations of Empirical Memory Consistency Testing | OOPSLA 2020 | 2020-11-15 |
Claims a reproducible, efficient GPU litmus-testing workflow that finds weak-memory behaviors by combining a new OpenCL tool, randomized 737000 parameter sets… | ||
| 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 | ||