| Control-flow analysis of higher-order languages or taming lambda OG Shivers Carnegie Mellon University, 1991 | 898 | 1991 |
| Control flow analysis in Scheme O Shivers Proceedings of the ACM SIGPLAN 1988 conference on Programming Language …, 1988 | 527 | 1988 |
| The Flux OSKit: A substrate for kernel and language research B Ford, G Back, G Benson, J Lepreau, A Lin, O Shivers Proceedings of the sixteenth ACM symposium on Operating systems principles …, 1997 | 420 | 1997 |
| Improving flow analyses via ΓCFA: Abstract garbage collection and counting M Might, O Shivers Proceedings of the eleventh ACM SIGPLAN international conference on …, 2006 | 130 | 2006 |
| CFA2: A context-free approach to control-flow analysis D Vardoulakis, O Shivers Logical Methods in Computer Science 7, 2011 | 112 | 2011 |
| The semantics of Scheme control-flow analysis O Shivers ACM SIGPLAN Notices 26 (9), 190-198, 1991 | 103 | 1991 |
| Data-flow analysis and type recovery in Scheme O Shivers Carnegie Mellon University, 1990 | 64 | 1990 |
| Varieties of learning in Soar: 1987 DM Steier, JE Laird, A Newell, PS Rosenbloom, RA Flynn, A Golding, ... Proceedings of the Fourth International Workshop on Machine Learning, 300-311, 1987 | 55 | 1987 |
| Environment analysis via ΔCFA M Might, O Shivers ACM SIGPLAN Notices 41 (1), 127-140, 2006 | 50 | 2006 |
| An array-oriented language with static rank polymorphism J Slepak, O Shivers, P Manolios Programming Languages and Systems: 23rd European Symposium on Programming …, 2014 | 42 | 2014 |
| A scheme shell O Shivers | 41 | 1994 |
| Demand-driven type inference with subgoal pruning: Trading precision for scalability SA Spoon, O Shivers European Conference on Object-Oriented Programming, 51-74, 2004 | 38 | 2004 |
| Continuations and threads: Expressing machine concurrency directly in advanced languages O Shivers Proceedings of the Second ACM SIGPLAN Workshop on Continuations, 2-1, 1997 | 38 | 1997 |
| A universal scripting framework or lambda: the ultimate “little language” O Shivers Annual Asian Computing Science Conference, 254-265, 1996 | 38 | 1996 |
| Bodytalk and the bodynet: A personal information infrastructure O Shivers Massachusetts Institute of Technology, Laboratory for Computer Science …, 1993 | 32 | 1993 |
| Atomic heap transactions and fine-grain interrupts O Shivers, JW Clark, R McGrath Proceedings of the fourth ACM SIGPLAN international conference on Functional …, 1999 | 31 | 1999 |
| Continuations and transducer composition O Shivers, M Might ACM SIGPLAN Notices 41 (6), 295-307, 2006 | 30 | 2006 |
| Preliminary design of the SAFE platform A DeHon, B Karel, TF Knight Jr, G Malecha, B Montagu, R Morisset, ... Proceedings of the 6th Workshop on Programming Languages and Operating …, 2011 | 26 | 2011 |
| The anatomy of a loop: a story of scope and control O Shivers ACM SIGPLAN Notices 40 (9), 2-14, 2005 | 24 | 2005 |
| Pushdown flow analysis of first-class control D Vardoulakis, O Shivers Proceedings of the 16th ACM SIGPLAN international conference on Functional …, 2011 | 23 | 2011 |
