Kevin Hammond’s Publications

Publications

Books and Proceedings

1. Trends in Functional Programming 3,
K. Hammond and S.Curtis (Eds.), Intellect, Bristol, ISBN 1-8410-070-4, 2002.

2. Research Directions in Parallel Functional Programming,
K. Hammond and G.J. Michaelson (Eds.), Springer-Verlag, ISBN 1-85233-092-9, 1999.

3. Proc. Implementation of Functional Languages (IFL '98) , September 1998,
K. Hammond, A.J.T. Davie and C. Clack (Eds.),
Springer-Verlag Lecture Notes in Computer Science 1595, ISBN 3-540-66229-4, 1999.

4. Proc. Implementation of Functional Languages (IFL '97), September 1997,
C. Clack, K. Hammond and A.J.T. Davie (Eds.),
Springer-Verlag Lecture Notes in Computer Science 1467, ISBN 3-540-64849-6, 1998.

5. Proc. 1994 Workshop on Functional Programming,
K. Hammond, P. Sansom and D.N. Turner (Eds.), Springer-Verlag,
ISBN 3-540-19914-4,1995.

6. Proc. 1993 Workshop on Functional Programming,
K. Hammond and J.T. O'Donnell (Eds.), Springer-Verlag, ISBN 3-540-19879-2,1994.

7. Parallel SML: a Functional Language and its Implementation in Dactl,
K. Hammond, Pitman/MIT Press, 1991.

Theses

1. Implementing Functional Languages for Parallel Machines, K. Hammond, PhD thesis, Department of Computing Studies, University of East Anglia, Norwich, UK, 1989.

Papers in Preparation

1. “Hume: Programming Resource-Limited Systems using Bounded Automata”,
G. Michaelson, K. Hammond and J. Sérot, in preparation for submission to 2004 ACM Symposium on Applied Computing -- SAC 2004, Nicosia, Cyprus, 2003.

2. “Inferring Costs for Recursive, Polymorphic and Higher-Order Functional Programs”,
K. Hammond and P. Vasconcelos, submitted to 2004 ACM Symposium on Principles of Programming Languages -- POPL 2004, Venice, Italy, 2003.

3. “An Abstract Machine for Resource Bounded Computations in Hume”,
K. Hammond, submitted to 2003 ACM Conf. on Compilers, Architectures and Synthesis for Embedded Systems -- CASES 2003, San Jose, CA November 2003.

4. “The Design of Hume: a High-Level Language for the Real-Time Embedded Systems Domain”, K. Hammond, invited paper submitted to Generative Programming for Domain Specific Languages, Springer-Verlag Lecture Notes in Computer Science 2003.

Published Refereed Papers and Book Chapters

5. “Introducing Automatic Skeletons using Template Haskell”, K. Hammond, R. Loogen and J. Berthold, to appear in Parallel Processing Letters, 2003.

6. “Hume: a Domain-Specific Language for Real-Time Embedded Systems”, K. Hammond and G. Michaelson, to appear in Proc. 2003 Intl. Conf. on Generative Programming and Component Engineering, -- GPCE 2003, Erfurt, Germany, September 2003, Springer-Verlag Lecture Notes in Computer Sciences, 2003.

7. “Predictable Space Behaviour in FSM-Hume”, K. Hammond and G. Michaelson, to appear in Proc. Implementation of Functional Languages, Madrid, Spain, Springer-Verlag Lecture Notes in Computer Science no. 2670, ISBN not yet available, 2003.

8. “Cost Analysis using Automatic Size and Time Inference”, A.J. Rebón Portillo,
K. Hammond, H.-W. Loidl and P. Vasconcelos, to appear in Proc. Implementation of Functional Languages, Madrid, Spain, Springer-Verlag Lecture Notes in Computer Science, no. 2670 ISBN not yet available, 2003.

9. “A Study of Three Robust Parallel Functional Language Implementations”, H.-W. Loidl, K. Hammond, P.W. Trinder et al, to appear in Journal of Symbolic Computation, ISBN not yet available , 2003.

10. “The Dynamic Properties of Hume: a Functionally-Based Concurrent Language with Bounded Time and Space Behaviour”, K. Hammond, Proc. Implementation of Functional Languages, Aachen, Germany, Springer-Verlag Lecture Notes in Computer Science 2011, ISBN 3-540-41919-5, pp. 122-139, 2001.

11. “Parallel Heuristic Search in Haskell”, M. I. Cope, I.P. Gent and K. Hammond, Trends in Functional Programming 2, Intellect, ISBN 1-84510-058-5, pp. 65-76, 2001.

12. “GpH and Eden: Comparing Two Parallel Functional Languages on a Beowulf Cluster”,
H.-W. Loidl, U. Klusik, K. Hammond, R. Loogen and P.W. Trinder,
Trends in Functional Programming 2, Intellect, ISBN 1-84510-058-5, pp. 39-52, 2001.

13. “Hume: a Concurrent Language with Bounded Time and Space Behaviour”,
K. Hammond, Proc. IEEE 2000 Conf. on Electronic Control Systems (ICECS 2K), Lebanon, December 2000, ISBN 0-7803-6542-9 pp. 407-411.

14. “The Multi-Architecture Performance of the Parallel Functional Language GPH”,
P.W. Trinder H.-W. Loidl, E. Barry, K. Hammond, U. Klusik, S.L. Peyton Jones and A.J. Rebón Portillo, Proc. EuroPar 2000, September 2000, München, Germany, Springer-Verlag Lecture Notes in Computer Science 1900, pp. 739-743.

15. “Engineering Large Scale Parallel Functional Programs”,
P.W. Trinder, E.W. Barry, K. Hammond, S.B. Junaidu, H.-W. Loidl, and S.L. Peyton Jones, Concurrency: Practice & Experience, 11(12): 701-752, December 1999.

16. “HaskSkel: Algorithmic Skeletons in Haskell”, K. Hammond and Á. Rebón Portillo, Proc. Implementation of Functional Programming, Lochem, the Netherlands, Springer Verlag Lecture Notes in Computer Science 1868, ISBN 3-540-67864-6, pp. 181–198, 2000.

17. “Evaluation Strategies for Irregular Parallel Programming”, K. Hammond, Proc. 1999 Parallel and Distributed Symbolic Irregular Applications (PDSCIA ‘99), Sendai, Japan, World Scientific, ISBN 981-02-4139-9, July 1999, pp. 56-71.

18. “Introduction”, “Fundamentals” and “Summary”, K. Hammond and G.J. Michaelson, Chapters 1, 2 and 20 of Research Directions in Parallel Functional Programming,
K. Hammond and G.J. Michaelson (Eds.), Springer-Verlag, October 1999,
ISBN1-85233-092-9, pp. 3-61, 427-430.

19. “Large Scale Functional Applications”, P.W. Trinder, H.-W. Loidl and K. Hammond,
Chapter 19 of Research Directions in Parallel Functional Programming, K. Hammond and G.J. Michaelson (Eds.), Springer-Verlag, Oct. 1999, ISBN 1-85233-092-9, pp.399-423.

20. “Algorithm + Strategy = Parallelism”, P.W. Trinder, K. Hammond, H.-W. Loidl and S.L. Peyton Jones, Journal of Functional Programming, 8(1):23–60,
ISSN 0956-7968, Jan. 1998.

21. “Naira: a Parallel2 Compiler for a Subset of Haskell”, S.B. Junaidu, A.J.T. Davie and K. Hammond, Proc. Implementation of Functional Languages (IFL '97), September 1997, Springer-Verlag Lecture Notes in Computer Science 1467, ISBN 3-540-64849-6, pp. 214–230, 1998.

22. “Refining a Parallel Algorithm for Calculating Bowings”, C.V. Hall, K. Hammond, H.-W. Loidl, J.T. O’Donnell and P.W. Trinder, Proc. 1997 Workshop on Functional Programming, September 1997.

23. “Computing, Computer Science and Computer Scientists: how they are perceived”,
F. Wilson, W. Nightingale, A. Halkett, K. Hammond, and C. Mason,
Proc. Annual Conf. on Women in Computing, Milton Keynes, May 1997.

24. “Involve: Inclusive Teaching in First-Year Computer Science Courses”,
W. Nightingale, A. Halkett, K. Hammond, C. Mason and F. Wilson,
Proc. Annual Conf. on Women in Computing, Milton Keynes, May 1997.

25. “Pseudoknot: a Float-Intensive Benchmark for Functional Languages”,
P. Hartel, M. Feeley, L. Augustsson, M. Beemster, E. Chailloux, C.H. Flood, W. Grieskamp, J.H.G. van Groningen, K. Hammond, B. Hausman, M.Y. Ivory, R.E. Jones, P. Lee, X. Leroy, R.D. Lins, S. Loosemore, N. Röjemo, M. Serrano, J.-P. Talpin, J. Thackray, S. Thomas, P. Weiss, and P. Wentworth, Journal of Functional Programming, 6(4):621–655, ISSN 0956-7968,1996.

26. “Type Classes in Haskell”, C.V. Hall, K. Hammond, S.L. Peyton Jones and P.L. Wadler,
ACM Transactions on Programming Languages and Systems, 18(2):109–138, ISSN 0164-0925, 1996, Extended version of Proc. ESOP 94, Edinburgh, Springer-Verlag Lecture Notes in Computer Science 788, ISBN 3-540-57880-3,1994, pp. 241-256.

27. “Making a Packet: Cost-Effective Communication for a Parallel Graph Reducer”,
H.-W. Loidl and K. Hammond, Proc.Implementation of Functional Languages (IFL '96) , Bonn, Germany, September 1996, Springer-Verlag Lecture Notes in Computer Science 1268, ISBN 3-540-63237-9, pp. 184–199, 1997.

28. “A Sized Time System for a Parallel Functional Language”, H.-W. Loidl and K. Hammond,
Proc. 1996 Workshop on Functional Programming, July 1996.

29. “Functional Hypersheets”, A.J.T. Davie and K. Hammond, Proc. 1996 Workshop on Functional Programming, July 1996.

30. “GUM: a Portable Parallel Implementation of Haskell”, K. Hammond, J.S. Mattson Jr., S.L. Peyton Jones and P.W. Trinder, 1996 ACM. Conf. on Programming Language Design and Implementation, Philadelphia, ACM Press, May 1996, pp. 79-88.

31. “Implementation on GRIP”, K. Hammond, Chapter 11 of Applications of Functional Programming, C. Runciman and D. Wakeling (Eds.), UCL Press,
ISBN 1-85728-377-5,1995.

32. “Monadic I/O in Haskell 1.3”, A.D. Gordon and K. Hammond, Proc. 1995 Workshop on Future Directions in Haskell, La Jolla, California, July 1995.

33. “A Functional Perspective of Bulk Data Types”, K. Hanmmond and P.W. Trinder, Proc. 1995 Workshop on Functional Programming, July 1995, Springer-Verlag,
ISBN 3-540-14580-X, 1996

34. “On the Granularity of Divide-and-Conquer Parallelism”, K. Hammond and H.-W. Loidl,
Proc. 1995 Workshop on Functional Programming, July 1995, Springer-Verlag, ISBN 3-540-14580-X, 1996.

35. “Improving Granularity for Parallel Functional Programs: a Graphical Winnowing System for Haskell”, K. Hammond, H.-W. Loidl and A.S. Partridge, Proc.High Performance Functional Computing -- HPFC '95, Denver, Colorado, April 1995, pp. 208–221.

36. “Automatic Spark Strategies and Granularity for a Parallel Graph Reducer”, K. Hammond, J.S. Mattson Jr. and S.L. Peyton Jones, Proc. CONPAR '94, Linz, Austria, September 1994, Springer-Verlag Lecture Notes in Computer Science 854, ISBN 3-540-58430-7, pp. 521–532.

37. “Type Classes in Haskell”, C.V. Hall, K. Hammond, S.L. Peyton Jones and P.L. Wadler,
Proc. 1994 European Symposium on Programming (ESOP 94), Edinburgh, Scotland, Springer-Verlag Lecture Notes in Computer Science 788, 1994, pp. 241-256.

38. “Spiking Your Caches”, K. Hammond, D.B. Howe and G.L. Burn, Proc. 1993 Workshop on Functional Programming, July 1993, Springer-Verlag, ISBN 3-540-19879-2,1994,
pp. 58–68.

39. “Processing Transactions on GRIP: a Parallel Graph Reducer”, G. Akerholt, K. Hammond, P.L. Trinder and S.L. Peyton Jones, Proc. Parallel Architectures and Reduction Languages Europe -- PARLE 93, München, June 1993, Springer-Verlag Lecture Notes in Computer Science 694, ISBN 3-540-56891-3, pp. 634–647.

40. “The Glasgow Haskell Compiler: a Technical Overview”, S.L. Peyton Jones, C.V. Hall, K. Hammond, W.D. Partain and P.L. Wadler, Proc. UK Joint Framework for Information Technology -- JFIT 93, Keele, March 1993.

41. “Improving Persistent Data Manipulation for Functional Languages”, K. Hammond,
D. McNally, P. Sansom and P.W. Trinder, Proc. 1992 Workshop on Functional Programming, July 1992, Springer-Verlag, ISBN 3-540-19820-2, pp. 72–84.

42. “The Glasgow Haskell Compiler: a Retrospective”, C.V. Hall, S.L. Peyton Jones,
K. Hammond, W.D. Partain and P.L. Wadler, Proc. 1992 Workshop on Functional Programming, July 1992, Springer-Verlag, ISBN 3-540-19820-2, pp. 62–71.

43. “A Parallel Functional Database on GRIP”, G. Akerholt, K. Hammond, S.L. Peyton Jones, and P.W. Trinder, Proc. 1991 Workshop on Functional Programming, August 1991, Springer-Verlag, pp. 1–24.

44. “Efficient Type Inference Using Monads”, K. Hammond, Proc. 1991 Workshop on Functional Programming, August 1991, Springer-Verlag, pp. 146–157.

45. “An Algorithmic and Semantic Approach to Debugging”, C.V. Hall, K. Hammond and J.T. O’Donnell, Proc. 1990 Workshop on Functional Programming, August 1990,
Springer-Verlag, ISBN 3-540-19667-6, pp. 44–53.

46. “Implementing Haskell Type Classes”, K. Hammond and S.L. Blott, Proc. 1989 Workshop on Functional Programming, August 1989, Springer-Verlag 3-540-19609-9, pp. 266–286.

47. “Exception Handling in a Parallel Functional Language: PSML”, K. Hammond,
Proc. IEEE TENCON 89, Bombay, India, November 1989, pp. 169–173.

48. “Parallel Implementations of Declarative Languages Based on Graph Rewriting”, K. Hammond and G.A. Papadopoulos, Proc. Alvey Technical Conference, Swansea,
July 1988, IEE/BCS, pp. 246–249.

49. “Using Dactl to Implement Declarative Languages”, J.R.W. Glauert, K. Hammond, J.R. Kennaway and G.A. Papadopoulos, Proc Conference on Parallelism -- CONPAR 88, C.R. Jesshope and K.D. Reinartz (eds.), Cambridge University Press, 1998.

50. “A Survey on Syntactic Error Recovery and Repair”, K. Hammond and V.J. Rayward-Smith, Computer Languages, 9(1), 1984, pp. 51–67.

Language Definitions

1. The Hume Report, K. Hammond and G.J. Michaelson, 2000, 2001 & 2002.

2. Report on the Functional Language Haskell, S.L. Peyton Jones (Ed.),
L. Augustsson, B. Boutel, F.W. Burton, J. Fairbairn, J.H. Fasel, A.D. Gordon, M.M. Guzmán, K. Hammond, P. Hudak, R.J.M. Hughes, T. Johnsson, M.P. Jones, R. Kieburtz, R. Nikhil, W.D. Partain, and P.L. Wadler, 1999,
accepted for publication by Cambridge University Press, 2003.

3. Report on the Functional Language Haskell, Version 1.4, J.W Peterson and K. Hammond (Eds.), L. Augustsson, B. Boutel, F.W. Burton, J. Fairbairn, J.H. Fasel, A.D. Gordon, M.M. Guzmán, P. Hudak, R.J.M. Hughes, T. Johnsson, M.P. Jones, R. Kieburtz, R. Nikhil, W.D. Partain, S.L. Peyton Jones, and P.L. Wadler, 1997.

4. Report on the Functional Language Haskell, Version 1.3, K. Hammond and J.W. Peterson (Eds.), L. Augustsson, B. Boutel, F.W. Burton, J. Fairbairn, J.H. Fasel, A.D. Gordon, M.M. Guzmán, P. Hudak, R.J.M. Hughes, T. Johnsson, M.P. Jones, R. Kieburtz, R. Nikhil, W.D. Partain, S.L. Peyton Jones, and P.L. Wadler,1996.

5. Report on the Functional Language Haskell, Version 1.2, P. Hudak, S.L. Peyton Jones, and P.L. Wadler (Eds.), B. Boutel, J. Fairbairn, J.H. Fasel, M.M. Guzmán, K. Hammond, R.J.M. Hughes, T. Johnsson, R. Kieburtz, R. Nikhil, W.D. Partain, J.W. Peterson,
Special Issue of SIGPLAN Notices, Vol. 27, No. 5, May 1992.

6. Report on the Programming Language Haskell, Version 1.1, P. Hudak, S.L. Peyton Jones, and P.L. Wadler (Eds.), B. Boutel, J. Fairbairn, J.H. Fasel, M.M. Guzmán, K. Hammond, R.J.M. Hughes, T. Johnsson, R. Kieburtz, R. Nikhil, W.D. Partain, J.W. Peterson, Glasgow University and Yale University, August 1991.

7. Report on the Programming Language Haskell, Version 1.0, P. Hudak, and P.L. Wadler (Eds.), Arvind, B. Boutel, J. Fairbairn, J.H. Fasel, M.M. Guzmán, K. Hammond, R.J.M. Hughes, T. Johnsson, R. Kieburtz, R. Nikhil, M. Reeve, D. Wise, and J. Young, Glasgow University and Yale University, April 1990.