Concepedia

Gerlek

GE

1

Publications

26

Citations

1

H-Index

1994

Active since

Affiliations

Oregon Museum of Science and Industry(Current)

Gerlek is an author at Oregon Museum of Science and Industry specializing in formal methods, systems engineering, and intermediate representations.

Top concepts

CompilersEngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisParallel ComputingFormal VerificationSystems EngineeringComputer Engineering

Publications per year

1994–1994

1

Publications

1

Extended SSA with factored use-def chains to support optimization and parallelism

Stoltz, Gerlek, Wolfe · 1994 · 26 citations

Engineering, Compiler Technology, Factored Use-def Chains +25

Rows per page

1–1 of 1