Follow
Haiyang Sun
Title
Cited by
Cited by
Year
Efficient dynamic analysis for Node. js
H Sun, D Bonetta, C Humer, W Binder
Proceedings of the 27th International Conference on Compiler Construction …, 2018
672018
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
252013
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
132015
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
122019
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
122016
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
122015
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
112017
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
82019
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
82017
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
72019
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
62016
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
42021
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
42016
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
32018
Multi-process runtime verification for android
H Sun, A North, W Binder
2017 24th Asia-Pacific Software Engineering Conference (APSEC), 701-706, 2017
32017
DefDroid: Securing Android with Fine-Grained Security Policy.
C Huang, S Wang, H Sun, Z Qi
SEKE, 375-378, 2015
32015
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
32014
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
32012
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
22019
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
22015
The system can't perform the operation now. Try again later.
Articles 1–20