Olin Shivers
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 |
|---|---|---|
| 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
