Refereed Journal Publications

Refereed Conference Publications

Workshop Papers and Technical Reports

  1. Parameterised Session Types: Communication Patterns Through the Looking Glass of Session Types. Andi Bejleri. Dissertation. Imperial College, 2012.
  2. Cloudscape: Language Support to Coordinate and Control Distributed Applications in the Cloud. Andi Bejleri, Andrew Farell and Patrick Goldsack. In International Workshop on Actors and aGEnts REloaded (AGERE ), 2011.
  3. Session-based Programming for Parallel Algorithms. Andi Bejleri, Raymond Hu and Nobuko Yoshida. In International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES), 2009.
  4. The SJ Framework for Transport-Independent, Type-Safe, Object-Oriented Communications Programming. Raymond Hu, Nobuko Yoshida, Andi Bejleri and Kohei Honda. Unpublished report, 2009.
  5. Multiparty Asynchronous Session Types. Kohei Honda, Nobuko Yoshida, Andi Bejleri and Marco Carbone. Unpublished report, 2008.
  6. An Intersection and Union Predicate Assignment System for the ς-Calculus. Andi Bejleri. Master Report. Imperial College, 2007.
  7. Ego: Controlling the Power of Simplicity. Andi Bejleri, Jonathan Aldrich and Kevin Bierhoff. In International Workshop on Foundations of Object-Oriented Languages and Workshop of Object-Oriented Developments (FOOL/WOOD), 2006.