Tue 6 Nov 2018 14:37 - 15:00 at Horizons 10-11 - Performance Chair(s): Zhendong Su

We present \textsc{MemFix}, an automated technique for fixing memory
deallocation errors in C programs. \textsc{MemFix} aims to fix
memory-leak, double-free, and use-after-free errors, which occur
when developers fail to properly deallocate memory objects.
\textsc{MemFix} attempts to fix these errors by finding a set of
free-statements that correctly deallocate all allocated objects
without causing double-frees and use-after-frees. The key insight
behind \textsc{MemFix} is that finding such a set of deallocation
statements corresponds to solving an exact cover problem derived
from a variant of typestate static analysis. We formally present
the technique and experimentally show that \textsc{MemFix} is able to fix
real errors found in open-source programs. Because \textsc{MemFix} is
based on a sound static analysis, the generated patches guarantee to
fix the original errors without introducing new errors.

Tue 6 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

13:30 - 15:00
PerformanceResearch Papers / Journal-First at Horizons 10-11
Chair(s): Zhendong Su ETH Zurich
13:30
22m
Talk
CHiP: A Configurable Hybrid Parallel Covering Array Constructor
Journal-First
Hanefi Mercan , Cemal Yilmaz Sabancı University, Kamer Kaya
DOI
13:52
22m
Talk
Learning to Sample: Exploiting Similarities Across Environments to Learn Performance Models for Configurable Systems
Research Papers
Pooyan Jamshidi University of South Carolina, Miguel Velez Carnegie Mellon University, USA, Christian Kästner Carnegie Mellon University, Norbert Siegmund Bauhaus-University Weimar
14:15
22m
Talk
Performance Comprehension at WiredTiger
Research Papers
Alexandra (Sasha) Fedorova University of British Columbia, Craig Mustard University of British Columbia, Canada, Ivan Beschastnikh Computer Science, University of British Columbia, Julia Rubin University of British Columbia, Augustine Wong University of British Columbia, Canada, Svetozar Miucin University of British Columbia, Canada, Louis Ye University of British Columbia, Canada
14:37
22m
Talk
MemFix: Static Analysis-Based Repair of Memory Deallocation Errors for C
Research Papers
Junhee Lee Korea University, South Korea, Seongjoon Hong Korea University, Hakjoo Oh Korea University