Jaakko Järvi

Orcid: 0000-0002-3418-7366

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Containers for GUI Models.
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.
J. Comput. Lang., January, 2023

Revisiting Language Support for Generic Programming: When Genericity Is a Core Design Goal.
Art Sci. Eng. Program., 2023

Towards Reusable GUI Structures.
Proceedings of the Companion Proceedings of the 2023 ACM SIGPLAN International Conference on Systems, 2023

The Ultimate GUI Framework: Are We There Yet?
Proceedings of the Eelco Visser Commemorative Symposium, 2023

2022
P3 problem and Magnolia language: Specializing array computations for emerging architectures.
Frontiers Comput. Sci., 2022

2021
Semantics of multiway dataflow constraint systems.
J. Log. Algebraic Methods Program., 2021

Padding in the mathematics of arrays.
Proceedings of the ARRAY 2021: Proceedings of the 7th ACM SIGPLAN International Workshop on Libraries, 2021

2020
Manipulating GUI structures declaratively.
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.
Proceedings of the 6th ACM SIGPLAN International Workshop on Libraries, 2019

VisAST: Generic AST Visualiser for Software Language Education.
Proceedings of the 32nd Norsk Informatikkonferanse, 2019

2016
One Way to Select Many (Artifact).
Dagstuhl Artifacts Ser., 2016

Reusable Multi-selection in Touch-Screen User Interfaces.
Proceedings of the 29th Norsk Informatikkonferanse, 2016

One Way to Select Many.
Proceedings of the 30th European Conference on Object-Oriented Programming, 2016

2015
Axioms as generic rewrite rules in C++ with concepts.
Sci. Comput. Program., 2015

EvolutionWorks - Towards Improved Visualization of Citation Networks.
Proceedings of the Human-Computer Interaction - INTERACT 2015, 2015

Generating reactive programs for graphical user interfaces from multi-way dataflow constraint systems.
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.
Proceedings of the Generative Programming: Concepts and Experiences, 2014

2012
Exploiting regularity of user-defined types to improve precision of program analyses.
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.
Proceedings of the 8th ACM SIGPLAN workshop on Generic programming, 2012

HotDrink: a library for web user interfaces.
Proceedings of the Generative Programming and Component Engineering, 2012

2011
Extending type systems in a library: Type-safe XML processing in C++.
Sci. Comput. Program., 2011

Efficient run-time dispatching in generic programming with minimal code bloat.
Sci. Comput. Program., 2011

Helping programmers help users.
Proceedings of the Generative Programming And Component Engineering, 2011

2010
Programming with C++ concepts.
Sci. Comput. Program., 2010

C++ lambda expressions and closures.
Sci. Comput. Program., 2010

Generic flow-sensitive optimizing transformations in C++ with concepts.
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

2009
Algorithms for user interfaces.
Proceedings of the Generative Programming and Component Engineering, 2009

2008
Variadic Templates for C++0x.
J. Object Technol., 2008

Lambda functions for C++0x.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Property models: from incidental algorithms to reusable components.
Proceedings of the Generative Programming and Component Engineering, 2008

2007
An extended comparative study of language support for generic programming.
J. Funct. Program., 2007

Variadic templates for C++.
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

Algorithmic differentiation in Axiom.
Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2007

Library composition and adaptation using c++ concepts.
Proceedings of the Generative Programming and Component Engineering, 2007

2006
Algorithm specialization in generic programming: challenges of constrained generics in C++.
Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, 2006

Concepts: linguistic support for generic programming in C++.
Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

LCSD: library-centric software design.
Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

2005
Generic Programming and High-Performance Libraries.
Int. J. Parallel Program., 2005

Associated types and constraint propagation for mainstream object-oriented generics.
Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

2003
The Lambda Library: unnamed functions in C++.
Softw. Pract. Exp., 2003

A comparative study of language support for generic programming.
Proceedings of the 2003 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2003

Concept-Controlled Polymorphism.
Proceedings of the Generative Programming and Component Engineering, 2003

1999
Object-Oriented Model for Partially Seperable Functions in Parameter Estimation.
Acta Cybern., 1999

C++ Function Object Binders Made Easy.
Proceedings of the Generative and Component-Based Software Engineering, 1999

1998
Compile Time Recursive Objects in C++.
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++.
Proceedings of the Scientific Computing in Object-Oriented Parallel Environments, 1997


  Loading...