Tianyin Xu

Orcid: 0000-0003-4443-8170

Affiliations:
  • University of Illinois at Urbana-Champaign, Department of Computer Science, Urbana, IL, USA
  • Facebook, Menlo Park, CA, USA (former)
  • University of California San Diego, La Jolla, CA, USA (former, PhD)
  • University of Göttingen, Germany (former)
  • Nanjing University, State Key Laboratory for Novel Software Technology, China (former)


According to our database1, Tianyin Xu authored at least 104 papers between 2008 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Take the Blue Pill: Pursuing Mobile App Testing Fidelity, Efficiency, and Accessibility with Virtual Device Farms.
GetMobile Mob. Comput. Commun., March, 2024

Multi-Grained Specifications for Distributed System Model Checking and Verification.
CoRR, 2024

Fast (Trapless) Kernel Probes Everywhere.
Proceedings of the 2024 USENIX Annual Technical Conference, 2024

vSoC: Efficient Virtual System-on-Chip on Heterogeneous Hardware.
Proceedings of the ACM SIGOPS 30th Symposium on Operating Systems Principles, 2024

Ctest4J: A Practical Configuration Testing Framework for Java.
Proceedings of the Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering, 2024

Anvil: Verifying Liveness of Cluster Management Controllers.
Proceedings of the 18th USENIX Symposium on Operating Systems Design and Implementation, 2024

Rethinking Process Management for Interactive Mobile Systems.
Proceedings of the 30th Annual International Conference on Mobile Computing and Networking, 2024

EcoFaaS: Rethinking the Design of Serverless Environments for Energy Efficiency.
Proceedings of the 51st ACM/IEEE Annual International Symposium on Computer Architecture, 2024

Automatic Root Cause Analysis via Large Language Models for Cloud Incidents.
Proceedings of the Nineteenth European Conference on Computer Systems, 2024

Direct Memory Translation for Virtualized Clouds.
Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024

2023
Configuration Validation with Large Language Models.
CoRR, 2023

Programmable System Call Security with eBPF.
CoRR, 2023

Visual-Aware Testing and Debugging for Web Performance Optimization.
Proceedings of the ACM Web Conference 2023, 2023

Acto: Automatic End-to-End Testing for Operation Correctness of Cloud System Management.
Proceedings of the 29th Symposium on Operating Systems Principles, 2023

Relational Debugging - Pinpointing Root Causes of Performance Problems.
Proceedings of the 17th USENIX Symposium on Operating Systems Design and Implementation, 2023

Push-Button Reliability Testing for Cloud-Backed Applications with Rainmaker.
Proceedings of the 20th USENIX Symposium on Networked Systems Design and Implementation, 2023

Virtual Device Farms for Mobile App Testing at Scale: A Pursuit for Fidelity, Efficiency, and Accessibility.
Proceedings of the 29th Annual International Conference on Mobile Computing and Networking, 2023

Demystifying CXL Memory with Genuine CXL-Ready Systems and Devices.
Proceedings of the 56th Annual IEEE/ACM International Symposium on Microarchitecture, 2023

MXFaaS: Resource Sharing in Serverless Environments for Parallelism and Efficiency.
Proceedings of the 50th Annual International Symposium on Computer Architecture, 2023

Test Selection for Unified Regression Testing.
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

SpecFaaS: Accelerating Serverless Applications with Speculative Function Execution.
Proceedings of the IEEE International Symposium on High-Performance Computer Architecture, 2023

Memory-Efficient Hashed Page Tables.
Proceedings of the IEEE International Symposium on High-Performance Computer Architecture, 2023

Kernel extension verification is untenable.
Proceedings of the 19th Workshop on Hot Topics in Operating Systems, 2023

Fail through the Cracks: Cross-System Interaction Failures in Modern Cloud Systems.
Proceedings of the Eighteenth European Conference on Computer Systems, 2023

Towards GPU Memory Efficiency for Distributed Training at Scale.
Proceedings of the 2023 ACM Symposium on Cloud Computing, SoCC 2023, 2023

HugeGPT: Storing Guest Page Tables on Host Huge Pages to Accelerate Address Translation.
Proceedings of the 32nd International Conference on Parallel Architectures and Compilation Techniques, 2023

2022
DepFast: Orchestrating Code of Quorum Systems.
Proceedings of the 2022 USENIX Annual Technical Conference, 2022

Mobile access bandwidth in practice: measurement, analysis, and implications.
Proceedings of the SIGCOMM '22: ACM SIGCOMM 2022 Conference, Amsterdam, The Netherlands, August 22, 2022

Trinity: High-Performance Mobile Emulation through Graphics Projection.
Proceedings of the 16th USENIX Symposium on Operating Systems Design and Implementation, 2022

Automatic Reliability Testing For Cluster Management Controllers.
Proceedings of the 16th USENIX Symposium on Operating Systems Design and Implementation, 2022

Forensic Analysis of Configuration-based Attacks.
Proceedings of the 29th Annual Network and Distributed System Security Symposium, 2022

