Bergen Language Design Laboratory (BLDL)
Language provides us with means of expressing ideas, as well as a vehicle through which ideas evolve.
The Bergen Language Design Laboratory is dedicated to experimenting with programming concepts and providing these as tool-supported language constructs. Read our full charter here.
Events 2023
BLDL Booth 873 at SC23.
At supercomputing we are showcasing work on:- Fortran Templates, planned for the next Fortran release, expected around 2028.
Tutorial at DoE booth 243, Tuesday November 14, at 2pm, demo station no 1.
Fortran BoF, Thursday November 16, room 708, at 12:15pm.- 19-188 Reflecting on Generics for Fortran
- 23-103r1 Generics formal requirements
- 23-104r1 Formal specs for TEMPLATE
- 23-222 Formal syntax for generics
- Benjamin Chetioui, Jaakko Järvi, Magne Haveraaen: Revisiting Language Support for Generic Programming: When Genericity Is a Core Design Goal. Art Sci. Eng. Program. 7(2) (2023)
-
Green Data Center: A Nordic Study
Energy Informatics. -
Green Computing
Energi efficient computing: Productive, Portable, Performant-
Productive, portable, performant HPC
- Benjamin Chetioui, Marius Kleppe Larnøy, Jaakko Järvi, Magne Haveraaen, Lenore Mullin: P3 problem and Magnolia language: Specializing array computations for emerging architectures. Frontiers Comput. Sci. 4 (2022)
-
Coordinate-free numerics
- Magne Haveraaen, Helmer André Friis, Tor Arne Johansen: Formal Software Engineering for Computational Modelling. Nord. J. Comput. 6(3): 241-270 (1999)
- Philip W. Grant, Magne Haveraaen, Michael F. Webster: Coordinate free programming of computational fluid dynamics problems. Sci. Program. 8(4): 211-230 (2000)
-
Multi-array API
- Eva Burrows, Helmer André Friis, Magne Haveraaen: An array API for finite difference methods. ARRAY@PLDI 2018: 59-66
- Magne Haveraaen: Proving a core code for FDM correct by 2 + dw tests. ARRAY@PLDI 2018: 42-49
-
Mathematics of Arrays (MoA)
- Benjamin Chetioui, Lenore Mullin, Ole Abusdal, Magne Haveraaen, Jaakko Järvi, Sandra Macià: Finite difference methods fengshui: alignment through a mathematics of arrays. ARRAY@PLDI 2019: 2-13
- Benjamin Chetioui, Ole Abusdal, Magne Haveraaen, Jaakko Järvi, Lenore Mullin: Padding in the mathematics of arrays. ARRAY@PLDI 2021: 15-26
-
Space-time mappings
- Eva Burrows, Magne Haveraaen: A Hardware Independent Parallel Programming Model. J. Log. Algebraic Methods Program. 78(7): 519-538 (2009)
-
Productive, portable, performant HPC
BLDL historical events
An account of our first 10 years
BLDL-announce
The mailing list for Bergen Language Design Laboratory activity announcements is administered by mailman. Go to https://mailman.uib.no/listinfo/bldl-announce for signing on/off the list.