Haiyang Sun
http://usi.to/q8x
Publications
Article in conference proceedings (7)
- Villazon Torrico A., Sun H., Rosà A., Rosales Rosero E. E., Bonetta D., Defilippis I., Oporto S., Binder W. (2019) 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. (2019) 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
Conference poster (1)
- Villazon Torrico A., Sun H., Rosà A., Rosales Rosero E. E., Bonetta D., Defilippis I., Oporto S., Binder W. (2019) NAB: Automated Large-scale Multi-language Dynamic Program Analysis in Public Code Repositories
Other publication (1)
- Villazon Torrico A., Sun H., Rosà A., Rosales Rosero E. E., Bonetta D., Defilippis I., Oporto S., Binder W. (2019) Automated Large-scale Multi-language Dynamic Program Analysis in the Wild (artifact)
