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