Idealized Commit Logs: Code Simplification via Program Slicing

September 2016

Strange Loop 2016, St. Louis. A talk on generating "idealized commit logs" using type analysis, code coverage, AST transformations, and program slicing.