Michalis A. Papakyriakou

According to our database, Michalis A. Papakyriakou authored at least 3 papers between 2006 and 2011.

Collaborative distances:

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

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

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