Jaakko Järvi

According to our database, Jaakko Järvi authored at least 47 papers between 1997 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Containers for GUI Models.

Knut Anders Stokke, Mikhail Barash, Jaakko Järvi, Elisabeth Stenholm, Håkon Robbestad Gylterud

Proceedings of the Companion Proceedings of the 8th International Conference on the Art, 2024

2023

A domain-specific language for structure manipulation in constraint system-based GUIs.

Knut Anders Stokke, Mikhail Barash, Jaakko Järvi

J. Comput. Lang., January, 2023

Revisiting Language Support for Generic Programming: When Genericity Is a Core Design Goal.

Benjamin Chetioui, Jaakko Järvi, Magne Haveraaen

Art Sci. Eng. Program., 2023

Towards Reusable GUI Structures.

Knut Anders Stokke, Mikhail Barash, Jaakko Järvi

Proceedings of the Companion Proceedings of the 2023 ACM SIGPLAN International Conference on Systems, 2023

The Ultimate GUI Framework: Are We There Yet?

Knut Anders Stokke, Mikhail Barash, Jaakko Järvi

Proceedings of the Eelco Visser Commemorative Symposium, 2023

2022

P3 problem and Magnolia language: Specializing array computations for emerging architectures.

Benjamin Chetioui, Marius Kleppe Larnøy, Jaakko Järvi, Magne Haveraaen, Lenore Mullin

Frontiers Comput. Sci., 2022

2021

Semantics of multiway dataflow constraint systems.

Magne Haveraaen, Jaakko Järvi

J. Log. Algebraic Methods Program., 2021

Padding in the mathematics of arrays.

Benjamin Chetioui, Ole Abusdal, Magne Haveraaen, Jaakko Järvi, Lenore Mullin

Proceedings of the ARRAY 2021: Proceedings of the 7th ACM SIGPLAN International Workshop on Libraries, 2021

2020

Manipulating GUI structures declaratively.

Knut Anders Stokke, Mikhail Barash, Jaakko Järvi

Proceedings of the GPCE '20: Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2020

2019

Finite difference methods fengshui: alignment through a mathematics of arrays.

Benjamin Chetioui, Lenore Mullin, Ole Abusdal, Magne Haveraaen, Jaakko Järvi, Sandra Macià

Proceedings of the 6th ACM SIGPLAN International Workshop on Libraries, 2019

VisAST: Generic AST Visualiser for Software Language Education.

Ragnhild Aalvik, Jaakko Järvi

Proceedings of the 32nd Norsk Informatikkonferanse, 2019

2016

One Way to Select Many (Artifact).

Jaakko Järvi, Sean Parent

Dagstuhl Artifacts Ser., 2016

Reusable Multi-selection in Touch-Screen User Interfaces.

Anirudh Ramanathan, Jaakko Järvi

Proceedings of the 29th Norsk Informatikkonferanse, 2016

One Way to Select Many.

Jaakko Järvi, Sean Parent

Proceedings of the 30th European Conference on Object-Oriented Programming, 2016

2015

Axioms as generic rewrite rules in C++ with concepts.

Xiaolong Tang, Jaakko Järvi

Sci. Comput. Program., 2015

EvolutionWorks - Towards Improved Visualization of Citation Networks.

Jason Wilkins, Jaakko Järvi, Ajit Jain, Gaurav Kejriwal, Andruid Kerne, Vijay Gumudavelly

Proceedings of the Human-Computer Interaction - INTERACT 2015, 2015

Generating reactive programs for graphical user interfaces from multi-way dataflow constraint systems.

Gabriel Foust, Jaakko Järvi, Sean Parent

Proceedings of the 2015 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2015

2014

Specializing planners for hierarchical multi-way dataflow constraint systems.

Jaakko Järvi, Gabriel Foust, Magne Haveraaen

Proceedings of the Generative Programming: Concepts and Experiences, 2014

2012

Exploiting regularity of user-defined types to improve precision of program analyses.

Xiaolong Tang, Jaakko Järvi

Proceedings of the ACM Symposium on Applied Computing, 2012

Expressing multi-way data-flow constraint systems as a commutative monoid makes many of their properties obvious.

Jaakko Järvi, Magne Haveraaen, John Freeman, Mat Marcus

Proceedings of the 8th ACM SIGPLAN workshop on Generic programming, 2012

HotDrink: a library for web user interfaces.

John Freeman, Jaakko Järvi, Gabriel Foust

