Abstractions, semantic models and analysis tools for concurrent systems: Progress and open problems

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

The growth of mobile and cloud computing, cyberphysical systems and the internet of things has arguably made scalable concurrency the central to computing. Actor languages and frameworks have been widely adopted to address scalability. Moreover, new tools that combine static and dyamic analysis are making software safer. This presentation describes the actor programming model and reasoning tools for scalable concurrency. As we scale up cyberphysical applications and build the internet of things, a key limitation of current languages and tools becomes apparent: the difficulty of representing quantitative and probabilistic properties and reasoning about them. The paper concludes by discussing some techniques to address reasoning about the behavior of complex scalable concurrent applications.

Original languageEnglish (US)
Title of host publicationSoftware Engineering and Formal Methods - 14th International Conference, SEFM 2016 Held as Part of STAF 2016, Proceedings
EditorsEva Kuhn, Rocco De Nicola
PublisherSpringer-Verlag Berlin Heidelberg
Pages3-8
Number of pages6
ISBN (Print)9783319415901
DOIs
StatePublished - Jan 1 2016
Event14th International Conference on Software Engineering and Formal Methods, SEFM 2016 Held as Part of Conference on Software Technologies: Applications and Foundations, STAF 2016 - Vienna, Austria
Duration: Jul 4 2016Jul 8 2016

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume9763
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other14th International Conference on Software Engineering and Formal Methods, SEFM 2016 Held as Part of Conference on Software Technologies: Applications and Foundations, STAF 2016
CountryAustria
CityVienna
Period7/4/167/8/16

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Abstractions, semantic models and analysis tools for concurrent systems: Progress and open problems'. Together they form a unique fingerprint.

  • Cite this

    Agha, G. (2016). Abstractions, semantic models and analysis tools for concurrent systems: Progress and open problems. In E. Kuhn, & R. De Nicola (Eds.), Software Engineering and Formal Methods - 14th International Conference, SEFM 2016 Held as Part of STAF 2016, Proceedings (pp. 3-8). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9763). Springer-Verlag Berlin Heidelberg. https://doi.org/10.1007/978-3-319-41591-8_1