Hackthology

The Discourses of Tim Henderson

Short Biography

Tim Henderson is a software engineer and researcher. He specializes in testing, fault localization, duplicate code detection, program analysis, graph mining, and databases. Dr. Henderson received a Ph.D. at Case Western Reserve University and was advised by Professor Andy Podgurksi.

Selected Publications

Tim A. D. Henderson, Avi Kondareddy, Sushmita Azad, Eric Nickell. SafeRevert: When Can Breaking Changes be Automatically Reverted?. ICST Industry Track 2024.

Tim A. D. Henderson, Bobby Dorward, Eric Nickell, Collin Johnston, Avi Kondareddy. Flake Aware Culprit Finding. ICST Industry Track 2023.

Yiğit Küçük, Tim A. D. Henderson, and Andy Podgurski. Improving fault localization by integrating value and predicate based causal inference techniques. ICSE 2021.

Tim A. D. Henderson, Yiğit Küçük, and Andy Podgurski. Evaluating Automatic Fault Localization Using Markov Processes. SCAM 2019.

Tim A. D. Henderson and Andy Podgurski. Behavioral Fault Localization by Sampling Suspicious Dynamic Control Flow Subgraphs. ICST 2018.

Tim A. D. Henderson. Frequent Subgraph Analysis and its Software Engineering Applications. Case Western Reserve University. Doctoral Dissertation. 2017.

Tim A. D. Henderson and Andy Podgurski. Rethinking Dependence Clones. IWSC 2017.

A. Durmaz*, T. A. D. Henderson*, D. Brubaker, and G. Bebek. Frequent Subgraph Mining of Personalized Signaling Pathway Networks Groups Patients with Frequently Dysregulated Disease Pathways and Predicts Prognosis. PSB 2017.
*Co-First Author

Tim A. D. Henderson and Andy Podgurski. Sampling Code Clones from Program Dependence Graphs with GRAPLE. SWAN 2016.

Articles

Gödel's Incompleteness Theorem Does Have Philosophical Implications

How to Evaluate Statistical Fault Localization

How to Tokenize Complex Strings with Lexmachine

Faster Tokenization with a DFA Backend for Lexmachine

A Job Queue in BASH

`xrandr` Script to Setup External Monitor

Managing Infrastructure with Python, Fabric and Ansible

Writing a Lexer in Go with LexMachine

Object Oriented Inheritance in Go

Exceptions for Go as a Library

First Rust Macro

Scala Notes

Always Go To Editable Command Mode in Vim

Private Methods and Functions Should be Tested

How to Re-Use a Sub-Project's Buildfile in Apache Buildr

Vi Mode in Python Shell, IRB, and Elsewhere!

Functional Iteration in Go

How to Compile MySQL's "ON DUPLICATE KEY UPDATE" in SQL Alchemy

Innovation isn't always the answer.

The Ruby For Loop

An in Memory Go Implementation of Linear Hashing

Linear Hashing

Cryptography and Complexity

Programming Never Gets Easier

New Site

The Limits of Type Systems

We can't automate the programmer.

Always Pertinent - C a giant leap backwards.

Passmash - The Site Specific Password Munger

Ternary Search Tries for Fast Flexible String Search : Part 1

How To: Write Self Updating Python Programs Using Pip and Git

Announcing swork - Simplify your Shell Configuration

Grammars, Ambiguity, and Expressibility

Interpreting the Free Software Movement as Religion

Lessons Learned While Implementing a B+Tree