deeglaze/deeglaze-talks
The code and materials to my various talks, so people can replicate slides, etc.
Developer Profile
deeglaze
Discovered public repositories for deeglaze in the GitHub catalog.
deeglaze/slideshow-helpers
Combinators and pict constructors I have found useful for writing slideshow presentations.
deeglaze/deeglaze.github.io
Personal homepage
deeglaze/temporal-aam
Public repository.
deeglaze/pushdown-shift-reset
An instructive model for a polyvariant, pushdown(!), higher-order flow analysis for delimited, composable control.
deeglaze/concrete-summaries
A short paper on how to use pushdown analysis techniques for better precision in non-pushdown models.
deeglaze/nifty-macros
A collection of general-purpose macros I've written and find generally useful.
deeglaze/polymorphic-splitting-port
A Racket port of Suresh Jagannathan's and Andrew Wright's Polymorphic Splitting implementation.
deeglaze/scribble-latex-utils
Different useful things I have come up with to write my papers in scribble rather than directly in LaTeX
deeglaze/Abstract-Redex
An implementation of core PLT Redex semantics that is translated through the Abstracting Abstract Machines systematic abtraction process.
deeglaze/Generalized-CFA2
An extension to Vardoulakis' CFA2 to work with any sound escape analysis.
deeglaze/Typed-Racket-SMT-type-checker
An SMT solver with an interactive interface so it can be used as an inference engine.