Jaakko JärviAssistant ProfessorDepartment of Computer Science Texas A&M University 410B Harvey R. Bright Bldg College Station, TX 77843-3112, USA Tel: +1 (979) 845-4359 Fax: +1 (979) 847-8578 Email: jarvi (at) cs.tamu.edu |
|
These pages have moved to http://parasol.tamu.edu/~jarvi/
You should be redirected automatically. If not, just click on the above link.
Course information
A note to prospective students.- Programming Languages -- 604, Spring 2007.
- Generic Programming, Fall 2006.
- Programming Languages -- 604, Spring 2006.
- Generic Programming, Fall 2005.
- Programming Language Design, Spring 2005.
- Generic Programming, Fall 2004.
Upcoming or recent events
- October 06: The workshop on Library-Centric Software Design LCSD'06 (at OOPSLA'06)
- June 10-16,2006. ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation (PLDI), Ottawa, Canada.
- January 9-10, 2006: ACM SIGPLAN 2006 Workshop on Partial Evaluation and Program Manipulation (PEPM '06) affiliated with POPL 2006, Charleston, South Carolina.
- October 05: The workshop on Library-Centric Software Design LCSD'05 (at OOPSLA'05)
- October 05: The workshop on Multi-Paradigm Programming with Object-Oriented Languages MPOOL'05 (at OOPSLA'05).
- June 05: Dagstuhl seminar on Types for Tools: Applications of Type Theoretic Techniques
Research
My research interests include generic and generative programming, programming languages, type systems, and software construction in general. Here is a list of my publications.
Software
The Boost Tuple Library and the Boost Lambda Library are generic programming libraries I've been involved in developing. Another small but useful C++ tool is the enable_if family of templates, also part of the C++ Boost library collection.
C++ standardization
I'm involved in the C++ ISO standardization process. More concretely, I have worked or continue to work on library support for tuple types, library support for partial function application, core language support for inferring the type of a variable from its initializer expression, a "typeof" mechanism, a constraint system for C++ templates, and templates with a variable length argument list. Which of the above will eventually be part of the C++ standard is not clear, the list is roughly in the order of decreasing likelihood of this happening. See the publications page for technical reports that contain more detailed description of the topics.