Research Interests:

I work on the intersection of operating systems, security and programming analysis.

Ongoing Project:

Reproduing race condition bugs in production kernel Fuzzing - Kernel fuzzing is an efficient technique to hunt hidden bugs inside the kernel. Those bugs are usually missed during the development phase. OS Kernel can be seen as a very complex software which usually has the most complicated bugs. This work focuses on using symbolic execution and static analysis to investigate the hard-to-reproduce race condition bugs reported by syzkaller and automatically generate reproducers for them.
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.