Write a Blog >>
ESEC/FSE 2022
Mon 14 - Fri 18 November 2022 Singapore
Tue 15 Nov 2022 11:15 - 11:30 at SRC LT 52 - ESEC/FSE 20 Program Analysis I Chair(s): Haipeng Cai

Today, most developers bundle changes into commits that they submit to a shared code repository. Tangled commits intermix distinct concerns, such as a bug fix and a new feature. They cause issues for developers, reviewers, and researchers alike: they restrict the usability of tools such as git bisect, make patch comprehension more difficult, and force researchers who mine software repositories to contend with noise. We present a novel data structure, the d-NFG, a multiversion Program Dependency Graph augmented with name flows. A d-NFG directly and simultaneously encodes different program versions, thereby capturing commits, and annotates data flow edges with the names/lexemes that flow across them. Our technique, Flexeme, builds a d-NFG from commits, then applies Agglomerative Clustering using Graph Similarity to that d-NFG to untangle its commits. At the untangling task on a C# corpus, our implementation, Heddle, improves the state-of-the-art on accuracy by 0.14, achieving 0.81, in a fraction of the time: Heddle is 32 times faster than the previous state-of-the-art.

Tue 15 Nov

Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

10:45 - 12:15
ESEC/FSE 20 Program Analysis IESEC/FSE 2020 at SRC LT 52
Chair(s): Haipeng Cai Washington State University
10:45
15m
Talk
Inherent Vacuity for GR(1) Specifications
ESEC/FSE 2020
Shahar Maoz Tel Aviv University, Israel, Rafi Shalom Tel Aviv University, Israel
Link to publication DOI
11:00
15m
Talk
Mining Input Grammars from Dynamic Control Flow
ESEC/FSE 2020
Rahul Gopinath University of Sydney, Björn Mathis CISPA, Germany, Andreas Zeller CISPA Helmholtz Center for Information Security
Link to publication DOI
11:15
15m
Talk
Flexeme: Untangling Commits Using Lexical Flows
ESEC/FSE 2020
Profir-Petru Pârțachi National Institute of Informatics, Japan, Santanu Dash University of Surrey, UK, Miltiadis Allamanis Microsoft Research, Earl T. Barr University College London
DOI Pre-print
11:30
15m
Talk
Past-Sensitive Pointer Analysis for Symbolic Execution
ESEC/FSE 2020
David Trabish Tel Aviv University, Timotej Kapus Imperial College London, UK, Noam Rinetzky Tel Aviv University, Cristian Cadar Imperial College London, UK
11:45
15m
Talk
TypeWriter: Neural Type Prediction with Search-Based Validation
ESEC/FSE 2020
Michael Pradel University of Stuttgart, Georgios Gousios Endor Labs & Delft University of Technology, Jason Liu Facebook, USA, Satish Chandra Meta Platforms
12:00
15m
Talk
Domain-Independent Interprocedural Program Analysis using Block-Abstraction Memoization
ESEC/FSE 2020
Dirk Beyer LMU Munich, Karlheinz Friedberger LMU Munich, Germany
DOI Media Attached