Verified programs can party: optimizing kernel extensions via post-verification merging.
Proceedings of the EuroSys '22: Seventeenth European Conference on Computer Systems, Rennes, France, April 5, 2022

Parallel virtualized memory translation with nested elastic cuckoo page tables.
Proceedings of the ASPLOS '22: 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Lausanne, Switzerland, 28 February 2022, 2022

2021
Static detection of silent misconfigurations with deep interaction analysis.
Proc. ACM Program. Lang., 2021

SLO beyond the Hardware Isolation Limits.
CoRR, 2021

Speculating Ineffective UI Exploration via Trace Analysis.
CoRR, 2021

Vet: identifying and avoiding UI exploration tarpits.
Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

A nationwide study on cellular reliability: measurement, analysis, and enhancements.
Proceedings of the ACM SIGCOMM 2021 Conference, Virtual Event, USA, August 23-27, 2021., 2021

Fast and Light Bandwidth Testing for Internet Users.
Proceedings of the 18th USENIX Symposium on Networked Systems Design and Implementation, 2021

Test-case prioritization for configuration testing.
Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

An Evolutionary Study of Configuration Design and Implementation in Cloud Systems.
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

Fail-slow fault tolerance needs programming support.
Proceedings of the HotOS '21: Workshop on Hot Topics in Operating Systems, 2021

Reasoning about modern datacenter infrastructures using partial histories.
Proceedings of the HotOS '21: Workshop on Hot Topics in Operating Systems, 2021

2020
Set the Configuration for the Heart of the OS: On the Practicality of Operating System Kernel Debloating.
Proc. ACM Meas. Anal. Comput. Syst., 2020

Understanding and discovering software configuration dependencies in cloud and datacenter systems.
Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Live forensics for HPC systems: a case study on distributed storage systems.
Proceedings of the International Conference for High Performance Computing, 2020

Testing Configuration Changes in Context to Prevent Production Failures.
Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation, 2020

Experience: aging or glitching? why does android stop responding and what can we do about it?
Proceedings of the MobiCom '20: The 26th Annual International Conference on Mobile Computing and Networking, 2020

Draco: Architectural and Operating System Support for System Call Security.
Proceedings of the 53rd Annual IEEE/ACM International Symposium on Microarchitecture, 2020

Lock-Free Collaboration Support for Cloud Storage Services with Operation Inference and Transformation.
Proceedings of the 18th USENIX Conference on File and Storage Technologies, 2020

Elastic Cuckoo Page Tables: Rethinking Virtual Memory Translation for Parallelism.
Proceedings of the ASPLOS '20: Architectural Support for Programming Languages and Operating Systems, 2020

2019
A Quantitative and Comparative Study of Network-Level Efficiency for Cloud Storage Services.
ACM Trans. Model. Perform. Evaluation Comput. Syst., 2019

Live Forensics for Distributed Storage Systems.
CoRR, 2019

Configuration Testing: Testing Configuration Values Together with Code Logic.
CoRR, 2019

Taiji: managing global user traffic for large-scale internet services at the edge.
Proceedings of the 27th ACM Symposium on Operating Systems Principles, 2019

Understanding and Detecting Overlay-based Android Malware at Market Scales.
Proceedings of the 17th Annual International Conference on Mobile Systems, 2019

An In-depth Study of Commercial MVNO: Measurement and Optimization.
Proceedings of the 17th Annual International Conference on Mobile Systems, 2019

Understanding Fileless Attacks on Linux-based IoT Devices with HoneyCloud.
Proceedings of the 17th Annual International Conference on Mobile Systems, 2019

Demo: Mobile Gaming on Personal Computers with Direct Android Emulation.
Proceedings of the 25th Annual International Conference on Mobile Computing and Networking, 2019

Mobile Gaming on Personal Computers with Direct Android Emulation.
Proceedings of the 25th Annual International Conference on Mobile Computing and Networking, 2019

Towards Continuous Access Control Validation and Forensics.
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019

2018
Maelstrom: Mitigating Datacenter-level Disasters by Draining Interdependent Traffic Safely and Efficiently.
Proceedings of the 13th USENIX Symposium on Operating Systems Design and Implementation, 2018

Minimizing the Cask Effect of Multi-Source Content Delivery.
Proceedings of the 26th IEEE/ACM International Symposium on Quality of Service, 2018

A Large Scale Study of Data Center Network Reliability.
Proceedings of the Internet Measurement Conference 2018, 2018

Mining container image repositories for software configuration and beyond.
Proceedings of the 40th International Conference on Software Engineering: New Ideas and Emerging Results, 2018

Towards Web-based Delta Synchronization for Cloud Storage Services.
Proceedings of the 16th USENIX Conference on File and Storage Technologies, 2018

2017
Hardening Cloud and Datacenter Systems against Misconfigurations: Principles and Tool Support.
PhD thesis, 2017

Robust Large-Scale Spectrum Auctions against False-Name Bids.
IEEE Trans. Mob. Comput., 2017

