Memvisor: Application Level Memory Mirroring via Binary Translation. - Haoliang Dong; Wei Sun; Bin Wang 062; Haiyang Sun 003; Zhengwei Qi; Haibing Guan; Yaozu Dong (CLUSTER, 2012)

Comprehensive multi-platform dynamic program analysis for the Java and Dalvik virtual machines. - Yudi Zheng; Haiyang Sun 003; Lubomír Bulej; Petr Tuma 001; Walter Binder (PPPJ, 2014)

DFL: Secure and Practical Fault Localization for Datacenter Networks. - Xin Zhang 003; Fanfu Zhou; Xinyu Zhu; Haiyang Sun 003; Adrian Perrig; Athanasios V. Vasilakos; Haibing Guan (IEEE/ACM Trans. Netw., 2014)

A programming model and framework for comprehensive dynamic analysis on Android. - Haiyang Sun 003; Yudi Zheng; Lubomír Bulej; Alex Villazón; Zhengwei Qi; Petr Tuma 001; Walter Binder (MODULARITY, 2015)

Analyzing Distributed Multi-platform Java and Android Applications with ShadowVM. - Haiyang Sun 003; Yudi Zheng; Lubomír Bulej; Stephen Kell; Walter Binder (APLAS, 2015)

Custom full-coverage dynamic program analysis for Android. - Haiyang Sun 003; Yudi Zheng; Lubomír Bulej; Walter Binder; Stephen Kell (SPLASH (Companion Volume), 2015)

DefDroid: Securing Android with Fine-Grained Security Policy. - Chao Huang; Shuohong Wang; Haiyang Sun 003; Zhengwei Qi (SEKE, 2015)

Adaptable Runtime Monitoring for the Java Virtual Machine. - Andrea Rosà; Yudi Zheng; Haiyang Sun 003; Omar Javed; Walter Binder (ISoLA (2), 2016)

Extended Code Coverage for AspectJ-Based Runtime Verification Tools. - Omar Javed; Yudi Zheng; Andrea Rosà; Haiyang Sun 003; Walter Binder (RV, 2016)

AutoBench: Finding Workloads That You Need Using Pluggable Hybrid Analyses. - Yudi Zheng; Andrea Rosà; Luca Salucci; Yao Li 004; Haiyang Sun 003; Omar Javed; Lubomír Bulej; Lydia Y. Chen; Zhengwei Qi; Walter Binder (SANER, 2016)

Comprehensive Multiplatform Dynamic Program Analysis for Java and Android. - Yudi Zheng; Stephen Kell; Lubomír Bulej; Haiyang Sun 003; Walter Binder (IEEE Softw., 2016)

Multi-Process Runtime Verification for Android. - Haiyang Sun 003; Alexander North; Walter Binder (APSEC, 2017)

AccStream: Accuracy-Aware Overload Management for Stream Processing Systems. - Haiyang Sun 003; Robert Birke; Walter Binder; Mathias Björkqvist; Lydia Y. Chen (ICAC, 2017)

ADRENALIN-RV: Android Runtime Verification Using Load-Time Weaving. - Haiyang Sun 003; Andrea Rosà; Omar Javed; Walter Binder (ICST, 2017)

Efficient dynamic analysis for Node.js. - Haiyang Sun 003; Daniele Bonetta; Christian Humer; Walter Binder (CC, 2018)

Capturing Inter-process Communication for Runtime Verification on Android. - Alex Villazón; Haiyang Sun 003; Walter Binder (ISoLA (4), 2018)

Reasoning about the Node.js Event Loop using Async Graphs. - Haiyang Sun 003; Daniele Bonetta; Filippo Schiavio; Walter Binder (CGO, 2019)

Automated Large-Scale Multi-Language Dynamic Program Analysis in the Wild (Tool Insights Paper). - Alex Villazón; Haiyang Sun 003; Andrea Rosà; Eduardo Rosales 001; Daniele Bonetta; Isabella Defilippis; Sergio Oporto; Walter Binder (ECOOP, 2019)

NAB: automated large-scale multi-language dynamic program analysis in public code repositories. - Alex Villazón; Haiyang Sun 003; Andrea Rosà; Eduardo Rosales 001; Daniele Bonetta; Isabella Defilippis; Sergio Oporto; Walter Binder (SPLASH (Companion Volume), 2019)

NodeMOP: runtime verification for Node.js applications. - Filippo Schiavio; Haiyang Sun 003; Daniele Bonetta; Andrea Rosà; Walter Binder (SAC, 2019)

Automated Large-Scale Multi-Language Dynamic Program Analysis in the Wild (Artifact). - Alex Villazón; Haiyang Sun 003; Andrea Rosà; Eduardo Rosales 001; Daniele Bonetta; Isabella Defilippis; Sergio Oporto; Walter Binder (Dagstuhl Artifacts Ser., 2019)

Automatically Assessing and Extending Code Coverage for NPM Packages. - Haiyang Sun 003; Andrea Rosà; Daniele Bonetta; Walter Binder (AST@ICSE, 2021)

Automated Large-scale Multi-language Dynamic Program Analysis in the Wild. - Alex Villazón; Haiyang Sun 003; Andrea Rosà; Eduardo Rosales 001; Daniele Bonetta; Isabella Defilippis; Sergio Oporto; Walter Binder (Software Engineering, 2021)