Kevin Hammond

	2010
57		Steffen Jost, Kevin Hammond, Hans-Wolfgang Loidl, Martin Hofmann: Static determination of quantitative resource usage for higher-order programs. POPL 2010: 223-236
	2009
56		Abdallah Al Zain, Kevin Hammond, Jost Berthold, Philip W. Trinder, Greg Michaelson, Mustafa Aswad: Low-pain, high-gain multicore programming in Haskell: coordinating irregular symbolic computations on multicore architectures. DAMP 2009: 25-36
55		Steffen Jost, Hans-Wolfgang Loidl, Kevin Hammond, Norman Scaife, Martin Hofmann: "Carbon Credits" for Resource-Bounded Computations Using Amortised Analysis. FM 2009: 354-369
54		Saleem Bhatti, Edwin Brady, Kevin Hammond, James McKinna: Domain Specific Languages (DSLs) for Network Protocols (Position Paper). ICDCS Workshops 2009: 208-213
53		Jost Berthold, Simon Marlow, Kevin Hammond, Abdallah Al Zain: Comparing and Optimising Parallel Haskell Implementations for Multicore Machines. ICPP Workshops 2009: 386-393
	2008
52		Abdallah Al Zain, Philip W. Trinder, Kevin Hammond, Alexander Konovalov, Steve Linton, Jost Berthold: Parallelism without Pain: Orchestrating Computational Algebra Components into a High-Performance Parallel System. ISPA 2008: 99-112
	2007
51		Kevin Hammond, Abdallah Al Zain, Gene Cooperman, Dana Petcu, Philip W. Trinder: SymGrid: A Framework for Symbolic Computation on the Grid. Euro-Par 2007: 457-466
50		Alexandru Cârstea, Marc Frîncu, Georgiana Macariu, Dana Petcu, Kevin Hammond: Generic Access to Web and Grid-based Symbolic Computing Services: the SymGrid-Services Framework. ISPDC 2007: 143-150
49		Abdallah Al Zain, Kevin Hammond, Philip W. Trinder, Steve Linton, Hans-Wolfgang Loidl, Marco Costanti: SymGrid-Par: Designing a Framework for Executing Computational Algebra Systems on Computational Grids. International Conference on Computational Science (2) 2007: 617-624
48		Armelle Bonenfant, Zezhi Chen, Kevin Hammond, Greg Michaelson, Andrew M. Wallace, Iain Wallace: Towards resource-certified software: a formal cost model for time and its application to an image-processing example. SAC 2007: 1307-1314
47		Kevin Hammond: SymGrid: A Framework for Symbolic Computations on the Grid. SYNASC 2007: 4
46		Christoph A. Herrmann, Armelle Bonenfant, Kevin Hammond, Steffen Jost, Hans-Wolfgang Loidl, Robert F. Pointon: Automatic Amortised Worst-Case Execution Time Analysis. WCET 2007
	2006
45		Edwin Brady, Kevin Hammond: A verified staged interpreter is a verified compiler. GPCE 2006: 111-120
44		Armelle Bonenfant, Christian Ferdinand, Kevin Hammond, Reinhold Heckmann: Worst-Case Execution Times for a Purely Functional Language. IFL 2006: 235-252
43		Kevin Hammond, Gudmund Grov, Greg Michaelson, Andrew Ireland: Low-Level Programming in Hume: An Exploration of the HW-Hume Level. IFL 2006: 91-107
42		Hugo R. Simões, Kevin Hammond, Mário Florido, Pedro B. Vasconcelos: Using Intersection Types for Cost-Analysis of Higher-Order Polymorphic Functional Programs. TYPES 2006: 221-236
41		Kevin Hammond, Christian Ferdinand, Reinhold Heckmann, Roy Dyckhoff, Martin Hofmann, Steffen Jost, Hans-Wolfgang Loidl, Greg Michaelson, Robert F. Pointon, Norman Scaife, Jocelyn Sérot, Andy Wallace: Towards Formally Verifiable WCET Analysis for a Functional Programming Language. WCET 2006
	2005
40		Kevin Hammond: Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume Approach. CEFP 2005: 100-134
39		Edwin Brady, Kevin Hammond: A Dependently Typed Framework for Static Analysis of Program Execution Costs. IFL 2005: 74-90
38		Kevin Hammond, Roy Dyckhoff, Christian Ferdinand, Reinhold Heckmann, Martin Hofmann, Steffen Jost, Hans-Wolfgang Loidl, Greg Michaelson, Robert F. Pointon, Norman Scaife, Jocelyn Sérot, Andy Wallace: The Embounded project (project start paper). Trends in Functional Programming 2005: 195-210
	2004
