Publications

  • Dataflow Tunneling: Mining Inter-request Data Dependencies for Request-based Applications
    Xiao Yu and Guoliang Jin
    40th International Conference on Software Engineering (ICSE’18), to appear.
  • CloudSeer: Workflow Monitoring of Cloud Infrastructures via Interleaved Logs (doi, PDF)
    Xiao Yu, Pallavi Joshi, Jianwu Xu, Guoliang Jin, Hui Zhang, and Guofei Jiang
    21st International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS’16).
  • Comprehending Performance from Real-World Execution Traces: A Device-Driver Case (doi, PDF)
    Xiao Yu, Shi Han, Dongmei Zhang, and Tao Xie
    19th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS’14).
  • AT-EASE: A Tool for Early and Quick Usability Evaluation of Smartphone Applications (PDF)
    Wei Yang and 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, Special Issue on 4th International Workshop on Harnessing Theories for Tool Support in Software (TTSS’10), 2011.
  • Run-time Discovery of Java Design Patterns (doi)
    Kang Miao, Xiao Yu, Siyuan Jiang, and Ji Zhao
    2nd International Conference on Artificial Intelligence, Management Science and Electronic Commerce (AIMSEC’11).
  • Java Design Pattern Recognition Based on Relational Calculus (doi, in Chinese)
    Kang Miao, Xiao Yu, Ji Zhao, and Yu Shen
    Application Research of Computers, 2010.
  • Property Checking for Design Patterns (doi)
    Libo Feng, Xiao Yu, Geguang Pu, Huibiao Zhu, and Bin Gu
    2010 IASTED International Conference on Software Engineering (SE’10).
  • Towards Scalable Compositional Test Generation (doi)
    Tao Sun, Zheng Wang, Geguang Pu, Xiao Yu, Zongyan Qiu, and Bin Gu
    9th International Conference on Quality Software (QISC’09).
  • Test Data Generation for Derived Types in C Program (doi)
    Zheng Wang, Xiao Yu, Tao Sun, Geguang Pu, Zuohua Ding, and JueLiang Hu
    3rd IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE’09).
  • Execution Semantics for rCOS (doi)
    Zheng Wang, Xiao Yu, Geguang Pu, Libo Feng, Huibiao Zhu, and Jifeng He
    15th Asia-Pacific Software Engineering Conference (APSEC’08).
  • The Verification of rCOS Using Spin (doi)
    Xiao Yu, Zheng Wang, Geguang Pu, Dingding Mao, and Jing Liu
    Electronic Notes in Theoretical Computer Science, Special Issue on 1st International Workshop on Harnessing Theories for Tool Support in Software (TTSS’07), 2008.