Harry Xu

Registered user since Thu 5 Jun 2014

Name:Harry Xu
Bio:

My research is in the general area of computer systems, ranging from programming languages and compilers, to runtime/operating/distributed systems and computer architecture. My current focus is on two areas: (1) infrastructures for future cloud computing (in particular, user-defined cloud) and (2) infrastructures that provide cheap scalability for ML applications (i.e., affordable AI).

Country:United States
Affiliation:University of California, Los Angeles (UCLA)
Research interests:Programming languages, compilers, operating and distributed systems, and machine learning systems

Contributions

ISMM 2022 Committee Member in Steering Committee within the ISMM 2022-track
VEE 2022 Steering Committee Member in Steering Committee within the Research Papers-track
VMCAI 2022 Author of Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not Terminate within the VMCAI 2022-track
VEE 2021 Program Co-Chair in Organizing Committee
Co-chair in Program Committee
ISMM 2020 Steering Committee Member in Steering Committee
PPoPP 2020 Artifact Evaluation Co-Chair in Organizing Committee
ISMM 2019 Author of Final Remarks within the ISMM 2019-track
Author of Welcome from the chairs within the ISMM 2019-track
Program Chair in Organizing Committee
SPLASH 2018 Committee Member in External Reviewers within the OOPSLA-track
ECOOP 2018 Author of Object-Orientation Meets Big Data: Performance Impact, Restoration, and Thoughts on Language Design within the ECOOP Keynotes-track
SALAD 2018 Session Chair of SALAD 1 (part of SALAD)
Chair in Organizing Committee within the SALAD-track
Session Chair of SALAD 2 (part of SALAD)
PLDI 2018 Committee Member in Program Committee
Author of Calling-to-Reference Context Translation via Constraint-Guided CFL-Reachability within the PLDI Research Papers-track
VEE 2018 Committee Member in Program Committee within the Research Papers-track
Session Chair of Session 1: Lost in Translation (part of Research Papers)
NJR 2017 Author of Graph Systems for Statically Analyzing Hundreds of Projects at the Same Time within the NJR 2017-track
WODA 2017 Author of Calling-to-Reference Context Translation via Constraint-Guided Context-Free-Language Reachability within the WODA 2017-track
ISSTA 2017 Artifact Evaluation Co-Chair in Organizing Committee
Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the Artifacts-track
SPLASH 2016 Author of Low-Overhead and Fully Automated Statistical Debugging with Abstraction Refinement within the OOPSLA-track
ECOOP 2016 Committee Member in Program Committee within the Research Track-track
ISMM 2016 Committee Member in Program Committee
SPLASH 2015 Committee Member in Organizing Committee within the Doctoral Symposium-track
WODA 2015 Co-chair in Organizing Committee within the WODA-track
Session Chair of Extended Abstracts (part of WODA)
Session Chair of Keynote (part of WODA)
ECOOP 2015 Committee Member in Programme Committee within the Research Track-track
Author of PerfBlower: Quickly Detecting Memory-Related Performance Problems via Amplification within the Research Track-track
PLDI 2015 Committee Member in Program Committee within the Research Papers-track
ISMM 2015 Committee Member in Program Committee within the Research Papers-track
SPLASH 2013 Committee Member in Program Committee within the OOPSLA-track
SPLASH 2012 Committee Member in Posters Committee within the Posters-track
Committee Member in ACM SRC Committee within the ACM Student Research Competition-track