Presentasjon av BLDL på norsk

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.

Sign up for announcements

Events 2025

BLDL Booth 5407 at SC25.

At supercomputing we are showcasing work on:

• Fortran Type-safe Templates, accepted for Fortran 2028.
  • 19-188 Reflecting on Generics for Fortran
  • 25-204r3 Consolidated edits for Templates
  • Introduction to Fortran Templates - Binary Search Example
  • Introduction to Fortran Templates - Accumulator Example
  • Proof-by-testing: Map and Accumulator Example with a peak at Fortran's type-safe templates
  Fortran BOF: Applications, Libraries, and Tools in Modern Fortran (alt.fortran), Wednesday, 19 November 2025 12:15-13:15 CST room 124
• Green Data Center: A Nordic Study
  Energy Informatics.
• Green Computing
  Energi efficient computing: Productive, Portable, Performant
  • The P3 problem
    • 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)

Events 2024

This November we are celebrating 15 years of BLD with a workshop Tue 26 - Wed 27 November 2024 Bergen, Norway. Check out the program at https://conf.researchr.org/home/bldl-15 and sign up!

BLDL Booth 815 at SC24. You are welcome to visit and have a chat on programming language design, Fortran templates, green computing and other topics.

Events 2023

BLDL Booth 873 at SC23.
2023 Exhibit resources

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.