| Efficient dynamic analysis for Node. js H Sun, D Bonetta, C Humer, W Binder Proceedings of the 27th International Conference on Compiler Construction …, 2018 | 73 | 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 | 25 | 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 | 13 | 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 | 13 | 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 | 12 | 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 | 12 | 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 | 12 | 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 | 9 | 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 | 8 | 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 | 8 | 2017 |
| 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 | 6 | 2021 |
| 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 | 6 | 2016 |
| 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 | 4 | 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 | 3 | 2018 |
| Multi-process runtime verification for android H Sun, A North, W Binder 2017 24th Asia-Pacific Software Engineering Conference (APSEC), 701-706, 2017 | 3 | 2017 |
| DefDroid: Securing Android with Fine-Grained Security Policy. C Huang, S Wang, H Sun, Z Qi SEKE, 375-378, 2015 | 3 | 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 | 3 | 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 | 3 | 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 | 2 | 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 | 1 | 2019 |
