Concepedia

Ovidiu Gheorghioiu

OG

Statistics

Publications

1

Citations

33

H-Index

1

Active since

2003

Affiliations

Massachusetts Institute of Technology(Current)

Ovidiu Gheorghioiu is an author at Massachusetts Institute of Technology specializing in formal verification, parallel computing, and parallel programming.

Top concepts

EngineeringFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingCluster ComputingSoftware AnalysisParallel Computing

Publications per year

2003–2003

1

Publications

1

Interprocedural compatibility analysis for static object preallocation

Ovidiu Gheorghioiu, Alexandru Sălcianu, Martin Rinard · 2003 · 33 citations

Cluster Computing, Engineering, Compiler Technology +23

1–1 of 1