☰

Matthew Might, Ph.D.

Affiliations: 
2007 Georgia Institute of Technology, Atlanta, GA 
Area:
Computer Science
Google:
"Matthew Might"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor
Olin Shivers grad student 2007 Georgia Tech
 (Environment analysis of higher -order languages.)

Children

Sign in to add trainee

Collaborators

Sign in to add collaborator
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Queralt-Rosinach N, Stupp GS, Li TS, et al. (2020) Structured reviews for data and knowledge-driven research. Database : the Journal of Biological Databases and Curation. 2020
GILRAY T, ADAMS MD, MIGHT M. (2018) Abstract allocation as a unified approach to polyvariance in control-flow analyses Journal of Functional Programming. 28
Lyde S, Byrd WE, Might M. (2015) Control-flow analysis of dynamic languages via pointer analysis Dls 2015 - Proceedings of the 11th Symposium On Dynamic Languages. 54-62
Earl C, Might M, Bagusetty A, et al. (2015) Nebo: An efficient, parallel, and portable domain-specific language for numerically solving partial differential equations Journal of Systems and Software
Liang S, Might M, Van Horn D. (2015) AnaDroid: Malware analysis of Android with user-supplied predicates Electronic Notes in Theoretical Computer Science. 311: 3-14
Aldous P, Might M. (2015) Static analysis of non-interference in expressive low-level languages Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9291: 1-17
Liang S, Sun W, Might M. (2014) Fast flow analysis with godel hashes Proceedings - 2014 14th Ieee International Working Conference On Source Code Analysis and Manipulation, Scam 2014. 225-234
Johnson JI, Sergey I, Earl C, et al. (2014) Pushdown flow analysis with abstract garbage collection Journal of Functional Programming. 24: 218-283
Gilray T, Might M. (2014) A survey of polyvariance in abstract interpretations Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8322: 134-148
Lyde S, Might M. (2014) Control-flow analysis with SAT Solvers Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8322: 125-133
See more...