matthewbdwyer

Stiltgrass fighter, Teacher, Researcher, ...

University of Virginia

Pinned Repositories

CSrankings
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
Language:Python2.7k 41 1.3k3k
matthewbdwyer.github.io
Language:HTML32
STG-Q
STG Constraint Quantification
Language:C++10
tipc
A compiler from TIP to llvm bitcode
Language:C++58 4 4436
tipc-passes
LLVM passes for TIP programs
Language:C++27
probabilistic_PA
Language:TeX00

matthewbdwyer's Repositories

matthewbdwyer/tipc
A compiler from TIP to llvm bitcode
Language:C++58 4 4436
matthewbdwyer/matthewbdwyer.github.io
Language:HTML32
matthewbdwyer/tipc-passes
LLVM passes for TIP programs
Language:C++27
matthewbdwyer/STG-Q
STG Constraint Quantification
Language:C++10