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:
Chengcheng Wan,
Shu Wang,
Junwen Yang,
Lefan Zhang,
Bogdan Stoica, Utsav Sethi
- Former Students:
Guangpu Li,
Ph.D. 2020, Citadel
Yuxi Chen,
Ph.D. 2020, Facebook
Haopeng Liu,
Ph.D. 2018, Google
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
Chi Li, Master 2020
Rui Gu, Master 2014, Ph.D. @ Columbia, VMWare
Dongdong Deng, Master 2014, VMWare
Po-Chun Chang, Master 2014, Rockwell Automation
Joy Arulraj, Master 2013, Ph.D. @ CMU, Assistant Professor @ Georgia Tech University
Aaron Gravesdale, Master 2011, PDFTron
Joel Sherpelz, Master 2010, NVidia
- Program Committees:
2019 -- : Chair of ACM SIGOPS
2015 -- 2019: 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)
2015:
HotOS,
PLDI,
SOSP,
USENIX ATC'15 (Program Co-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
-
Chengcheng Wan's paper on machine-learning
API misuses is accepted by ICSE'21! Valerie and Lefan's work on TAP program interface is accepted by CHI'21!
- Junwen Yang and
Chengcheng Wan are both invited to EECS Rising Stars 2020!
Congratulations!
- Congratulate Lefan Zhang for his UbiComp'20 paper on synthesizing Trigger-Action Programs!
- Congratulate Chengcheng for her
USENIX ATC'20 and ICML'20 papers on Anytime DNN design, training, and scheduling!
- Stay home and stay positive, everybody! ACM virtual conference guide, Whova virtual conference platform.
- Congratulate Junwen and
Utsav on their up-coming ICSE 2020 paper about data-constraint problems in database-backed web applications!
- Our TSVD paper won SOSP'19 Best Paper Award!
- ACM Distinguished Member!
- Congratulate Junwen on winning
ACM-SIGPLAN John Vlissides Award!
- 2 papers @ SOSP'19. Congratulations to
Guangpu and our collaborators!
- Elected as Chair of ACM SIGOPS.
- Pranav received NSF Graduate Research Fellowship!
- Our ICSE'19 paper about refactoring database-backed web application won ACM-SIGSOFT Distinguished Paper Award, and got
featured on
"a Morning Paper''
blog!
- 1 paper accepted by
PLDI'19.
Congratulations
to Guangpu Li.
- 2 papers accepted by
ICSE'19.
Congratulations
to Junwen Yang,
to Lefan Zhang,
and Chengcheng Wan.
-
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!
Academic Career
Teaching
Projects
Recent Publications
(Complete publication list)
-
Are Machine Learning Cloud APIs Used Correctly?
[ICSE'21]
-
Understanding Trigger-Action Programs Through Novel Visualizations of Program Differences
[CHI'21]
-
SherLock: Unsupervised Synchronization-Operation Inference
[ASPLOS'21]
-
Trace2TAP: Synthesizing Trigger-Action Programs From Traces of Behavior
[UbiComp'20]
-
Orthogonalized SGD and Nested Architectures for Anytime Neural Networks
[ICML'20]
-
Understanding and Automatically Detecting Conflicting Interactions between Smart Home Applications
[FSE'20]
-
ALERT: Accurate Learning for Energy and Timeliness
[USENIX ATC'20]
-
Statically Inferring Performance Properties of Software Configurations
[EuroSys'20]
-
Managing data constraints in database-backed web applications
[ICSE'20]
-
View-Driven Optimization of Database-Backed Web Applications
[CIDR'20]
-
Efficient and Scalable Thread-Safety Violation Detection ---
Finding thousands of concurrency bugs during testing
[SOSP'19]
(Won SOSP Best Paper Award!
)
-
Generuk: Thin Computation over Big Native Data Using
Speculative Program Transformation
[SOSP'19]
-
What Bugs Cause Production Cloud Incidents?
[HotOS'19]
(Featured on "Morning Paper''
)
-
DFix: Automatically Fixing Timing Bugs in Distributed Systems
[PLDI'19]
-
View-Centric Performance Optimization for Database-Backed Web Applications
[ICSE'19]
(Won SIGSOFT Distinguished Paper Award
;
featured on "Morning Paper''
)
-
Synthesizing and Repairing Trigger-Action Programs Using LTL Properties
[ICSE'19]
-
Highly Scalable Testing of Complex Interleavings in Cloud Systems
[EuroSys'19]
-
SCk: A Single-Machine Approach for Discovering Scalability Bugs in Large Systems
[FAST'19]
-
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]
(Featured on "Morning Paper''
and
"Hacker News"
)
-
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]
(Featured on "Morning Paper''
)
-
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]
-
-
-
-
-
-
-
-
-
...
|
|
 |
|
