Haiyang Sun
Título
Citado por
Citado por
Año
Efficient dynamic analysis for Node. js
H Sun, D Bonetta, C Humer, W Binder
Proceedings of the 27th International Conference on Compiler Construction …, 2018
282018
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
202013
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
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
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
72017
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
72016
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
52016
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
42019
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
42017
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
32019
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
32019
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
32016
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
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
22018
Multi-process runtime verification for android
H Sun, A North, W Binder
2017 24th Asia-Pacific Software Engineering Conference (APSEC), 701-706, 2017
22017
DefDroid: Securing Android with Fine-Grained Security Policy.
C Huang, S Wang, H Sun, Z Qi
SEKE, 375-378, 2015
22015
DroidMonitor: a high-level programming model for dynamic API monitoring on Android
D Liang, R Chen, HY Sun
Proc. NSCE. CRC Press, 93-96, 2014
22014
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
12019
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
12015
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
12015
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20