akhirsch
Assistant Professor of Computer Science and Engineering at University at Buffalo, SUNY. I focus on programming-language techniques for concurrency and security.
University at Buffalo, SUNYBuffalo, NY
Pinned Repositories
2017sp-web
CS 6110
acmart
ACM consolidated LaTeX styles
akhirsch.github.io
My personal website
bibliography
A master bibliography for my academic work
choreography-bibliography
A bibliography of choreographic languages
CompositeOS_Project
Project for GWU's OS Class implementing fork
Logical-Relations-Mini-Course
Pirouette-Compiler
Pony-Doc
Documentation for the Pony Project, specifically my 2012-2013 SD iteration.
Pirouette-Compiler
akhirsch's Repositories
akhirsch/CompositeOS_Project
Project for GWU's OS Class implementing fork
akhirsch/Pirouette-Compiler
akhirsch/Pony-Doc
Documentation for the Pony Project, specifically my 2012-2013 SD iteration.
akhirsch/2017sp-web
CS 6110
akhirsch/acmart
ACM consolidated LaTeX styles
akhirsch/akhirsch.github.io
My personal website
akhirsch/bibliography
A master bibliography for my academic work
akhirsch/choreography-bibliography
A bibliography of choreographic languages
akhirsch/Logical-Relations-Mini-Course
akhirsch/composite-langs
Language design for the composite operating system, using the Pony compiler.
akhirsch/CoqBase
A wrapper around some Coq standard library files with additional things I keep wanting.
akhirsch/cs-quotes
The server-side code for the CS department quotes website, quotes.cs.cornell.edu
akhirsch/dataproductors
A Productors library for Haskell, based on http://www.cs.cornell.edu/~ross/publications/productors/.
akhirsch/effects-bibliography
A collaborative bibliography of work related to the theory and practice of computational effects
akhirsch/EGLPLS2019
Eastern Great Lakes Programming Languages and Systems Symposium 2019
akhirsch/faculty-statements-2021
akhirsch/hierarchical-choreos
akhirsch/idris2-elab-util
Utilities and documentation for exploring idirs2's new elaborator reflection.
akhirsch/karmabot
All your ++ and --
akhirsch/paper-template
akhirsch/PLGradSchools
akhirsch/professional-page
My professional webpage. It's published as a static site by Github, written in Hakyll.
akhirsch/quotebot
A quote bot for the Cornell CIS slack
akhirsch/Tango
Standalone RESTful job service