BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Belgium
1 × Denmark
1 × Japan
1 × Spain
1 × The Netherlands
11 × USA
2 × Canada
3 × France
3 × Germany
8 × United Kingdom
Collaborated with:
M.Wallace M.Naylor N.Mitchell N.Röjemo A.Bakewell O.Chitil G.E.Moss J.Sparud D.Cattrall R.Braquehais I.Toyn J.S.Reich D.Plump A.J.Dix D.J.Duke R.Borgo N.Charles R.Noble D.Wakeling C.W.Johnson A.Gill J.M.C.Trilla M.W.0004 D.McNeill E.Axelsson F.Lindblad C.Bak G.Faulkner M.D.Harrison H.W.Thimbleby K.Claessen J.Hughes
Talks about:
function (17) lazi (11) program (10) test (6) data (6) haskel (5) profil (4) trace (4) use (4) structur (3)

Person: Colin Runciman

DBLP DBLP: Runciman:Colin

Facilitated 1 volumes:

ICFP 2003Ed

Contributed to:

GaM 20152015
IFL 20122012
IFL 20112011
ICFP 20102010
PADL 20092009
ICFP 20082008
IFL 20072007
SCAM 20072007
AGTIVE 20032003
IFL 20032003
AFP 20022002
IFL 20022002
IFL 20002000
PPDP 20002000
FLOPS 19991999
ICFP 19991999
PADL 19991999
IFL 19981998
ISMM 19981998
IFL 19971997
PLILP 19971997
AFP 19961996
ICFP 19961996
IFL 19961996
FPCA 19951995
PPDP 19951995
FPCA 19931993
PLILP 19921992
FPCA 19911991
FPCA 19891989
ESEC 19871987
FPCA 19871987
SCC 19821982
Haskell 20072007
Haskell 20082008
Haskell 20092009
Haskell 20152015
Haskell 20162016
Haskell 20172017

Wrote 45 papers:

