Nikolaos S. Papaspyrou

According to our database, Nikolaos S. Papaspyrou authored at least 40 papers between 1996 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

Coinduction inductively: mechanizing coinductive proofs in Liquid Haskell.

Lykourgos Mastorou, Nikolaos Papaspyrou, Niki Vazou

Proceedings of the Haskell '22: 15th ACM SIGPLAN International Haskell Symposium, Ljubljana, Slovenia, September 15, 2022

2017

Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform.

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

ACM Trans. Program. Lang. Syst., 2017

Concolic testing for functional languages.

Aggelos Giantsios, Nikolaos Papaspyrou, Konstantinos Sagonas

Sci. Comput. Program., 2017

Concurrency Semantics in Continuation-Passing Style.

Eneia Nicolae Todoran, Nikolaos Papaspyrou

Fundam. Informaticae, 2017

Stathis Zachos at 70!

Eleni Bakali, Panagiotis Cheilaris, Dimitris Fotakis, Martin Fürer, Costas D. Koutras, Euripides Markou, Christos Nomikos, Aris Pagourtzis, Christos H. Papadimitriou, Nikolaos S. Papaspyrou, Katerina Potika

Proceedings of the Algorithms and Complexity - 10th International Conference, 2017

2014

Static safety guarantees for a low-level multithreaded language with regions.

Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas

Sci. Comput. Program., 2014

Modular polymorphic defunctionalization.

Georgios Fourtounis, Nikolaos S. Papaspyrou, Panagiotis Theofilopoulos

Comput. Sci. Inf. Syst., 2014

An efficient representation for lazy constructors using 64-bit pointers.

Georgios Fourtounis, Nikolaos Papaspyrou

Proceedings of the 3rd ACM SIGPLAN workshop on Functional high-performance computing, 2014

Tagged Dataflow: a Formal Model for Iterative Map-Reduce.

Angelos Charalambidis, Nikolaos Papaspyrou, Panos Rondogiannis

Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference (EDBT/ICDT 2014), 2014

2013

Supporting Separate Compilation in a Defunctionalizing Compiler.

Georgios Fourtounis, Nikolaos S. Papaspyrou

Proceedings of the 2nd Symposium on Languages, Applications and Technologies, 2013

The Generalized Intensional Transformation for Implementing Lazy Functional Languages.

Georgios Fourtounis, Nikolaos Papaspyrou, Panos Rondogiannis

Proceedings of the Practical Aspects of Declarative Languages, 2013

Compilation to Quantum Circuits for a Language with Quantum Data and Control.

Yannis Rouselakis, Nikolaos S. Papaspyrou, Yiannis Tsiouris, Eneia Todoran

Proceedings of the 2013 Federated Conference on Computer Science and Information Systems, 2013

Teaching Programming through Problem Solving: The Role of the Programming Language.

Nikolaos S. Papaspyrou, Stathis Zachos

Proceedings of the 2013 Federated Conference on Computer Science and Information Systems, 2013

2012

RELEASE: A High-Level Paradigm for Reliable Large-Scale Server Software - (Project Paper).

Olivier Boudeville, Francesco Cesarini, Natalia Chechina, Kenneth Lundin, Nikolaos Papaspyrou, Konstantinos Sagonas, Simon J. Thompson, Phil Trinder, Ulf T. Wiger

Proceedings of the Trends in Functional Programming - 13th International Symposium, 2012

Test Set Embedding into Low-Power BIST Sequences Using Maximum Bipartite Matching.

Ioannis Voyiatzis, Kyriakos Axiotis, Nikolaos S. Papaspyrou, Hera Antonopoulou, Costas Efstathiou

Proceedings of the 16th Panhellenic Conference on Informatics, PCI 2012, 2012

On preserving term sharing in the Erlang virtual machine.

Nikolaos Papaspyrou, Konstantinos Sagonas

Proceedings of the Eleventh ACM SIGPLAN Erlang Workshop, 2012

A scalability benchmark suite for Erlang/OTP.

Stavros Aronis, Nikolaos Papaspyrou, Katerina Roukounaki, Konstantinos Sagonas, Yiannis Tsiouris, Ioannis E. Venetis

Proceedings of the Eleventh ACM SIGPLAN Erlang Workshop, 2012

2011

A type and effect system for deadlock avoidance in low-level languages.

Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas

Proceedings of TLDI 2011: 2011 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2011

