Concepedia

Jaakko Järvi

JJ

23

Publications

812

Citations

16

H-Index

1982

Active since

Affiliations

Texas A&M University(Current)

Indiana University Bloomington

Indiana University

Rice University

Adobe Systems (United States)

Jaakko Järvi is an author at Texas A&M University specializing in engineering, program analysis, and formal methods.

Top concepts

EngineeringComputer ScienceProgram AnalysisFormal MethodsSoftware AnalysisComputer EngineeringSoftware EngineeringSoftware DesignSystem SoftwareFormal Verification

Publications per year

1982–2009

23

Publications

23

Concepts

Douglas Gregor, Jaakko Järvi, Jeremy G. Siek et al. · 2006 · 193 citations

Engineering, Generic Programming, Program Analysis +15

A comparative study of language support for generic programming

Ronald Garcia, Jaakko Järvi, Andrew Lumsdaine et al. · 2003 · 147 citations

Basic Generic Programming, Engineering, Software Engineering +17

An extended comparative study of language support for generic programming

Ronald Garcia, Jaakko Järvi, Andrew Lumsdaine et al. · Journal of Functional Programming · 2006 · 74 citations · Full text

Engineering, Software Engineering, Semantics +22

Algorithm specialization in generic programming

Jaakko Järvi, Douglas Gregor, Jeremiah Willcock et al. · ACM SIGPLAN Notices · 2006 · 35 citations

Mathematical Programming, Engineering, Compiler Technology +18

Associated types and constraint propagation for mainstream object-oriented generics

Jaakko Järvi, Jeremiah Willcock, Andrew Lumsdaine · 2005 · 31 citations

Engineering, Generic Programming, Program Analysis +15

Rows per page

1–5 of 23