Travelled to:1 × Cyprus
1 × Denmark
1 × Ireland
1 × Korea
2 × Hungary
2 × Spain
3 × Germany
3 × The Netherlands
4 × USA
4 × United Kingdom
Collaborated with:E.Brady G.Michaelson H.Loidl P.B.Vasconcelos ∅ S.Jost Á.J.R.Portillo M.Florido M.Hofmann S.L.P.Jones C.Brown V.Janjic A.Bonenfant J.Sérot S.B.Junaidu A.J.T.Davie J.Berthold C.Ferdinand R.Heckmann G.Grov A.Ireland C.V.Hall P.Wadler H.Ferreiro L.M.Castro H.R.Simões N.Scaife P.W.Trinder J.S.M.Jr. A.S.Partridge H.Schöner K.Idrees C.W.Glass Z.Chen A.M.Wallace I.Wallace
Talks about:program (8) hume (7) function (6) resourc (6) languag (6) analysi (5) time (5) cost (5) use (5) parallel (4)
Person: Kevin Hammond
DBLP: Hammond:Kevin
Facilitated 2 volumes:
EdEdContributed to:
2015
2014
2012
201220102010
2010
2009
2007
20062006
2005200520042003200320022000199919971996
19961994
2016Wrote 26 papers:
- ESOP-2015-VasconcelosJFH #analysis #functional #lazy evaluation #recursion #type system
- Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages (PBV, SJ, MF, KH), pp. 787–811.
- PDP-2014-BrownJHSIG #parallel #performance #refactoring #tool support #using
- Agricultural Reform: More Efficient Farming Using Advanced Parallel Refactoring Tools (CB, VJ, KH, HS, KI, CWG), pp. 36–43.
- ICFP-2012-SimoesVFJH #analysis #automation #functional #lazy evaluation #memory management #source code
- Automatic amortised analysis of dynamic memory allocation for lazy functional programs (HRS, PBV, MF, SJ, KH), pp. 165–176.
- PADL-2012-BradyH #domain-specific language #embedded #programming
- Resource-Safe Systems Programming with Embedded Domain Specific Languages (EB, KH), pp. 242–257.
- ICFP-2010-BradyH #domain-specific language #implementation #partial evaluation #using
- Scrapping your inefficient engine: using partial evaluation to improve domain-specific language implementation (EB, KH), pp. 297–308.
- IFL-2010-BrownLBH #algebra
- Improving Your CASH Flow: The Computer Algebra SHell (CB, HWL, JB, KH), pp. 169–184.
- POPL-2010-JostHLH #higher-order #resource management #source code
- Static determination of quantitative resource usage for higher-order programs (SJ, KH, HWL, MH), pp. 223–236.
- FM-2009-JostLHSH #analysis #bound #using
- “Carbon Credits” for Resource-Bounded Computations Using Amortised Analysis (SJ, HWL, KH, NS, MH), pp. 354–369.
- SAC-2007-BonenfantCHMWW #cost analysis #towards
- Towards resource-certified software: a formal cost model for time and its application to an image-processing example (AB, ZC, KH, GM, AMW, IW), pp. 1307–1314.
- GPCE-2006-BradyH #compilation #interpreter #staged
- A verified staged interpreter is a verified compiler (EB, KH), pp. 111–120.
- IFL-2006-BonenfantFHH #execution #functional #worst-case
- Worst-Case Execution Times for a Purely Functional Language (AB, CF, KH, RH), pp. 235–252.
- IFL-2006-HammondGMI #low level #programming
- Low-Level Programming in Hume: An Exploration of the HW-Hume Level (KH, GG, GM, AI), pp. 91–107.
- CEFP-2005-Hammond #approach #behaviour #bound #functional #programming
- Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume Approach (KH), pp. 100–134.
- IFL-2005-BradyH #execution #framework #static analysis
- A Dependently Typed Framework for Static Analysis of Program Execution Costs (EB, KH), pp. 74–90.
- SAC-2004-MichaelsonHS #automaton #bound #named #programming #using
- FSM-Hume: programming resource-limited systems using bounded automata (GM, KH, JS), pp. 1455–1461.
- GPCE-2003-HammondM #domain-specific language #embedded #named #realtime
- Hume: A Domain-Specific Language for Real-Time Embedded Systems (KH, GM), pp. 37–56.
- IFL-2003-VasconcelosH #equation #functional #higher-order #polymorphism #recursion #source code
- Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs (PBV, KH), pp. 86–101.
- IFL-2002-HammondM #behaviour #predict
- Predictable Space Behaviour in FSM-Hume (KH, GM), pp. 1–16.
- IFL-2002-PortilloHLV #automation #cost analysis #using
- Cost Analysis Using Automatic Size and Time Inference (ÁJRP, KH, HWL, PBV), pp. 232–248.
- IFL-2000-Hammond #behaviour #bound #concurrent
- The Dynamic Properties of Hume: A Functionally-Based Concurrent Language with Bounded Time and Space Behaviour (KH), pp. 122–139.
- IFL-1999-HammondP #algorithm #haskell #named
- HaskSkel: Algorithmic Skeletons in Haskell (KH, ÁJRP), pp. 181–198.
- IFL-1997-JunaiduDH #compilation #haskell #named
- Naira: A Parallel² Haskell Compiler (SBJ, AJTD, KH), pp. 214–230.
- IFL-1996-LoidlH #communication #effectiveness #graph #parallel #reduction
- Making a Packet: Cost-Effective Communication for a Parallel Graph Reducer (HWL, KH), pp. 184–199.
- PLDI-1996-TrinderHMPJ #haskell #implementation #named #parallel
- GUM: A Portable Parallel Implementation of Haskell (PWT, KH, JSMJ, ASP, SLPJ), pp. 79–88.
- ESOP-1994-HallHJW #haskell
- Type Classes in Haskell (CVH, KH, SLPJ, PW), pp. 241–256.
- CC-2016-FerreiroCJH #haskell
- Kindergarten cop: dynamic nursery resizing for GHC (HF, LMC, VJ, KH), pp. 56–66.