Minas Charalambides

According to our database, Minas Charalambides authored at least 8 papers between 2009 and 2019.

Collaborative distances:

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

2019

Types for Progress in Actor Programs.

Minas Charalambides, Karl Palmskog, Gul Agha

Proceedings of the Models, Languages, and Tools for Concurrent and Distributed Programming, 2019

2018

Actor programming with static guarantees

Minas Charalambides

PhD thesis, 2018

2016

Parameterized, concurrent session types for asynchronous multi-actor interactions.

Minas Charalambides, Peter Dinges, Gul A. Agha

Sci. Comput. Program., 2016

2013

Automated inference of atomic sets for safe concurrent execution.

Peter Dinges, Minas Charalambides, Gul Agha

Proceedings of the ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2013

2012

Parameterized Concurrent Multi-Party Session Types

Minas Charalambides, Peter Dinges, Gul Agha

Proceedings of the Proceedings 11th International Workshop on Foundations of Coordination Languages and Self Adaptation, 2012

2011

A query optimization assistant for XPath.

Haris Georgiadis, Minas Charalambides, Vasilis Vassalos

Proceedings of the EDBT 2011, 2011

2010

Efficient physical operators for cost-based XPath execution.

Haris Georgiadis, Minas Charalambides, Vasilis Vassalos

Proceedings of the EDBT 2010, 2010

2009

Cost based plan selection for xpath.

Haris Georgiadis, Minas Charalambides, Vasilis Vassalos

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2009