Programming Language Research: University of Glasgow

This pages summarizes people, projects, publications and activities.

People

Academic Staff

• Dr Paul Cockshott (Computer Vision and Graphics Group)
•  
• Dr Simon Gay (Formal Analysis, Theory and Algorithms Group)
•  
• Dr John O'Donnell (Embedded, Networked and Distributed Systems Group)
•  
• Professor David Watt (Software Engineering Technology Group)
•  
• Dr Wim Vanderbauwhede (Embedded, Networked and Distributed Systems Group)

Research Staff

• Dr Nils Gesbert (Formal Analysis, Theory and Algorithms Group)

Research Students

• Youssef Gdura (Computer Vision and Graphics Group)
•  
• Paul Keir (Computer Vision and Graphics Group)
•  
• Mozhgan Kabiri Chimeh (Embedded, Networked and Distributed Systems Group)
•  
• Iain McGinniss (Formal Analysis, Theory and Algorithms Group)
•  
• Ross McIlroy (Embedded, Networked and Distributed Systems Group)
•  
• Mark Shannon (Software Engineering Technology Group)

Projects

• Engineering Foundations of Web Services: Theories and Tool Support (EPSRC EP/E065708/1)
•  
• Gannet (EPSRC GR/T03239/01)
•  
• QNET: Network on Semantics of Quantum Computation (EPSRC EP/E00623X/1

Activities

• PLACES Workshop (Programming Language Approaches to Communication and Concurrency-Centric Systems)
•  
• Scottish Programming Languages Seminar

Recent Publications (2004 onwards)

S. J. Gay and V. T. Vasconcelos. Linear Type Theory for Asynchronous Session Types. Journal of Functional Programming, 2010. To appear.
•  
• S. J. Gay and I. C. Mackie (editors). Semantic Techniques in Quantum Computation. Cambridge University Press, 2010. In press.
•  
• S. J. Gay, V. T. Vasconcelos, A. Ravara, N. Gesbert and A. Z. Caldeira. Modular Session Types for Distributed Object-Oriented Programming.
  In: Proceedings of the 37th ACM Symposium on Principles of Programming Languages, ACM Press, 2010. To appear.
•  
• G. Castagna, N. Gesbert and L. Padovani. A theory of contracts for web services.
  ACM Transactions on Programming Languages and Systems 31(5), 2009.
•  
• V. T. Vasconcelos, S. J. Gay, A. Ravara, N. Gesbert and A. Z. Caldeira. Dynamic Interfaces.
  Presented at the Workshop on Foundations of Object-Oriented Languages (FOOL), 2009.
•  
• S. J. Gay. Bounded polymorphism in session types.
  Mathematical Structures in Computer Science, 18(5):895-930, 2008.
  DOI:10.1017/S0960129508006944
•  
• G. Castagna, N. Gesbert and L. Padovani. A theory of contracts for web services.
  In: Proceedings of the 35th ACM Symposium on Principles of Programming Languages, ACM Press, 2008.
•  
• W. Vanderbauwhede. A Formal Semantics for Control and Data flow in the Gannet Service-based System-on-Chip Architecture.
  In: Proceedings of the International Conference on Engineering of Reconfigurable Systems and Algorithms, 2008.
•  
• W. Vanderbauwhede. Gannet: a Scheme for Task-level Reconfiguration of Service-based Systems-on-Chip.
  In: Proceedings of the Workshop on Scheme and Functional Programming, 2007.
•  
• W. P. Cockshott. From SIMD to Micro-Grids.
  Presented at the 2nd Workshop on Micro-Grids, January 2007.
•  
• V. T. Vasconcelos, S. J. Gay and A. Ravara. Type checking a multithreaded functional language with session types.
  Theoretical Computer Science 368(1-2):64-87, 2006.
  DOI:10.1016/j.tcs.2006.06.028
•  
• S. J. Gay. Quantum programming languages: survey and bibliography
  Mathematical Structures in Computer Science 16(4):581-600, 2006.
  DOI:10.1017/S0960129506005378
•  
• S. J. Gay and R. Nagarajan. Types and typechecking for Communicating Quantum Processes
  Mathematical Structures in Computer Science 16(3):375-406, 2006.
  DOI:10.1017/S0960129506005263
•  
• M. Shannon and C. Bailey. Global Stack Allocation: Register Allocation for Stack Machines
  In: Proceedings of EuroForth, 2006.
•  
• W. Vanderbauwhede. Gannet: a functional task description language for a service-based SoC architecture.
  In: Proceedings of the Symposium on Trends in Functional Programming, 2006.
•  
• J. T. O'Donnell. Overview of Hydra: A concurrent language for synchronous digital circuit design.
  International Journal of Information 9(2):249-264, 2006.
•  
• D. A. Watt. The Design of Monty: a Programming/Scripting Language.
  In: Proceedings of the Fifth Workshop on Language Descriptions, Tools and Applications.
  Electronic Notes in Theoretical Computer Science 141(4):5-28, 2005.
•  
• S. J. Gay and M. J. Hole. Subtyping for session types in the pi calculus
  Acta Informatica 42(2/3):191-225, 2005.
  DOI: 10.1007/s00236-005-0177-z
•  
• A. F. Donaldson and S. J. Gay. ETCH: An Enhanced Type Checking Tool for Promela.
  In: Proceedings of the SPIN Workshop.
  Springer LNCS series, volume 3639, pages 237-242, 2005. Copyright Springer.
  DOI: 10.1007/11537328_21
•  
• W. P. Cockshott and G. J. Michaelson. Orthogonal Parallel Processing in Vector Pascal.
  Computer Languages 32(1):2-41, 2005.
•  
J. T. O'Donnell. Supporting tasks with adaptive groups in data parallel programming.
International Journal of Computational Science and Engineering 1(2/3/4):86-98, 2005.
•  
• S. J. Gay and R. Nagarajan. Communicating Quantum Processes.
  In: Proceedings of the 32nd ACM Symposium on Principles of Programming Languages, ACM Press, 2005.
  DOI: 10.1145/1040305.1040318
•  
• V. T. Vasconcelos, A. Ravara and S. J. Gay. Session Types for Functional Multithreading.
  In: Proceedings of the International Conference on Concurrency Theory (CONCUR).
  Springer LNCS series, volume 3170, pages 497-511, 2004.
•  
J. T. O'Donnell. Embedding a Hardware Description Language in Template Haskell.
In: Domain-Specific Program Generation. Springer LNCS series, volume 3016, pages 143-164, 2004.
•  
K. Czarnecki, J. T. O'Donnell, J. Striegnitz and W. Taha. DSL Implementation in MetaOCaml, Template Haskell, and C++
In: Domain-Specific Program Generation. Springer LNCS series, volume 3016, pages 51-72, 2004.
•  
J. T. O'Donnell and G. Ruenger. Derivation of a Logarithmic Time Carry Lookahead Addition Circuit.
Journal of Functional Programming 14(6):697-713, 2004.
•  
• W. P. Cockshott. Array Languages and the Challenge of Modern Computer Architecture.
  APL Quote Quad, 34(3):11-17, 2004.
•  
• W. P. Cockshott. Efficient Compilation of Array Expressions.
  APL Quote Quad, 34(2):16-25, 2004.
•  
• D. A. Watt. Programming Language Design Concepts.
  Wiley, 2004.