All Stories

  1. Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 1

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

    Harry Xu

  2. 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

  3. 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

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

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

    Harry Xu

  5. 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

  6. Accelerating Graph Mining Systems with Subgraph Morphing

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

    Kasra Jamshidi, Harry Xu

  7. 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

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

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

    Harry Xu

  9. Checking robustness to weak persistency models

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

    Harry Xu

  10. Yashme: detecting persistency races

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

    Harry Xu

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

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

    Harry Xu

  12. 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

  13. QDiff: Differential Testing of Quantum Software Stacks

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

    Harry Xu

  14. Towards memory-efficient inference in edge video analytics

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

    Ganesh Ananthanarayanan, Harry Xu, Anand Iyer

  15. 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

  16. 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

  17. Jaaru: efficiently model checking persistent memory programs

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

    Harry Xu

  18. Satune: synthesizing efficient SAT encoders

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

    Harry Xu

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

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

    Harry Xu

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

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

    Harry Xu

  21. Crafty: efficient, HTM-compatible persistent transactions

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

    Kaan Genç, Harry Xu

  22. 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

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

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

    Harry Xu