All Stories

  1. Orthrus: Efficient and Timely Detection of Silent User Data Corruption in the Cloud with Resource-Adaptive Computation Validation

    Article • October 2025, ACM (Association for Computing Machinery)

    Harry Xu, Chenxi Wang

  2. Lining up Garbage Collection and Application for a Far-Memory-Friendly Runtime

    Article • ACM Transactions on Computer Systems, July 2025, ACM (Association for Computing Machinery)

    Chenxi Wang, Harry Xu

  3. Leveraging Hardware Probes and Optimizations for Accelerating Fuzz Testing of Heterogeneous Applications

    Article • November 2023, ACM (Association for Computing Machinery)

    Harry Xu

  4. Predicting Dynamic Properties of Heap Allocations using Neural Networks Trained on Static Code: An Intellectual Abstract

    Article • June 2023, ACM (Association for Computing Machinery)

    Harry Xu

  5. Accelerating Graph Mining Systems with Subgraph Morphing

    Article • May 2023, ACM (Association for Computing Machinery)

    Kasra Jamshidi, Harry Xu

  6. Toward More Efficient Statistical Debugging with Abstraction Refinement

    Article • ACM Transactions on Software Engineering and Methodology, June 2022, ACM (Association for Computing Machinery)

    Harry Xu

  7. Mako: a low-pause, high-throughput evacuating collector for memory-disaggregated datacenters

    Article • June 2022, ACM (Association for Computing Machinery)

    Harry Xu

  8. Checking robustness to weak persistency models

    Article • June 2022, ACM (Association for Computing Machinery)

    Harry Xu

  9. Yashme: detecting persistency races

    Article • February 2022, ACM (Association for Computing Machinery)

    Harry Xu

  10. HeteroGen: transpiling C to heterogeneous HLS code with automated test generation and program repair

    Article • February 2022, ACM (Association for Computing Machinery)

    Harry Xu

  11. Unified Holistic Memory Management Supporting Multiple Big Data Processing Frameworks over Hybrid Memories

    Article • ACM Transactions on Computer Systems, November 2021, ACM (Association for Computing Machinery)

    Harry Xu

  12. QDiff: Differential Testing of Quantum Software Stacks

    Article • November 2021, Institute of Electrical & Electronics Engineers (IEEE)

    Harry Xu

  13. Towards memory-efficient inference in edge video analytics

    Article • October 2021, ACM (Association for Computing Machinery)

    Ganesh Ananthanarayanan, Harry Xu, Anand Iyer

  14. JPortal: precise and efficient control-flow tracing for JVM programs with Intel processor trace

    Article • June 2021, ACM (Association for Computing Machinery)

    Linzhang Wang, Harry Xu

  15. Chianina: an evolving graph system for flow- and context-sensitive analyses of million lines of C code

    Article • June 2021, ACM (Association for Computing Machinery)

    Linzhang Wang, Harry Xu

  16. Jaaru: efficiently model checking persistent memory programs

    Article • April 2021, ACM (Association for Computing Machinery)

    Harry Xu

  17. Satune: synthesizing efficient SAT encoders

    Article • Proceedings of the ACM on Programming Languages, November 2020, ACM (Association for Computing Machinery)

    Harry Xu

  18. Understanding and automatically detecting conflicting interactions between smart home IoT applications

    Article • November 2020, ACM (Association for Computing Machinery)

    Harry Xu

  19. JShrink: in-depth investigation into debloating modern Java applications

    Article • November 2020, ACM (Association for Computing Machinery)

    Harry Xu

  20. Crafty: efficient, HTM-compatible persistent transactions

    Article • June 2020, ACM (Association for Computing Machinery)

    Kaan Genç, Harry Xu

  21. Systemizing Interprocedural Static Analysis of Large-scale Systems Code with Graspan

    Article • ACM Transactions on Computer Systems, May 2020, ACM (Association for Computing Machinery)

    Linzhang Wang, Harry Xu

  22. Panthera: holistic memory management for big data processing over hybrid memories

    Article • June 2019, ACM (Association for Computing Machinery)

    Harry Xu