Zobrazeno 1 - 10
of 40
pro vyhledávání: '"Nikolaos Papaspyrou"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 69, Iss Proc. PLACES 2010, Pp 44-58 (2011)
Deadlocks occur in concurrent programs as a consequence of cyclic resource acquisition between threads. In this paper we present a novel type system that guarantees deadlock freedom for a language with references, unstructured locking primitives, and
Externí odkaz:
https://doaj.org/article/5ebf8069344e4110ad2466674dd21ded
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 17, Iss Proc. PLACES 2009, Pp 79-93 (2010)
A challenge for programming language research is to design and implement multi-threaded low-level languages providing static guarantees for memory safety and freedom from data races. Towards this goal, we present a concurrent language employing safe
Externí odkaz:
https://doaj.org/article/96e58c8a37844ebb87aca044f6f791c1
Publikováno v:
Proceedings of the 15th ACM SIGPLAN International Haskell Symposium.
Publikováno v:
Science of Computer Programming. 147:109-134
Concolic testing is a software testing technique that simultaneously combines concrete execution of a program (given specific input, along specific paths) with symbolic execution (generating new test inputs that explore other paths, which gives bette
Publikováno v:
Fundamenta Informaticae. 153:125-146
Autor:
Martin Fürer, Panagiotis Cheilaris, Christos Nomikos, Euripides Markou, Nikolaos Papaspyrou, Eleni Bakali, Dimitris Fotakis, Katerina Potika, Costas D. Koutras, Christos H. Papadimitriou, Aris Pagourtzis
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319575858
CIAC
CIAC
This year we are celebrating the 70th birthday of Stathis! We take this chance to recall some of his remarkable contributions to Computer Science.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1afd97f73302facf4c5e8084a468de72
https://doi.org/10.1007/978-3-319-57586-5_39
https://doi.org/10.1007/978-3-319-57586-5_39
Autor:
Natalia Chechina, Stavros Aronis, Kjell Winblad, Konstantinos Sagonas, Phil Trinder, Katerina Roukounaki, Maurizio Di Stefano, Kenneth MacKenzie, Kenneth Lundin, Olivier Boudeville, Sverker Eriksson, Rickard Green, Stephen Adams, Nikolaos Papaspyrou, Viktória Fördős, Huiqing Li, Csaba Hoch, Eva Bihari, Amir Ghaffari, Francesco Cesarini, Yiannis Tsiouris, Aggelos Giantsios, David Klaftenegger, Robert Baker, Simon Thompson
Distributed actor languages are an effective means of constructing scalable reliable systems, and the Erlang programming language has a well-established and influential model. While the Erlang model conceptually provides reliable scalability, it has
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d89d408b66a02d8cce6d1a8b04108bce
Publikováno v:
Science of Computer Programming. 80:223-263
We present the design of a formal low-level multithreaded language with advanced region-based memory management and thread synchronization primitives, where well-typed programs are memory safe and race free. In our language, regions and locks are com
Publikováno v:
Computer Science and Information Systems. 11:1417-1434
Defunctionalization is generally considered a whole-program transformation and thus incompatible with separate compilation. In this paper, we formalize a modular variant of defunctionalization which can support separate compilation for a functional p
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 69, Iss Proc. PLACES 2010, Pp 44-58 (2011)
Deadlocks occur in concurrent programs as a consequence of cyclic resource acquisition between threads. In this paper we present a novel type system that guarantees deadlock freedom for a language with references, unstructured locking primitives, and