A programming model for deterministic task parallelism. - Polyvios Pratikakis; Hans Vandierendonck; Spyros Lyberis; Dimitrios S. Nikolopoulos (MSPC, 2011)

Formic: Cost-efficient and Scalable Prototyping of Manycore Architectures. - Spyros Lyberis; George Kalokerinos; Michalis Lygerakis; Vassilis Papaefstathiou; Dimitrios Tsaliagkos; Manolis Katevenis; Dionisios N. Pnevmatikatos; Dimitrios S. Nikolopoulos (FCCM, 2012)

The myrmics memory allocator: hierarchical, message-passing allocation for global address spaces. - Spyros Lyberis; Polyvios Pratikakis; Dimitrios S. Nikolopoulos; Martin Schulz 001; Todd Gamblin; Bronis R. de Supinski (ISMM, 2012)

Myrmics: A scalable runtime system for global address spaces - Spyros Lyberis (2013)

FPGA prototyping of emerging manycore architectures for parallel programming research using Formic boards. - Spyros Lyberis; George Kalokerinos; Michalis Lygerakis; Vassilis Papaefstathiou; Iakovos Mavroidis; Manolis Katevenis; Dionisios N. Pnevmatikatos; Dimitrios S. Nikolopoulos (J. Syst. Archit., 2014)

Myrmics: Scalable, Dependency-aware Task Scheduling on Heterogeneous Manycores. - Spyros Lyberis; Polyvios Pratikakis; Iakovos Mavroidis; Dimitrios S. Nikolopoulos (CoRR, 2016)

Error Correlation Prediction in Lockstep Processors for Safety-Critical Systems. - Emre Ozer 001; Balaji Venu; Xabier Iturbe; Shidhartha Das; Spyros Lyberis; John Biggs; Peter Harrod; John Penton (MICRO, 2018)