Proceedings of the Generative Programming and Component Engineering, 2012

2011

Extending type systems in a library: Type-safe XML processing in C++.

Yuriy Solodkyy, Jaakko Järvi

Sci. Comput. Program., 2011

Efficient run-time dispatching in generic programming with minimal code bloat.

Lubomir D. Bourdev, Jaakko Järvi

Sci. Comput. Program., 2011

Helping programmers help users.

John Freeman, Jaakko Järvi, Wonseok Kim, Mat Marcus, Sean Parent

Proceedings of the Generative Programming And Component Engineering, 2011

2010

Programming with C++ concepts.

Jaakko Järvi, Mat Marcus, Jacob N. Smith

Sci. Comput. Program., 2010

C++ lambda expressions and closures.

Jaakko Järvi, John Freeman

Sci. Comput. Program., 2010

Generic flow-sensitive optimizing transformations in C++ with concepts.

Xiaolong Tang, Jaakko Järvi

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

2009

Algorithms for user interfaces.

Jaakko Järvi, Mat Marcus, Sean Parent, John Freeman, Jacob N. Smith

Proceedings of the Generative Programming and Component Engineering, 2009

2008

Variadic Templates for C++0x.

Douglas P. Gregor, Jaakko Järvi

J. Object Technol., 2008

Lambda functions for C++0x.

Jaakko Järvi, John Freeman

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Property models: from incidental algorithms to reusable components.

Jaakko Järvi, Mat Marcus, Sean Parent, John Freeman, Jacob N. Smith

Proceedings of the Generative Programming and Component Engineering, 2008

2007

An extended comparative study of language support for generic programming.

Ronald Garcia, Jaakko Järvi, Andrew Lumsdaine, Jeremy G. Siek, Jeremiah Willcock

J. Funct. Program., 2007

Variadic templates for C++.

Douglas P. Gregor, Jaakko Järvi

Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

Algorithmic differentiation in Axiom.

Jacob N. Smith, Gabriel Dos Reis, Jaakko Järvi

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2007

Library composition and adaptation using c++ concepts.

Jaakko Järvi, Matthew A. Marcus, Jacob N. Smith

Proceedings of the Generative Programming and Component Engineering, 2007

2006

Algorithm specialization in generic programming: challenges of constrained generics in C++.

Jaakko Järvi, Douglas P. Gregor, Jeremiah Willcock, Andrew Lumsdaine, Jeremy G. Siek

Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, 2006

Concepts: linguistic support for generic programming in C++.

Douglas P. Gregor, Jaakko Järvi, Jeremy G. Siek, Bjarne Stroustrup, Gabriel Dos Reis, Andrew Lumsdaine

Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

LCSD: library-centric software design.

Josh Bloch, Jaakko Järvi, David R. Musser, Sibylle Schupp, Jeremy G. Siek

Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

2005

Generic Programming and High-Performance Libraries.

Douglas P. Gregor, Jaakko Järvi, Mayuresh Kulkarni, Andrew Lumsdaine, David R. Musser, Sibylle Schupp

Int. J. Parallel Program., 2005

Associated types and constraint propagation for mainstream object-oriented generics.

Jaakko Järvi, Jeremiah Willcock, Andrew Lumsdaine

Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

2003

The Lambda Library: unnamed functions in C++.

Jaakko Järvi, Gary Powell, Andrew Lumsdaine

Softw. Pract. Exp., 2003

A comparative study of language support for generic programming.

Ronald Garcia, Jaakko Järvi, Andrew Lumsdaine, Jeremy G. Siek, Jeremiah Willcock

Proceedings of the 2003 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2003

Concept-Controlled Polymorphism.

Jaakko Järvi, Jeremiah Willcock, Andrew Lumsdaine

Proceedings of the Generative Programming and Component Engineering, 2003

1999

Object-Oriented Model for Partially Seperable Functions in Parameter Estimation.

Jaakko Järvi

Acta Cybern., 1999

C++ Function Object Binders Made Easy.

Jaakko Järvi

Proceedings of the Generative and Component-Based Software Engineering, 1999

1998

Compile Time Recursive Objects in C++.

Jaakko Järvi

Proceedings of the TOOLS 1998: 27th International Conference on Technology of Object-Oriented Languages and Systems, 1998

1997

Processing Sparse Vectors During Compile Time in C++.

Jaakko Järvi

Proceedings of the Scientific Computing in Object-Oriented Parallel Environments, 1997