Jaakko Järvi
Dean of Faculty of Technology
jaakko.jarvi@utu.fi +358 29 450 3476 +358 44 526 0799 ORCID-tunniste: https://orcid.org/0000-0002-3418-7366 |
ohjelmistotekniikka; ohjelmointikielet
Jaakko Järvi joined the University of Turku as a professor of software engineering in 2020. He has served as the head of the Department of Future Technologies (now Dept. of Computing) in 2020, and since 2021 as the dean of the Faculty of Technology. He has formerly held academic positions at University of Bergen, Norway (professor, 2016–2019), Texas A&M University (assistant/associate professor 2004—2016), and Indiana University (postdoc, 2001—2004). The fall of 2013 he worked as a visiting scientist at Adobe System Inc. in San Jose, CA. Järvi's PhD is from the University of Turku (2000).
In the broadest sense, my field of research is software construction. More specifically, my research contributions have been in such areas as programming language design (many contributions to standard C++), generic and generative programming, type systems, and software library design. In the past few years, I have focused on user interfaces and their programming declartively using a programming model based on multiway dataflow constraint systems.
I currently teach a seminar in Software Engineering and advise MSc/BSc theses on topics related to software research. I have in the past taught and developed courses at several universities, at undergraduate and graduate levels, on Programming Languages, Programming Language Design, Concurrent Programming, Generic Programming, Software Engineering, project-based classes on software construction, Program Specification, and User Interface Programming.
- Designing a Toolkit for Evaluating HCI Guidance Systems in Physical Spaces: Case of Flavoria Research Lunch Line (2025) CHI EA '25: Proceedings of the Extended Abstracts of the CHI Conference on Human Factors in Computing Systems Koivunen, Lauri; Papalitsas, Aleksi; Khursheed, Muhammad Ismail; Akar, Ecem; Lehtojärvi, Susanna; Islas Sedano, Carolina A.; Järvi, Jaakko
(Abstrakti) - Containers for GUI Models (2024) Programming '24 : Companion Proceedings of the 8th International Conference on the Art, Science, and Engineering of Programming Stokke, Knut Anders; Barash, Mikhail; Järvi, Jaakko; Stenholm, Elisabeth; Robbestad Gylterud, Håkon
(A4 Vertaisarvioitu artikkeli konferenssijulkaisussa) - A domain-specific language for structure manipulation in constraint system-based GUIs (2023)
- Journal of Computer Languages
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - The Ultimate GUI Framework: Are We There Yet? (2023)
- Open Access Series in Informatics
(A4 Vertaisarvioitu artikkeli konferenssijulkaisussa) - Towards Reusable GUI Structures (2023) SPLASH 2023: Companion Proceedings of the 2023 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity Stokke Knut Anders, Barash Mikhail, Järvi Jaakko
(O2 Muu julkaisu ) - P³ Problem and Magnolia Language: Specializing Array Computations for Emerging Architectures (2022)
- Frontiers in Computer Science
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - Revisiting Language Support for Generic Programming: When Genericity Is a Core Design Goal (2022)
- The Art, Science, and Engineering of Programming
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - Padding in the Mathematics of Arrays (2021)
- ACM Sigplan Conference on Programming Language Design and Implementation
(A4 Vertaisarvioitu artikkeli konferenssijulkaisussa) - Semantics of multiway dataflow constraint systems (2021)
- Journal of Logical and Algebraic Methods in Programming
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - Manipulating GUI Structures Declaratively (2020) GPCE 2020: Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences Knut Anders Stokke, Mikhail Barash, Jaakko Järvi
(A4 Vertaisarvioitu artikkeli konferenssijulkaisussa) - Finite Difference Methods Fengshui: Alignment through a Mathematics of Arrays (2019) ARRAY 2019: Proceedings of the 6th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming Chetioui B, Mullin L, Abusdal O, Haveraaen M, Järvi J, Macia S
(A4 Vertaisarvioitu artikkeli konferenssijulkaisussa) - Generating Reactive Programs for Graphical User Interfaces from Multi-way Dataflow Constraint Systems (2016)
- ACM sigplan notices
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - Axioms as generic rewrite rules in C++ with concepts (2015)
- Science of Computer Programming
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - EvolutionWorks Towards Improved Visualization of Citation Networks (2015)
- Lecture Notes in Computer Science
(A4 Vertaisarvioitu artikkeli konferenssijulkaisussa) - Specializing Planners for Hierarchical Multi-way Dataflow Constraint Systems (2015)
- ACM sigplan notices
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - HotDrink A Library for Web User Interfaces (2013)
- ACM sigplan notices
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - Helping Programmers Help Users (2012)
- ACM sigplan notices
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - Summary-Based Data-Flow Analysis that Understands Regular Composite Objects and Iterators (2012)
- Applied Computing Review
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )