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
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
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
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
Extended code coverage for AspectJ-based runtime verification tools
O Javed, Y Zheng, A RosÓ, H Sun, W Binder
International Conference on Runtime Verification, 219-234, 2016
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
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
Adaptable runtime monitoring for the java virtual machine
A RosÓ, Y Zheng, H Sun, O Javed, W Binder
International Symposium on Leveraging Applications of Formal Methods, 531-546, 2016
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
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
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
Capturing inter-process communication for runtime verification on Android
A Villazˇn, H Sun, W Binder
International Symposium on Leveraging Applications of Formal Methods, 25-31, 2018
Multi-process runtime verification for android
H Sun, A North, W Binder
2017 24th Asia-Pacific Software Engineering Conference (APSEC), 701-706, 2017
DroidMonitor: a high-level programming model for dynamic API monitoring on Android
D Liang, R Chen, HY Sun
Network Security and Communication Engineering: Proceedings of the 2014á…, 2015
DefDroid: Securing Android with Fine-Grained Security Policy.
C Huang, S Wang, H Sun, Z Qi
SEKE, 375-378, 2015
Analyzing Distributed Multi-platform Java and Android Applications with ShadowVM
H Sun, Y Zheng, L Bulej, S Kell, W Binder
Asian Symposium on Programming Languages and Systems, 356-365, 2015
Custom full-coverage dynamic program analysis for Android
H Sun, Y Zheng, L Bulej, W Binder, S Kell
Companion Proceedings of the 2015 ACM SIGPLAN International Conference oná…, 2015
Comprehensive multi-platform dynamic program analysis for the Java and Dalvik virtual machines
Y Zheng, H Sun, L Bulej, P Tůma, W Binder
Proceedings of the 2014 International Conference on Principles and Practicesá…, 2014
The system can't perform the operation now. Try again later.
Articles 1–20