37		Greg Michaelson, Kevin Hammond, Jocelyn Sérot: FSM-Hume: programming resource-limited systems using bounded automata. SAC 2004: 1455-1461
	2003
36		Kevin Hammond, Greg Michaelson: The Design of Hume: A High-Level Language for the Real-Time Embedded Systems Domain. Domain-Specific Program Generation 2003: 127-142
35		Kevin Hammond, Greg Michaelson: Hume: A Domain-Specific Language for Real-Time Embedded Systems. GPCE 2003: 37-56
34		Pedro B. Vasconcelos, Kevin Hammond: Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs. IFL 2003: 86-101
33		Kevin Hammond: Is it time for real-time functional programming? Trends in Functional Programming 2003: 1-18
32		Greg Michaelson, Kevin Hammond, Jocelyn Sérot: FSM-Hume is finite state. Trends in Functional Programming 2003: 19-28
31		Hans-Wolfgang Loidl, Fernando Rubio, Norman Scaife, Kevin Hammond, Susumu Horiguchi, Ulrike Klusik, Rita Loogen, Greg Michaelson, Ricardo Pena, Steffen Priebe, Álvaro J. Rebón Portillo, Philip W. Trinder: Comparing Parallel Functional Languages: Programming and Performance Higher-Order and Symbolic Computation 16(3): 203-251 (2003)
30		Kevin Hammond, Jost Berthold, Rita Loogen: Automatic Skeletons in Template Haskell. Parallel Processing Letters 13(3): 413-424 (2003)
	2002
29		Kevin Hammond, Sharon Curtis: Selected papers from the 3rd Scottish Functional Programming Workshop (SFP01), University of Stirling, Bridge of Allan, Scotland, August 22nd to 24th, 2001 Intellect 2002
28		Kevin Hammond: Parallel Programming: Models, Methods and Programming Languages. Euro-Par 2002: 603-604
27		Kevin Hammond, Greg Michaelson: Predictable Space Behaviour in FSM-Hume. IFL 2002: 1-16
26		Álvaro J. Rebón Portillo, Kevin Hammond, Hans-Wolfgang Loidl, Pedro B. Vasconcelos: Cost Analysis Using Automatic Size and Time Inference. IFL 2002: 232-248
	2000
25		Philip W. Trinder, Hans-Wolfgang Loidl, Ed. Barry Jr., Kei Davis, Kevin Hammond, Ulrike Klusik, Simon L. Peyton Jones, Álvaro J. Rebón Portillo: The Multi-architecture Performance of the Parallel Functional Language GP H (Research Note). Euro-Par 2000: 739-743
24		Kevin Hammond: The Dynamic Properties of Hume: A Functionally-Based Concurrent Language with Bounded Time and Space Behaviour. IFL 2000: 122-139
23		Hans-Wolfgang Loidl, Ulrike Klusik, Kevin Hammond, Rita Loogen, Philip W. Trinder: GpH and Eden: Comparing two parallel functional languages on a Beowulf cluster. Scottish Functional Programming Workshop 2000: 39-52
22		Michelle Cope, Ian P. Gent, Kevin Hammond: Parallel heuristic search in Haskell. Scottish Functional Programming Workshop 2000: 65-76
	1999
21		Kevin Hammond, Antony J. T. Davie, Chris Clack: Implementation of Functional Languages, 10th International Workshop, IFL'98, London, UK, September 9-11, Selected Papers Springer 1999
20		Kevin Hammond, Álvaro J. Rebón Portillo: HaskSkel: Algorithmic Skeletons in Haskell. IFL 1999: 181-198
19		Hans-Wolfgang Loidl, Philip W. Trinder, Kevin Hammond, Sahalu B. Junaidu, Richard G. Morgan, Simon L. Peyton Jones: Engineering parallel symbolic programs in GPH. Concurrency - Practice and Experience 11(12): 701-752 (1999)
	1998
18		Chris Clack, Kevin Hammond, Antony J. T. Davie: Implementation of Functional Languages, 9th International Workshop, IFL'97, St. Andrews, Scotland, UK, September 10-12, 1997, Selected Papers Springer 1998
17		Philip W. Trinder, Kevin Hammond, Hans-Wolfgang Loidl, Simon L. Peyton Jones: Algorithms + Strategy = Parallelism. J. Funct. Program. 8(1): 23-60 (1998)
	1997
