Concepedia

Olin Shivers

OS

28

Publications

1.7K

Citations

18

H-Index

1983

Active since

Affiliations

Georgia Institute of Technology(Current)

Universidad del Noreste

Carnegie Mellon University

Northeastern University

University of California, Davis

Olin Shivers is an author at Georgia Institute of Technology specializing in engineering, program analysis, and computer science.

Top concepts

EngineeringComputer ScienceProgram AnalysisFormal MethodsSoftware AnalysisFormal VerificationSoftware EngineeringSystems EngineeringCompilersComputer Engineering

Publications per year

1983–2023

28

Publications

28

Control-flow analysis of higher-order languages of taming lambda

Olin Shivers · Modern healthcare · 1991 · 343 citations

Engineering, Compiler Technology, Software Engineering +22

Control flow analysis in scheme

Olin Shivers · ACM SIGPLAN Notices · 1988 · 277 citations

Flow Control, Engineering, Compiler Technology +20

Bryan Ford, Godmar Back, Greg Benson et al. · 1997 · 257 citations · Full text

Control flow analysis in scheme

Olin Shivers · 1988 · 217 citations · Full text

Flow Control, Engineering, Compiler Technology +20

Improving flow analyses via ΓCFA

Matthew Might, Olin Shivers · 2006 · 100 citations

Engineering, Compiler Technology, Fluid Mechanics +21

Rows per page

1–5 of 28