All Stories

  1. MARS: Enabling Efficient DNN Mapping for Spatial Accelerators in Ruby Space

    Article • ACM Transactions on Architecture and Code Optimization, October 2026, ACM (Association for Computing Machinery)

    Tun Li

  2. Looks Good, but Does It Run? A Large-Scale Empirical Study of the Executability of Example Code in Model Cards

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

    Yang Zhang, Tun Li

  3. RecurIC3: Exploiting Structural Lemma Reuse to Accelerate IC3

    Article • Proceedings of the ACM on Software Engineering, October 2026, ACM (Association for Computing Machinery)

    Tun Li

  4. ESFO: Equality Saturation for FIRRTL Optimization

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

    Tun Li, Yan Pi

  5. Rectified Multi-class AdaBoost for Noisy Dataset Based on Weight Adjustment Standard

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

    Tun Li

  6. Towards connecting discrete mathematics and software engineering

    Article • Tsinghua Science & Technology, June 2020, Tsinghua University Press

    Tun Li

  7. Application specified soft-error failure rate analysis using sequential equivalence checking techniques

    Article • Tsinghua Science & Technology, February 2020, Tsinghua University Press

    Tun Li