• Sign in
  • Sign up
conf.researchr.org / Amanda Liu
  • ICFP 2023 profile
  • PLDI 2022 profile
  • PLDI 2024 profile
  • POPL 2022 profile
  • SPLASH 2018 profile
Amanda Liu

Registered user since Sat 22 Sep 2018

Name:Amanda Liu
Country:United States
Affiliation:Massachusetts Institute of Technology
Personal website: http://people.csail.mit.edu/lamanda/
X (Twitter): https://x.com/amangoliu

Contributions

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
Share
xMon 19 May 08:19
using conf.researchr.org (v1.69.0)
Support page
Sign Up