☰

Olin Shivers

Affiliations: 
Georgia Institute of Technology, Atlanta, GA 
Area:
Computer Science
Google:
"Olin Shivers"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor

Children

Sign in to add trainee
Steven A. Spoon grad student 2005 Georgia Tech
Matthew Might grad student 2007 Georgia Tech

Collaborators

Sign in to add collaborator
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Vardoulakis D, Shivers O. (2011) Pushdown flow analysis of first-class control Proceedings of the Acm Sigplan International Conference On Functional Programming, Icfp. 69-80
Vardoulakis D, Shivers O. (2011) Ordering multiple continuations on the stack Perm'11 - Proceedings of the 20th Acm Sigplan Workshop On Partial Evaluation and Program Manipulation. 13-22
Vardoulakis D, Shivers O. (2010) CFA2: A Context-Free Approach to control-flow analysis Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6012: 570-589
Shivers O. (2008) Why teach programming languages Acm Sigplan Notices. 43: 130-132
Might M, Shivers O. (2008) Exploiting reachability and cardinality in higher-order flow analysis Journal of Functional Programming. 18: 821-864
Fisher D, Shivers O. (2008) Building language towers with Ziggurat Journal of Functional Programming. 18: 707-780
Might M, Shivers O. (2007) Analyzing the environment structure of higher-order languages using frame strings Theoretical Computer Science. 375: 137-168
Might M, Chambers B, Shivers O. (2007) Model checking via TCFA Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4349: 59-73
Might M, Shivers O. (2006) Improving flow analyses via γCFA abstract garbage collection and counting Acm Sigplan Notices. 41: 13-25
Might M, Shivers O. (2006) Improving flow analyses via ΓCFA: Abstract garbage collection and counting Proceedings of the Acm Sigplan International Conference On Functional Programming, Icfp. 2006: 13-25
See more...