Programming Language Research: University of Glasgow
Programming-language-related research takes place in several of the research
groups within the Department of Computing Science.
This pages summarizes people, projects, publications and activities.
People
Academic Staff
Research Staff
Research Students
Projects
Activities
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.