GaM-2015-BakFPR #graph #interpreter #programming language
A Reference Interpreter for the Graph Programming Language GP 2 (CB, GF, DP, CR), pp. 48–64.
IFL-2012-ReichNR #lazy evaluation #roadmap
Advances in Lazy SmallCheck (JSR, MN, CR), pp. 53–70.
IFL-2011-ReichNR #canonical #generative #lazy evaluation #source code
Lazy Generation of Canonical Test Programs (JSR, MN, CR), pp. 69–84.
ICFP-2010-NaylorR
The reduceron reconfigured (MN, CR), pp. 75–86.
PADL-2009-DukeBWR #design #domain-specific language #embedded #multi #source code #visualisation
Huge Data But Small Programs: Visualization Design via Multiple Embedded DSLs (DJD, RB, MW, CR), pp. 31–45.
ICFP-2008-DukeBRW #case study #experience #functional #pipes and filters #visualisation
Experience report: visualizing data through functional pipelines (DJD, RB, CR, MW), pp. 379–382.
IFL-2007-MitchellR #haskell
A Supercompiler for Core Haskell (NM, CR), pp. 147–164.
IFL-2007-NaylorR #graph #reduction #using
The Reduceron: Widening the von Neumann Bottleneck for Graph Reduction Using an FPGA (MN, CR), pp. 129–146.
SCAM-2007-NaylorR
Finding Inputs that Reach a Target Expression (MN, CR), pp. 133–142.
AGTIVE-2003-BakewellPR #graph #pointer #reduction #specification
Specifying Pointer Structures by Graph Reduction (AB, DP, CR), pp. 30–44.
IFL-2003-ChitilMR #lazy evaluation
Lazy Assertions (OC, DM, CR), pp. 1–19.
AFP-2002-ClaessenRCHW02 #functional #lazy evaluation #quickcheck #source code #testing #using
Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat (KC, CR, OC, JH, MW), pp. 59–99.
IFL-2002-ChitilRW #haskell
Transforming Haskell for Tracing (OC, CR, MW), pp. 165–181.
IFL-2000-ChitilRW #comparative #debugging #evaluation #functional #lazy evaluation #source code
Freja, Hat and Hood — A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs (OC, CR, MW), pp. 176–193.
PPDP-2000-BakewellR #lazy evaluation
A model for comparing the space usage of lazy evaluators (AB, CR), pp. 151–162.
FLOPS-1999-BakewellR #automation
Automated Generalisation of Function Definitions (AB, CR), pp. 225–240.
ICFP-1999-WallaceR #combinator #haskell #question #type system #xml
Haskell and XML: Generic Combinators or Type-Based Translation? (MW, CR), pp. 148–159.
PADL-1999-MossR #automation #benchmark #data type #functional #metric
Automated Benchmarking of Functional Data Structures (GEM, CR), pp. 1–15.
IFL-1998-CharlesR #approach #functional #interactive #parallel #profiling #source code
An Interactive Approach to Profiling Parallel Functional Programs (NC, CR), pp. 20–37.
ISMM-1998-WallaceR #functional #lazy evaluation
The Bits Between The Lambdas: Binary Data in a Lazy Functional Language (MW, CR), pp. 107–117.
IFL-1997-MossR #benchmark #data type #functional #metric #named
Auburn: A Kit for Benchmarking Functional Data Structures (GEM, CR), pp. 141–159.
IFL-1997-SparudR #functional
Complete and Partial Redex Trails of Functional Computations (JS, CR), pp. 160–177.
PLILP-1997-SparudR #functional #lazy evaluation #using
Tracing Lazy Functional Computations Using Redex Trails (JS, CR), pp. 291–308.
AFP-1996-RuncimanR96 #performance #profiling
Heap Profiling for Space Efficiency (CR, NR), pp. 159–183.
ICFP-1996-RojemoR #compilation #profiling #revisited
Lag, Drag, Void and Use — Heap Profiling and Space-Efficient Compilation Revisited (NR, CR), pp. 34–41.
IFL-1996-RuncimanR #matter #profiling
Two-Pass Heap Profiling: A Matter of Life and Death (CR, NR), pp. 222–232.
FPCA-1995-WallaceR #architecture #embedded #functional #programming
λs in the Liftshaft — Functional Programming and an Embedded Architecture (MW, CR), pp. 249–258.
PLILP-1995-NobleR #component #functional #lazy evaluation #named #user interface #visual notation
Gadgets: Lazy Functional Components for Graphical User Interfaces (RN, CR), pp. 321–340.
FPCA-1993-CattrallR #functional #implementation #programming #relational #representation
Widening the Representation Bottleneck: A Functional Implementation of Relational Programming (DC, CR), pp. 191–200.
PLILP-1992-CattrallR #programming #relational
A Relational Programming System with Inferred Representations (DC, CR), pp. 475–476.
FPCA-1991-WakelingR #lazy evaluation
Linearity and Laziness (DW, CR), pp. 215–240.
FPCA-1989-RuncimanT #component #polymorphism
Retrieving Re-Usable Software Components by Polymorphic Type (CR, IT), pp. 166–173.
ESEC-1987-DixHRT #design #interactive #modelling
Interaction Models and the Principled Design of Interactive Systems (AJD, MDH, CR, HWT), pp. 118–126.
FPCA-1987-ToynDR #morphism #performance #polymorphism
Performance polymorphism (IT, AJD, CR), pp. 325–346.
SCC-1982-JohnsonR #fault #semantics
Semantic Errors — Diagnosis and Repair (CWJ, CR), pp. 88–97.
Haskell-2007-GillR #haskell
Haskell program coverage (AG, CR), pp. 1–12.
Haskell-2007-MitchellR
Uniform boilerplate and list processing (NM, CR), pp. 49–60.
Haskell-2007-NaylorAR #functional #library
A functional-logic library for wired (MN, EA, CR), pp. 37–48.
Haskell-2008-MitchellR #automation #pattern matching #verification
Not all patterns, but enough: an automatic verifier for partial but sufficient pattern matching (NM, CR), pp. 49–60.
Haskell-2008-RuncimanNL #automation #lazy evaluation #testing
Smallcheck and lazy smallcheck: automatic exhaustive testing for small values (CR, MN, FL), pp. 37–48.
Haskell-2009-MitchellR
Losing functions without gaining data: another look at defunctionalisation (NM, CR), pp. 13–24.
Haskell-2015-TrillaR #parallel
Improving implicit parallelism (JMCT, CR), pp. 153–164.
Haskell-2015-WalkerR #concurrent #haskell #library #testing
Déjà Fu: a concurrency testing library for Haskell (MW0, CR), pp. 141–152.
Haskell-2016-BraquehaisR #functional #named #testing
FitSpec: refining property sets for functional testing (RB, CR), pp. 1–12.
Haskell-2017-BraquehaisR #black box #equation #named #reasoning
Speculate: discovering conditional equations and inequalities about black-box functions by reasoning from test results (RB, CR), pp. 40–51.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.