JAAKKO JÄRVI

Assistant Professor

Email: jarvi@cse.tamu.edu
Phone: 979/845-4359
Office: HRBB 416
http://parasol.tamu.edu/~jarvi

Ph.D. Computer Science, University of Turku, Finland, 2000
M.S. Computer Science, University of Turku, Finland, 1993

RESEARCH INTERESTS

Generic and generative programming, software libraries, programming languages, type systems

AWARDS

Best Paper Award, 23rd Annual ACM Symposium on Applied Computing; Software Development, 2008

SELECTED RESEARCH SUPPORT

NSF: Lifting Compiler Optimizations via Generic Programming, 2006.

Academy of Finland: Open Systems and Generic Programming, 2001.

EXPERIENCE

Assistant Professor, Department of Computer Science and Engineering, Texas A&M University, 2004 - present

Post Doctoral Researcher, Pervasive Technology Laboratories, Indiana University, 2001-2004

Post Doctoral Researcher, University of Turku, Finland, Summer 2001

Chief Technical Officer, Atuline Ltd./ Product Manager, Novo Group Plc.2000-2001

Researcher, ABB Corporate Research, Vaasa, Finland, 1994-1995

PROFESSIONAL ACTIVITIES AND SERVICE

ANSI/ISO C++ Standardization committee member 2001-present.

C++ Boost Library Collection contributor 2000-present.

Member of the pool of reviewers for the Academy of Finland, 2004-present.

Served in workshop/conference organization/program committees:

MPOOL'02 '03 '04 '05, '07, MSPLS '02, DP-COOL'03, Dagstuhl workshop on software libraries, LCSD '05 '06 '07, CIT'06, PEPM'06, PACT'07, WGT '08, GPCE'08, OOPS'09.

SELECTED PUBLICATIONS

Jaakko Järvi, Mat Marcus, and Jacob N. Smith, "Programming with C++ Concepts,"
Science of Computer Programming, 2008. Note: To appear.

Jaakko Järvi, Mat Marcus, Sean Parent, John Freeman, and Jacob N. Smith, "Property Models: from Incidental Algorithms to Reusable Components," In GPCE '08: Proceedings of the 7th International Conference on Generative Programming and Component Engineering, New York, NY, USA, pages 89-98, ACM. 2008.

R. Garcia, J. Järvi, A. Lumsdaine, J. Siek, J. Willcock, "An Extended Comparative Study of Language Support for Generic Programming," Journal of Functional Programming, 17:145-205, March 2007.

J. Järvi, D. Gregor, J. Willcock, A. Lumsdaine, J. Siek, "Algorithm Specialization in Generic Programming: Challenges of Constrained Generics in C++," 2006 ACM SIGPLAN (PLDI '06), ACM Press, pp 272-282, New York, June 2006.

D. Gregor, J. Järvi, J. Siek, B. Stroustrup, G. Dos Reis, A. Lumsdaine, "Concepts: Linguistic Support for Generic Programming in C++," 21st annual ACM SIGPLAN (OOPSLA '06), (ACM Press),pp. 291-310, New York, 2006.

J. Järvi, J. Willcock, A. Lumsdaine, "Associated Types and Constraint Propagation for Mainstream Object- Oriented Generics," 20th ACM SIGPLAN (OOPSLA '05), ACM Press, pp. 1-19, New York, 2005.

J. Järvi, G. Powell, A. Lumsdaine. "The Lambda Library: Unnamed Functions in C++," Software-Practice and Experience, 33:259-291, 2003.