Haiyang Sun
Cited by
Cited by
Efficient dynamic analysis for Node. js
H Sun, D Bonetta, C Humer, W Binder
Proceedings of the 27th International Conference on Compiler Constructioná…, 2018
DFL: Secure and practical fault localization for datacenter networks
X Zhang, F Zhou, X Zhu, H Sun, A Perrig, AV Vasilakos, H Guan
IEEE/ACM Transactions on Networking 22 (4), 1218-1231, 2013
Reasoning about the node. js event loop using async graphs
H Sun, D Bonetta, F Schiavio, W Binder
2019 IEEE/ACM International Symposium on Code Generation and Optimizationá…, 2019
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, W Binder
Proceedings of the 14th International Conference on Modularity, 133-145, 2015
ADRENALIN-RV: Android runtime verification using load-time weaving
H Sun, A Rosa, O Javed, W Binder
2017 IEEE International Conference on Software Testing, Verification andá…, 2017
Autobench: Finding workloads that you need using pluggable hybrid analyses
Y Zheng, A RosÓ, L Salucci, Y Li, H Sun, O Javed, L Bulej, LY Chen, Z Qi, ...
2016 IEEE 23rd International Conference on Software Analysis, Evolution, andá…, 2016
Comprehensive multiplatform dynamic program analysis for java and android
Y Zheng, S Kell, L Bulej, H Sun, W Binder
IEEE Software 33 (4), 55-63, 2015
Nodemop: Runtime verification for node. js applications
F Schiavio, H Sun, D Bonetta, A RosÓ, W Binder
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 1794-1801, 2019
Automated Large-Scale Multi-Language Dynamic Program Analysis in the Wild (Tool Insights Paper)
A Villazˇn, H Sun, A RosÓ, E Rosales, D Bonetta, I Defilippis, S Oporto, ...
33rd European Conference on Object-Oriented Programming (ECOOP 2019), 2019
AccStream: accuracy-aware overload management for stream processing systems
H Sun, R Birke, W Binder, M Bj÷rkqvist, LY Chen
2017 IEEE International Conference on Autonomic Computing (ICAC), 39-48, 2017
Extended code coverage for AspectJ-based runtime verification tools
O Javed, Y Zheng, A RosÓ, H Sun, W Binder
Runtime Verification: 16th International Conference, RV 2016, Madrid, Spainá…, 2016
Automatically assessing and extending code coverage for NPM packages
H Sun, A RosÓ, D Bonetta, W Binder
2021 IEEE/ACM International Conference on Automation of Software Test (ASTá…, 2021
Adaptable runtime monitoring for the java virtual machine
A RosÓ, Y Zheng, H Sun, O Javed, W Binder
Leveraging Applications of Formal Methods, Verification and Validationá…, 2016
Capturing inter-process communication for runtime verification on Android
A Villazˇn, H Sun, W Binder
Leveraging Applications of Formal Methods, Verification and Validationá…, 2018
Multi-process runtime verification for android
H Sun, A North, W Binder
2017 24th Asia-Pacific Software Engineering Conference (APSEC), 701-706, 2017
DefDroid: Securing Android with Fine-Grained Security Policy.
C Huang, S Wang, H Sun, Z Qi
SEKE, 375-378, 2015
Droidmonitor: a high-level programming model for dynamic api monitoring on android
D Liang, R Chen, H Sun
Proc. NSCE. CRC Press, 93-96, 2014
Memvisor: application level memory mirroring via binary translation
H Dong, W Sun, B Wang, H Sun, Z Qi, H Guan, Y Dong
2012 IEEE International Conference on Cluster Computing, 562-565, 2012
Analyzing Distributed Multi-platform Java and Android Applications with ShadowVM
H Sun, Y Zheng, L Bulej, S Kell, W Binder
Programming Languages and Systems: 13th Asian Symposium, APLAS 2015, Pohangá…, 2015
NAB: automated large-scale multi-language dynamic program analysis in public code repositories
A Villazˇn, H Sun, A RosÓ, E Rosales, D Bonetta, I Defilippis, S Oporto, ...
Proceedings Companion of the 2019 ACM SIGPLAN International Conference oná…, 2019
The system can't perform the operation now. Try again later.
Articles 1–20