Harry Xu

Registered user since Thu 5 Jun 2014

Name:Harry Xu
Bio:

I am an Associate Professor of Computer Science at University of California, Los Angeles (UCLA). My goal is to solve important real-world problems by developing techniques that cross multiple layers of the stack.

Country:United States
Affiliation:University of California, Los Angeles (UCLA)
Research interests:Programming languages, compilers, big data and distributed systems, and computer architecture

Contributions

VMCAI 2022 Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not Terminate
Show activities from other conferences

Using general profile