TY - GEN
T1 - Abstractions, semantic models and analysis tools for concurrent systems
T2 - 14th International Conference on Software Engineering and Formal Methods, SEFM 2016 Held as Part of Conference on Software Technologies: Applications and Foundations, STAF 2016
AU - Agha, Gul
N1 - Publisher Copyright:
© Springer International Publishing Switzerland 2016.
PY - 2016
Y1 - 2016
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=84977535181&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84977535181&partnerID=8YFLogxK
U2 - 10.1007/978-3-319-41591-8_1
DO - 10.1007/978-3-319-41591-8_1
M3 - Conference contribution
AN - SCOPUS:84977535181
SN - 9783319415901
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 3
EP - 8
BT - Software Engineering and Formal Methods - 14th International Conference, SEFM 2016 Held as Part of STAF 2016, Proceedings
A2 - Kuhn, Eva
A2 - De Nicola, Rocco
PB - Springer
Y2 - 4 July 2016 through 8 July 2016
ER -