Matthew Might

Registered user since Thu 16 Oct 2014

Name: Matthew Might

Bio: I don’t like bios.

Country: United States

Affiliation: University of Utah, USA

Personal website: http://matt.might.net/

Research interests: programming languages, static analysis, functional programming, biology, bioinformatics, genomic medicine, rare disease, ngly1 deficiency

Contributions

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

SPLASH 2015-profile
View general profile