mgreenblog

Posts in the category "POSIX Shell"

1. try and hs at osdi 2026 Friday, July 10, 2026
   I have two (related) papers at OSDI 2026.
2. popl 2026 tutorial: analyzing shell scripts Thursday, March 26, 2026
   The Pash folks gave a tutorial at POPL 2026.
3. mute: silence a running command Tuesday, April 1, 2025
   I wrote a tool that can silence a running command.
4. Processing Semi-Structured Data in the Unix Shell Tuesday, June 29, 2021
   I wrote some software to help you work with formats like JSON and YAML in the shell.
5. New paper: Word expansion supports POSIX shell interactivity Thursday, March 15, 2018
   What if what's weird about the shell is what makes it an effective tool?