Dynamic deadlock avoidance in systems code using statically inferred effects.

Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas, Panagiotis Vekris

Proceedings of the 6th Workshop on Programming Languages and Operating Systems, 2011

Memory Safety and Race Freedom in Concurrent Programming Languages with Linear Capabilities.

Niki Vazou, Michalis A. Papakyriakou, Nikolaos Papaspyrou

Proceedings of the Federated Conference on Computer Science and Information Systems, 2011

A Type and Effect System for Implementing Functional Arrays with Destructive Updates.

Georgios Korfiatis, Michalis A. Papakyriakou, Nikolaos Papaspyrou

Proceedings of the Federated Conference on Computer Science and Information Systems, 2011

2010

A Type System for Unstructured Locking that Guarantees Deadlock Freedom without Imposing a Lock Ordering

Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas

Proceedings of the Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software, 2010

Race-free and memory-safe multithreading: design and implementation in cyclone.

Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas

Proceedings of TLDI 2010: 2010 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2010

2009

A Concurrent Language with a Uniform Treatment of Regions and Locks

Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas

Proceedings of the Proceedings Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2009

2008

Efficient Intensional Implementation for Lazy Functional Languages.

Angelos Charalambidis, Athanasios Grivas, Nikolaos S. Papaspyrou, Panos Rondogiannis

Math. Comput. Sci., 2008

2006

Quantum Data and Control Made Easier.

Michael Lampis, Kyriakos G. Ginis, Michalis A. Papakyriakou, Nikolaos S. Papaspyrou

Proceedings of the 4th International Workshop on Quantum Programming Languages, 2006

2005

A type system for certified binaries.

Zhong Shao, Valery Trifonov, Bratin Saha, Nikolaos Papaspyrou

ACM Trans. Program. Lang. Syst., 2005

2004

GLU embedded in C++: a marriage between multidimensional and object-oriented programming.

Nikolaos Papaspyrou, Ioannis T. Kassios

Softw. Pract. Exp., 2004

Semantic Description of Educational Adaptive Hypermedia based on a Conceptual Model.

Andreas Papasalouros, Symeon Retalis, Nikolaos Papaspyrou

J. Educ. Technol. Soc., 2004

Automating Standards-Based Courseware Development Using UML.

Andreas Papasalouros, Symeon Retalis, Nikolaos Papaspyrou

Proceedings of the Web Engineering - 4th International Conference, 2004

2003

Modeling learning technology systems as business systems.

Paris Avgeriou, Symeon Retalis, Nikolaos Papaspyrou

Softw. Syst. Model., 2003

2001

Denotational semantics of ANSI C.

Nikolaos S. Papaspyrou

Comput. Stand. Interfaces, 2001

2000

A study of evaluation order semantics in expressions with side effects.

Nikolaos Papaspyrou, Dragan Macos

J. Funct. Program., 2000

Continuations for parallel logic programming.

Eneia Todoran, Nikolaos Papaspyrou

Proceedings of the 2nd international ACM SIGPLAN conference on on Principles and practice of declarative programming, 2000

1999

A Model of Collaborating Agents for Content-Based Electronic Document Filtering.

Nikolaos Papaspyrou, Cleo Sgouropoulou, Emmanuel Skordalakis

J. Intell. Robotic Syst., 1999

1998

Evaluating the Effectiveness of an ODL Hypermedia System and Courseware at the National Technical University of Athens: A Case Study.

Vassilis Makrakis, Symeon Retalis, Anastasios Koutoumanos, Nikolaos Papaspyrou, Manolis Skordalakis

J. Univers. Comput. Sci., 1998

1996

A Framework for Programming Denotational Semantics in C++.

Nikolaos Papaspyrou

ACM SIGPLAN Notices, 1996

An Ongoing experiment in ODL using new technologies.

Nikolaos Papaspyrou, Anastasios Koutoumanos, Hermann A. Maurer, Emmanuel Skordalakis

Proceedings of WebNet 96, 1996

Towards a novel networked learning environment.

Anastasios Koutoumanos, Nikolaos Papaspyrou, Symeon Retalis, Emmanuel Skordalakis

Proceedings of WebNet 96, 1996

A Logic-Based Framework for Reasoning Support in Software Evolution.

Vassilios C. Vescoukis, Nikolaos Papaspyrou, Emmanuel Skordalakis

Proceedings of the Advances Information System Engineering, 8th International Conference, 1996