A tool to generate shell pipelines by example
Writings
Open-source projects
Papers on static analysis, type systems, and speech recognition