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
