Nikolaos Papaspyrou

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