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