conf.researchr.org / Stella Lau

Not registered as user yet

Name: Stella Lau

Contributions

PLDI 2021 Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
POPL 2021 Artifact Evaluator in Artifact Evaluation Committee within the Artifact Evaluation-track
REMS-DeepSpec 2020 Author of Cerberus: executable reference semantics and memory object models for ISO and de facto C within the REMS-DeepSpec 2020-track