Colin Runciman

ORCID

Publication Activity (10 Years)

Years Active: 1979-2022
Publications (10 Years): 11

Top Venues

University of York, UK (PHD)

Education History

University of York, UK

PHD

Publications

Stefan Kahrs, Colin Runciman
Simplifying regular expressions further. J. Symb. Comput. 109 (2022)
Ralf Hinze, Colin Runciman
Super-naturals. J. Funct. Program. 32 (2022)
Michael Walker, Colin Runciman
Cheap Remarks About Concurrent Programs. FLOPS (2018)
Rudy Braquehais, Colin Runciman
Speculate: discovering conditional equations and inequalities about black-box functions by reasoning from test results. Haskell (2017)
Rudy Braquehais, Colin Runciman
Extrapolate: generalizing counterexamples of functional test properties. IFL (2017)
Olaf Chitil, Maarten Faddegon, Colin Runciman
A Lightweight Hat: Simple Type-Preserving Instrumentation for Self-Tracing Lazy Functional Programs. IFL (2016)
Rudy Braquehais, Colin Runciman
FitSpec: refining property sets for functional testing. Haskell (2016)
José Manuel Calderón Trilla, Simon M. Poulding, Colin Runciman
Weaving Parallel Threads - Searching for Useful Parallelism in Functional Programs. SSBSE (2015)
José Manuel Calderón Trilla, Colin Runciman
Improving implicit parallelism. Haskell (2015)
Michael Walker, Colin Runciman
Déjà Fu: a concurrency testing library for Haskell. Haskell (2015)
Christopher Bak, Glyn Faulkner, Detlef Plump, Colin Runciman
A Reference Interpreter for the Graph Programming Language GP 2. GaM (2015)
Matthew Naylor, Colin Runciman
The Reduceron reconfigured and re-evaluated. J. Funct. Program. 22 (4-5) (2012)
Jason S. Reich, Matthew Naylor, Colin Runciman
Advances in Lazy SmallCheck. IFL (2012)
Jason S. Reich, Matthew Naylor, Colin Runciman
Lazy Generation of Canonical Test Programs. IFL (2011)
Matthew Naylor, Colin Runciman
The reduceron reconfigured. ICFP (2010)
David J. Duke, Rita Borgo, Malcolm Wallace, Colin Runciman
Huge Data But Small Programs: Visualization Design via Multiple Embedded DSLs. PADL (2009)
Matthew Naylor, Colin Runciman
Expressible sharing for functional circuit description. High. Order Symb. Comput. 22 (1) (2009)
Neil Mitchell, Colin Runciman
Losing functions without gaining data: another look at defunctionalisation. Haskell (2009)
David J. Duke, Rita Borgo, Colin Runciman, Malcolm Wallace
Experience report: visualizing data through functional pipelines. ICFP (2008)
Neil Mitchell, Colin Runciman
Not all patterns, but enough: an automatic verifier for partial but sufficient pattern matching. Haskell (2008)
Colin Runciman, Matthew Naylor, Fredrik Lindblad
Smallcheck and lazy smallcheck: automatic exhaustive testing for small values. Haskell (2008)
Matthew Naylor, Colin Runciman
Finding Inputs that Reach a Target Expression. SCAM (2007)
Matthew Naylor, Emil Axelsson, Colin Runciman
A functional-logic library for wired. Haskell (2007)
Neil Mitchell, Colin Runciman
A Supercompiler for Core Haskell. IFL (2007)
Matthew Naylor, Colin Runciman
The Reduceron: Widening the von Neumann Bottleneck for Graph Reduction Using an FPGA. IFL (2007)
Andy Gill, Colin Runciman
Haskell program coverage. Haskell (2007)
Neil Mitchell, Colin Runciman
Uniform boilerplate and list processing. Haskell (2007)
David J. Duke, Malcolm Wallace, Rita Borgo, Colin Runciman
Fine-grained Visualization Pipelines and Lazy Functional Languages. IEEE Trans. Vis. Comput. Graph. 12 (5) (2006)
Neil Mitchell, Colin Runciman
A static checker for safe pattern matching in Haskell. Trends in Functional Programming (2005)
Adam Bakewell, Detlef Plump, Colin Runciman
Checking the Shape Safety of Pointer Manipulations. RelMiCS (2003)
Adam Bakewell, Detlef Plump, Colin Runciman
Specifying Pointer Structures by Graph Reduction. AGTIVE (2003)
Olaf Chitil, Dan McNeill, Colin Runciman
Lazy Assertions. IFL (2003)
Olaf Chitil, Colin Runciman, Malcolm Wallace
Transforming Haskell for Tracing. IFL (2002)
Koen Claessen, Colin Runciman, Olaf Chitil, John Hughes, Malcolm Wallace
Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat. Advanced Functional Programming (2002)
Graeme E. Moss, Colin Runciman
Inductive benchmarking for purely functional data structures. J. Funct. Program. 11 (5) (2001)
Tatsuru Matsushita, Colin Runciman
The accepting power of unary string logic programs. Theor. Comput. Sci. 266 (1-2) (2001)
Adam Bakewell, Colin Runciman
A model for comparing the space usage of lazy evaluators. PPDP (2000)
Adam Bakewell, Colin Runciman
The space usage problem: An evaluation kit for graph reduction semantics. Scottish Functional Programming Workshop (2000)
Olaf Chitil, Colin Runciman, Malcolm Wallace
Freja, Hat and Hood - A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs. IFL (2000)
Adam Bakewell, Colin Runciman
A Space Semantics for Core Haskell. Electron. Notes Theor. Comput. Sci. 41 (1) (2000)
Graeme E. Moss, Colin Runciman
Automated Benchmarking of Functional Data Structures. PADL (1999)
Adam Bakewell, Colin Runciman
Automated Generalisation of Function Definitions. Fuji International Symposium on Functional and Logic Programming (1999)
Malcolm Wallace, Colin Runciman
Haskell and XML: Generic Combinators or Type-Based Translation? ICFP (1999)
Nathan Charles, Colin Runciman
An Interactive Approach to Profiling Parallel Functional Programs. IFL (1998)
Malcolm Wallace, Colin Runciman
The Bits Between The Lambdas: Binary Data in a Lazy Functional Language. ISMM (1998)
Jan Sparud, Colin Runciman
Tracing Lazy Functional Computations Using Redex Trails. PLILP (1997)
Graeme E. Moss, Colin Runciman
Auburn: A Kit for Benchmarking Functional Data Structures. Implementation of Functional Languages (1997)
Colin Runciman
Lazy Wheel Sieves and Spirals of Primes. J. Funct. Program. 7 (2) (1997)
Jan Sparud, Colin Runciman
Complete and Partial Redex Trails of Functional Computations. Implementation of Functional Languages (1997)
Niklas Röjemo, Colin Runciman
Lag, Drag, Void and Use - Heap Profiling and Space-Efficient Compilation Revisited. ICFP (1996)
Andrew Douglas, Niklas Röjemo, Colin Runciman, Alan Wood
Astro-Gofer: Parallel Functional Programming with Co-ordinating Processes. Euro-Par, Vol. I (1996)
Colin Runciman, Niklas Röjemo
New Dimensions in Heap Profiling. J. Funct. Program. 6 (4) (1996)
Colin Runciman, Niklas Röjemo
Heap Profiling for Space Efficiency. Advanced Functional Programming (1996)
Colin Runciman, Niklas Röjemo
Two-Pass Heap Profiling: A Matter of Life and Death. Implementation of Functional Languages (1996)
Malcolm Wallace, Colin Runciman
Extending a Functional Programming System for Embedded Applications. Softw. Pract. Exp. 25 (1) (1995)
Malcolm Wallace, Colin Runciman
Lambdas in the Liftshaft - Functional Programming and an Embedded Architecture. FPCA (1995)
Rob Noble, Colin Runciman
Gadgets: Lazy Functional Components for Graphical User Interfaces PLILP (1995)
Colin Runciman
Binding-time Improvement and Fold/Unfold Transformation. Functional Programming (1994)
Sandra P. Foubister, Colin Runciman
Techniques for Simplifying the Visualization of Graph Reduction. Functional Programming (1994)
Malcolm Wallace, Colin Runciman
Type-Checked Message-Passing between Functional Processes. Functional Programming (1994)
Colin Runciman, David Wakeling
Heap Profiling of Lazy Functional Programs. J. Funct. Program. 3 (2) (1993)
Colin Runciman, Ian Toyn, Mike Firth
An Incremental, Exploratory and Transformational Environment for the Lazy Functional Programming. J. Funct. Program. 3 (1) (1993)
Dave Cattrall, Colin Runciman
Widening the Representation Bottleneck: A Functional Implementation of Relational Programming. FPCA (1993)
Colin Runciman, David Wakeling
Profiling Parallel Functional Computations (Without Parallel Machines). Functional Programming (1993)
Dave Cattrall, Colin Runciman
A Relational Programming System with Inferred Representations. PLILP (1992)
Colin Runciman, David Wakeling
Heap Profiling of a Lazy Functional Compiler. Functional Programming (1992)
Paul Sanders, Colin Runciman
LZW Text Compression in Haskell. Functional Programming (1992)
David Wakeling, Colin Runciman
Linearity and Laziness. FPCA (1991)
Colin Runciman, Ian Toyn
Retrieving Reusable Software Components by Polymorphic Type. J. Funct. Program. 1 (2) (1991)
Colin Runciman
TIP in Haskell - another Exercise in Functional Programming. Functional Programming (1991)
Colin Runciman, David Wakeling
Problems & Proposals for Time & Space Profiling of Functional Programs. Functional Programming (1990)
Colin Runciman, Nigel Jagger
Relative Specification and Transformational Re-Use of Functional Programs. LISP Symb. Comput. 3 (1) (1990)
Colin Runciman, Mike Firth
Formalised development of software by machine assisted transformation. Formal Methods in Software Development (1990)
Colin Runciman, Mike Firth, Nigel Jagger
Transformation in a Non-Strict Language: An Approach to Instantiation. Functional Programming (1989)
Colin Runciman, Ian Toyn
Retrieving Re-Usable Software Components by Polymorphic Type. FPCA (1989)
Colin Runciman
What About the Natural Numbers? Comput. Lang. 14 (3) (1989)
Alan J. Dix, Michael D. Harrison, Colin Runciman, Harold W. Thimbleby
Interaction Models and the Principled Design of Interactive Systems. ESEC (1987)
Ian Toyn, Alan J. Dix, Colin Runciman
Performance polymorphism. FPCA (1987)
Colin Runciman
Some software tools used in the development of the prototype york ada compiler. Softw. Eng. J. 2 (4) (1987)
Colin Runciman, Harold W. Thimbleby
Equal Opportunity Interactive Systems. Int. J. Man Mach. Stud. 25 (4) (1986)
Ian Toyn, Colin Runciman
Adapting Combinator and SEC Machines to Display Snapshots of Functional Computations. New Gener. Comput. 4 (4) (1986)
Colin Runciman
Deriving Functional Programs from Equational Specifications. ADT (1986)
C. W. Johnson, Colin Runciman
Semantic Errors - Diagnosis and Repair. SIGPLAN Symposium on Compiler Construction (1982)
Colin Runciman
Scarcely variabled programming and Pascal. ACM SIGPLAN Notices 14 (11) (1979)

Colin Runciman.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Colin Runciman