Haiyang Sun

I'm a Ph.D. student studying in Università della Svizzera italiana in Lugano, Switzerland.
My Ph.D. research is about Programming Languages, Program Analysis and Just-in-time Compilation. My advisor 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 sunhaiyangsjtu@gmail.com

Haiyang's picture

Selected Publications

  1. Reasoning about the Node.js Event Loop using Async Graphs (Paper, Github)
    H. Sun, D. Bonetta, F. Schiavo, and W. Binder.
    International Symposium on Code Generation and Optimization (CGO 2019)
  2. NAB: automated large-scale multi-language dynamic program analysis in public code repositories (Paper)
    A. Villazón, H. Sun, A. Rosa, E. Rosales, D. Bonetta, ...
    European Conference on Object-Oriented Programming (ECOOP 2019)
  3. NodeMOP: Runtime Verification for Node.Js Applications
    F. Shiavio, H. Sun, D. Bonetta, A. Rosa, and W. Binder.
    Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing (SAC 2019).
  4. Efficient dynamic analysis for Node.js (Paper, Github)
    H. Sun, D. Bonetta, C. Humer, and W. Binder.
    Proceedings of the 27th International Conference on Compiler Construction (CC 2018)
  5. ADRENALIN-RV: android runtime verification using load-time weaving. (Paper, Demo)
    H. Sun, A. Rosa, O. Javed, and W. Binder.
    IEEE International Conference on Software Testing, Verification and Validation (ICST 2017)
  6. 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)
  7. 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)
  8. A Programming Model and Framework for Comprehensive Dynamic Analysis on Android. (Paper, Demo)
    H. Sun, Y. Zheng, L. Bulej, A. Villazón, Z. Qi, P. Tůma, and W. Binder.
    Proceedings of the 14th International Conference on Modularity, (Modularity 2015)
  9. DFL: Secure and Practical Fault Localization for Datacenter Networks. (Journal)
    X. Zhang, F. Zhou, X. Zhu, H. Sun, A. Perrig, A.V. Vasilakos, H. Guan
    IEEE/ACM Transactions on Networking (TON), 2014.



  1. Oracle Labs
    2015, Linz, Austria
  2. Intel
    2012, Shanghai, China
  3. Taobao, Alibaba
    2011, Hangzhou, China