Matthew Might, Ph.D.

Affiliations: 
2007 Georgia Institute of Technology, Atlanta, GA 
Area:
Computer Science
Google:
"Matthew Might"

Parents

Sign in to add mentor
Olin Shivers grad student 2007 Georgia Tech
 (Environment analysis of higher -order languages.)
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.

Adams MD, Hollenbeck C, Might M. (2016) On the complexity and performance of parsing with derivatives Proceedings of the Acm Sigplan Conference On Programming Language Design and Implementation (Pldi). 13: 224-236
Gilray T, Lyde S, Adams MD, et al. (2016) Pushdown control-flow analysis for free Acm Sigplan Notices. 51: 691-704
King J, Gilray T, Kirby RM, et al. (2016) Dynamic sparse-matrix allocation on GPUs Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9697: 61-80
Lambertson KF, Damiani SA, Might M, et al. (2015) Participant-driven matchmaking in the genomic era. Human Mutation. 36: 965-73
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
Darais D, Might M, Van Horn D. (2015) Galois transformers and modular abstract interpreters reusable metatheory for program analysis Proceedings of the Conference On Object-Oriented Programming Systems, Languages, and Applications, Oopsla. 25: 552-571
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
Might M, Wilsey M. (2014) The shifting model in clinical diagnostics: how next-generation sequencing and families are altering the way rare diseases are discovered, studied, and treated. Genetics in Medicine : Official Journal of the American College of Medical Genetics. 16: 736-7
See more...