16		Sahalu B. Junaidu, Antony J. T. Davie, Kevin Hammond: Naira: A Parallel² Haskell Compiler. Implementation of Functional Languages 1997: 214-230
	1996
15		Hans-Wolfgang Loidl, Kevin Hammond: Making a Packet: Cost-Effective Communication for a Parallel Graph Reducer. Implementation of Functional Languages 1996: 184-199
14		Philip W. Trinder, Kevin Hammond, James S. Mattson Jr., A. S. Partridge, Simon L. Peyton Jones: GUM: A Portable Parallel Implementation of Haskell. PLDI 1996: 79-88
13		Cordelia V. Hall, Kevin Hammond, Simon L. Peyton Jones, Philip Wadler: Type Classes in Haskell. ACM Trans. Program. Lang. Syst. 18(2): 109-138 (1996)
12		Pieter H. Hartel, Marc Feeley, Martin Alt, Lennart Augustsson, Peter Baumann, Marcel Beemster, Emmanuel Chailloux, Christine H. Flood, Wolfgang Grieskamp, John H. G. van Groningen, Kevin Hammond, Bogumil Hausman, Melody Y. Ivory, Richard E. Jones, Jasper Kamperman, Peter Lee, Xavier Leroy, Rafael Dueire Lins, Sandra Loosemore, Niklas Röjemo, Manuel Serrano, Jean-Pierre Talpin, Jon Thackray, Stephen Thomas, Pum Walters, Pierre Weis, Peter Wentworth: Benchmarking Implementations of Functional Languages with `Pseudoknot', a Float-Intensive Benchmark. J. Funct. Program. 6(4): 621-655 (1996)
	1995
11		Kevin Hammond, Philip W. Trinder: Database Manipulation in Haskell 1.3. Functional Programming 1995: 5
10		Hans-Wolfgang Loidl, Kevin Hammond: On the Granularity of Divide-and-Conquer Parallelism. Functional Programming 1995: 8
	1994
9		Kevin Hammond, James S. Mattson Jr., Simon L. Peyton Jones: Automatic Spark Strategies and Granularity for a Parallel Functional Language Reducer. CONPAR 1994: 521-532
8		Cordelia V. Hall, Kevin Hammond, Simon L. Peyton Jones, Philip Wadler: Type Classes in Haskell. ESOP 1994: 241-256
	1993
7		Gert Akerholt, Kevin Hammond, Simon L. Peyton Jones, Philip W. Trinder: Processing Transactions on GRIP, a Parallel Graph Reducer. PARLE 1993: 634-647
	1992
6		Cordelia V. Hall, Kevin Hammond, Will Partain, Simon L. Peyton Jones, Philip Wadler: The Glasgow Haskell Compiler: A Retrospective. Functional Programming 1992: 62-71
5		Kevin Hammond, Dave McNally, Patrick M. Sansom, Philip W. Trinder: Improving Persistent Data Manipulation for Functional Languages. Functional Programming 1992: 72-84
4		Paul Hudak, Simon L. Peyton Jones, Philip Wadler, Brian Boutel, Jon Fairbairn, Joseph H. Fasel, María M. Guzmán, Kevin Hammond, John Hughes, Thomas Johnsson, Richard B. Kieburtz, Rishiyur S. Nikhil, Will Partain, John Peterson: Report on the Programming Language Haskell, A Non-strict, Purely Functional Language. SIGPLAN Notices 27(5): 1- (1992)
	1991
3		Gert Akerholt, Kevin Hammond, Simon L. Peyton Jones, Philip W. Trinder: A Parallel Functional Database on GRIP. Functional Programming 1991: 1-24
2		Kevin Hammond: Efficient Type Inference Using Monads (Summary). Functional Programming 1991: 146-157
	1989
1		Kevin Hammond, Stephen Blott: Implementing Haskell Type Classes. Functional Programming 1989: 266-286

Coauthor Index

1	Gert Akerholt	[3] [7]
2	Martin Alt	[12]
3	Mustafa Aswad	[56]
4	Lennart Augustsson	[12]
5	Ed. Barry Jr.	[25]
6	Peter Baumann	[12]
7	Marcel Beemster	[12]
8	Jost Berthold	[30] [52] [53] [56]
9	Saleem Bhatti	[54]
10	Stephen Blott	[1]
11	Armelle Bonenfant	[44] [46] [48]
12	Brian Boutel	[4]
13	Edwin Brady	[39] [45] [54]
14	Alexandru Cârstea	[50]
15	Emmanuel Chailloux	[12]
16	Zezhi Chen	[48]
17	Chris Clack	[18] [21]
18	Gene Cooperman	[51]
19	Michelle Cope	[22]
20	Marco Costanti	[49]
21	Sharon Curtis	[29]
22	Antony J. T. Davie	[16] [18] [21]
23	Kei Davis	[25]
24	Roy Dyckhoff	[38] [41]
25	Jon Fairbairn	[4]
26	Joseph H. Fasel	[4]
27	Marc Feeley	[12]
28	Christian Ferdinand	[38] [41] [44]
29	Christine H. Flood	[12]
30	Mário Florido	[42]
31	Marc Frîncu	[50]
32	Ian P. Gent	[22]
33	Wolfgang Grieskamp	[12]
34	John H. G. van Groningen	[12]
35	Gudmund Grov	[43]
36	María M. Guzmán	[4]
37	Cordelia V. Hall	[6] [8] [13]
38	Pieter H. Hartel	[12]
39	Bogumil Hausman	[12]
40	Reinhold Heckmann	[38] [41] [44]
41	Christoph Armin Herrmann (Christoph A. Herrmann)	[46]
42	Martin Hofmann	[38] [41] [55] [57]
43	Susumu Horiguchi	[31]
44	Paul Hudak	[4]
45	John Hughes	[4]
46	Andrew Ireland	[43]
47	Melody Y. Ivory	[12]
48	Thomas Johnsson	[4]
49	Richard E. Jones	[12]
50	Simon L. Peyton Jones	[3] [4] [6] [7] [8] [9] [13] [14] [17] [19] [25]
51	Steffen Jost	[38] [41] [46] [55] [57]
52	Sahalu B. Junaidu	[16] [19]
53	Jasper Kamperman	[12]
54	Richard B. Kieburtz (Dick Kieburtz)	[4]
55	Ulrike Klusik	[23] [25] [31]
56	Alexander Konovalov	[52]
57	Peter Lee	[12]
58	Xavier Leroy	[12]
59	Rafael Dueire Lins	[12]
60	Steve Linton	[49] [52]
61	Hans-Wolfgang Loidl	[10] [15] [17] [19] [23] [25] [26] [31] [38] [41] [46] [49] [55] [57]
62	Rita Loogen	[23] [30] [31]
63	Sandra Loosemore	[12]
64	Georgiana Macariu	[50]
65	Simon Marlow	[53]
66	James S. Mattson Jr.	[9] [14]
67	James McKinna	[54]
68	Dave McNally	[5]
69	Greg Michaelson	[27] [31] [32] [35] [36] [37] [38] [41] [43] [48] [56]
70	Richard G. Morgan	[19]
71	Rishiyur S. Nikhil	[4]
72	Will Partain	[4] [6]
73	A. S. Partridge	[14]
74	Ricardo Peña-Marí (Ricardo Pena)	[31]
75	Dana Petcu	[50] [51]
76	John Peterson	[4]
77	Robert F. Pointon	[38] [41] [46]
78	Álvaro J. Rebón Portillo	[20] [25] [26] [31]
79	Steffen Priebe	[31]
80	Niklas Röjemo	[12]
81	Fernando Rubio	[31]
82	Patrick M. Sansom	[5]
83	Norman Scaife	[31] [38] [41] [55]
84	Jocelyn Sérot	[32] [37] [38] [41]
85	Manuel Serrano	[12]
86	Hugo R. Simões	[42]
87	Jean-Pierre Talpin	[12]
88	Jon Thackray	[12]
89	Stephen Thomas	[12]
90	Philip W. Trinder	[3] [5] [7] [11] [14] [17] [19] [23] [25] [31] [49] [51] [52] [56]
91	Pedro B. Vasconcelos	[26] [34] [42]
92	Philip Wadler	[4] [6] [8] [13]
93	Andrew M. Wallace	[48]
94	Andy Wallace	[38] [41]
95	Iain Wallace	[48]
96	Pum Walters	[12]
97	Pierre Weis	[12]
98	Peter Wentworth	[12]
99	Abdallah Al Zain	[49] [51] [52] [53] [56]

Colors in the list of coauthors