All Stories

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

    Article • March 2026, ACM (Association for Computing Machinery)

    Harry Xu

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

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

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

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

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

    Harry Xu

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

  7. Accelerating Graph Mining Systems with Subgraph Morphing

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

    Kasra Jamshidi, Harry Xu

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

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

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

    Harry Xu

  10. Checking robustness to weak persistency models

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

    Harry Xu

  11. Yashme: detecting persistency races

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

    Harry Xu

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

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

    Harry Xu

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

  14. QDiff: Differential Testing of Quantum Software Stacks

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

    Harry Xu

  15. Towards memory-efficient inference in edge video analytics

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

    Ganesh Ananthanarayanan, Harry Xu, Anand Iyer

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

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

  18. Jaaru: efficiently model checking persistent memory programs

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

    Harry Xu

  19. Satune: synthesizing efficient SAT encoders

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

    Harry Xu

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

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

    Harry Xu

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

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

    Harry Xu

  22. Crafty: efficient, HTM-compatible persistent transactions

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

    Kaan Genç, Harry Xu

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

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

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

    Harry Xu