I'm a Ph.D. student studying in Università della Svizzera italiana in Lugano, Switzerland.
My email is email@example.com
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)
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)
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).
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)
ADRENALIN-RV: android runtime verification using load-time weaving.
H. Sun, A. Rosa, O. Javed, and W. Binder.
IEEE International Conference on Software Testing, Verification and Validation (ICST 2017)
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)
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)
A Programming Model and Framework for Comprehensive Dynamic Analysis on Android.
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)
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.
- 2014 & 2011 Google Scholarship
- 2013 Intel Scholarship
- 2010 & 2009 China National Scholarship
- 2009 Meritorious Winner(No. 4590) of The Mathematical Contest in Modeling (MCM)
- Oracle Labs
2015, Linz, Austria
2012, Shanghai, China
- Taobao, Alibaba
2011, Hangzhou, China