Robert Zhang -

Registered user since Wed 28 Feb 2024

Name:Robert Zhang

Country:United States

Affiliation:The University of Texas at Austin

Personal website: https://robertzhang.vercel.app

X (Twitter): https://x.com/0xrobertzhang

GitHub: https://github.com/robertzhidealx

Research interests:Programming Languages

Contributions

2025

PLDI

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

Mining Software Repositories

Committee Member in Technical Papers - Junior Program Committee within the Junior PC-track

2024

SPLASH

Author of A Pure Demand Operational Semantics with Applications to Program Analysis within the OOPSLA 2024-track