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 2015 Control-Flow Analysis of Dynamic Languages via Pointer Analysis
SPLASH 2015 Galois Transformers and Modular Abstract Interpreters: Reusable Metatheory for Program Analysis
Show activities from other conferences

SPLASH 2015-profile
View general profile