Andi Bejleri

According to our database, Andi Bejleri authored at least 12 papers between 2008 and 2019.

Collaborative distances:

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

2019

Comprehensive Multiparty Session Types.

Andi Bejleri, Elton Domnori, Malte Viering, Patrick Eugster, Mira Mezini

Art Sci. Eng. Program., 2019

2018

Cooperative decoupled processes.

Andi Bejleri, Mira Mezini, Patrick Eugster, Elton Domnori

Softw. Qual. J., 2018

2017

A Co-contextual Type Checker for Featherweight Java (incl. Proofs).

Edlira Kuci, Sebastian Erdweg, Oliver Bracevac, Andi Bejleri, Mira Mezini

CoRR, 2017

A Co-contextual Type Checker for Featherweight Java .

Edlira Kuci, Sebastian Erdweg, Oliver Bracevac, Andi Bejleri, Mira Mezini

Proceedings of the 31st European Conference on Object-Oriented Programming, 2017

2016

A Type Theory for Robust Failure Handling in Distributed Systems.

Tzu-Chun Chen, Malte Viering, Andi Bejleri, Lukasz Ziarek, Patrick Eugster

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2016

Cooperative decoupled processes: the e-calculus and linearity.

Andi Bejleri, Mira Mezini, Patrick Eugster

Proceedings of the 15th International Conference on Modularity, 2016

2012

Parameterised session types communication patterns : through the looking glass of session types.

Andi Bejleri

PhD thesis, 2012

Parameterised Multiparty Session Types

Pierre-Malo Deniélou, Nobuko Yoshida, Andi Bejleri, Raymond Hu

Log. Methods Comput. Sci., 2012

2011

Cloudscape: language support to coordinate and control distributed applications in the cloud.

Andi Bejleri, Andrew Farrell, Patrick Goldsack

Proceedings of the SPLASH'11 Workshops, 2011

2010

Practical Parameterised Session Types.

Andi Bejleri

Proceedings of the Formal Methods and Software Engineering, 2010

2009

Session-Based Programming for Parallel Algorithms: Expressiveness and Performance

Andi Bejleri, Raymond Hu, Nobuko Yoshida

Proceedings of the Proceedings Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2009

2008

Synchronous Multiparty Session Types.

Andi Bejleri, Nobuko Yoshida

Proceedings of the First Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2008