|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 36 occurrences of 20 keywords
|
|
|
|
|
Results
Found 25 publication records. Showing 25 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | David Van Horn, Matthew Might |
Abstracting abstract machines: a systematic approach to higher-order program analysis.  |
Commun. ACM  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | David Van Horn, Matthew Might |
Systematic Abstraction of Abstract Machines |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | David Van Horn, Matthew Might |
Abstracting Abstract Machines: A Systematic Approach to Higher-Order Program Analysis |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Matthew Might, David Van Horn |
A family of abstract interpretations for static analysis of concurrent higher-order programs |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | David Van Horn, Matthew Might |
An Analytic Framework for JavaScript |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Tarun Prabhu, Shreyas Ramalingam, Matthew Might, Mary W. Hall |
EigenCFA: accelerating flow analysis with GPUs. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Might, David Darais, Daniel Spiewak |
Parsing with derivatives: a functional pearl. |
ICFP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael D. Adams 0001, Andrew W. Keep, Jan Midtgaard, Matthew Might, Arun Chauhan, R. Kent Dybvig |
Flow-sensitive type recovery in linear-log time. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Might, David Van Horn |
A Family of Abstract Interpretations for Static Analysis of Concurrent Higher-Order Programs. |
SAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Earl, Matthew Might, David Van Horn |
Stack-Summarizing Control-Flow Analysis of Higher-Order Programs |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Christopher Earl, Matthew Might, David Van Horn |
Pushdown Control-Flow Analysis of Higher-Order Programs |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Matthew Might, David Darais |
Yacc is dead |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | David Van Horn, Matthew Might |
Abstracting Abstract Machines |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Matthew Might, Yannis Smaragdakis, David Van Horn |
Resolving and exploiting the k-CFA paradox: illuminating functional vs. object-oriented program analysis. |
PLDI |
2010 |
DBLP DOI BibTeX RDF |
k-cfa, m-cfa, object-oriented, static analysis, functional, pointer analysis, control-flow analysis |
| 1 | David Van Horn, Matthew Might |
Abstracting abstract machines. |
ICFP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Might |
Abstract Interpreters for Free. |
SAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Might |
Shape Analysis in the Absence of Pointers and Structure. |
VMCAI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Might, Panagiotis Manolios |
A PosterioriSoundness for Non-deterministic Abstract Interpretations. |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Might, Olin Shivers |
Exploiting reachability and cardinality in higher-order flow analysis. |
J. Funct. Program. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Might, Olin Shivers |
Analyzing the environment structure of higher-order languages using frame strings. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Might |
Logic-flow analysis of higher-order programs. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
LFA, abstract counting, abstract garbage collection, environment analysis, gamma-CFA first-order logic, logic-flow analysis, static analysis, theorem proving, lambda calculus, CPS |
| 1 | Matthew Might, Benjamin Chambers, Olin Shivers |
Model Checking Via GammaCFA. |
VMCAI |
2007 |
DBLP DOI BibTeX RDF |
abstract counting, abstract garbage collection, ?CFA, static analysis, Abstract interpretation, higher-order languages |
| 1 | Olin Shivers, Matthew Might |
Continuations and transducer composition. |
PLDI |
2006 |
DBLP DOI BibTeX RDF |
lambda, program analysis, continuations, fusion, language design, functional languages, stream processing, calculus, flow analysis, continuation-passing style (CPS), coroutines |
| 1 | Matthew Might, Olin Shivers |
Environment analysis via Delta CFA. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
delta-CFA, environment analysis, super-beta, program analysis, continuations, lambda calculus, functional languages, flow analysis, CPS, inlining |
| 1 | Matthew Might, Olin Shivers |
Improving flow analyses via GammaCFA: abstract garbage collection and counting. |
ICFP |
2006 |
DBLP DOI BibTeX RDF |
abstract counting, abstract garbage collection, environment analysis, gamma-CFA, superbeta, program analysis, continuations, lambda calculus, functional languages, flow analysis, CPS, inlining |
Displaying result #1 - #25 of 25 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")