Haiyang Sun

An Investigation of Chinese Undergraduates’ Ability to Translate Chinese Cultural Items into English and Predictors of Such Ability

Yuan Gao, Haiyang Sun, 2020 .

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV

Walter Binder, Alex Villazón, Haiyang Sun, 2018, ISoLA.

Comprehensive Multiplatform Dynamic Program Analysis for Java and Android

Haiyang Sun, Walter Binder, Stephen Kell, 2016, IEEE Software.

DFL: Secure and Practical Fault Localization for Datacenter Networks

Athanasios V. Vasilakos, Haiyang Sun, Adrian Perrig, 2014, IEEE/ACM Transactions on Networking.

Reasoning about the Node.js Event Loop using Async Graphs

Haiyang Sun, Walter Binder, Daniele Bonetta, 2019, 2019 IEEE/ACM International Symposium on Code Generation and Optimization (CGO).

Efficient dynamic analysis for Node.js

Haiyang Sun, Walter Binder, Christian Humer, 2018, CC.

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

Haiyang Sun, Eduardo Rosales, Andrea Rosà, 2019, ECOOP.

Improving Law Enforcement Daily Deployment Through Machine Learning-Informed Optimization under Uncertainty

Hoong Chuin Lau, Duc Thien Nguyen, Jonathan Chase, 2019, IJCAI.