Haiyang Sun 孙海洋

I'm a PhD student in Dynamic Analysis Group at the Faculty of Informatics of Università della Svizzera italiana in Lugano, Switzerland.
My research interests include Program Analysis and Cloud computing. My supervisor is Prof. Walter Binder.

I received the BSc and MSc degrees (advised by Prof. Zhengwei Qi) in Software Engineering, from Shanghai Jiao Tong University (上海交通大学) in 2012 and 2015 respectively.

My email is haiyang.sun at usi dot ch.

Haiyang's picture


  1. Extended Code Coverage for AspectJ-based Runtime Verification Tools.
    O. Javed, Y. Zheng, A. Rosa, H. Sun, and W. Binder.
    16th International Conference on Runtime Verification (RV-2016), Madrid, Spain, September 2016.
  2. AutoBench: Finding Workloads That You Need Using Pluggable Hybrid Analyses.
    Y. Zheng, A. Rosa, L. Salucci, Y. Li, H. Sun, O. Javed, L. Bulej, L. Y. Chen, Z. Qi, and W. Binder.
    23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER), 2016.
  3. A Programming Model and Framework for Comprehensive Dynamic Analysis on Android. (PDF, ACM)
    Haiyang Sun, Yudi Zheng, Lubomír Bulej, Alex Villazón, Zhengwei Qi, Petr Tůma, and Walter Binder.
    Proceedings of the 14th International Conference on Modularity, MODULARITY 2015, Fort Collins, Colorado, USA, March 2015.
  4. DefDroid: Securing Android with Fine-Grained Security Policy. (PDF)
    Chao Huang, Shuohong Wang, Haiyang Sun and Zhengwei Qi.
    The 27th International Conference on Software Engineering and Knowledge Engineering, SEKE 2015, Wyndham Pittsburgh University Center, Pittsburgh, USA, 2015
  5. DFL: Secure and Practical Fault Localization for Datacenter Networks. (Journal)
    Xin Zhang, Fanfu Zhou, Xinyu Zhu, Haiyang Sun, Perrig, A., Vasilakos, A.V., Guan, H.
    IEEE/ACM Transactions on Networking (TON), 2014.
  6. Memvisor: Application Level Memory Mirroring via Binary Translation. (Poster)
    Haoliang Dong, Wei Sun, Bin Wang, Haiyang Sun, Zhengwei Qi, Haibing Guan, Yaozu Dong
    IEEE International Conference on Cluster Computing (CLUSTER), Beijing, China, 2012.



  1. Taobao, Alibaba
    2011, Hangzhou, China
  2. Intel
    2012, Shanghai, China

Open Source Projects