Amanda Liu -

Registered user since Sat 22 Sep 2018

Name:Amanda Liu

Country:United States

Affiliation:Google

Personal website: http://people.csail.mit.edu/lamanda/

X (Twitter): https://x.com/amangoliu

Contributions

2027

SPLASH

Committee Member in OOPSLA Review Committee within the OOPSLA-track

PLDI

Committee Member in PLDI Review Committee within the PLDI Research Papers-track

2026

PLDI

Author of A Mechanized Algebra of Verified Data Structures for Optimizing Sparse Tensor Programs within the PLDI Research Papers-track

2025

SPLASH

Author of Gauguin, Descartes, Bayes: A Diurnal Golem's Brain within the Onward! Essays-track

2024

PLDI

Author of A Verified Compiler for a Functional Tensor Language within the PLDI Research Papers-track

2023

ICFP

Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

2022

PLDI

Author of (POPL 2022) Verified Tensor-Program Optimization Via High-level Scheduling Rewrites within the SIGPLAN Track-track

POPL

Author of Verified Tensor-Program Optimization Via High-Level Scheduling Rewrites within the POPL-track

2018

SPLASH

Author of Multi-View Architecture Description and Enforcement within the SRC-track