Nikolaos Papaspyrou

Publication Activity (10 Years)

Years Active: 1996-2022
Publications (10 Years): 5

Top Topics

Functional Language

Fully Distributed

Top Venues

Sci. Comput. Program.

Fundam. Informaticae

Publications

Lykourgos Mastorou, Nikolaos Papaspyrou, Niki Vazou
Coinduction inductively: mechanizing coinductive proofs in Liquid Haskell. Haskell (2022)
Phil Trinder, Natalia Chechina, Nikolaos Papaspyrou, Konstantinos Sagonas, Simon J. Thompson, Stephen Adams, Stavros Aronis, Robert Baker, Eva Bihari, Olivier Boudeville, Francesco Cesarini, Maurizio Di Stefano, Sverker Eriksson, Viktoria Fordós, Amir Ghaffari, Aggelos Giantsios, Rickard Green, Csaba Hoch, David Klaftenegger, Huiqing Li, Kenneth Lundin, Kenneth MacKenzie, Katerina Roukounaki, Yiannis Tsiouris, Kjell Winblad
Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform. ACM Trans. Program. Lang. Syst. 39 (4) (2017)
Aggelos Giantsios, Nikolaos Papaspyrou, Konstantinos Sagonas
Concolic testing for functional languages. Sci. Comput. Program. 147 (2017)
Eneia Nicolae Todoran, Nikolaos Papaspyrou
Concurrency Semantics in Continuation-Passing Style. Fundam. Informaticae 153 (1-2) (2017)
Phil Trinder, Natalia Chechina, Nikolaos Papaspyrou, Konstantinos Sagonas, Simon J. Thompson, Stephen Adams, Stavros Aronis, Robert Baker, Eva Bihari, Olivier Boudeville, Francesco Cesarini, Maurizio Di Stefano, Sverker Eriksson, Viktoria Fordós, Amir Ghaffari, Aggelos Giantsios, Rickard Green, Csaba Hoch, David Klaftenegger, Huiqing Li, Kenneth Lundin, Kenneth MacKenzie, Katerina Roukounaki, Yiannis Tsiouris, Kjell Winblad
Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform. CoRR (2017)
Angelos Charalambidis, Nikolaos Papaspyrou, Panos Rondogiannis
Tagged Dataflow: a Formal Model for Iterative Map-Reduce. EDBT/ICDT Workshops (2014)
Georgios Fourtounis, Nikolaos Papaspyrou
An efficient representation for lazy constructors using 64-bit pointers. FHPC@ICFP (2014)
Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas
Static safety guarantees for a low-level multithreaded language with regions. Sci. Comput. Program. 80 (2014)
Georgios Fourtounis, Nikolaos Papaspyrou, Panos Rondogiannis
The Generalized Intensional Transformation for Implementing Lazy Functional Languages. PADL (2013)
Nikolaos Papaspyrou, Konstantinos Sagonas
On preserving term sharing in the Erlang virtual machine. Erlang Workshop (2012)
Olivier Boudeville, Francesco Cesarini, Natalia Chechina, Kenneth Lundin, Nikolaos Papaspyrou, Konstantinos Sagonas, Simon J. Thompson, Phil Trinder, Ulf T. Wiger
RELEASE: A High-Level Paradigm for Reliable Large-Scale Server Software - (Project Paper). Trends in Functional Programming (2012)
Stavros Aronis, Nikolaos Papaspyrou, Katerina Roukounaki, Konstantinos Sagonas, Yiannis Tsiouris, Ioannis E. Venetis
A scalability benchmark suite for Erlang/OTP. Erlang Workshop (2012)
Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas, Panagiotis Vekris
Dynamic deadlock avoidance in systems code using statically inferred effects. PLOS@SOSP (2011)
Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas
A type and effect system for deadlock avoidance in low-level languages. TLDI (2011)
Niki Vazou, Michalis A. Papakyriakou, Nikolaos Papaspyrou
Memory Safety and Race Freedom in Concurrent Programming Languages with Linear Capabilities. FedCSIS (2011)
Georgios Korfiatis, Michalis A. Papakyriakou, Nikolaos Papaspyrou
A Type and Effect System for Implementing Functional Arrays with Destructive Updates. FedCSIS (2011)
Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas
A Type System for Unstructured Locking that Guarantees Deadlock Freedom without Imposing a Lock Ordering PLACES (2010)
Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas
Race-free and memory-safe multithreading: design and implementation in cyclone. TLDI (2010)
Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas
A Concurrent Language with a Uniform Treatment of Regions and Locks PLACES (2009)
Zhong Shao, Valery Trifonov, Bratin Saha, Nikolaos Papaspyrou
A type system for certified binaries. ACM Trans. Program. Lang. Syst. 27 (1) (2005)
Andreas Papasalouros, Symeon Retalis, Nikolaos Papaspyrou
Automating Standards-Based Courseware Development Using UML. ICWE (2004)
Nikolaos Papaspyrou, Ioannis T. Kassios
GLU embedded in C++: a marriage between multidimensional and object-oriented programming. Softw. Pract. Exp. 34 (7) (2004)
Andreas Papasalouros, Symeon Retalis, Nikolaos Papaspyrou
Semantic Description of Educational Adaptive Hypermedia based on a Conceptual Model. J. Educ. Technol. Soc. 7 (4) (2004)
Paris Avgeriou, Symeon Retalis, Nikolaos Papaspyrou
Modeling learning technology systems as business systems. Softw. Syst. Model. 2 (2) (2003)
Zhong Shao, Bratin Saha, Valery Trifonov, Nikolaos Papaspyrou
A type system for certified binaries. POPL (2002)
Nikolaos Papaspyrou, Dragan Macos
A study of evaluation order semantics in expressions with side effects. J. Funct. Program. 10 (3) (2000)
Eneia Todoran, Nikolaos Papaspyrou
Continuations for parallel logic programming. PPDP (2000)
Nikolaos Papaspyrou, Cleo Sgouropoulou, Emmanuel Skordalakis
A Model of Collaborating Agents for Content-Based Electronic Document Filtering. J. Intell. Robotic Syst. 26 (2) (1999)
Vassilis Makrakis, Symeon Retalis, Anastasios Koutoumanos, Nikolaos Papaspyrou, Manolis Skordalakis
Evaluating the Effectiveness of an ODL Hypermedia System and Courseware at the National Technical University of Athens: A Case Study. J. Univers. Comput. Sci. 4 (3) (1998)
Nikolaos Papaspyrou, Anastasios Koutoumanos, Hermann A. Maurer, Emmanuel Skordalakis
An Ongoing experiment in ODL using new technologies. WebNet (1996)
Nikolaos Papaspyrou
A Framework for Programming Denotational Semantics in C++. ACM SIGPLAN Notices 31 (8) (1996)
Anastasios Koutoumanos, Nikolaos Papaspyrou, Symeon Retalis, Emmanuel Skordalakis
Towards a novel networked learning environment. WebNet (1996)
Vassilios C. Vescoukis, Nikolaos Papaspyrou, Emmanuel Skordalakis
A Logic-Based Framework for Reasoning Support in Software Evolution. CAiSE (1996)