Jingtao Xia -

Registered user since Fri 24 Mar 2023

Name:Jingtao Xia

Affiliation:University of California, Santa Barbara

Research interests:Programming languages, Software Engineering

Contributions

2026

PLDI

Author of Fungible Memories for Automated Technology Mapping and Re-targeting within the PLDI Research Papers-track
Author of Improving Equality Saturation for EDA via Semantic E-Graphs within the PLDI Research Papers-track

2024

ASE

Author of Refinement Types for Visualization within the Research Papers-track

PLDI

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