The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Kevin Hammond: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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. [Citation Graph (1, 0)][DBLP]
    J. Funct. Program., 1996, v:6, n:4, pp:621-655 [Journal]
  2. 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. [Citation Graph (1, 0)][DBLP]
    SIGPLAN Notices, 1992, v:27, n:5, pp:0-0 [Journal]
  3. Kevin Hammond, James S. Mattson Jr., Simon L. Peyton Jones
    Automatic Spark Strategies and Granularity for a Parallel Functional Language Reducer. [Citation Graph (0, 0)][DBLP]
    CONPAR, 1994, pp:521-532 [Conf]
  4. Kevin Hammond, Greg Michaelson
    The Design of Hume: A High-Level Language for the Real-Time Embedded Systems Domain. [Citation Graph (0, 0)][DBLP]
    Domain-Specific Program Generation, 2003, pp:127-142 [Conf]
  5. Cordelia V. Hall, Kevin Hammond, Simon L. Peyton Jones, Philip Wadler
    Type Classes in Haskell. [Citation Graph (0, 0)][DBLP]
    ESOP, 1994, pp:241-256 [Conf]
  6. Kevin Hammond
    Parallel Programming: Models, Methods and Programming Languages. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 2002, pp:603-604 [Conf]
  7. 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). [Citation Graph (0, 0)][DBLP]
    Euro-Par, 2000, pp:739-743 [Conf]
  8. Gert Akerholt, Kevin Hammond, Simon L. Peyton Jones, Philip W. Trinder
    A Parallel Functional Database on GRIP. [Citation Graph (0, 0)][DBLP]
    Functional Programming, 1991, pp:1-24 [Conf]
  9. Hans-Wolfgang Loidl, Kevin Hammond
    On the Granularity of Divide-and-Conquer Parallelism. [Citation Graph (0, 0)][DBLP]
    Functional Programming, 1995, pp:8- [Conf]
  10. Cordelia V. Hall, Kevin Hammond, Will Partain, Simon L. Peyton Jones, Philip Wadler
    The Glasgow Haskell Compiler: A Retrospective. [Citation Graph (0, 0)][DBLP]
    Functional Programming, 1992, pp:62-71 [Conf]
  11. Kevin Hammond
    Efficient Type Inference Using Monads (Summary). [Citation Graph (0, 0)][DBLP]
    Functional Programming, 1991, pp:146-157 [Conf]
  12. Kevin Hammond, Stephen Blott
    Implementing Haskell Type Classes. [Citation Graph (0, 0)][DBLP]
    Functional Programming, 1989, pp:266-286 [Conf]
  13. Kevin Hammond, Dave McNally, Patrick M. Sansom, Philip W. Trinder
    Improving Persistent Data Manipulation for Functional Languages. [Citation Graph (0, 0)][DBLP]
    Functional Programming, 1992, pp:72-84 [Conf]
  14. Kevin Hammond, Philip W. Trinder
    Database Manipulation in Haskell 1.3. [Citation Graph (0, 0)][DBLP]
    Functional Programming, 1995, pp:5- [Conf]
  15. Edwin Brady, Kevin Hammond
    A verified staged interpreter is a verified compiler. [Citation Graph (0, 0)][DBLP]
    GPCE, 2006, pp:111-120 [Conf]
  16. Kevin Hammond, Greg Michaelson
    Hume: A Domain-Specific Language for Real-Time Embedded Systems. [Citation Graph (0, 0)][DBLP]
    GPCE, 2003, pp:37-56 [Conf]
  17. Kevin Hammond
    The Dynamic Properties of Hume: A Functionally-Based Concurrent Language with Bounded Time and Space Behaviour. [Citation Graph (0, 0)][DBLP]
    IFL, 2000, pp:122-139 [Conf]
  18. Kevin Hammond, Greg Michaelson
    Predictable Space Behaviour in FSM-Hume. [Citation Graph (0, 0)][DBLP]
    IFL, 2002, pp:1-16 [Conf]
  19. Hans-Wolfgang Loidl, Kevin Hammond
    Making a Packet: Cost-Effective Communication for a Parallel Graph Reducer. [Citation Graph (0, 0)][DBLP]
    Implementation of Functional Languages, 1996, pp:184-199 [Conf]
  20. Álvaro J. Rebón Portillo, Kevin Hammond, Hans-Wolfgang Loidl, Pedro B. Vasconcelos
    Cost Analysis Using Automatic Size and Time Inference. [Citation Graph (0, 0)][DBLP]
    IFL, 2002, pp:232-248 [Conf]
  21. Kevin Hammond, Álvaro J. Rebón Portillo
    HaskSkel: Algorithmic Skeletons in Haskell. [Citation Graph (0, 0)][DBLP]
    IFL, 1999, pp:181-198 [Conf]
  22. Pedro B. Vasconcelos, Kevin Hammond
    Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs. [Citation Graph (0, 0)][DBLP]
    IFL, 2003, pp:86-101 [Conf]
  23. Sahalu B. Junaidu, Antony J. T. Davie, Kevin Hammond
    Naira: A Parallel² Haskell Compiler. [Citation Graph (0, 0)][DBLP]
    Implementation of Functional Languages, 1997, pp:214-230 [Conf]
  24. Edwin Brady, Kevin Hammond
    A Dependently Typed Framework for Static Analysis of Program Execution Costs. [Citation Graph (0, 0)][DBLP]
    IFL, 2005, pp:74-90 [Conf]
  25. Gert Akerholt, Kevin Hammond, Simon L. Peyton Jones, Philip W. Trinder
    Processing Transactions on GRIP, a Parallel Graph Reducer. [Citation Graph (0, 0)][DBLP]
    PARLE, 1993, pp:634-647 [Conf]
  26. Philip W. Trinder, Kevin Hammond, James S. Mattson Jr., A. S. Partridge, Simon L. Peyton Jones
    GUM: A Portable Parallel Implementation of Haskell. [Citation Graph (0, 0)][DBLP]
    PLDI, 1996, pp:79-88 [Conf]
  27. Greg Michaelson, Kevin Hammond, Jocelyn Sérot
    FSM-Hume: programming resource-limited systems using bounded automata. [Citation Graph (0, 0)][DBLP]
    SAC, 2004, pp:1455-1461 [Conf]
  28. 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. [Citation Graph (0, 0)][DBLP]
    SAC, 2007, pp:1307-1314 [Conf]
  29. Michelle Cope, Ian P. Gent, Kevin Hammond
    Parallel heuristic search in Haskell. [Citation Graph (0, 0)][DBLP]
    Scottish Functional Programming Workshop, 2000, pp:65-76 [Conf]
  30. Hans-Wolfgang Loidl, Ulrike Klusik, Kevin Hammond, Rita Loogen, Philip W. Trinder
    GpH and Eden: Comparing two parallel functional languages on a Beowulf cluster. [Citation Graph (0, 0)][DBLP]
    Scottish Functional Programming Workshop, 2000, pp:39-52 [Conf]
  31. Kevin Hammond
    Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume Approach. [Citation Graph (0, 0)][DBLP]
    CEFP, 2005, pp:100-134 [Conf]
  32. Hans-Wolfgang Loidl, Philip W. Trinder, Kevin Hammond, Sahalu B. Junaidu, Richard G. Morgan, Simon L. Peyton Jones
    Engineering parallel symbolic programs in GPH. [Citation Graph (0, 0)][DBLP]
    Concurrency - Practice and Experience, 1999, v:11, n:12, pp:701-752 [Journal]
  33. Philip W. Trinder, Kevin Hammond, Hans-Wolfgang Loidl, Simon L. Peyton Jones
    Algorithms + Strategy = Parallelism. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1998, v:8, n:1, pp:23-60 [Journal]
  34. 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 [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2003, v:16, n:3, pp:203-251 [Journal]
  35. Kevin Hammond, Jost Berthold, Rita Loogen
    Automatic Skeletons in Template Haskell. [Citation Graph (0, 0)][DBLP]
    Parallel Processing Letters, 2003, v:13, n:3, pp:413-424 [Journal]
  36. Cordelia V. Hall, Kevin Hammond, Simon L. Peyton Jones, Philip Wadler
    Type Classes in Haskell. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1996, v:18, n:2, pp:109-138 [Journal]
  37. Kevin Hammond, Abdallah Al Zain, Gene Cooperman, Dana Petcu, Philip W. Trinder
    SymGrid: A Framework for Symbolic Computation on the Grid. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 2007, pp:457-466 [Conf]
  38. 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. [Citation Graph (0, 0)][DBLP]
    International Conference on Computational Science (2), 2007, pp:617-624 [Conf]
  39. Armelle Bonenfant, Christian Ferdinand, Kevin Hammond, Reinhold Heckmann
    Worst-Case Execution Times for a Purely Functional Language. [Citation Graph (0, 0)][DBLP]
    IFL, 2006, pp:235-252 [Conf]
  40. Kevin Hammond, Gudmund Grov, Greg Michaelson, Andrew Ireland
    Low-Level Programming in Hume: An Exploration of the HW-Hume Level. [Citation Graph (0, 0)][DBLP]
    IFL, 2006, pp:91-107 [Conf]
  41. 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). [Citation Graph (0, 0)][DBLP]
    Trends in Functional Programming, 2005, pp:195-210 [Conf]
  42. Kevin Hammond
    Is it time for real-time functional programming? [Citation Graph (0, 0)][DBLP]
    Trends in Functional Programming, 2003, pp:1-18 [Conf]
  43. Greg Michaelson, Kevin Hammond, Jocelyn Sérot
    FSM-Hume is finite state. [Citation Graph (0, 0)][DBLP]
    Trends in Functional Programming, 2003, pp:19-28 [Conf]
  44. Hugo R. Simões, Kevin Hammond, Mário Florido, Pedro B. Vasconcelos
    Using Intersection Types for Cost-Analysis of Higher-Order Polymorphic Functional Programs. [Citation Graph (0, 0)][DBLP]
    TYPES, 2006, pp:221-236 [Conf]

  45. Granularity-Aware Work-Stealing for Computationally-Uniform Grids. [Citation Graph (, )][DBLP]


  46. "Carbon Credits" for Resource-Bounded Computations Using Amortised Analysis. [Citation Graph (, )][DBLP]


  47. Domain Specific Languages (DSLs) for Network Protocols (Position Paper). [Citation Graph (, )][DBLP]


  48. Comparing and Optimising Parallel Haskell Implementations for Multicore Machines. [Citation Graph (, )][DBLP]


  49. Parallelism without Pain: Orchestrating Computational Algebra Components into a High-Performance Parallel System. [Citation Graph (, )][DBLP]


  50. Generic Access to Web and Grid-based Symbolic Computing Services: the SymGrid-Services Framework. [Citation Graph (, )][DBLP]


  51. Static determination of quantitative resource usage for higher-order programs. [Citation Graph (, )][DBLP]


  52. Low-pain, high-gain multicore programming in Haskell: coordinating irregular symbolic computations on multicore architectures. [Citation Graph (, )][DBLP]


  53. Automatic Amortised Worst-Case Execution Time Analysis. [Citation Graph (, )][DBLP]


  54. Towards Formally Verifiable WCET Analysis for a Functional Programming Language. [Citation Graph (, )][DBLP]


  55. SymGrid: A Framework for Symbolic Computations on the Grid. [Citation Graph (, )][DBLP]


Search in 2.008secs, Finished in 2.011secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002