Towards Meta-Level Engineering and Tooling for Complex Concurrent Systems

Elisa Gonzalez Boix, Stefan Marr, Hanspeter Mossenbock

Research output: Chapter in Book/Report/Conference proceedingMeeting abstract (Book)

Abstract

With the widespread use of multicore processors, software becomes more and more diverse in its use of parallel computing resources. To address all application requirements, each with the appropriate abstraction, developers mix and match various concurrency abstractions made available to them via libraries and frameworks. Unfortunately, today’s tools such as debuggers and profilers do not support the diversity of these abstractions. Instead of enabling developers to reason about the high-level programming concepts, they used to express their programs, the tools work only on the library’s implementation level. While this is a common problem also for other libraries and frameworks, the complexity of concurrency exacerbates the issue further, and reasoning on the higher levels of the concurrency abstractions is essential to manage the associated complexity.
Original languageEnglish
Title of host publicationArbeitstagung Programmiersprachen (ATPS 2016)
Place of PublicationVienna, Austria
PublisherCEUR Workshop Proceedings
Pages91-95
Volume1559
EditionSE-WS 2016
ISBN (Electronic)1613-0073
Publication statusPublished - 2016
EventGemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016: SE 2016 - Wien, Austria
Duration: 23 Feb 201626 Feb 2016

Publication series

NameGemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016 (SE 2016)
PublisherCEUR
Volume1559
ISSN (Electronic)1613-0073

Workshop

WorkshopGemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016
CountryAustria
CityWien
Period23/02/1626/02/16

Keywords

  • concurrency
  • metalevel engineering
  • debugging
  • software tools

Fingerprint Dive into the research topics of 'Towards Meta-Level Engineering and Tooling for Complex Concurrent Systems'. Together they form a unique fingerprint.

Cite this