Home |    Publications   
A sampling of past CS 523 projects that were subsequently published in workshops, conferences, and journals.

Verified Programs Can Party: Optimizing Kernel Extensions via Post-Verification In-Kernel Merging [pdf | bib]
Hsuan-Chi Kuo, Kai-Hsun Chen, Yicheng Lu, Dan Williams, Sibin Mohan, and Tianyin Xu,
In Proceedings of the 17th European Conference on Computer Systems (EuroSys'22), Rennes, France, Apr. 2022.

Forensic Analysis of Configuration-based Attacks [pdf]
Muhammad Adil Inam, Wajih Ul Hassan, Ali Ahad, Adam Bates, Rashid Tahir, Tianyin Xu, and Fareed Zaffar
In Proceedings of the 29th Network and Distributed System Security Symposium (NDSS'22), San Diego, CA, Feb. 2022.

SLO beyond the Hardware Isolation Limits [pdf]
Haoran Qiu, Yongzhou Chen, Tianyin Xu, Zbigniew T. Kalbarczyk, and Ravishankar K. Iyer
arXiv:2109.11666, Sep. 2021.
Code: CoCo

An Infrastructure Approach to Improving Effectiveness of Android UI Testing Tools [pdf]
Wenyu Wang, Wing Lam, and Tao Xie
In Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'21), Virtual Event, July 2021.

Understanding and Discovering Software Configuration Dependencies in Cloud and Datacenter Systems [pdf]
Qingrong Chen, Teng Wang, Owolabi Legunsen, Shanshan Li, and Tianyin Xu,
In Proceedings of the 2020 ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE'20), Virtual Event, Nov. 2020.
Code and data: cdep

Live Forensics for HPC Systems: A Case Study on Distributed Storage Systems [pdf]
Saurabh Jha, Shengkun Cui, Subho Banerjee, Tianyin Xu, Jeremy Enos, Mike Showerman, Zbigniew T. Kalbarczyk, and Ravishankar K. Iyer,
In Proceedings of the International Conference for High-Performance Computing, Networking, Storage and Analysis (SC'20), Virtual Event, Nov. 2020.
Nominated for both Best Paper and Best Student Paper

Set the Configuration for the Heart of the OS: On the Practicality of Operating System Kernel Debloating [pdf]
Hsuan-Chi Kuo, Jianyan Chen, Sibin Mohan, and Tianyin Xu,
In Proceedings of the 2020 ACM SIGMETRICS Conference (Sigmetrics'20), Virtual Event, June 2020.
Code: cozart
Selected by CACM Research Highlights

How to beat the best Android UI testing tools? An infrastructure approach [pdf]
Wenyu Wang, Tao Xie, and Tianyin Xu
In Proceedings of the 21st Annual Internatonal Workshop on Mobile Computing Systems and Applications (HotMobile'20), Austin, Texas, March 2020.

Leyenda: An Adaptive, Hybrid Sorting Algorithm for Large Scale Data with Limited Memory [pdf]
Yuanjing Shi and Zhaoxing Li,
arXiv:1909.08006, Sep. 2019.
Ranked the 2nd best external sort algorithm and 4th overall on ACM 2019 SIGMOD Sorting Contest.
Code: leyenda