Matthew Might
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Relatively complete pushdown analysis of escape continuations | 2020-01-23 | Paper |
| Demand control-flow analysis | 2020-01-23 | Paper |
| Abstract allocation as a unified approach to polyvariance in control-flow analyses Journal of Functional Programming | 2019-02-20 | Paper |
| A posteriori environment analysis with Pushdown Delta CFA Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages | 2017-10-20 | Paper |
| Environment analysis via \(\Delta\)CFA Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2017-08-21 | Paper |
| Allocation characterizes polyvariance: a unified methodology for polyvariant control-flow analysis Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming | 2017-05-10 | Paper |
| Pushdown control-flow analysis for free Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2016-10-24 | Paper |
| Improving flow analyses via ΓCFA Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming | 2015-08-03 | Paper |
| Optimizing abstract abstract machines Proceedings of the 18th ACM SIGPLAN international conference on Functional programming | 2015-03-30 | Paper |
| Parsing with derivatives Proceedings of the 16th ACM SIGPLAN international conference on Functional programming | 2015-03-05 | Paper |
| Abstracting abstract machines Proceedings of the 15th ACM SIGPLAN international conference on Functional programming | 2015-03-05 | Paper |
| Abstracting abstract machines Proceedings of the 15th ACM SIGPLAN international conference on Functional programming | 2015-03-05 | Paper |
| Deletion: The curse of the red-black tree Journal of Functional Programming | 2014-12-10 | Paper |
| Logic-flow analysis of higher-order programs Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-09-12 | Paper |
| Pushdown flow analysis with abstract garbage collection Journal of Functional Programming | 2014-08-14 | Paper |
| Introspective pushdown analysis of higher-order programs Proceedings of the 17th ACM SIGPLAN international conference on Functional programming | 2014-07-21 | Paper |
| Introspective pushdown analysis of higher-order programs Proceedings of the 17th ACM SIGPLAN international conference on Functional programming | 2014-07-21 | Paper |
| Systematic abstraction of abstract machines Journal of Functional Programming | 2012-10-29 | Paper |
| Abstract interpreters for free Static Analysis | 2010-10-01 | Paper |
| Shape Analysis in the Absence of Pointers and Structure Lecture Notes in Computer Science | 2010-01-14 | Paper |
| A Posteriori Soundness for Non-deterministic Abstract Interpretations Lecture Notes in Computer Science | 2009-02-10 | Paper |
| Exploiting reachability and cardinality in higher-order flow analysis Journal of Functional Programming | 2008-12-18 | Paper |
| Model Checking Via ΓCFA Lecture Notes in Computer Science | 2008-04-04 | Paper |
| Analyzing the environment structure of higher-order languages using frame strings Theoretical Computer Science | 2007-05-11 | Paper |
Research outcomes over time
This page was built for person: Matthew Might
