Stories by luu

Wikipedia and Dark Side Editing

Abstracting Failure-Inducing Inputs [pdf]

Säkkijärven polkka

Python goto implemented with system trace function (2017)

Measuring the Cost of Regression Testing in Practice

Gradual Typing as if Types Mattered [pdf]

The Influence of Non-Technical Factors on Code Review [pdf]

MonoSAT: An SMT solver for monotonic theories over Booleans and bitvectors

Introduce Time Namespace (2019)

A Few Billion Lines of Code Later: Using Static Analysis to Find Real World Bugs

Operant Conditioning by Software Bugs

Conditional Move for Shell Script Acceleration [pdf]

Ply: A Visual Web Inspector (2018) [slides]

How hard is it to guide test case generators with branch coverage feedback?

Is this the longest Chess game? [pdf]

Reopen Protest Sign Survey

Huff Paste

SUSE Music Videos

Hunting a Linux kernel bug

Datafun: A Functional Datalog [pdf]