Towards Meta-Level Engineering and Tooling for Complex Concurrent Systems. Marr, S., Gonzalez Boix, E., & Mössenböck, H. In Proceedings of the 9th Arbeitstagung Programmiersprachen, of ATPS'16, February, 2016. CEUR-WS.
Towards Meta-Level Engineering and Tooling for Complex Concurrent Systems [link]Paper  abstract   bibtex   
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. In this position paper, we identify open research issues and propose to build tools based on a common meta-level interface to enable developers to reasons about their programs based on the high-level concepts they used to implement them.
@inproceedings{marr2016towards,
  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.

In this position paper, we identify open research issues and
propose to build tools based on a common meta-level interface to
enable developers to reasons about their programs based on the
high-level concepts they used to implement them.},
  added-at = {2016-01-25T13:07:14.000+0100},
  author = {Marr, Stefan and Gonzalez Boix, Elisa and Mössenböck, Hanspeter},
  biburl = {http://www.bibsonomy.org/bibtex/2753281773708fffc623689ec2c4e7f8a/gron},
  booktitle = {Proceedings of the 9th Arbeitstagung Programmiersprachen},
  day = 25,
  interhash = {b0599561ea7514193ff3fa9a93eec376},
  intrahash = {753281773708fffc623689ec2c4e7f8a},
  issn = {1613-0073},
  keywords = {Profiling myown MeMyPublication Representation MetaProgramming Tooling Abstraction Concepts HighLevel Concurrency MetaLevel MetaEngineering Parallelism},
  location = {Vienna, Austria},
  month = {February},
  pdf = {http://stefan-marr.de/downloads/atps-marr-et-al-towards-meta-level-engineering-and-tooling-for-complex-concurrent-systems.pdf},
  publisher = {CEUR-WS},
  series = {ATPS'16},
  timestamp = {2016-01-25T13:18:19.000+0100},
  title = {Towards Meta-Level Engineering and Tooling for Complex Concurrent Systems},
  type = {Position Paper},
  url = {http://stefan-marr.de/papers/atps-marr-et-al-towards-meta-level-engineering-and-tooling-for-complex-concurrent-systems/},
  year = 2016
}

Downloads: 0