All Stories

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

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

    Harry Xu

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

  3. Accelerating Graph Mining Systems with Subgraph Morphing

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

    Kasra Jamshidi, Harry Xu

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

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

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

    Harry Xu

  6. Checking robustness to weak persistency models

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

    Harry Xu

  7. Yashme: detecting persistency races

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

    Harry Xu

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

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

    Harry Xu

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

  10. QDiff: Differential Testing of Quantum Software Stacks

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

    Harry Xu

  11. Towards memory-efficient inference in edge video analytics

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

    Ganesh Ananthanarayanan, Harry Xu, Anand Iyer

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

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

  14. Jaaru: efficiently model checking persistent memory programs

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

    Harry Xu

  15. Satune: synthesizing efficient SAT encoders

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

    Harry Xu

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

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

    Harry Xu

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

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

    Harry Xu

  18. Crafty: efficient, HTM-compatible persistent transactions

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

    Kaan Genç, Harry Xu

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

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

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

    Harry Xu