Nikolaos Papaspyrou

ScholarGPS® ID: 51134720807895

Affiliation

National Technical University of Athens, Athens, Greece

Affiliation History

Field

Engineering and Computer Science

Discipline

Electrical and Computer Engineering

Top Specialties

Programming Language | Semantics | Informatics | Logic | Software Engineering

Metrics Summary

Publication Count

Predicted Citations

475

Predicted h-index

Ranking

Publications and Citation History

Publications based on Top Specialties

Types of Publication

Publications
Books
Patents
NIH/NSF

Add Delete
Coinduction inductively: mechanizing coinductive proofs in Liquid Haskell (conference) Mastorou, Lykourgos \| Papaspyrou, Nikolaos \| Vazou, Niki Haskell '22: 15th ACM SIGPLAN International Haskell Symposium (2022) Ljubljana Slovenia 10.1145/3546189.3549922 Cite \| Source
Scaling Reliably (journal article) Trinder, Phil \| Chechina, Natalia \| Papaspyrou, Nikolaos \| Sagonas, Konstantinos \| Thompson, Simon \| Adams, Stephen \| Aronis, Stavros \| Baker, Robert \| Bihari, Eva \| Boudeville, Olivier \| ... \| Winblad, Kjell ACM Transactions on Programming Languages and Systems, volume 39, issue 4, pages 1-46 (2017). 10.1145/3107937 Cited by (7) \| Cite \| Source \| Open Access
Concolic testing for functional languages (journal article) Giantsios, Aggelos \| Papaspyrou, Nikolaos \| Sagonas, Konstantinos Science of Computer Programming, volume 147 (2017). 10.1016/j.scico.2017.04.008 Cited by (9) \| Cite \| Source
Concurrency Semantics in Continuation-Passing Style (journal article) Todoran, Eneia Nicolae \| Papaspyrou, Nikolaos Fundamenta Informaticae, volume 153, issue 1-2, pages 125-146 (2017). 10.3233/FI-2017-1534 Cited by (8) \| Cite \| Source
Stathis Zachos at 70! (book chapter) In Algorithms and Complexity Bakali, Eleni \| Cheilaris, Panagiotis \| Fotakis, Dimitris \| Fürer, Martin \| Koutras, Costas D. \| Markou, Euripides \| Nomikos, Christos \| Pagourtzis, Aris \| Papadimitriou, Christos H. \| Papaspyrou, Nikolaos S. \| Potika, Katerina Springer International Publishing (2017) 10.1007/978-3-319-57586-5_39 Cite \| Source
Concolic testing for functional languages (conference) Giantsios, Aggelos \| Papaspyrou, Nikolaos \| Sagonas, Konstantinos PPDP '15: 17th International Symposium on Principles and Practice of Declarative Programming (2015) Siena Italy 10.1145/2790449.2790519 Cited by (11) \| Cite \| Source
An efficient representation for lazy constructors using 64-bit pointers (conference) Fourtounis, Georgios \| Papaspyrou, Nikolaos ICFP'14: ACM SIGPLAN International Conference on Functional Programming (2014) Gothenburg Sweden 10.1145/2636228.2636232 Cite \| Source
Static safety guarantees for a low-level multithreaded language with regions (journal article) Gerakios, Prodromos \| Papaspyrou, Nikolaos \| Sagonas, Konstantinos Science of Computer Programming, volume 80 (2014). 10.1016/j.scico.2013.06.005 Cited by (2) \| Cite \| Source
Modular polymorphic defunctionalization (journal article) Fourtounis, Georgios \| Papaspyrou, Nikolaos \| Theofilopoulos, Panagiotis Computer Science and Information Systems, volume 11, issue 4, pages 1417-1434 (2014). 10.2298/CSIS130923030F Cited by (3) \| Cite \| Source \| Open Access
Experiments with continuation semantics for DNA computing (conference) Todoran, Eneia Nicolae \| Papaspyrou, Nikolaos 2013 IEEE International Conference on Intelligent Computer Communication and Processing (ICCP) (2013) Cluj-Napoca, Romania 10.1109/ICCP.2013.6646117 Cited by (4) \| Cite \| Source
The Generalized Intensional Transformation for Implementing Lazy Functional Languages (book chapter) In Practical Aspects of Declarative Languages Fourtounis, Georgios \| Papaspyrou, Nikolaos \| Rondogiannis, Panos Springer Berlin Heidelberg (2013) 10.1007/978-3-642-45284-0_11 Cited by (3) \| Cite \| Source
RELEASE: A High-Level Paradigm for Reliable Large-Scale Server Software (book chapter) In Trends in Functional Programming Boudeville, Olivier \| Cesarini, Francesco \| Chechina, Natalia \| Lundin, Kenneth \| Papaspyrou, Nikolaos \| Sagonas, Konstantinos \| Thompson, Simon \| Trinder, Phil \| Wiger, Ulf Springer Berlin Heidelberg (2013) 10.1007/978-3-642-40447-4_17 Cited by (17) \| Cite \| Source \| Open Access
Supporting Separate Compilation in a Defunctionalizing Compiler (conference) Fourtounis, Georgios \| Papaspyrou, Nikolaos Symposium on Languages, Applications and Technologies (2013) Porto - Portugal 10.4230/OASIcs.SLATE.2013.39 Cited by (2) \| Cite \| Source
Test Set Embedding into Low-Power BIST Sequences Using Maximum Bipartite Matching (conference) Voyiatzis, I. \| Axiotis, K. \| Papaspyrou, N. \| Antonopoulou, H. \| Efstathiou, C. 2012 16th Panhellenic Conference on Informatics (PCI) (2012) Piraeus, Greece 10.1109/PCi.2012.75 Cited by (3) \| Cite \| Source
A scalability benchmark suite for Erlang/OTP (conference) Aronis, Stavros \| Papaspyrou, Nikolaos \| Roukounaki, Katerina \| Sagonas, Konstantinos \| Tsiouris, Yiannis \| Venetis, Ioannis E. ICFP'12: ACM SIGPLAN International Conference on Functional Programming (2012) Copenhagen Denmark 10.1145/2364489.2364495 Cited by (31) \| Cite \| Source
On preserving term sharing in the Erlang virtual machine (conference) Papaspyrou, Nikolaos \| Sagonas, Konstantinos ICFP'12: ACM SIGPLAN International Conference on Functional Programming (2012) Copenhagen Denmark 10.1145/2364489.2364493 Cited by (5) \| Cite \| Source
Dynamic deadlock avoidance in systems code using statically inferred effects (conference) Gerakios, Prodromos \| Papaspyrou, Nikolaos \| Sagonas, Konstantinos \| Vekris, Panagiotis SOSP '11: ACM SIGOPS 23nd Symposium on Operating Systems Principles (2011) Cascais Portugal 10.1145/2039239.2039247 Cited by (9) \| Cite \| Source \| Open Access
A Type System for Unstructured Locking that Guarantees Deadlock Freedom without Imposing a Lock Ordering (journal article) Gerakios, Prodromos \| Papaspyrou, Nikolaos \| Sagonas, Konstantinos Electronic Proceedings in Theoretical Computer Science, volume 69 (2011). 10.4204/EPTCS.69.4 Cited by (4) \| Cite \| Source \| Open Access
Formally specifying and analyzing a parallel virtual machine for lazy functional languages using Maude (conference) Fourtounis, Georgios \| Ölveczky, Peter Csaba \| Papaspyrou, Nikolaos ICFP '11: ACM SIGPLAN International Conference on Functional Programming (2011) Tokyo Japan 10.1145/2034751.2034758 Cite \| Source
A type and effect system for deadlock avoidance in low-level languages (conference) Gerakios, Prodromos \| Papaspyrou, Nikolaos \| Sagonas, Kostis POPL '11: The 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (2011) Austin Texas USA 10.1145/1929553.1929558 Cited by (21) \| Cite \| Source