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

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.

Awards

• 2014 & 2011    Google Scholarship
• 2013                 Intel Scholarship
• 2010 & 2009    China National Scholarship
• 2009                 Meritorious Winner(No. 4590) of The Mathematical Contest in Modeling (MCM)

Internships

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