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 |
|---|---|---|
| Environment analysis via \(\Delta\)CFA Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2017-08-21 | Paper |
| Improving flow analyses via ΓCFA Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming | 2015-08-03 | Paper |
| Static analysis for syntax objects Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming | 2015-08-03 | Paper |
| Multi-return function call Proceedings of the ninth ACM SIGPLAN international conference on Functional programming | 2015-03-09 | Paper |
| Modular rollback through control logging: a pair of twin functional pearls Proceedings of the 16th ACM SIGPLAN international conference on Functional programming | 2015-03-05 | Paper |
| Pushdown flow analysis of first-class control Proceedings of the 16th ACM SIGPLAN international conference on Functional programming | 2015-03-05 | Paper |
| The anatomy of a loop: a story of scope and control Proceedings of the tenth ACM SIGPLAN international conference on Functional programming | 2015-01-06 | Paper |
| An array-oriented language with static rank polymorphism Programming Languages and Systems | 2014-04-16 | Paper |
| CFA2: a context-free approach to control-flow analysis Logical Methods in Computer Science | 2011-05-26 | Paper |
| Bottom-up \(\beta\)-reduction: uplinks and \(\lambda\)-DAGs Fundamenta Informaticae | 2011-05-18 | Paper |
| CFA2: A Context-Free Approach to Control-Flow Analysis Programming Languages and Systems | 2010-05-04 | Paper |
| Building language towers with Ziggurat Journal of Functional Programming | 2008-12-18 | 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 |
| Programming Languages and Systems Lecture Notes in Computer Science | 2005-09-13 | Paper |
Research outcomes over time
This page was built for person: Olin Shivers
