Paper Reading List
Build System Maintenance
Build Code Analysis with Symbolic Evaluation
Ahmed Tamrawi et al. In ICSE 2012 [review]
Fault Localization for Make-Based Build Crashes
Jafar Al-Kofahi et al. In ICSME 2014 [review]
Design Recovery and Maintenance of Build Systems
Bram Adams et al. In ICSME 2007 [review]
Build System Analysis with Link Prediction
Xin Xia et al. In SAC 2014 [review]
APMAKE: A Reliable Parallel Build Manager
Derrick Coetzee et al.
Automatically Repairing Dependency-Related Build Breakage
Christian Macho et al. In SANER 2018 [review]
An Empirical Study of Build Maintenance Effort
Shane McIntosh et al.In ICSE 2011
Automated Migration of Build Scripts using Dynamic Analysis and Search-Based Refactoring
Milos Gligoric et al. In OOPSLA 2014
Escaping AutoHell: A Vision for Automated Analysis and Migration of Autotools Build Systems
Jafar Al-Kofahi et al. In RELENG 2016
SYMake: A Build Code Analysis and Refactoring Tool for Makefiles
Ahmed Tamrawi et al. In ASE 2012
The Cost of the Build Tax in Scientific Software
Lorin Hochstein et al. In ESEM 2011
Tracing Software Build Processes to Uncover License Compliance Inconsistencies
Sander van der Burg et al. In ASE 2014
Automated Localization for Unreproducible Builds
Zhilei Ren et al. In ICSE 2018 [review]
Detecting Incorrect Build Rules
Nandor Licker et al. In ICSE 2019 [review]
Shape Analysis
Thomas Reps et al. In CC 2000
Parametric Shape Analysis via 3-Valued Logic
Mooly Sagiv et al. In TOPLAS 2002
A Relational Approach to Interprocedural Shape Analysis
Bertrand Jeannet et al. In TOPLAS 2010 [review]
Shape Analysis with Structural Invariant Checkers
Bor-Yuh Evan Chang et al. In SAS 2007 [review]
Shape Analysis as Generalized Path Problem
Thomas Reps. In PEPM 1995 [review]
Property-Directed Shape Analysis
S.Itzhaky. In CAV 2014 [review]
Symbolically Computing Most Precise Abstract Operations for Shape Analysis
G.Yorsh. In TACAS 2004 [review]
Abstract Domain
Fast Polyhedra Abstract Domain
Gagandeep Singh et al. In POPL 2017 [slide]
Loop Analysis
Newtonian Program Analysis via Tensor Product
Thomas Reps et al. In POPL 2016 [review]
Closed Forms for Numerical Loops
Zachary Kincaid et al. In POPL 2019 [review]
Pinpoint
Pinpoint: Fast and Precise Sparse Value Flow Analysis for Million Lines of Code
Qingkai Shi et al. In PLDI 2018 [review]
Casper: An Efficient Approach to Call Trace Collection
Rongxin Wu et al. In POPL 2016 [review]
Practical and Effective Symbolic Analysis for Buffer Overflow Detection
Lian Li et al. In FSE 2018
Practical Memory Leak Detection using Guarded Value-Flow Analysis
Sigmund Cherem et al. In PLDI 2007 [review]
A System and Language for Building System-Specific Static Analyses
Seth Hallem et al. In PLDI 2002 [review]
IDEal: Efficient and Precise Alias-aware Dataflow Analysis
Johannes Spath et al. In OOPSLA 2017 [review]
Scalable and Incremental Software Bug Detection
Scott McPeak et al. In FSE 2013 [review]
Verification
ESP: Path-Sensitive Program Verification in Polynomial Time
Manuvir Das et al. In PLDI 2002 [review]
Model Checking Lots of Systems
Andreas Classen et al. In ICSE 2010