Matthew Might

Registered user since Thu 16 Oct 2014

Name:Matthew Might

I don’t like bios.

Country:United States
Affiliation:University of Utah, USA
Personal website:
Research interests:programming languages, static analysis, functional programming, biology, bioinformatics, genomic medicine, rare disease, ngly1 deficiency


SPLASH 2015 Galois Transformers and Modular Abstract Interpreters: Reusable Metatheory for Program Analysis
DLS 2015 Control-Flow Analysis of Dynamic Languages via Pointer Analysis
Show activities from other conferences

SPLASH 2015-profile
View general profile