Haiyang Sun

Article in conference proceedings (7)

• Villazon Torrico A., Sun H., Rosà A., Rosales Rosero E. E., Bonetta D., Defilippis I., Oporto S., Binder W. (forthcoming) Automated Large-scale Multi-language Dynamic Program Analysis in the Wild. ECOOP. London, United Kingdom. 2019
• Schiavio F., Sun H., Bonetta D., Rosà A., Binder W. (forthcoming) NodeMOP: Runtime Verification for Node.js Applications. SAC. Limassol, Cyprus. 2019
• Sun H., Rosà A., Javed O., Binder W. (2017) ADRENALIN-RV: Android Runtime Verification using Load-time Weaving.. ICST. ICST. Tokyo, Japan. 2017
• Sun H., Rosà A., Javed O., Binder W. (2017) ADRENALIN-RV: Android Runtime Verification using Load-time Weaving. ICST. Tokyo, Japan. 2017
• Rosà A., Zheng Y., Sun H., Javed O., Binder W. (2016) Adaptable Runtime Monitoring for the Java Virtual Machine. ISoLA. Corfu, Greece. 2016
• Zheng Y., Rosà A., Salucci L., Li Y., Sun H., Javed O., Bulej L., Chen L. Y., Qi . Z., Binder W. (2016) AutoBench: Finding Workloads That You Need Using Pluggable Hybrid Analyses. SANER. Osaka, Japan. 2016
• Javed O., Zheng Y., Rosà A., Sun H., Binder W. (2016) Extended Code Coverage for AspectJ-based Runtime Verification Tools. RV. Madrid, Spain. 2016