|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 24 occurrences of 17 keywords
|
|
|
|
|
Results
Found 69 publication records. Showing 69 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Kevin Hammond, Paul H. J. Kelly |
Introduction to the Special Issue on Automatic Program Generation for Embedded Systems.  |
Sci. Comput. Program.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Abdallah Al Zain, Philip W. Trinder, Kevin Hammond |
Orchestrating computational algebra components into a high-performance parallel system. |
IJHPCN |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Edwin Brady, Kevin Hammond |
Resource-Safe Systems Programming with Embedded Domain Specific Languages. |
PADL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Hammond |
Glasgow Parallel Haskell (GpH). |
Encyclopedia of Parallel Computing |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip W. Trinder, Hans-Wolfgang Loidl, Kevin Hammond |
Functional Languages. |
Encyclopedia of Parallel Computing |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Hammond |
Why Parallel Functional Programming Matters: Panel Statement. |
Ada-Europe |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Edwin Brady, Kevin Hammond |
Correct-by-Construction Concurrency: Using Dependent Types to Verify Implementations of Effectful Resource Usage Protocols. |
Fundam. Inform. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir Janjic, Kevin Hammond |
Granularity-Aware Work-Stealing for Computationally-Uniform Grids. |
CCGRID |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen Jost, Kevin Hammond, Hans-Wolfgang Loidl, Martin Hofmann |
Static determination of quantitative resource usage for higher-order programs. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
resource analysis, functional programming, types |
| 1 | Edwin Brady, Kevin Hammond |
Scrapping your inefficient engine: using partial evaluation to improve domain-specific language implementation. |
ICFP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Linton, Kevin Hammond, Alexander Konovalov, Abdallah Al Zain, Philip W. Trinder, Peter Horn, Dan Roozemond |
Easy composition of symbolic computation software: a new lingua franca for symbolic computation. |
ISSAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Brown, Hans-Wolfgang Loidl, Jost Berthold, Kevin Hammond |
Improving Your CASH Flow: The Computer Algebra SHell. |
IFL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Hammond, Greg Michaelson |
The Peter Landin prize. |
Higher-Order and Symbolic Computation |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Saleem Bhatti, Edwin Brady, Kevin Hammond, James McKinna |
Domain Specific Languages (DSLs) for Network Protocols (Position Paper). |
ICDCS Workshops |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
eden, multicore parallelism, haskell, algorithmic skeletons |
| 1 | Steffen Jost, Hans-Wolfgang Loidl, Kevin Hammond, Norman Scaife, Martin Hofmann |
"Carbon Credits" for Resource-Bounded Computations Using Amortised Analysis. |
FM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jost Berthold, Simon Marlow, Kevin Hammond, Abdallah Al Zain |
Comparing and Optimising Parallel Haskell Implementations for Multicore Machines. |
ICPP Workshops |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Hammond, Abdallah Al Zain, Gene Cooperman, Dana Petcu, Philip W. Trinder |
SymGrid: A Framework for Symbolic Computation on the Grid. |
Euro-Par |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Hammond |
SymGrid: A Framework for Symbolic Computations on the Grid. |
SYNASC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
resource bounds, embedded systems, functional programming, motion tracking |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph A. Herrmann, Armelle Bonenfant, Kevin Hammond, Steffen Jost, Hans-Wolfgang Loidl, Robert F. Pointon |
Automatic Amortised Worst-Case Execution Time Analysis. |
WCET |
2007 |
DBLP BibTeX RDF |
|
| 1 | Edwin Brady, Kevin Hammond |
A verified staged interpreter is a verified compiler. |
GPCE |
2006 |
DBLP DOI BibTeX RDF |
domain specific language implementation, resource aware programming, functional programming, partial evaluation, dependent types, multi-stage programming |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Armelle Bonenfant, Christian Ferdinand, Kevin Hammond, Reinhold Heckmann |
Worst-Case Execution Times for a Purely Functional Language. |
IFL |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Hammond, Gudmund Grov, Greg Michaelson, Andrew Ireland |
Low-Level Programming in Hume: An Exploration of the HW-Hume Level. |
IFL |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Kevin Hammond |
Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume Approach. |
CEFP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Edwin Brady, Kevin Hammond |
A Dependently Typed Framework for Static Analysis of Program Execution Costs. |
IFL |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Greg Michaelson, Kevin Hammond, Jocelyn Sérot |
FSM-Hume: programming resource-limited systems using bounded automata. |
SAC |
2004 |
DBLP DOI BibTeX RDF |
multi-process simulation, functional language, finite state automata |
| 1 | Kevin Hammond, Jost Berthold, Rita Loogen |
Automatic Skeletons in Template Haskell. |
Parallel Processing Letters |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2003 |
DBLP DOI BibTeX RDF |
automatic task decomposition, load balancing, parallel computation, functional programming, Haskell, skeletons, ML, implicit parallelism |
| 1 | Kevin Hammond, Greg Michaelson |
The Design of Hume: A High-Level Language for the Real-Time Embedded Systems Domain. |
Domain-Specific Program Generation |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Hammond, Greg Michaelson |
Hume: A Domain-Specific Language for Real-Time Embedded Systems. |
GPCE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Hammond |
Is it time for real-time functional programming? |
Trends in Functional Programming |
2003 |
DBLP BibTeX RDF |
|
| 1 | Greg Michaelson, Kevin Hammond, Jocelyn Sérot |
FSM-Hume is finite state. |
Trends in Functional Programming |
2003 |
DBLP BibTeX RDF |
|
| 1 | Pedro B. Vasconcelos, Kevin Hammond |
Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs. |
IFL |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Hammond |
Parallel Programming: Models, Methods and Programming Languages. |
Euro-Par |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Hammond, Sharon Curtis (eds.) |
Selected papers from the 3rd Scottish Functional Programming Workshop (SFP01), University of Stirling, Bridge of Allan, Scotland, August 22nd to 24th, 2001 |
Scottish Functional Programming Workshop |
2002 |
DBLP BibTeX RDF |
|
| 1 | Kevin Hammond, Greg Michaelson |
Predictable Space Behaviour in FSM-Hume. |
IFL |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Álvaro J. Rebón Portillo, Kevin Hammond, Hans-Wolfgang Loidl, Pedro B. Vasconcelos |
Cost Analysis Using Automatic Size and Time Inference. |
IFL |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Michelle Cope, Ian P. Gent, Kevin Hammond |
Parallel heuristic search in Haskell. |
Scottish Functional Programming Workshop |
2000 |
DBLP BibTeX RDF |
|
| 1 | Kevin Hammond |
The Dynamic Properties of Hume: A Functionally-Based Concurrent Language with Bounded Time and Space Behaviour. |
IFL |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Hammond, Álvaro J. Rebón Portillo |
HaskSkel: Algorithmic Skeletons in Haskell. |
IFL |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Hammond, Antony J. T. Davie, Chris Clack (eds.) |
Implementation of Functional Languages, 10th International Workshop, IFL'98, London, UK, September 9-11, Selected Papers |
IFL |
1999 |
DBLP BibTeX RDF |
|
| 1 | Philip W. Trinder, Kevin Hammond, Hans-Wolfgang Loidl, Simon L. Peyton Jones |
Algorithms + Strategy = Parallelism. |
J. Funct. Program. |
1998 |
DBLP BibTeX RDF |
|
| 1 | Chris Clack, Kevin Hammond, Antony J. T. Davie (eds.) |
Implementation of Functional Languages, 9th International Workshop, IFL'97, St. Andrews, Scotland, UK, September 10-12, 1997, Selected Papers |
IFL |
1998 |
DBLP BibTeX RDF |
|
| 1 | Sahalu B. Junaidu, Antony J. T. Davie, Kevin Hammond |
Naira: A Parallel² Haskell Compiler. |
Implementation of Functional Languages |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Cordelia V. Hall, Kevin Hammond, Simon L. Peyton Jones, Philip Wadler |
Type Classes in Haskell. |
ACM Trans. Program. Lang. Syst. |
1996 |
DBLP DOI BibTeX RDF |
functional programming, Haskell, Haskell, types, type classes |
| 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. |
J. Funct. Program. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans-Wolfgang Loidl, Kevin Hammond |
Making a Packet: Cost-Effective Communication for a Parallel Graph Reducer. |
Implementation of Functional Languages |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Hammond, Philip W. Trinder |
Database Manipulation in Haskell 1.3. |
Functional Programming |
1995 |
DBLP BibTeX RDF |
|
| 1 | Hans-Wolfgang Loidl, Kevin Hammond |
On the Granularity of Divide-and-Conquer Parallelism. |
Functional Programming |
1995 |
DBLP BibTeX RDF |
|
| 1 | Kevin Hammond, James S. Mattson Jr., Simon L. Peyton Jones |
Automatic Spark Strategies and Granularity for a Parallel Functional Language Reducer. |
CONPAR |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Cordelia V. Hall, Kevin Hammond, Simon L. Peyton Jones, Philip Wadler |
Type Classes in Haskell. |
ESOP |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Gert Akerholt, Kevin Hammond, Simon L. Peyton Jones, Philip W. Trinder |
Processing Transactions on GRIP, a Parallel Graph Reducer. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Hammond, Dave McNally, Patrick M. Sansom, Philip W. Trinder |
Improving Persistent Data Manipulation for Functional Languages. |
Functional Programming |
1992 |
DBLP BibTeX RDF |
|
| 1 | Cordelia V. Hall, Kevin Hammond, Will Partain, Simon L. Peyton Jones, Philip Wadler |
The Glasgow Haskell Compiler: A Retrospective. |
Functional Programming |
1992 |
DBLP BibTeX RDF |
|
| 1 | Kevin Hammond |
Efficient Type Inference Using Monads (Summary). |
Functional Programming |
1991 |
DBLP BibTeX RDF |
|
| 1 | Gert Akerholt, Kevin Hammond, Simon L. Peyton Jones, Philip W. Trinder |
A Parallel Functional Database on GRIP. |
Functional Programming |
1991 |
DBLP BibTeX RDF |
|
| 1 | Kevin Hammond, Stephen Blott |
Implementing Haskell Type Classes. |
Functional Programming |
1989 |
DBLP BibTeX RDF |
|
Displaying result #1 - #69 of 69 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")