Bergen Language Design Laboratory (BLDL)
BLDL has an internal meeting series. Some of these have a content which may be of interest to a larger audience. The program of these are announced here.
Contact Magne Haveraaen for more information.
- Friday 2017-03-03 1015-1300,
Store auditorium, Høyteknologisenteret.
Tero Hasu (BLDL, Department of Informatics, University of Bergen) PhD defence:
Programming Language Technology for Niche Platforms
Most smartphone "apps" developed today run on the Android or iOS operating system, but less established app platforms (such as BlackBerry 10 and Tizen) also exist, and come and go as the mobile device market evolves. Consequently, keeping an app available for a wider selection of current platforms poses risks and costs for a software vendor. The dissertation outlines a strategy for systematically dealing with platforms targeted by a line of software products, and presents technology aimed at supporting that strategy.
A programming language is designed for human expression of what a computer should do, and different languages are favored for different platforms (e.g., Java for Android). To help shield product engineers from platform details, Hasu suggests building product line automation around an adaptable programming language familiar to the engineers and translatable into platform favorite languages. In order to make different tradeoffs between general translatability and platform specificity, the language might be adapted into a family of variations of itself.
For the development of such language families, the dissertation presents technology for customizing and translating languages. It also presents platform-agnostic features for inclusion in languages, to help programmers deal with common concerns such as error handling and product configuration management.
By assembling and maintaining a common technology base for multi-platform software production tooling, a software vendor can approach new platforms confidently, even when those platforms themselves lack healthy developer ecosystems.
Short bio: Tero Hasu (1972) was born in Finland. He got a master's degree in computer science from Helsinki University of Technology (1999), and has since then worked as a software developer. The doctoral thesis work was done at the Bergen Language Design Laboratory (BLDL).
- Thursday 2017-03-02 1415-1500,
Store auditorium, Høyteknologisenteret.
The degree of dependability increases, and so does the need to provide guarantees about the workings of a software system. But what if reality cannot be modeled or if it damages the software system? In this talk I exemplify incomplete or hostile environments and show how formal reasoning still may prevail.
Short bio: Sibylle Schupp is professor and head of the Institute of Software Systems at Hamburg University of Technology (TUHH). Before joining TUHH, she was Associate Professor at Chalmers Technical University in Gothenburg, Sweden, and Assistant Professor at Rensselaer in NY, USA.
- Wednesday 2017-02-22 1415-1600,
Ali Alnajjar (BLDL, Department of Informatics, University of Bergen):
Institutions, property-aware programming and testing
- Wednesday 2017-02-22 1015-1100,
Lille auditorium, Høyteknologisenteret.
Tero Hasu (BLDL, Department of Informatics, University of Bergen):
What makes or breaks a programming language?
The talk presents the stories of a few prominent (some popular, some by other criteria) programming languages. The presentation focuses on the context and environment that made possible or triggered their creation, and the reasons that enabled them to gain stature.
It discusses characteristics and commonalities in contexts, language features, domains, the kind of people and organizations behind language development, etc. that correlate with a language's fate.
The presentation will be understandable by and informative to a 2nd-year Bachelor student in Computer Science.
- Tuesday 2017-02-21 1415-1600,
Simen Grønsund (BLDL, Department of Informatics, University of Bergen):
High-Performance Design Patterns for Modern Fortran
VilVite auditorium is in VilVite, Thormøhlensgt 51.
Conference room D is in VilVite, Thormøhlensgt 51.
Lille auditorium is in Datablokken, Høyteknologisenteret, Thormøhlensgt 55.
Stort auditorium is in Datablokken, Høyteknologisenteret, Thormøhlensgt 55.