Name: Andrew Hirsch
Type: User
Company: University at Buffalo, SUNY
Bio: Assistant Professor of Computer Science and Engineering at University at Buffalo, SUNY. I focus on programming-language techniques for concurrency and security.
Twitter: andrewkhirsch
Location: Buffalo, NY
Blog: akhirsch.science
Andrew Hirsch's Projects
CS 6110
ACM consolidated LaTeX styles
My personal website
A master bibliography for my academic work
A bibliography of choreographic languages
Language design for the composite operating system, using the Pony compiler.
Project for GWU's OS Class implementing fork
A wrapper around some Coq standard library files with additional things I keep wanting.
The server-side code for the CS department quotes website, quotes.cs.cornell.edu
A Productors library for Haskell, based on http://www.cs.cornell.edu/~ross/publications/productors/.
A collaborative bibliography of work related to the theory and practice of computational effects
Eastern Great Lakes Programming Languages and Systems Symposium 2019
Utilities and documentation for exploring idirs2's new elaborator reflection.
All your ++ and --
Documentation for the Pony Project, specifically my 2012-2013 SD iteration.
My professional webpage. It's published as a static site by Github, written in Hakyll.
A quote bot for the Cornell CIS slack
Standalone RESTful job service