Multi-Grained Specifications for Distributed System Model Checking and Verification [pdf | bib]
Lingzhi Ouyang, Xudong Sun, Ruize Tang, Yu Huang, Madhav Jivrajani, Xiaoxing Ma, and Tianyin Xu
In Proceedings of the 20th European Conference on Computer Systems (EuroSys'25), Rotterdam, The Netherlands, Apr. 2025.

M5: Mastering Page Migration and Memory Management for CXL-based Tiered Memory Systems [pdf | bib]
Yan Sun, Jongyul Kim, Douglas Yu, Jiyuan Zhang, Siyuan Chai, Michael Jaemin Kim, Hwayong Nam, Jaehyun Park, Eojin Na, Yifan Yuan, Ren Wang, Jung Ho Ahn, Tianyin Xu, and Nam Sung Kim
In Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS'25), Rotterdam, The Netherlands, Apr. 2025.

Fidelity of Cloud Emulators: The Imitation Game of Testing Cloud-based Software [pdf | bib]
Anna Mazhar, Saad Sher Alam, William X. Zheng, Yinfang Chen, Suman Nath, and Tianyin Xu
In Proceedings of the 47th International Conference on Software Engineering (ICSE'25), Ottawa, Ontario, Canada, Apr. 2025.

Large Language Models as Configuration Validators [pdf | bib]
Xinyu Lian, Yinfang Chen, Runxiang Cheng, Jie Huang, Parth Thakkar, Minjia Zhang, and Tianyin Xu
In Proceedings of the 47th International Conference on Software Engineering (ICSE'25), Ottawa, Ontario, Canada, Apr. 2025.

Mitigating Scalability Walls of RDMA-based Container Networks [pdf | bib]
Wei Liu, Kun Qian, Zhenhua Li, Feng Qian, Tianyin Xu, Yunhao Liu, Yu Guan, Shuhong Zhu, Xiongfei Xu, Lanlan Xi, Chao Qin, and Ennan Zhai
In Proceedings of the 22nd USENIX Symposium on Networked Systems Design and Implementation (NSDI'25), Philadelphia, PA, Apr. 2025.

Dissecting and Streamlining the Interactive Loop of Mobile Cloud Gaming [pdf | bib]
Yang Li, Jiaxing Qiu, Hongyi Wang, Zhenhua Li, Feng Qian, Jing Yang, Hao Lin, Yunhao Liu, Bo Xiao, Xiaokang Qin, and Tianyin Xu
In Proceedings of the 22nd USENIX Symposium on Networked Systems Design and Implementation (NSDI'25), Philadelphia, PA, Apr. 2025.

Concord: Rethinking Distributed Coherence for Software Caches in Serverless Environments [pdf | bib]
Jovan Stojkovic, Chloe Alverti, Alan Andrade, Nikoleta Markela Iliakopoulou, Hubertus Franke, Tianyin Xu, and Josep Torrellas
In Proceedings of the 31st IEEE International Symposium on High-Performance Computer Architecture (HPCA'25), Las Vegas, NV, Mar. 2025.

vSoC: Efficient Virtual System-on-Chip on Heterogeneous Hardware [pdf | bib]
Jiaxing Qiu, Zijie Zhou, Yang Li, Zhenhua Li, Feng Qian, Hao Lin, Di Gao, Haitao Su, Xin Miao, Yunhao Liu, and Tianyin Xu
In Proceedings of the 30th ACM Symposium on Operating Systems Principles (SOSP'24), Austin, TX, Nov. 2024.
Project: https://github.com/VirtualSoC

Rethinking Process Management for Interactive Mobile Systems [pdf | bib]
Jianwei Zheng, Zhenhua Li, Feng Qian, Wei Liu, Hao Lin, Yunhao Liu, Tianyin Xu, Nan Zhang, Ju Wang, and Cang Zhang
In Proceedings of the 30th Annual International Conference on Mobile Computing and Networking (MobiCom'24), Washington, D.C., Nov. 2024.

Anvil: Verifying Liveness of Cluster Management Controllers [pdf | bib]
Xudong Sun, Wenjie Ma, Jiawei Tyler Gu, Zicheng Ma, Tej Chajed, Jon Howell, Andrea Lattuada, Oded Padon, Lalith Suresh, Adriana Szekeres, and Tianyin Xu
In Proceedings of the 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI'24), Santa Clara, CA, Jul. 2024.
Project: https://github.com/vmware-research/verifiable-controllers (research artifact)
Jay Lepreau Best Paper Award
Invited to publish at USENIX ;login: (article)

Fast (Trapless) Kernel Probes Everywhere [pdf | bib]
Jinghao Jia, Michael V. Le, Salman Ahmed, Dan Williams, Hani Jamjoom, and Tianyin Xu
In Proceedings of the 2024 USENIX Annual Technical Conference (USENIX ATC'24), Santa Clara, CA, Jul. 2024.
Artifact: https://github.com/hardos-ebpf-fuzzing/atc24-uno-kprobe
Contributions to Linux Kprobes:
- x86/kprobes: boost more instructions from grp2/3/4/5
- x86/kprobes: prohibit kprobing on INT and UD
- x86/kprobes: fix incorrect return address calculation in kprobe_emulate_call_indirect
- x86/kprobes: Refactor can_{probe,boost} return type to bool

Ctest4J: A Practical Configuration Testing Framework for Java [pdf | bib]
Shuai Wang, Xinyu Lian, Qingyu Li, Darko Marinov, and Tianyin Xu
In Proceedings of the 23rd ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE'24), Demonstration Track, Porto de Galinhas, Brazil, Jul. 2024.
Project: https://github.com/xlab-uiuc/ctest4j

EcoFaaS: Rethinking the Design of Serverless Environments for Energy Efficiency [pdf | bib]
Jovan Stojkovic, Nikoleta Iliakopoulou, Tianyin Xu, Hubertus Franke, and Josep Torrellas,
In Proceedings of the 51st International Symposium on Computer Architecture (ISCA'24), Buenos Aires, Argentina, Jun. 2024.

Direct Memory Translation for Virtualized Clouds [pdf | bib]
Jiyuan Zhang, Weiwei Jia, Siyuan Chai, Peizhe Liu, Jongyul Kim, and Tianyin Xu
In Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS'24), San Diego, CA, Apr. 2024.
Artifact: https://github.com/xlab-uiuc/dmt

Automatic Root Cause Analysis via Large Language Models for Cloud Incidents [pdf | bib]
Yinfang Chen, Huaibing Xie, Minghua Ma, Yu Kang, Xin Gao, Liu Shi, Yunjie Cao, Xuedong Gao, Hao Fan, Ming Wen, Jun Zeng, Supriyo Ghosh, Xuchao Zhang, Chaoyun Zhang, Qingwei Lin, Saravan Rajmohan, Dongmei Zhang, and Tianyin Xu
In Proceedings of the 19th European Conference on Computer Systems (EuroSys'24), Athens, Greece, Apr. 2024.

Take the Blue Pill: Pursuing Mobile App Testing Fidelity, Efficiency, and Accessibility with Virtual Device Farms [paper | bib]
Hao Lin, Jiaxing Qiu, Hongyi Wang, Zhenhua Li, Liangyi Gong, Di Gao, Yunhao Liu, Feng Qian, Zhao Zhang, Ping Yang, and Tianyin Xu
Mobile Computing and Communications (GetMobile), 28(1): 5-9, Mar. 2024.

Acto: Automatic End-to-End Testing for Operation Correctness of Cloud System Management [pdf | bib]
Jiawei Tyler Gu, Xudong Sun, Wentao Zhang, Yuxuan Jiang, Chen Wang, Mandana Vaziri, Owolabi Legunsen, and Tianyin Xu
In Proceedings of the 29th ACM Symposium on Operating Systems Principles (SOSP'23), Koblenz, Germany, Oct. 2023.
Project: https://github.com/xlab-uiuc/acto (research artifact)
Selected for solution showcase at KubeCon + CloudNativeCon Europe 2024
Covered by IllinoisCS News
Invited to publish at USENIX ;login: (article)

Demystifying CXL Memory with Genuine CXL-Ready Systems and Devices [pdf | bib]
Yan Sun, Yifan Yuan, Zeduo Yu, Chihun Song, Reese Kuper, Jinghan Huang, Houxiang Ji, Siddharth Agarwal, Jiaqi Lou, Ipoom Jeong, Ren Wang, Jung Ho Ahn, Tianyin Xu, and Nam Sung Kim
In Proceedings of the 56th IEEE/ACM International Symposium on Microarchitecture (MICRO-56), Toronto, Canada, Oct. 2023.
Covered by Semiconductor Engineering, Intel Community Blog, Hacker News, The New Stack

Virtual Device Farms for Mobile App Testing at Scale: A Pursuit for Fidelity, Efficiency, and Accessibility [pdf | bib]
Hao Lin, Jiaxing Qiu, Hongyi Wang, Zhenhua Li, Liangyi Gong, Di Gao, Yunhao Liu, Feng Qian, Zhao Zhang, Ping Yang, and Tianyin Xu
In Proceedings of the 29th Annual International Conference on Mobile Computing and Networking (MobiCom'23), Madrid, Spain, Oct. 2023.
Artifact: https://github.com/Android-Emulation-Testing/emu-fidelity-ae
Selected as an Highlight article by SIGMOBILE Mobile Computing and Communications Review: pdf

Towards GPU Memory Efficiency for Distributed Training at Scale [pdf | bib]
Runxiang Cheng, Chris Cai, Selman Yilmaz, Rahul Mitra, Malay Bag, Mrinmoy Ghosh, and Tianyin Xu
In Proceedings of the 14th ACM Symposium on Cloud Computing (SoCC'23), Santa Cruz, CA, Oct. 2023.

HugeGPT: Storing Guest Page Tables on Host Huge Pages to Accelerate Address Translation [pdf | bib]
Weiwei Jia, Jiyuan Zhang, Jianchen Shan, Yiming Du, Xiaoning Ding, and Tianyin Xu
In Proceedings of the 32nd International Conference on Parallel Architectures and Compilation Techniques (PACT'23), Vienna, Austria, Oct. 2023.

Relational Debugging -- Pinpointing Root Causes of Performance Problems [pdf | bib]
Xiang (Jenny) Ren, Sitao Wang, Zhuqi Jin, David Lion, Adrian Chiu, Tianyin Xu, and Ding Yuan
In Proceedings of the 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI'23), Boston, MA, July 2023.
Artifact: https://gitlab.dsrg.utoronto.ca/dsrg/perspect
Featured by SIGOPS Blog

Kernel extension verification is untenable [pdf | bib]
Jinghao Jia, Raj Sahu, Adam Oswald, Dan Williams, Michael V. Le, and Tianyin Xu
In Proceedings of the 19th Workshop on Hot Topics in Operating Systems (HotOS-XIX), Providence, RI, June 2023.
Covered by Hacker News

MXFaaS: Resource Sharing in Serverless Environments for Parallelism and Efficiency [pdf | bib]
Jovan Stojkovic, Tianyin Xu, Hubertus Franke, and Josep Torrellas
In Proceedings of the 50th Annual International Symposium on Computer Architecture (ISCA'23), Orlando, FL, June 2023.
Artifact: https://github.com/xlab-uiuc/mxfaas
US Patent: Serverless computing using resource multiplexing

Fail through the Cracks: Cross-System Interaction Failures in Modern Cloud Systems [pdf | bib]
Lilia Tang, Chaitanya Bhandari, Yongle Zhang, Anna Karanika, Shuyang Ji, Indranil Gupta, and Tianyin Xu
In Proceedings of the 18th European Conference on Computer Systems (EuroSys'23), Rome, Italy, May 2023.
Artifact: https://github.com/xlab-uiuc/csi-ae
Gilles Muller Best Artifact Award
Invited for presentation at SREcon24 Americas

Push-Button Reliability Testing for Cloud-Backed Applications with Rainmaker [pdf | bib]
Yinfang Chen, Xudong Sun, Suman Nath, Ze Yang, and Tianyin Xu
In Proceedings of the 20th USENIX Symposium on Networked Systems Design and Implementation (NSDI'23), Boston, MA, April 2023.
Code: https://github.com/xlab-uiuc/rainmaker
Featured by The Weekend Read

Test Selection for Unified Regression Testing [pdf | bib]
Shuai Wang, Xinyu Lian, Darko Marinov, and Tianyin Xu
In Proceedings of the 45th IEEE/ACM International Conference on Software Engineering (ICSE'23), Melbourne, Australia, May 2023.
Code/data: https://github.com/xlab-uiuc/uRTS-ae

Visual-Aware Testing and Debugging for Web Performance Optimization [pdf | bib]
Xinlei Yang, Wei Liu, Hao Lin, Zhenhua Li, Feng Qian, Xianlong Wang, Yunhao Liu, and Tianyin Xu
In Proceedings of the 32th ACM Web Conference (WWW'23), Austin, Texas, Apr 2023.
Code/data: https://github.com/Web-Distortion/Vetter

SpecFaaS: Accelerating Serverless Applications with Speculative Function Execution [pdf | bib]
Jovan Stojkovic, Tianyin Xu, Hubertus Franke, and Josep Torrellas
In Proceedings of the 29th IEEE International Symposium on High-Performance Computer Architecture (HPCA-29), Montreal, QC, Canada, Feb 2023.

Memory-Efficient Hashed Page Tables [pdf | bib]
Jovan Stojkovic, Namrata Mantri, Dimitrios Skarlatos, Tianyin Xu, and Josep Torrellas
In Proceedings of the 29th IEEE International Symposium on High-Performance Computer Architecture (HPCA-29), Montreal, QC, Canada, Feb 2023.

Programmable System Call Security with eBPF [pdf | bib]
Jinghao Jia, YiFei Zhu, Dan Williams, Andrea Arcangeli, Claudio Canella, Hubertus Franke, Tobin Feldman-Fitzthum, Dimitrios Skarlatos, Daniel Gruss, and Tianyin Xu
arXiv:2302.10366, Feb 2023.
Code: https://github.com/xlab-uiuc/seccomp-ebpf-upstream
Presented at Linux Plumbers Conference 2022 (Revisiting eBPF Seccomp Filters)
Covered by LWN.net

Mobile Access Bandwidth in Practice: Measurement, Analysis, and Implications [pdf | bib]
Xinlei Yang, Hao Lin, Zhenhua Li, Feng Qian, Xingyao Li, Zhiming He, Xudong Wu, Xianlong Wang, Yunhao Liu, Zhi Liao, Daqiang Hu, and Tianyin Xu
In Proceedings of the 2022 Annual Conference of the ACM Special Interest Group on Data Communication (Sigcomm'22), Amsterdam, Netherlands, August 2022.
Code/data: https://mobilebandwidth.github.io/
Public review

Automatic Reliability Testing for Cluster Management Controllers [pdf | bib]
Xudong Sun, Wenqing Luo, Jiawei Tyler Gu, Aishwarya Ganesan, Ramnatthan Alagappan, Michael Gasch, Lalith Suresh, and Tianyin Xu,
In Proceedings of the 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI'22), Carlsbad, CA, Jul. 2022.
Project: https://github.com/sieve-project/sieve (research artifact)
Covered by VMware Office of CTO Blog (endorsement from Kit Colbert), Hacker News, Paper Review by Micah Lerner, IllinoisCS News
Selected for presentation at KubeCon + CloudNativeCon North America 2021
Invited to publish at USENIX ;login: (article)
Invited for presentation at KBE Insider (Episode 14)

Trinity: High-Performance Mobile Emulation through Graphics Projection [pdf | bib]
Di Gao, Hao Lin, Zhenhua Li, Chengen Huang, Yunhao Liu, Feng Qian, Liangyi Gong, and Tianyin Xu,
In Proceedings of the 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI'22), Carlsbad, CA, Jul. 2022.
Code/data: https://github.com/TrinityEmulator
A journal version is published at the ACM Transactions on Computer Systems (link)

DepFast: Orchestrating Code of Quorum Systems [pdf | bib]
Xuhao Luo, Weihai Shen, Shuai Mu, and Tianyin Xu,
In Proceedings of the 2022 USENIX Annual Technical Conference (USENIX ATC'22), Carlsbad, CA, Jul. 2022.
Code/data: https://github.com/xlab-uiuc/depfast (research artifact)
Featured by The Weekend Read

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.
Code/data: https://github.com/xlab-uiuc/eurosys-kfuse-artifact

Parallel Virtualized Memory Translation with Nested Elastic Cuckoo Page Tables [pdf | bib]
Jovan Stojkovic, Dimitrios Skarlatos, Apostolos Kokolis, Tianyin Xu, and Josep Torrellas,
In Proceedings of the 27th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS'22), Lausanne, Switzerland, Feb. 2022.

Forensic Analysis of Configuration-based Attacks [pdf | bib]
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.

Static Detection of Silent Misconfigurations with Deep Interaction Analysis [pdf | bib]
Jialu Zhang, Ruzica Piskac, Ennan Zhai, and Tianyin Xu
In Proceedings of the 36th ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'21), Chicago, IL, October 2021.

Vet: Identifying and Avoiding UI Exploration Tarpits [pdf | bib]
Wenyu Wang, Wei Yang, Tianyin Xu, and Tao Xie
In Proceedings of the 2021 ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE'21), Virtual Event, August 2021.
SIGSOFT Distinguished Paper Award

A Nationwide Study on Cellular Reliability: Measurement, Analysis, and Enhancements [pdf | bib]
Yang Li, Hao Lin, Zhenhua Li, Liangyi Gong, Feng Qian, Yunhao Liu, Xianlong Xin, and Tianyin Xu
In Proceedings of the 2021 Annual Conference of the ACM Special Interest Group on Data Communication (Sigcomm'21), Virtual Event, August 2021.
Code/data: https://cellularreliability.github.io/
Public review
Best Student Paper Award

Test-Case Prioritization for Configuration Testing [pdf | bib]
Runxiang Cheng, Lingming Zhang, Darko Marinov, and Tianyin Xu
In Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'21), Virtual Event, July 2021.
Code/data: https://github.com/xlab-uiuc/ctest_prio_art
SIGSOFT Distinguished Paper Award

Reasoning about modern datacenter infrastructures using partial histories [pdf | bib]
Xudong Sun, Lalith Suresh, Aishwarya Ganesan, Ramnatthan Alagappan, Michael Gasch, Lilia Tang, and Tianyin Xu
In Proceedings of the 18th Workshop on Hot Topics in Operating Systems (HotOS-XVIII), Virtual Event, May 2021.
Covered in A CAP tradeoff in the wild by Lindsey Kuper

Fail-slow fault tolerance needs programming support [pdf | bib]
Andrew Yoo, Yuanli Wang, Ritesh Sinha, Shuai Mu, and Tianyin Xu
In Proceedings of the 18th Workshop on Hot Topics in Operating Systems (HotOS-XVIII), Virtual Event, May 2021.

An Evolutionary Study of Configuration Design and Implementation in Cloud Systems [pdf | bib]
Yuanliang Zhang, Haochen He, Owolabi Legunsen, Shanshan Li, Wei Dong, and Tianyin Xu
In Proceedings of the 43rd International Conference on Software Engineering (ICSE'21), Virtual Event, May 2021.
Code/data: https://github.com/xlab-uiuc/open-cevo

Fast and Light Bandwidth Testing for Internet Users [pdf | bib]
Xinlei Yang, Xianlong Wang, Zhenhua Li, Feng Qian, Liangyi Gong, Rui Miao, Yunhao Liu, and Tianyin Xu
In Proceedings of the 18th USENIX Symposium on Networked Systems Design and Implementation (NSDI'21), Virtual Event, April 2021.
Code/data: http://fastbts.thucloud.com

Testing Configuration Changes in Context to Prevent Production Failures [pdf | bib]
Xudong Sun, Runxiang Cheng, Jianyan Chen, Elaine Ang, Owolabi Legunsen, and Tianyin Xu
In Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI'20), Virtual Event, Nov. 2020.
Code/data: https://github.com/xlab-uiuc/openctest

Understanding and Discovering Software Configuration Dependencies in Cloud and Datacenter Systems [pdf | bib]
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/data: https://github.com/xlab-uiuc/cdep-fse

Live Forensics for HPC Systems: A Case Study on Distributed Storage Systems [pdf | bib]
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.
Best Paper and Best Student Paper Finalist

Draco: Architectural and Operating System Support for System Call Security [pdf | bib]
Dimitrios Skarlatos, Qingrong Chen, Jianyan Chen, Tianyin Xu, and Josep Torrellas,
In Proceedings of the 53rd IEEE/ACM International Symposium on Microarchitecture (MICRO-53), Virtual Event, Oct. 2020.
Draco has been upstreamed to the Linux kernel [rfc | code] (LWN, CSL, IllinoisCS, C3SR, Phoronix)

Aging or Glitching? Why Does Android Stop Responding and What Can We Do About It? [pdf | bib]
Mingliang Li, Hao Lin, Cai Liu, Zhenhua Li, Feng Qian, Yunhao Liu, Nian Sun, and Tianyin Xu,
In Proceedings of the 26th Annual International Conference on Mobile Computing and Networking (MobiCom'20), Virtual Event, Sep. 2020.

Set the Configuration for the Heart of the OS: On the Practicality of Operating System Kernel Debloating [pdf | bib]
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/data: https://github.com/hckuo/Cozart
Cozart is selected as a CACM Research Highlight article: pdf

Elastic Cuckoo Page Tables: Rethinking Virtual Memory Translation for Parallelism [pdf | bib]
Dimitrios Skarlatos, Apostolos Kokolis, Tianyin Xu, and Josep Torrellas,
In Proceedings of the 25th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS'20), Virtual Event, Mar. 2020.
Code/data: https://github.com/dskarlatos/ElasticCuckooHashing
Best Paper Award
IEEE Micro Top Picks 2021 Honorable Mention

Lock-Free Collaboration Support for Cloud Storage Services with Operation Inference and Transformation [pdf | bib]
Jian Chen, Minghao Zhao, Zhenhua Li, Ennan Zhai, Feng Qian, Hongyi Chen, and Yunhao Liu, and Tianyin Xu,
In Proceedings of the 18th USENIX Conference on File and Storage Technologies (FAST'20), Santa Clara, CA, Feb. 2020.
Code/data: https://ufc2.github.io

Towards Continuous Access Control Validation and Forensics [pdf | bib]
Chengcheng Xiang, Yudong Wu, Bingyu Shen, Mingyao Shen, Haochen Huang, Tianyin Xu, Yuanyuan Zhou, Cindy Moore, Xinxin Jin, and Tianwei Sheng,
In Proceedings of the 26th ACM Conference on Computer and Communications Security (CCS'19), London, UK, Nov. 2019.
Code/data: https://github.com/EvonX/TimeChangingDecisionTree

Taiji: Managing Global User Traffic for Large-Scale Internet Services at the Edge [pdf | bib]
David Chou, Tianyin Xu, Kaushik Veeraraghavan, Andrew Newell, Sonia Margulis, Lin Xiao, Pol Mauri Ruiz, Justin Meza, Kiryong Ha, Shruti Padmanabha, Kevin Cole, and Dmitri Perelman
In Proceedings of the 27th ACM Symposium on Operating Systems Principles (SOSP'19), Huntsville, Ontario, Canada, Oct. 2019.
US Patent: Systems and methods for dynamically generating routing tables for edge nodes in large-scale networking infrastructures
Covered by the Morning Paper

Mobile Gaming on Personal Computers with Direct Android Emulation [pdf | bib | demo]
Qifan Yang, Zhenhua Li, Yunhao Liu, Hai Long, Yuanchao Huang, Jiaming He, Tianyin Xu, and Ennan Zhai
In Proceedings of the 25th Annual International Conference on Mobile Computing and Networking (MobiCom'19), Los Cabos, Mexico, Oct. 2019.
Best Demo Award

Understanding Fileless Attacks on Linux-based IoT Devices with HoneyCloud [pdf | bib]
Fan Dang, Zhenhua Li, Yunhao Liu, Ennan Zhai, Qi Alfred Chen, Tianyin Xu, Yan Chen, and Jingyu Yang
In Proceedings of the 17th ACM International Conference on Mobile Systems, Applications, and Services (MobiSys'19), Seoul, South Korea, Jun. 2019.

An In-depth Study of Commercial MVNO: Measurement and Optimization [pdf | bib]
Ao Xiao, Yunhao Liu, Yang Li, Feng Qian, Zhenhua Li, Sen Bai, Yao Liu, Tianyin Xu, and Xianlong Xin
In Proceedings of the 17th ACM International Conference on Mobile Systems, Applications, and Services (MobiSys'19), Seoul, South Korea, Jun. 2019.

Understanding and Detecting Overlay-based Android Malware at Market Scales [pdf | bib]
Yuxuan Yan, Zhenhua Li, Qi Alfred Chen, Christo Wilson, Tianyin Xu, Ennan Zhai, Yong Li, and Yunhao Liu
In Proceedings of the 17th ACM International Conference on Mobile Systems, Applications, and Services (MobiSys'19), Seoul, South Korea, Jun. 2019.

A Large-Scale Study of Data Center Network Reliability [pdf | bib]
Justin Meza, Tianyin Xu, Kaushik Veeraraghavan, and Onur Mutlu
In Proceedings of the 18th Internet Measurement Conference (IMC'18), Boston, MA, Oct. 2018.

Maelstrom: Mitigating Datacenter-level Disasters by Draining Interdependent Traffic Safely and Efficiently [pdf | bib]
Kaushik Veeraraghavan, Justin Meza, Scott Michelson, Sankaralingam Panneerselvam, Alex Gyori, David Chou, Sonia Margulis, Daniel Obenshain, Shruti Padmanabha, Ashish Shah, Yee Jiun Song, and Tianyin Xu
In Proceedings of the 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI'18), Carlsbad, CA, Oct. 2018.
Covered by the Morning Paper

Mining Container Image Repositories for Software Configurations and Beyond [pdf | bib]
Tianyin Xu and Darko Marinov
In Proceedings of the 40th International Conference on Software Engineering, New Ideas and Emerging Results (ICSE'18, NIER), Gothenburg, Sweden, May 2018.

Towards Web-based Delta Synchronization for Cloud Storage Services [pdf | bib]
He Xiao, Zhenhua Li, Ennan Zhai, Tianyin Xu, Yang Li, Yonghe Wang, Quanlu Zhang, and Yao Liu
In Proceedings of the 16th USENIX Conference on File and Storage Technologies (FAST'18), Oakland, CA, Feb. 2018.
Covered by the Morning Paper

How Do System Administrators Resolve Access-Denied Issues in the Real World? [pdf | bib]
Tianyin Xu, Han Min Naing, Le Lu, and Yuanyuan Zhou
In Proceedings of the 35th Annual CHI Conference on Human Factors in Computing Systems (CHI'17), Denver, CO, May 2017.

Early Detection of Configuration Errors to Reduce Failure Damage [pdf | bib]
Tianyin Xu, Xinxin Jin, Peng Huang, Yuanyuan Zhou, Shan Lu, Long Jin, and Shankar Pasupathy
In Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI'16), Savannah, GA, Nov. 2016.
Jay Lepreau Best Paper Award
Covered by the Morning Paper

DefDroid: Towards a More Defensive Mobile OS Against Disruptive App Behavior [pdf | bib]
Peng Huang, Tianyin Xu, Xinxin Jin, and Yuanyuan Zhou
In Proceedings of the 14th International Conference on Mobile Systems, Applications, and Services (MobiSys'16), Singapore, Singapore, June 2016.

NChecker: Saving Mobile App Developers from Network Disruptions [pdf | bib]
Xinxin Jin, Peng Huang, Tianyin Xu, and Yuanyuan Zhou
In Proceedings of the 11th ACM European Conference on Computer Systems (EuroSys'16), London, UK, Apr. 2016.

An HCI View of Configuration Problems [pdf | bib]
Tianyin Xu, Vineet Pandey, and Scott Klemmer
arXiv:1601.01747, Jan. 2016.

Exploring Cross-Application Cellular Traffic Optimization with Baidu TrafficGuard [pdf | bib]
Zhenhua Li, Weiwei Wang, Tianyin Xu, Xin Zhong, Xiang-Yang Li, Yunhao Liu, Christo Wilson, and Ben Y. Zhao
In Proceedings of the 13th USENIX Symposium on Networked Systems Design and Implementation (NSDI'16), Santa Clara, CA, Mar. 2016.

Offline Downloading in China: A Comparative Study [pdf | bib]
Zhenhua Li, Christo Wilson, Tianyin Xu, Yao Liu, Zhen Lu, and Yinlong Wang
In Proceedings of the 15th ACM Internet Measurement Conference (IMC'15), Tokyo, Japan, Oct. 2015.

Hey, You Have Given Me Too Many Knobs! Understanding and Dealing with Over-Designed Configuration in System Software [pdf | bib]
Tianyin Xu, Long Jin, Xuepeng Fan, Yuanyuan Zhou, Shankar Pasupathy, and Rukma Talwadker
In Proceedings of the 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE'15), Bergamo, Italy, Aug. 2015.
Covered by It Will Never Work in Theory

Systems Approaches to Tackling Configuration Errors: A Survey [pdf | bib]
Tianyin Xu and Yuanyuan Zhou
ACM Computing Surveys (CSUR), Vol. 47, No. 4, Article 70, Jul. 2015.

Towards Network-level Efficiency for Cloud Storage Services [pdf | bib]
Zhenhua Li, Cheng Jin, Tianyin Xu, Christo Wilson, Yao Liu, Linsong Cheng, Yunhao Liu, Yafei Dai, and Zhi-Li Zhang
In Proceedings of the 14th ACM Internet Measurement Conference (IMC'14), Vancouver, Canada, Nov. 2014.

EnCore: Exploiting System Environment and Correlation Information for Misconfiguration Detection [pdf | bib]
Jiaqi Zhang, Lakshminarayanan Renganarayana, Xiaolan Zhang, Niyu Ge, Vasanth Bala, Tianyin Xu, and Yuanyuan Zhou
In Proceedings of the 19th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS'14), Salt Lake City, UT, Mar. 2014.

Do Not Blame Users for Misconfigurations [pdf | bib]
Tianyin Xu, Jiaqi Zhang, Peng Huang, Jing Zheng, Tianwei Sheng, Ding Yuan, Yuanyuan Zhou, and Shankar Pasupathy
In Proceedings of the 24th ACM Symposium on Operating Systems Principles (SOSP'13), Farmington, PA, Nov. 2013.