A true positives theorem for a static race detector

Autor: Nikos Gorogiannis, Peter W. O'Hearn, Ilya Sergey

Publikováno v: Proceedings of the ACM on Programming Languages. 3:1-29

RacerD is a static race detector that has been proven to be effective in engineering practice: it has seen thousands of data races fixed by developers before reaching production, and has supported the migration of Facebook's Android app rendering inf

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::46f1a50bbf64e1066c3419d87f974cbf
https://doi.org/10.1145/3290370

SL-COMP: Competition of Solvers for Separation Logic

Autor: Adam Rogalewicz, Chong Gao, Michal Cyprian, Juan Antonio Navarro Pérez, Quang-Trung Ta, Wei-Ngan Chin, Mihaela Sighireanu, Nikos Gorogiannis, Tomáš Vojnar, Thomas Noll, Andrew Reynolds, Ondrej Lengál, Ton Chanh Le, Quang Loc Le, Constantin Enea, Andrey Rybalchenko, Jens Katelaan, Thanh-Toan Nguyen, Zhilin Wu, Christoph Matheja, Siau-Cheng Khoo, Radu Iosif, Florian Zuleger, Cristina Serban

Publikováno v: Tools and Algorithms for the Construction and Analysis of Systems-25 Years of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019
Tools and Algorithms for the Construction and Analysis of Systems-25 Years of TOOLympics, Held as Part of 2019, Apr 2019, Prague, Czech Republic. pp.116-132, ⟨10.1007/978-3-030-17502-3_8⟩
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783030175016
TACAS (3)

International audience; SL-COMP aims at bringing together researchers interested on improving the state of the art of the automated deduction methods for Separation Logic (SL). The event took place twice until now and collected more than 1K problems

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::430f3459dc4dd84c205e9a65fbc661b3
https://hal.archives-ouvertes.fr/hal-02388022

MIRTO: an open-source robotic platform for education

Autor: Martin J. Loomes, Kelly Androutsopoulos, Giuseppe Primiero, Michele Bottone, Nick Weldin, M. Heeney, Miltos Petridis, Bob Fields, Nikos Gorogiannis, L. Gheri, A. Piermarteri, L. Aristodemou, I. El-Aroussi, Michael Margolis, Franco Raimondi, Jaap Boender, Matteo Micheletti, Edward Currie

Publikováno v: ECSEE

This paper introduces the Middlesex RoboTic platfOrm (MIRTO), an open-source platform that has been used for teaching First Year Computer Science students since the academic year 2013/2014, with the aim of providing a physical manifestation of Softwa

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6a4f5d0f77479de9e3b6f102131e30d0
https://eprints.mdx.ac.uk/24368/1/preprint.pdf

vIRONy: A Tool for Analysis and Verification of ECA Rules in Intelligent Environments

Autor: Nikos Gorogiannis, Rosario Culmone, Flavio Corradini, Claudia Vannucchi, Diletta Cacciagrano, Michelangelo Diamanti, Gianmarco Mazzante, Franco Raimondi, Leonardo Mostarda

Publikováno v: Intelligent Environments

Intelligent Environments (IE) are a very active area of research and a number of applications are currently being deployed in domains ranging from smart home to e-health and autonomous vehicles. In a number of cases, IE operate together with (or to s

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::04d6f3153c19854cd8c86ece909b7fb1
https://doi.org/10.1109/ie.2017.32

Biabduction (and Related Problems) in Array Separation Logic

Autor: Nikos Gorogiannis, Max I. Kanovich, James Brotherston

Publikováno v: Automated Deduction – CADE 26 ISBN: 9783319630458
CADE

We investigate array separation logic (\(\mathsf {ASL}\)), a variant of symbolic-heap separation logic in which the data structures are either pointers or arrays, i.e., contiguous blocks of memory. This logic provides a language for compositional mem

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::11060102ed38d14679d19ecd52e0d612
https://doi.org/10.1007/978-3-319-63046-5_29