Tianyin Xu
For More Information
Recent Courses Taught
- CS 423 (CSE 423) - Operating Systems Design
- CS 523 - Advanced Operating Systems
- CS 591 DS (CS 591 IG) - Distributed Systems Seminar
- CS 591 IG - ADV Sem in Distributed Systems
- CS 591 SE - SOFTWARE ENGINEER. SEM.
- CS 591 SE - Software Engineering Seminar
- CS 591 SE (CS 591 SN) - Advanced Seminar
- CS 591 SN - Systems and Networking Seminar
- CS 598 XU - Reliability of Cloud-Scale Sys
News Notes
- 12/15/2025
At DASC 2025 PhD student Wentao Zhang co-advised by CS professors Darko Marinov and Tianyin Xu won First Place out of 239 papers at "The Best of" Conference Award for Digital Avionics Systems Conference for his first-author paper "An Open-Source Structural Coverage Tool for DO-178C Compliance" co-authored with collaborators from Boeing. Zhang has also given a series of talks with Boeing on Making Linux fly.
- 8/14/2025
CS assistant professor Tianyin Xu and team have won the inaugural GenAI-accelerated TLA+ Challenge, sponsored by the TLA+ Foundation and NVIDIA. TLA+ is a formal specification language and corresponding toolchains for designing, modelling, documenting, and verifying programs, especially concurrent systems and distributed systems.
- 3/31/2025
The paper "CXLfork: Fast Remote Fork over CXL Fabrics," by CS professors Tianyin Xu and Josep Torrellas, CS Postdoctoral Researcher Chloe Alverti, CS PhD students Burak Ocalan, Shashwat Jaiswal, and ECE PhD student Stratos Psomadakis, received the ASPLOS 2025 Best Paper Award, April 1, 2025 in Rotterdam, Netherlands.
- 2/29/2024
Illinois computer science professor Tianyin Xu is a recipient of The Grainger College of Engineering's 2024 Dean’s Award for Excellence in Research for Assistant Professor. Xu will be recognized formally at the Annual Engineering Awards Convocation in April.
- 10/10/2023
Illinois CS faculty presented a record four papers at Mobicom 2023, including three by Deepak Vasisht’s group, with one from Indranil Gupta and one involving Tianyin Xu. The papers cover topics from satellite networking to human body localization, drone mobility without cameras, and mobile app testing. Vasisht gave the keynote at the first workshop on satellite communications.