Concepedia

Jeffrey Overbey

JO

13

Publications

871

Citations

11

H-Index

2005

Active since

Affiliations

University of Illinois Urbana-Champaign(Current)

Auburn University

Jeffrey Overbey is an author at University of Illinois Urbana-Champaign specializing in engineering, computer science, and program analysis.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisSoftware EngineeringFormal MethodsComputer EngineeringSoftware DesignSystem SoftwareSoftware Testing

Publications per year

2005–2016

13

Publications

13

A type and effect system for deterministic parallel Java

Robert L. Bocchino, Vikram Adve, Danny Dig et al. · ACM SIGPLAN Notices · 2009 · 296 citations

Engineering, Compiler Technology, Computer Architecture +18

A type and effect system for deterministic parallel Java

Robert L. Bocchino, Vikram Adve, Danny Dig et al. · 2009 · 261 citations

Engineering, Compiler Technology, Computer Architecture +18

ON THE KEYSPACE OF THE HILL CIPHER

Jeffrey Overbey, William N. Traves, Jerzy Wojdyło · Cryptologia · 2005 · 95 citations

Finite Fields, Representation Theory, Engineering +10

Refactorings for Fortran and high-performance computing

Jeffrey Overbey, Spiros Xanthos, Ralph E. Johnson et al. · 2005 · 44 citations

Procedural Fortran, Engineering, Compiler Technology +19

Inferring Method Effect Summaries for Nested Heap Regions

Mohsen Vakilian, Danny Dig, Robert L. Bocchino et al. · 2009 · 40 citations

Engineering, Effect Annotations, Compiler Technology +25

Rows per page

1–5 of 13