Haiyang Sun

According to our database, Haiyang Sun authored at least 23 papers between 2012 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Automated Large-scale Multi-language Dynamic Program Analysis in the Wild.

Alex Villazón, Haiyang Sun, Andrea Rosà, Eduardo Rosales, Daniele Bonetta, Isabella Defilippis, Sergio Oporto, Walter Binder

Proceedings of the Software Engineering 2021, 2021

Automatically Assessing and Extending Code Coverage for NPM Packages.

Haiyang Sun, Andrea Rosà, Daniele Bonetta, Walter Binder

Proceedings of the 2nd IEEE/ACM International Conference on Automation of Software Test, 2021

2019

Automated Large-Scale Multi-Language Dynamic Program Analysis in the Wild (Artifact).

Alex Villazón, Haiyang Sun, Andrea Rosà, Eduardo Rosales, Daniele Bonetta, Isabella Defilippis, Sergio Oporto, Walter Binder

Dagstuhl Artifacts Ser., 2019

NodeMOP: runtime verification for Node.js applications.

Filippo Schiavio, Haiyang Sun, Daniele Bonetta, Andrea Rosà, Walter Binder

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

NAB: automated large-scale multi-language dynamic program analysis in public code repositories.

Alex Villazón, Haiyang Sun, Andrea Rosà, Eduardo Rosales, Daniele Bonetta, Isabella Defilippis, Sergio Oporto, Walter Binder

Proceedings of the Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, 2019

Automated Large-Scale Multi-Language Dynamic Program Analysis in the Wild (Tool Insights Paper).

Alex Villazón, Haiyang Sun, Andrea Rosà, Eduardo Rosales, Daniele Bonetta, Isabella Defilippis, Sergio Oporto, Walter Binder

Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019

Reasoning about the Node.js Event Loop using Async Graphs.

Haiyang Sun, Daniele Bonetta, Filippo Schiavio, Walter Binder

Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2019

2018

Capturing Inter-process Communication for Runtime Verification on Android.

Alex Villazón, Haiyang Sun, Walter Binder

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

Efficient dynamic analysis for Node.js.

Haiyang Sun, Daniele Bonetta, Christian Humer, Walter Binder

Proceedings of the 27th International Conference on Compiler Construction, 2018

2017

ADRENALIN-RV: Android Runtime Verification Using Load-Time Weaving.

Haiyang Sun, Andrea Rosà, Omar Javed, Walter Binder

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

AccStream: Accuracy-Aware Overload Management for Stream Processing Systems.

Haiyang Sun, Robert Birke, Walter Binder, Mathias Björkqvist, Lydia Y. Chen

Proceedings of the 2017 IEEE International Conference on Autonomic Computing, 2017

Multi-Process Runtime Verification for Android.

Haiyang Sun, Alexander North, Walter Binder

Proceedings of the 24th Asia-Pacific Software Engineering Conference, 2017

2016

Comprehensive Multiplatform Dynamic Program Analysis for Java and Android.

Yudi Zheng, Stephen Kell, Lubomír Bulej, Haiyang Sun, Walter Binder

IEEE Softw., 2016

AutoBench: Finding Workloads That You Need Using Pluggable Hybrid Analyses.

Yudi Zheng, Andrea Rosà, Luca Salucci, Yao Li, Haiyang Sun, Omar Javed, Lubomír Bulej, Lydia Y. Chen, Zhengwei Qi, Walter Binder

Proceedings of the IEEE 23rd International Conference on Software Analysis, 2016

Extended Code Coverage for AspectJ-Based Runtime Verification Tools.

Omar Javed, Yudi Zheng, Andrea Rosà, Haiyang Sun, Walter Binder

Proceedings of the Runtime Verification - 16th International Conference, 2016

Adaptable Runtime Monitoring for the Java Virtual Machine.

Andrea Rosà, Yudi Zheng, Haiyang Sun, Omar Javed, Walter Binder

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

2015

DefDroid: Securing Android with Fine-Grained Security Policy.

Chao Huang, Shuohong Wang, Haiyang Sun, Zhengwei Qi

Proceedings of the 27th International Conference on Software Engineering and Knowledge Engineering, 2015

Custom full-coverage dynamic program analysis for Android.

Haiyang Sun, Yudi Zheng, Lubomír Bulej, Walter Binder, Stephen Kell

Proceedings of the Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, 2015

Analyzing Distributed Multi-platform Java and Android Applications with ShadowVM.

Haiyang Sun, Yudi Zheng, Lubomír Bulej, Stephen Kell, Walter Binder

Proceedings of the Programming Languages and Systems - 13th Asian Symposium, 2015

A programming model and framework for comprehensive dynamic analysis on Android.

Haiyang Sun, Yudi Zheng, Lubomír Bulej, Alex Villazón, Zhengwei Qi, Petr Tuma, Walter Binder

Proceedings of the 14th International Conference on Modularity, 2015

2014

DFL: Secure and Practical Fault Localization for Datacenter Networks.

Xin Zhang, Fanfu Zhou, Xinyu Zhu, Haiyang Sun, Adrian Perrig, Athanasios V. Vasilakos, Haibing Guan

IEEE/ACM Trans. Netw., 2014

Comprehensive multi-platform dynamic program analysis for the Java and Dalvik virtual machines.

Yudi Zheng, Haiyang Sun, Lubomír Bulej, Petr Tuma, Walter Binder

Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, 2014

2012

Memvisor: Application Level Memory Mirroring via Binary Translation.

Haoliang Dong, Wei Sun, Bin Wang, Haiyang Sun, Zhengwei Qi, Haibing Guan, Yaozu Dong

Proceedings of the 2012 IEEE International Conference on Cluster Computing, 2012