Publications:
Yingtong Liu, Hsin-Wei Hung, Ardalan Amiri Sani.
Mousse: A System for Selective Symbolic Execution of Programs with Untamed Environments. In Proc. ACM European Conference on Computer Systems (EuroSys), April 2020.
(source code) (talk) (slides)
Zhihao Yao, Zongheng Ma, Yingtong Liu, Ardalan Amiri Sani, Aparna Chandramowlishwaran.
Sugar: Secure GPU Acceleration in Web Browsers. In Proc. ACM Int. Conf. Architectural Support for Programming Languages and Operating Systems (ASPLOS), March 2018.
(Source code)
Chen Tian, Ali Munir, Alex X. Liu, Yingtong Liu, Yanzhao Li, Jiajun Sun, Fan Zhang, and Gong Zhang.
Multi-Tenant Multi-Objective Bandwidth Allocation in Datacenters Using Stacked Congestion Control. In Proceedings of IEEE International Conference on Computer Communications (INFOCOM), 2017.