Staff

Research interests  [ Show full biography ]

Current research interests are in programming language issues, targeting parallel, embedded, and real-time systems: language design, and program analysis especially w.r.t timing properties.

Latest publications [ Show all publications ]

Research projects

On-going:
• ALL-TIMES
• ConCentric CRAFT - Creative Activities Framework -- Theory and practice of Content-Centric interaction Technology
• Dimensional Inference in Strongly Typed Modeling Languages.
• Global Constraints in Constraint Programming and Local Search
• Parallel Execution of PLEX programs
• PG-CBD-StatA – Static Timing Analysis of Component-Based Systems
• PICO - Philosophy of Information and Computing
• PROGRESS
• WCET - Worst-Case Execution Time analysis


Finished:
• 3D Graphics Simulation
• A Canonical Model of the Primary Visual Cortex
• ARTIST
• Data Field Haskell
• Genetic Algorithm Theory
• Haxcel
• High Level Languages for Hard and Embedded Real-Time Systems
• Remodel
• Response-time Calculations with Integer Linear Programming Methods
• Tools for analysis of complex software systems

Supervised Ph D students

• Markus Bohlin
• Stefan Bygde
• Jan Carlson  (finished)
• Baran Çürüklü  (finished)
• Andreas Gustavsson
• Waldemar Kocjan
• Johan Lindhult
• Markus Nilsson  (finished)  (assistant supervisor)
• Mikael Sandberg
• Christer Sandberg
• Marcelo Santos
• Mikael Sollenborn  (finished)  (assistant supervisor)

• Master Thesis - Constraint Programming Techniques in WCET Analysis
• Master Thesis - Writing a PowerPC assembler to ALF translator in cooperation with world-leading WCET tool providers
• Adaptering av SimpleScalar simulatorn till exekveringsverktyget SWEET
• Automatic log analysis in industrial robot automation systems
• Communication Security at ABB FACTS
• Ett förbättrat kalkylbladsinterface till Haskell
• Ett kalkylbladsinterface till Haskell
• Ett matematiskt korrekt, typsäkert matrisbibliotek i C++
• Förbättrad simulering av minneselektronik
• Identifying and validating key features in a robot automation system
• Implementering av algoritmer för att detektera avvikelser i EDGAR
• Master Thesis - Value analysis of safety critical embedded software at Volvo CE / Värdeanalys av säkerhetskritisk inbyggd programvara vid Volvo CE
• Master Thesis - Writing a NECV850E assembler to ALF translator in cooperation with world-leading WCET tool providers
• Master thesis: Creating open-source embedded real-time systems benchmarks in cooperation with companies
• Pansarvagnssimulator i 3D
• System and Issue Tracker Application

Teaching