Matthew Might - RankMe

80 papers A* 10A 8B 9C 5Journal 35Unranked 10

Year	Rank	Type	Title / Venue / Authors
2022	J	`jnl`	The precision medicine process for treating rare disease using the artificial intelligence tool mediKanren. Frontiers Artif. Intell. Aleksandra Foksinska, Camerron M. Crowder, Andrew B. Crouse, Jeff Henrikson, William E. Byrd, Gregory Rosenblatt, Michael J. Patton, Kaiwen He, Thi K. Tran-Nguyen, Marissa Zheng, Stephen A. Ramsey, Nada Amin, John D. Osborne, Matthew Might
2020	J	`jnl`	Cardioinformatics: the nexus of bioinformatics and precision cardiology. Briefings Bioinform. Bohdan B. Khomtchouk, Diem-Trang T. Tran, Kasra A. Vand, Matthew Might, Or Gozani, Themistocles L. Assimes
2020	J	`jnl`	Structured reviews for data and knowledge-driven research. Database J. Biol. Databases Curation Núria Queralt-Rosinach, Gregory S. Stupp, Tong Shu Li, Michael Mayers, Maureen E. Hoatlin, Matthew Might, Benjamin M. Good, Andrew I. Su
2019	B	`conf`	Demand Control-Flow Analysis. VMCAI Kimball Germane, Jay McCarthy, Michael D. Adams, Matthew Might
2019	B	`conf`	Relatively Complete Pushdown Analysis of Escape Continuations. VMCAI Kimball Germane, Matthew Might
2019	—	`conf`	The algorithm for precision medicine (invited talk). SPLASH (Companion Volume) Matthew Might
2018	J	`jnl`	Abstract allocation as a unified approach to polyvariance in control-flow analyses. J. Funct. Program. Thomas Gilray, Michael D. Adams, Matthew Might
2018	A*	`conf`	Neural Guided Constraint Logic Programming for Program Synthesis. NeurIPS Lisa Zhang, Gregory Rosenblatt, Ethan Fetaya, Renjie Liao, William E. Byrd, Matthew Might, Raquel Urtasun, Richard S. Zemel
2018	J	`jnl`	Neural Guided Constraint Logic Programming for Program Synthesis. CoRR Lisa Zhang, Gregory Rosenblatt, Ethan Fetaya, Renjie Liao, William E. Byrd, Matthew Might, Raquel Urtasun, Richard S. Zemel
2018	J	`jnl`	anexVis: visual analytics framework for analysis of RNA expression. Bioinform. Diem-Trang T. Tran, Tian Zhang, Ryan Stutsman, Matthew Might, Umesh R. Desai, Balagurunathan Kuberan
2017	—	`conf`	A Simple Complete Search for Logic Programming. ICLP (Technical Communications) Jason Hemann, Daniel P. Friedman, William E. Byrd, Matthew Might
2017	A*	`conf`	A posteriori environment analysis with Pushdown Delta CFA. POPL Kimball Germane, Matthew Might
2017	J	`jnl`	A unified approach to solving seven programming problems (functional pearl). Proc. ACM Program. Lang. William E. Byrd, A. Ballantyne, Gregory Rosenblatt, Matthew Might
2017	J	`jnl`	Nebo: An efficient, parallel, and portable domain-specific language for numerically solving partial differential equations. J. Syst. Softw. Christopher Earl, Matthew Might, Abhishek Bagusetty, James C. Sutherland
2017	J	`jnl`	Restricting grammars with tree automata. Proc. ACM Program. Lang. Michael D. Adams, Matthew Might
2016	—	`conf`	A Posteriori Taint-Tracking for Demonstrating Non-interference in Expressive Low-Level Languages. IEEE Symposium on Security and Privacy Workshops Peter Aldous, Matthew Might
2016	C	`conf`	A small embedding of logic programming with a simple complete search. DLS Jason Hemann, Daniel P. Friedman, William E. Byrd, Matthew Might
2016	A	`conf`	Allocation characterizes polyvariance: a unified methodology for polyvariant control-flow analysis. ICFP Thomas Gilray, Michael D. Adams, Matthew Might
2016	C	`conf`	Dynamic Sparse-Matrix Allocation on GPUs. ISC James King, Thomas Gilray, Robert M. Kirby, Matthew Might
2016	J	`jnl`	On the Complexity and Performance of Parsing with Derivatives. CoRR Michael D. Adams, Celeste Hollenbeck, Matthew Might
2016	A*	`conf`	On the complexity and performance of parsing with derivatives. PLDI Michael D. Adams, Celeste Hollenbeck, Matthew Might
2016	A*	`conf`	Pushdown control-flow analysis for free. POPL Thomas Gilray, Steven Lyde, Michael D. Adams, Matthew Might, David Van Horn
2016	J	`jnl`	miniAdapton: A Minimal Implementation of Incremental Computation in Scheme. CoRR Dakota Fisher, Matthew A. Hammer, William E. Byrd, Matthew Might
2015	C	`conf`	Control-flow analysis of dynamic languages via pointer analysis. DLS Steven Lyde, William E. Byrd, Matthew Might
2015	A	`conf`	Galois transformers and modular abstract interpreters: reusable metatheory for program analysis. OOPSLA David Darais, Matthew Might, David Van Horn
2015	J	`jnl`	Pushdown Control-Flow Analysis for Free. CoRR Thomas Gilray, Steven Lyde, Michael D. Adams, Matthew Might, David Van Horn
2015	B	`conf`	Static Analysis of Non-interference in Expressive Low-Level Languages. SAS Peter Aldous, Matthew Might
2014	J	`jnl`	Deletion: The curse of the red-black tree. J. Funct. Program. Kimball Germane, Matthew Might
2014	C	`conf`	Fast Flow Analysis with Godel Hashes. SCAM Shuying Liang, Weibin Sun, Matthew Might
2014	J	`jnl`	Galois Transformers and Modular Abstract Interpreters. CoRR David Darais, Matthew Might, David Van Horn
2014	C	`conf`	Pruning, Pushdown Exception-Flow Analysis. SCAM Shuying Liang, Weibin Sun, Matthew Might, Andrew W. Keep, David Van Horn
2014	J	`jnl`	Pruning, Pushdown Exception-Flow Analysis. CoRR Shuying Liang, Weibin Sun, Matthew Might, Andrew W. Keep, David Van Horn
2014	J	`jnl`	Pushdown flow analysis with abstract garbage collection. CoRR Dionna Amalie Glaze, Ilya Sergey, Christopher Earl, Matthew Might, David Van Horn
2014	J	`jnl`	Pushdown flow analysis with abstract garbage collection. J. Funct. Program. Dionna Amalie Glaze, Ilya Sergey, Christopher Earl, Matthew Might, David Van Horn
2013	—	`conf`	A Survey of Polyvariance in Abstract Interpretations. Trends in Functional Programming Thomas Gilray, Matthew Might
2013	J	`jnl`	AnaDroid: Malware Analysis of Android with User-supplied Predicates. CoRR Shuying Liang, Matthew Might, David Van Horn
2013	—	`conf`	AnaDroid: Malware Analysis of Android with User-supplied Predicates. TAPAS@SAS Shuying Liang, Matthew Might, David Van Horn
2013	—	`conf`	Control-Flow Analysis with SAT Solvers. Trends in Functional Programming Steven Lyde, Matthew Might
2013	—	`conf`	Extracting Hybrid Automata from Control Code. NASA Formal Methods Steven Lyde, Matthew Might
2013	A*	`conf`	Monadic abstract interpreters. PLDI Ilya Sergey, Dominique Devriese, Matthew Might, Jan Midtgaard, David Darais, Dave Clarke, Frank Piessens
2013	A	`conf`	Optimizing abstract abstract machines. ICFP Dionna Amalie Glaze, Nicholas Labich, Matthew Might, David Van Horn
2013	—	`ed.`	Proceedings of the 7th Workshop on Programming languages meets program verification, PLPV 2013, Rome, Italy, January 22, 2013 PLPV Matthew Might, David Van Horn, Andreas Abel, Tim Sheard
2013	J	`jnl`	Pushdown Exception-Flow Analysis of Object-Oriented Programs CoRR Shuying Liang, Matthew Might, Thomas Gilray, David Van Horn
2013	J	`jnl`	Resolving and Exploiting the $k$-CFA Paradox. CoRR Matthew Might, Yannis Smaragdakis, David Van Horn
2013	J	`jnl`	Sound and Precise Malware Analysis for Android via Pushdown Reachability and Entry-Point Saturation. CoRR Shuying Liang, Andrew W. Keep, Matthew Might, Steven Lyde, Thomas Gilray, Petey Aldous, David Van Horn
2013	—	`conf`	Sound and precise malware analysis for android via pushdown reachability and entry-point saturation. SPSM@CCS Shuying Liang, Andrew W. Keep, Matthew Might, Steven Lyde, Thomas Gilray, Petey Aldous, David Van Horn
2012	B	`conf`	A Structural Soundness Proof for Shivers's Escape Technique - A Case for Galois Connections. SAS Jan Midtgaard, Michael D. Adams, Matthew Might
2012	—	`conf`	Hash-flow taint analysis of higher-order programs. PLAS Shuying Liang, Matthew Might
2012	J	`jnl`	Introspective Pushdown Analysis of Higher-Order Programs CoRR Christopher Earl, Ilya Sergey, Matthew Might, David Van Horn
2012	A	`conf`	Introspective pushdown analysis of higher-order programs. ICFP Christopher Earl, Ilya Sergey, Matthew Might, David Van Horn
2012	J	`jnl`	Optimizing Abstract Abstract Machines CoRR Dionna Amalie Glaze, Matthew Might, David Van Horn
2012	—	`conf`	Preface. NSAD@SAS Jan Midtgaard, Matthew Might
2012	—	`ed.`	Proceedings of the Fourth International Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2012, Deauville, France, September 10, 2012 NSAD@SAS Jan Midtgaard, Matthew Might
2012	J	`jnl`	Systematic abstraction of abstract machines. J. Funct. Program. David Van Horn, Matthew Might
2011	B	`conf`	A Family of Abstract Interpretations for Static Analysis of Concurrent Higher-Order Programs. SAS Matthew Might, David Van Horn
2011	J	`jnl`	A family of abstract interpretations for static analysis of concurrent higher-order programs CoRR Matthew Might, David Van Horn
2011	J	`jnl`	Abstracting Abstract Machines: A Systematic Approach to Higher-Order Program Analysis CoRR David Van Horn, Matthew Might
2011	J	`jnl`	Abstracting abstract machines: a systematic approach to higher-order program analysis. Commun. ACM David Van Horn, Matthew Might
2011	J	`jnl`	An Analytic Framework for JavaScript CoRR David Van Horn, Matthew Might
2011	A*	`conf`	EigenCFA: accelerating flow analysis with GPUs. POPL Tarun Prabhu, Shreyas Ramalingam, Matthew Might, Mary W. Hall
2011	A	`conf`	Flow-sensitive type recovery in linear-log time. OOPSLA Michael D. Adams, Andrew W. Keep, Jan Midtgaard, Matthew Might, Arun Chauhan, R. Kent Dybvig
2011	A	`conf`	Parsing with derivatives: a functional pearl. ICFP Matthew Might, David Darais, Daniel Spiewak
2011	J	`jnl`	Systematic Abstraction of Abstract Machines CoRR David Van Horn, Matthew Might
2010	B	`conf`	Abstract Interpreters for Free. SAS Matthew Might
2010	J	`jnl`	Abstracting Abstract Machines CoRR David Van Horn, Matthew Might
2010	A	`conf`	Abstracting abstract machines. ICFP David Van Horn, Matthew Might
2010	J	`jnl`	Pushdown Control-Flow Analysis of Higher-Order Programs CoRR Christopher Earl, Matthew Might, David Van Horn
2010	A*	`conf`	Resolving and exploiting the PLDI Matthew Might, Yannis Smaragdakis, David Van Horn
2010	B	`conf`	Shape Analysis in the Absence of Pointers and Structure. VMCAI Matthew Might
2010	J	`jnl`	Stack-Summarizing Control-Flow Analysis of Higher-Order Programs CoRR Christopher Earl, Matthew Might, David Van Horn
2010	J	`jnl`	Yacc is dead CoRR Matthew Might, David Darais
2009	B	`conf`	A PosterioriSoundness for Non-deterministic Abstract Interpretations. VMCAI Matthew Might, Panagiotis Manolios
2008	J	`jnl`	Exploiting reachability and cardinality in higher-order flow analysis. J. Funct. Program. Matthew Might, Olin Shivers
2007	J	`jnl`	Analyzing the environment structure of higher-order languages using frame strings. Theor. Comput. Sci. Matthew Might, Olin Shivers
2007	—	`—`	Environment Analysis of Higher-Order Languages. Matthew Might
2007	A*	`conf`	Logic-flow analysis of higher-order programs. POPL Matthew Might
2007	B	`conf`	Model Checking Via GammaCFA. VMCAI Matthew Might, Benjamin Chambers, Olin Shivers
2006	A*	`conf`	Continuations and transducer composition. PLDI Olin Shivers, Matthew Might
2006	A*	`conf`	Environment analysis via Delta CFA. POPL Matthew Might, Olin Shivers
2006	A	`conf`	Improving flow analyses via GammaCFA: abstract garbage collection and counting. ICFP Matthew Might, Olin Shivers