- Research Areas :
Computer Systems, Software Reliability, Program Analysis
(UChicago Systems Group)
- Research Interests:
Software systems are difficult to build. My group tries
to help developers deliver correct and efficient software systems.
- Former Students:
Linhai Song, Ph.D. 2015, Assistant Professor @ Penn State University
Guoliang Jin, Ph.D. 2014, Assistant Professor @ North Carolina State University
Adrian Nistor, Ph.D. 2014, Assistant Professor @ Florida State University (co-advised w Prof. Darko Marinov)
Wei Zhang, Ph.D. 2013, Research Staff Member @ IBM T. J. Watson
Rui Gu, Master 2014, Ph.D. @ Columbia
Dongdong Deng, Master 2014, VMWare
Po-Chun Chang, Master 2014
Joy Arulraj, Master 2013, Ph.D. @ CMU
Aaron Gravesdale, Master 2011, PDFTron
Joel Sherpelz, Master 2010, NVidia
- Program Committees:
2015 -- : Vice Chair of ACM SIGOPS
2020: OSDI (Program Co-Chair)
2019: ASPLOS, HotOS
2018: ASPLOS, APSys (Program Co-Chair)
2017: ASPLOS, PLDI, SOSP
2016: OSDI, ASPLOS (ERC)
USENIX ATC'15 (Program Co-Chair),
PLOS'15 (Program Chair)
- 2 papers accepted by
to Junwen Yang,
to Lefan Zhang,
and Chengcheng Wan.
won the prestigious
U-Chicago Harper Dissertation Fellowship.
Our ORM study (ICSE'18) is covered by Hacker News and
Adrian Colyer's ''the morning paper'' in June;
SkyWay (ASPLOS'18) covered in
PCheck back in
- 3 papers accepted by ASPLOS'18,
1 accepted by ICSE'18,
1 accepted by EuroSys'18,
1 accepted by USENIX ATC'18
to Junwen Yang,
and Yuxi Chen!
- CP-Miner is considered as a Classic papers by Google.
- Linhai joins Penn State University as a tenure-track Assistant Professor!
- Two papers accepted by ICSE'17!
- Haopeng, Guangpu, and Jiaxin's distributed concurrency bug detection (DCatch) paper is accepted by ASPLOS'17!
- PCheck won Best Paper Award @ OSDI'16! Very proud to be part of this Opera Group product.
- Statistical debugging work accepted by OOPSLA'16!
- PCheck and Yak are both accepted by OSDI'16!
- Haopeng and Yuxi's HFix paper is accepted by FSE'16!
- TaxDC is accepted by ASPLOS'16!
- iTask work is accepted by SOSP'15!
- Elected Vice Chair for
ACM SIGOPS for 2015 -- 2018.
- Our paper about the change history of thread synchronization
is accepted by
"CARAMEL: Detecting and Fixing Performance Problems That Have Non-Intrusive Fixes
ACM SIGSOFT Distinguished Paper Award
at ICSE 2015
- Distinguished referee of ACM Transactions on Softwae Engineering and Methodology (TOSEM), 2013--2014.
- Our paper on performance bug detection is accepted by
(Complete publication list)
View-Centric Performance Optimization for Database-Backed Web Applications
Synthesizing and Repairing Trigger-Action Programs Using LTL Properties
Highly Scalable Testing of Complex Interleavings in Cloud Systems
SCk: A Single-Machine Approach for Discovering Scalability Bugs in Large Systems
DScope: Detecting Real-World Data Corruption Hang Bugs in
Cloud Server Systems
Applying Hardware Transactional Memory for Concurrency-Bug
Failure Recovery in Production Runs
PCatch: Automatically Detecting Performance Cascading Bugs in
How not to structure your database-backed web applications:
a study of performance bugs in the wild
(Featured on "Morning Paper''
FCatch: Automatically detecting time-of-fault bugs in cloud systems
Understanding and Auto-Adjusting Performance-Sensitive Configurations
Skyway: Connecting Managed Heaps in Distributed Big Data Systems
(Featured on "Morning Paper''
Understanding Database Performance Inefficiencies in Real-world Web Applications
Performance Diagnosis for Inefficient Loops
Efficient Detection of Thread Safety Violations via Coverage-Guided Generation of Concurrent Tests
DCatch: Automatically Detecting Distributed Concurrency Bugs
in Cloud Systems
Low-Overhead and Fully Automated Statistical Debugging with
Early Detection of Configuration Errors to Reduce Failure Damage
(Won USENIX OSDI'16 Best Paper Award
Yak: A High-Performance Big-Data-Friendly Garbage Collector
Understanding and Generating High Quality Patches for Concurrency Bugs
TaxDC: A Comprehensive Taxonomy of Non-Deterministic Concurrency Bugs in
Cloud Distributed Systems
Interruptable Tasks: Treating Memory Pressure As Interrupts
for Highly Scalable Data-Parallel Programs
What change history tells us about thread synchronization
CARAMEL: Detecting and Fixing Performance Problems That Have Non-Intrusive Fixes
(Won SIGSOFT Distinguished Paper Award
Validating Library Usage Interactively
A Study of Linux File System Evolution
(Won USENIX Fast'13 Best Paper Award
Toddler: Detecting Performance Problems via Similar Memory-Access Patterns
Automated Concurrency-Bug Fixing