• Sign in
  • Sign up
conf.researchr.org / Robert Zhang
  • ICSE 2025 profile
  • PLDI 2025 profile
  • PLDI 2026 profile
  • SPLASH 2024 profile
  • SPLASH/ISSTA 2026 profile
Robert Zhang

Registered user since Wed 28 Feb 2024

Name:Robert Zhang
Country:United States
Affiliation: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

2026

SPLASH/ISSTA

  • Student Volunteer Co-Chair in Organizing Committee
  • Co-chair in Student Volunteer Committee within the Student Volunteers-track

PLDI

  • Author of MatchBox: A Semantic Foundation for Data Plane Portability within the PLDI Research Papers-track
  • Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
  • Author of Optimal Predicate Pushdown Synthesis within the PLDI Research Papers-track

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
Share
xTue 28 Apr 18:39
using conf.researchr.org (v1.73.2)
Support page
Sign Up