
Registered user since Thu 16 Oct 2014
Name:Matthew Might
Bio:
Professor of Internal Medicine and Computer Science, UAB
Hugh Kaul Endowed Chair in Personalized Medicine
Director, Hugh Kaul Precision Medicine Institute
Senior Lecturer, Harvard Medical School
Country:United States
Affiliation:University of Alabama at Birmingham | Harvard Medical School
Personal website:http://matt.might.net/
Research interests:programming languages; security; high-performance computing
Contributions
VMCAI 2019 | Demand Control-Flow Analysis Relatively Complete Pushdown Analysis of Escape Continuations | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2019-profile
View general profile
View general profile