Accessing google scholar under extreme internet censorship: a legal avenue.
Proceedings of the 18th ACM/IFIP/USENIX Middleware Conference: Industrial Track, Las Vegas, NV, USA, December 11, 2017

Practical Web-based Delta Synchronization for Cloud Storage Services.
Proceedings of the 9th USENIX Workshop on Hot Topics in Storage and File Systems, 2017

How Do System Administrators Resolve Access-Denied Issues in the Real World?
Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems, 2017

2016
Optimizing Cost for Online Social Networks on Geo-Distributed Clouds.
IEEE/ACM Trans. Netw., 2016

An HCI View of Configuration Problems.
CoRR, 2016

Early Detection of Configuration Errors to Reduce Failure Damage.
Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation, 2016

Exploring Cross-Application Cellular Traffic Optimization with Baidu TrafficGuard.
Proceedings of the 13th USENIX Symposium on Networked Systems Design and Implementation, 2016

DefDroid: Towards a More Defensive Mobile OS Against Disruptive App Behavior.
Proceedings of the 14th Annual International Conference on Mobile Systems, 2016

NChecker: saving mobile app developers from network disruptions.
Proceedings of the Eleventh European Conference on Computer Systems, 2016

2015
Approximately Truthful Mechanisms for Radio Spectrum Allocation.
IEEE Trans. Veh. Technol., 2015

Systems Approaches to Tackling Configuration Errors: A Survey.
ACM Comput. Surv., 2015

Hey, you have given me too many knobs!: understanding and dealing with over-designed configuration in system software.
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

ALETHEIA: Robust Large-Scale Spectrum Auctions against False-name Bids.
Proceedings of the 16th ACM International Symposium on Mobile Ad Hoc Networking and Computing, 2015

Offline Downloading in China: A Comparative Study.
Proceedings of the 2015 ACM Internet Measurement Conference, 2015

2014
Towards Network-level Efficiency for Cloud Storage Services.
Proceedings of the 2014 Internet Measurement Conference, 2014

EnCore: exploiting system environment and correlation information for misconfiguration detection.
Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2014

2013
Decentralizing Microblogging Services by Differentiating User Traffic Demands.
Prax. Inf.verarb. Kommun., 2013

Do not blame users for misconfigurations.
Proceedings of the ACM SIGOPS 24th Symposium on Operating Systems Principles, 2013

2012
A dynamic service composition schema for pervasive computing.
J. Intell. Manuf., 2012

DOTA: A Double Truthful Auction for spectrum allocation in dynamic spectrum access.
Proceedings of the 2012 IEEE Wireless Communications and Networking Conference, 2012

CloudGPS: A scalable and ISP-friendly server selection scheme in cloud computing environments.
Proceedings of the 20th IEEE International Workshop on Quality of Service, 2012

Cost optimization for Online Social Networks on geo-distributed clouds.
Proceedings of the 20th IEEE International Conference on Network Protocols, 2012

2011
Session reports for SIGCOMM 2010.
Comput. Commun. Rev., 2011

An approximate truthfulness motivated spectrum auction for dynamic spectrum access.
Proceedings of the 2011 IEEE Wireless Communications and Networking Conference, 2011

Scaling Microblogging Services with Divergent Traffic Demands.
Proceedings of the Middleware 2011, 2011

Understanding Graph Sampling Algorithms for Social Network Analysis.
Proceedings of the 31st IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2011 Workshops), 2011

2010
Twittering by cuckoo: decentralized and socio-aware online microblogging services.
Proceedings of the ACM SIGCOMM 2010 Conference on Applications, 2010

Cuckoo: towards decentralized, socio-aware online microblogging services and data measurements.
Proceedings of the 2nd ACM International Workshop on Hot Topics in Planet-scale Measurement, 2010

APEX: A personalization framework to improve quality of experience for DVD-like functions in P2P VoD applications.
Proceedings of the 18th International Workshop on Quality of Service, 2010

Improving Prediction Accuracy of Matrix Factorization Based Network Coordinate Systems.
Proceedings of the 19th International Conference on Computer Communications and Networks, 2010

2009
SkipStream: A Clustered Skip Graph Based On-demand Streaming Scheme over Ubiquitous Environments.
Proceedings of the ICPP 2009, 2009

Prediction-Based Prefetching to Support VCR-like Operations in Gossip-Based P2P VoD Systems.
Proceedings of the 15th IEEE International Conference on Parallel and Distributed Systems, 2009

Supporting VCR-Like Operations in Derivative Tree-Based P2P Streaming Systems.
Proceedings of IEEE International Conference on Communications, 2009

A Parameter-Based Scheme for Service Composition in Pervasive Computing Environment.
Proceedings of the 2009 International Conference on Complex, 2009

Probabilistic Seeking Prediction in P2P VoD Systems.
Proceedings of the AI 2009: Advances in Artificial Intelligence, 2009

2008
A Gnutella inspired ubiquitous service discovery framework for pervasive computing environment.
Proceedings of 8th IEEE International Conference on Computer and Information Technology, 2008


  Loading...