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
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

13:30 - 15:00: PerformanceResearch Papers / Journal-First at Horizons 10-11
Chair(s): Zhendong SuETH Zurich
13:30 - 13:52
Talk
CHiP: A Configurable Hybrid Parallel Covering Array Constructor
Journal-First
Hanefi Mercan, Cemal YilmazSabanc─▒ University, Kamer Kaya
DOI
13:52 - 14:15
Talk
Learning to Sample: Exploiting Similarities Across Environments to Learn Performance Models for Configurable Systems
Research Papers
Pooyan JamshidiUniversity of South Carolina, Miguel VelezCarnegie Mellon University, USA, Christian KaestnerCarnegie Mellon University, Norbert SiegmundBauhaus-University Weimar
14:15 - 14:37
Talk
Performance Comprehension at WiredTiger
Research Papers
Alexandra (Sasha) FedorovaUniversity of British Columbia, Craig MustardUniversity of British Columbia, Canada, Ivan BeschastnikhComputer Science, University of British Columbia, Julia RubinUniversity of British Columbia, Augustine WongUniversity of British Columbia, Canada, Svetozar MiucinUniversity of British Columbia, Canada, Louis YeUniversity of British Columbia, Canada
14:37 - 15:00
Talk
MemFix: Static Analysis-Based Repair of Memory Deallocation Errors for C
Research Papers
Junhee LeeKorea University, South Korea, Seongjoon HongKorea University, Hakjoo OhKorea University