| 2022 | HASKELL | Coinduction inductively: mechanizing coinductive proofs in Liquid Haskell. | Lykourgos Mastorou, Nikolaos Papaspyrou, Niki Vazou |
| 2014 | EDBT | Tagged Dataflow: a Formal Model for Iterative Map-Reduce. | Angelos Charalambidis, Nikolaos Papaspyrou, Panos Rondogiannis |
| 2014 | ICFP | An efficient representation for lazy constructors using 64-bit pointers. | Georgios Fourtounis, Nikolaos Papaspyrou |
| 2013 | PADL | The Generalized Intensional Transformation for Implementing Lazy Functional Languages. | Georgios Fourtounis, Nikolaos Papaspyrou, Panos Rondogiannis |
| 2011 | FedCSIS | A Type and Effect System for Implementing Functional Arrays with Destructive Updates. | Georgios Korfiatis, Michalis A. Papakyriakou, Nikolaos Papaspyrou |
| 2011 | FedCSIS | Memory Safety and Race Freedom in Concurrent Programming Languages with Linear Capabilities. | Niki Vazou, Michalis A. Papakyriakou, Nikolaos Papaspyrou |
| 2011 | SOSP | Dynamic deadlock avoidance in systems code using statically inferred effects. | Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas, Panagiotis Vekris |
| 2004 | ICWE | Automating Standards-Based Courseware Development Using UML. | Andreas Papasalouros, Symeon Retalis, Nikolaos Papaspyrou |
| 2002 | POPL | A type system for certified binaries. | Zhong Shao, Bratin Saha, Valery Trifonov, Nikolaos Papaspyrou |
| 2000 | PPDP | Continuations for parallel logic programming. | Eneia Todoran, Nikolaos Papaspyrou |
| 1996 | CaiSE | A Logic-Based Framework for Reasoning Support in Software Evolution. | Vassilios C. Vescoukis, Nikolaos Papaspyrou, Emmanuel Skordalakis |