Haiyang Sun

25 papers A 4B 3C 5Misc 1Journal 4Unranked 8
YearRankTypeTitle / Venue / Authors
2021 C conf
Automated Large-scale Multi-language Dynamic Program Analysis in the Wild.
Software Engineering
Alex Villazón, Haiyang Sun, Andrea Rosà, Eduardo Rosales, Daniele Bonetta, Isabella Defilippis, Sergio Oporto, Walter Binder
2021 C conf
Automatically Assessing and Extending Code Coverage for NPM Packages.
AST
Haiyang Sun, Andrea Rosà, Daniele Bonetta, Walter Binder
2021 J jnl
Automatically Assessing and Extending Code Coverage for NPM Packages.
CoRR
Haiyang Sun, Andrea Rosà, Daniele Bonetta, Walter Binder
2019 J jnl
Automated Large-Scale Multi-Language Dynamic Program Analysis in the Wild (Artifact).
Dagstuhl Artifacts Ser.
Alex Villazón, Haiyang Sun, Andrea Rosà, Eduardo Rosales, Daniele Bonetta, Isabella Defilippis, Sergio Oporto, Walter Binder
2019 A conf
Automated Large-Scale Multi-Language Dynamic Program Analysis in the Wild (Tool Insights Paper).
ECOOP
Alex Villazón, Haiyang Sun, Andrea Rosà, Eduardo Rosales, Daniele Bonetta, Isabella Defilippis, Sergio Oporto, Walter Binder
2019 — conf
NAB: automated large-scale multi-language dynamic program analysis in public code repositories.
SPLASH (Companion Volume)
Alex Villazón, Haiyang Sun, Andrea Rosà, Eduardo Rosales, Daniele Bonetta, Isabella Defilippis, Sergio Oporto, Walter Binder
2019 Misc conf
NodeMOP: runtime verification for Node.js applications.
SAC
Filippo Schiavio, Haiyang Sun, Daniele Bonetta, Andrea Rosà, Walter Binder
2019 A conf
Reasoning about the Node.js Event Loop using Async Graphs.
CGO
Haiyang Sun, Daniele Bonetta, Filippo Schiavio, Walter Binder
2018 — conf
Capturing Inter-process Communication for Runtime Verification on Android.
ISoLA (4)
Alex Villazón, Haiyang Sun, Walter Binder
2018 B conf
Efficient dynamic analysis for Node.js.
CC
Haiyang Sun, Daniele Bonetta, Christian Humer, Walter Binder
2017 A conf
ADRENALIN-RV: Android Runtime Verification Using Load-Time Weaving.
ICST
Haiyang Sun, Andrea Rosà, Omar Javed, Walter Binder
2017 — conf
AccStream: Accuracy-Aware Overload Management for Stream Processing Systems.
ICAC
Haiyang Sun, Robert Birke, Walter Binder, Mathias Björkqvist, Lydia Y. Chen
2017 C conf
Multi-Process Runtime Verification for Android.
APSEC
Haiyang Sun, Alexander North, Walter Binder
2016 — conf
Adaptable Runtime Monitoring for the Java Virtual Machine.
ISoLA (2)
Andrea Rosà, Yudi Zheng, Haiyang Sun, Omar Javed, Walter Binder
2016 A conf
AutoBench: Finding Workloads That You Need Using Pluggable Hybrid Analyses.
SANER
Yudi Zheng, Andrea Rosà, Luca Salucci, Yao Li, Haiyang Sun, Omar Javed, Lubomír Bulej, Lydia Y. Chen, Zhengwei Qi, Walter Binder
2016 J jnl
Comprehensive Multiplatform Dynamic Program Analysis for Java and Android.
IEEE Softw.
Yudi Zheng, Stephen Kell, Lubomír Bulej, Haiyang Sun, Walter Binder
2016 B conf
Extended Code Coverage for AspectJ-Based Runtime Verification Tools.
RV
Omar Javed, Yudi Zheng, Andrea Rosà, Haiyang Sun, Walter Binder
2015 — conf
A programming model and framework for comprehensive dynamic analysis on Android.
MODULARITY
Haiyang Sun, Yudi Zheng, Lubomír Bulej, Alex Villazón, Zhengwei Qi, Petr Tuma, Walter Binder
2015 B conf
Analyzing Distributed Multi-platform Java and Android Applications with ShadowVM.
APLAS
Haiyang Sun, Yudi Zheng, Lubomír Bulej, Stephen Kell, Walter Binder
2015 — conf
Comprehensive Multi-Platform Dynamic Program Analysis for the Java and Dalvik Virtual Machines.
Software Engineering & Management
Walter Binder, Yudi Zheng, Lubomír Bulej, Haiyang Sun, Petr Tuma
2015 — conf
Custom full-coverage dynamic program analysis for Android.
SPLASH (Companion Volume)
Haiyang Sun, Yudi Zheng, Lubomír Bulej, Walter Binder, Stephen Kell
2015 C conf
DefDroid: Securing Android with Fine-Grained Security Policy.
SEKE
Chao Huang, Shuohong Wang, Haiyang Sun, Zhengwei Qi
2014 — conf
Comprehensive multi-platform dynamic program analysis for the Java and Dalvik virtual machines.
PPPJ
Yudi Zheng, Haiyang Sun, Lubomír Bulej, Petr Tuma, Walter Binder
2014 J jnl
DFL: Secure and Practical Fault Localization for Datacenter Networks.
IEEE/ACM Trans. Netw.
Xin Zhang, Fanfu Zhou, Xinyu Zhu, Haiyang Sun, Adrian Perrig, Athanasios V. Vasilakos, Haibing Guan
2012 C conf
Memvisor: Application Level Memory Mirroring via Binary Translation.
CLUSTER
Haoliang Dong, Wei Sun, Bin Wang, Haiyang Sun, Zhengwei Qi, Haibing Guan, Yaozu Dong