Research
- 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.
- Students:
Yuxi Chen,
Chi Li
,
Guangpu Li,
Haopeng Liu,
Shu Wang,
Junwen Yang
- 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 -- 2018: Vice Chair of ACM SIGOPS
2017: ASPLOS, PLDI, SOSP
2016: OSDI, ASPLOS (ERC)
2015:
HotOS,
PLDI,
SOSP,
USENIX ATC'15 (program chair),
PLOS'15 (program chair)
2014:
ASPLOS'14,
OSDI'14 (ERC),
PLDI'14 (ERC),
OOPSLA'14,
USENIX'14,
ISMM'14,
CCGrid'14
2013:
SOSP'13,
PLDI'13,
Eurosys'13,
DSN'13,
APSYS'13
2012:
RV'12,
OSDI'12
2010:
OSDI'10,
USENIX ATC'10
|
|
|
News
-
Haopeng Liu
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
April;
PCheck back in
2016.
- 3 papers accepted by ASPLOS'18,
1 accepted by ICSE'18,
1 accepted by EuroSys'18,
1 accepted by USENIX ATC'18
.
Congratulations
to Junwen Yang,
Haopeng Liu,
Shu Wang,
Guangpu Li,
Chi Li,
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
FSE 2015
-
"CARAMEL: Detecting and Fixing Performance Problems That Have Non-Intrusive Fixes
'' won
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
ICSE 2015
-
-
Academic Career
Teaching
Recent Publications
(Complete publication list)
-
DScope: Detecting Real-World Data Corruption Hang Bugs in
Cloud Server Systems
[SOCC'18]
-
Applying Hardware Transactional Memory for Concurrency-Bug
Failure Recovery in Production Runs
[USENIX ATC'18]
-
PCatch: Automatically Detecting Performance Cascading Bugs in
Cloud Systems
[EuroSys'18]
-
How not to structure your database-backed web applications:
a study of performance bugs in the wild
[ICSE'18]
-
FCatch: Automatically detecting time-of-fault bugs in cloud systems
[ASPLOS'18]
-
Understanding and Auto-Adjusting Performance-Sensitive Configurations
[ASPLOS'18]
-
Skyway: Connecting Managed Heaps in Distributed Big Data Systems
[ASPLOS'18]
-
Understanding Database Performance Inefficiencies in Real-world Web Applications
[CIKM'17]
-
Performance Diagnosis for Inefficient Loops
[ICSE'17]
-
Efficient Detection of Thread Safety Violations via Coverage-Guided Generation of Concurrent Tests
[ICSE'17]
-
DCatch: Automatically Detecting Distributed Concurrency Bugs
in Cloud Systems
[ASPLOS'17]
-
Low-Overhead and Fully Automated Statistical Debugging with
Abstraction Refinement
[OOPSLA'16]
-
Early Detection of Configuration Errors to Reduce Failure Damage
[OSDI'16]
(Won USENIX OSDI'16 Best Paper Award
)
-
Yak: A High-Performance Big-Data-Friendly Garbage Collector
[OSDI'16]
-
Understanding and Generating High Quality Patches for Concurrency Bugs
[FSE'16]
-
TaxDC: A Comprehensive Taxonomy of Non-Deterministic Concurrency Bugs in
Cloud Distributed Systems
[ASPLOS '16]
-
Interruptable Tasks: Treating Memory Pressure As Interrupts
for Highly Scalable Data-Parallel Programs
[SOSP '15]
-
What change history tells us about thread synchronization
[FSE '15]
-
CARAMEL: Detecting and Fixing Performance Problems That Have Non-Intrusive Fixes
[ICSE'15]
(Won SIGSOFT Distinguished Paper Award
)
-
-
-
-
-
Validating Library Usage Interactively
[CAV '13]
-
A Study of Linux File System Evolution
[FAST' 13]
(Won USENIX Fast'13 Best Paper Award
)
-
Toddler: Detecting Performance Problems via Similar Memory-Access Patterns
[ICSE '13]
-
-
-
Automated Concurrency-Bug Fixing
[OSDI '12]
-
-
-
-
-
-
-
-
-
...
|
|
 |
|
