Andrew C. Myers
where else to find them
no profile links on file
what they talk about
all 5 in the filters
where they keep going back
- POPL2 editions2022–2023
all 4 in the filters
on a stage with
- Amal Ahmedonce
- Azadeh Farzanonce
- Coşku Acayonce
all 12 in the filters
who talks about the same things
- Yizhou Zhang13 talks
- Zhenjiang Hu15 talks
- Nicolas Wu25 talks
- Daniel Hillerström11 talks
- Amal Ahmed25 talks
- Sam Lindley27 talks
| title | conference | date |
|---|---|---|
| Universally Composable Security for Program Partitioning | PriSC 2023 | 2023-01-21 |
An implemented compiler called Viaduct compiler takes a single-threaded program with tuple information-flow labels (confidentiality, integrity) and… | ||
| Welcome to POPL'23 | POPL 2023 | 2023-01-15 |
Conference opens on the 50th POPL with over 500 in-person attendees (700 counting co-located events) and a technical program of 74 papers from 275 submissions… | ||
| A Flexible Type System for Fearless Concurrency | PLDI 2022 | 2022-06-13 |
A type system eliminates destructive data races by treating whole regions as affine resources and tracking exact broken paths with a focus mechanism, requiring… | ||
| TaDA Live: Compositional Reasoning for Termination of Fine-grained Concurrent Pr | POPL 2022 | 2022-01-16 |
TaDA Live claims compositional proofs of termination for blocking fine‑grained concurrent programs by extending separation logic with a semantic model of… | ||
| Armed cats: formal concurrency modelling at Arm | POPL 2022 | 2022-01-16 |
Arm formalizes its CPU memory model in the cat language and runs litmus suites with herd+diy; the work yields two provably equivalent reformulations of the… | ||
| Handling Bidirectional Control Flow | OOPSLA 2020 | 2020-11-15 |
Claims that algebraic effects can themselves raise effects and still be statically safe, implemented as a core calculus and type system that forbids unhandled… | ||
| nothing matches | ||