Publications

  • CloudSeer: Workflow Monitoring of Cloud Infrastructures via Interleaved Logs (doi, PDF)
    Xiao Yu, Pallavi Joshi, Jianwu Xu, Guoliang Jin, Hui Zhang, and Guofei Jiang.
    Proceedings of the 21st International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), pages 489-502, 2016.
  • Comprehending Performance from Real-World Execution Traces: A Device-Driver Case (doi, PDF)
    Xiao Yu, Shi Han, Dongmei Zhang, and Tao Xie.
    Proceedings of the 19th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), pages 193-206, 2014.
  • AT-EASE: A Tool for Early and Quick Usability Evaluation of Smartphone Applications (PDF)
    Wei Yang, Xiao Yu.
    Technical Report, 2013.
  • A Parallel Approach to Concolic Testing with Low-Cost Synchronization (doi)
    Xiao Yu, Shuai Sun, Geguang Pu, Siyuan Jiang, and Zheng Wang.
    Electronic Notes in Theoretical Computer Science (ENTCS), Volume 274 (August 2011), pages 83-96, 2011.
  • Run-time Discovery of Java Design Patterns (doi)
    Kang Miao, Xiao Yu, Siyuan Jiang, and Ji Zhao.
    Proceedings of the 2011 Second International Conference on Artificial Intelligence, Management Science and Electronic Commerce (AIMSEC), pages 3329-3332, 2011.
  • Java Design Pattern Recognition Based on Relational Calculus (doi, in Chinese)
    Kang Miao, Xiao Yu, Ji Zhao, and Yu Shen.
    Application Research of Computers, Volume 27, Issue 9, pages 3425-3430, 2010.
  • Property Checking for Design Patterns (doi)
    Libo Feng, Xiao Yu, Geguang Pu, Huibiao Zhu, and Bin Gu.
    Proceedings of the IASTED International Conference on Software Engineering, pages 87-94, 2010.
  • Towards Scalable Compositional Test Generation (doi)
    Tao Sun, Zheng Wang, Geguang Pu, Xiao Yu, Zongyan Qiu, and Bin Gu.
    Proceedings of the 2009 Ninth International Conference on Quality Software (QISC), pages 353-358, 2009.
  • Test Data Generation for Derived Types in C Program (doi)
    Zheng Wang, Xiao Yu, Tao Sun, Geguang Pu, Zuohua Ding, and JueLiang Hu.
    Proceedings of the 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE), pages 155-162, 2009.
  • Execution Semantics for rCOS (doi)
    Zheng Wang, Xiao Yu, Geguang Pu, Libo Feng, Huibiao Zhu, and Jifeng He.
    Proceedings of the 2008 15th Asia-Pacific Software Engineering Conference (APSEC), pages 119-126, 2008.
  • The Verification of rCOS Using Spin (doi)
    Xiao Yu, Zheng Wang, Geguang Pu, Dingding Mao, and Jing Liu.
    Electronic Notes in Theoretical Computer Science (ENTCS), Volume 207 (April 2008), pages 49-67, 2008.