Patrick Sansom's Home Page

	Patrick M. Sansom Department of Computing Science University of Glasgow 17 Lilybank Gardens Glasgow G12 8QQ Scotland WWW: http://www.dcs.gla.ac.uk/~sansom E-mail: sansom@dcs.gla.ac.uk Phone: +44 (141) 330 4984 Fax: +44 (141) 330 4913

I am a lecturer in the Department of Computing Science at the University of Glasgow.

I am an active member of the Functional Programming Research Group and part of the Glasgow Haskell development team. I also contribute to the Glasgow GC Group.

My research concerns the practical implementation of and support for high-level functional programming languages. Particular topics in which I maintain an active interest include:

• Execution profiling and the provision of feedback about the runtime behaviour of a program, especially in the context of high-level declarative languages.
• Memory management and garbage collection, especially the interaction with the performance of the underlying memory architecture.
• The analysis and optimisation of functional languages for efficient execution. In particular, compilation techniques which remove the overheads of polymorphism.
• Issues concerning I/O and persistence, especially in the context of declarative languages.
• The development of an integrated compilation environment which facilitates inter-module optimisations and avoids unnecessary recompilation.
• The ongoing development of the standard non-strict purely-functional language, Haskell.

Publications

Formally-based profiling for higher-order functional languages
Patrick M. Sansom and Simon L. Peyton Jones
ACM Transactions on Programming Languages and Systems, Vol. 19, No. 1, January 1997.
abstract, postscript

Smart Recompilation in Glasgow Haskell
Patrick M. Sansom
in Functional Programming, Glasgow 1996, Research Report TR-1997-1, Dept. of Computing Science, University of Glasgow, January 1997
abstract, postscript

Time and space profiling for non-strict higher-order functional languages
Patrick M. Sansom and Simon L. Peyton Jones
22nd ACM Symposium on Principles of Programming Languages, San Francisco, California, January 1995
abstract, postscript, tech report

Execution profiling for non-strict functional languages
Patrick M. Sansom
Ph.D. Thesis, Research Report FP-1994-09, Dept. of Computing Science, University of Glasgow, September 1994
abstract, postscript

Unboxing using Specialisation
Cordelia V. Hall, Simon L. Peyton Jones and Patrick M. Sansom
in Functional Programming, Glasgow 1994, Springer Verlag, Workshops in Computing, July 1994
abstract, postscript

Time profiling a lazy functional compiler
Patrick M. Sansom
in Functional Programming, Glasgow 1993, Springer Verlag, Workshops in Computing, July 1993
abstract, postscript

Generational garbage collection for Haskell
Patrick M. Sansom and Simon L. Peyton Jones
Proceedings of the ACM conference on Functional Programming Languages and Computer Architecture, Copenhagen, June 1993
abstract, postscript, tech report

Profiling lazy functional programs
Patrick M. Sansom and Simon L. Peyton Jones
in Functional Programming, Glasgow 1992, Springer Verlag, Workshops in Computing, July 1992
abstract, postscript

Improving persistent data manipulation for functional languages
K Hammond, D McNally, PM Sansom, and P Trinder
in Functional Programming, Glasgow 1992, Springer Verlag, Workshops in Computing, July 1992
abstract, postscript

Combining copying and compacting garbage collection or Dual-mode garbage collection
Patrick M. Sansom
in Functional Programming, Glasgow 1991, Springer Verlag, Workshops in Computing, August 1991
abstract, postscript, tech report