| Year |
Citation |
Score |
| 2020 |
Queralt-Rosinach N, Stupp GS, Li TS, Mayers M, Hoatlin ME, Might M, Good BM, Su AI. Structured reviews for data and knowledge-driven research. Database : the Journal of Biological Databases and Curation. 2020. PMID 32283553 DOI: 10.1093/Database/Baaa015 |
0.324 |
|
| 2018 |
GILRAY T, ADAMS MD, MIGHT M. Abstract allocation as a unified approach to polyvariance in control-flow analyses Journal of Functional Programming. 28. DOI: 10.1017/S0956796818000138 |
0.377 |
|
| 2015 |
Lyde S, Byrd WE, Might M. Control-flow analysis of dynamic languages via pointer analysis Dls 2015 - Proceedings of the 11th Symposium On Dynamic Languages. 54-62. DOI: 10.1145/2816707.2816712 |
0.351 |
|
| 2015 |
Earl C, Might M, Bagusetty A, Sutherland JC. Nebo: An efficient, parallel, and portable domain-specific language for numerically solving partial differential equations Journal of Systems and Software. DOI: 10.1016/J.Jss.2016.01.023 |
0.337 |
|
| 2015 |
Liang S, Might M, Van Horn D. AnaDroid: Malware analysis of Android with user-supplied predicates Electronic Notes in Theoretical Computer Science. 311: 3-14. DOI: 10.1016/J.Entcs.2015.02.002 |
0.365 |
|
| 2015 |
Aldous P, Might M. 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. DOI: 10.1007/978-3-662-48288-9_1 |
0.349 |
|
| 2014 |
Liang S, Sun W, Might M. Fast flow analysis with godel hashes Proceedings - 2014 14th Ieee International Working Conference On Source Code Analysis and Manipulation, Scam 2014. 225-234. DOI: 10.1109/SCAM.2014.40 |
0.334 |
|
| 2014 |
Johnson JI, Sergey I, Earl C, Might M, Van Horn D. Pushdown flow analysis with abstract garbage collection Journal of Functional Programming. 24: 218-283. DOI: 10.1017/S0956796814000100 |
0.502 |
|
| 2014 |
Gilray T, Might M. 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. DOI: 10.1007/978-3-642-45340-3_9 |
0.352 |
|
| 2014 |
Lyde S, Might M. 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. DOI: 10.1007/978-3-642-45340-3_8 |
0.328 |
|
| 2012 |
Van Horn D, Might M. Systematic abstraction of abstract machines Journal of Functional Programming. 22: 705-746. DOI: 10.1017/S0956796812000238 |
0.418 |
|
| 2011 |
Van Horn D, Might M. Abstracting abstract machines: A systematic approach to higher-order program analysis Communications of the Acm. 54: 101-109. DOI: 10.1145/1995376.1995400 |
0.433 |
|
| 2011 |
Might M, Van Horn D. A family of abstract interpretations for static analysis of concurrent higher-order programs Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6887: 180-197. DOI: 10.1007/978-3-642-23702-7_16 |
0.38 |
|
| 2008 |
Might M, Shivers O. Exploiting reachability and cardinality in higher-order flow analysis Journal of Functional Programming. 18: 821-864. DOI: 10.1017/S0956796808006941 |
0.706 |
|
| 2007 |
Might M. Logic-flow analysis of higher-order programs Acm Sigplan Notices. 42: 185-198. DOI: 10.1145/1190216.1190247 |
0.408 |
|
| 2007 |
Might M, Shivers O. Analyzing the environment structure of higher-order languages using frame strings Theoretical Computer Science. 375: 137-168. DOI: 10.1016/J.Tcs.2006.12.031 |
0.677 |
|
| 2007 |
Might M, Chambers B, Shivers O. Model checking via TCFA Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4349: 59-73. |
0.653 |
|
| 2006 |
Might M, Shivers O. Improving flow analyses via γCFA abstract garbage collection and counting Acm Sigplan Notices. 41: 13-25. DOI: 10.1145/1160074.1159807 |
0.704 |
|
| 2006 |
Might M, Shivers O. Improving flow analyses via ΓCFA: Abstract garbage collection and counting Proceedings of the Acm Sigplan International Conference On Functional Programming, Icfp. 2006: 13-25. DOI: 10.1145/1159803.1159807 |
0.704 |
|
| 2006 |
Shivers O, Might M. Continuations and transducer composition Proceedings of the Acm Sigplan Conference On Programming Language Design and Implementation (Pldi). 2006: 295-307. DOI: 10.1145/1133255.1134016 |
0.617 |
|
| 2006 |
Might M, Shivers O. Environment analysis via ΔCFA Conference Record of the Annual Acm Symposium On Principles of Programming Languages. 127-140. DOI: 10.1145/1111320.1111049 |
0.645 |
|
| Show low-probability matches. |