Patrick Rondon

  • Synsh

    A tool to generate shell pipelines by example.

  • GitHub

    Open-source projects.

  • Research

    Papers on static analysis and type systems.