Colin Runciman

According to our database, Colin Runciman authored at least 86 papers between 1979 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Simplifying regular expressions further.

Stefan Kahrs, Colin Runciman

J. Symb. Comput., 2022

Super-naturals.

Ralf Hinze, Colin Runciman

J. Funct. Program., 2022

2018

Cheap Remarks About Concurrent Programs.

Michael Walker, Colin Runciman

Proceedings of the Functional and Logic Programming - 14th International Symposium, 2018

2017

Extrapolate: generalizing counterexamples of functional test properties.

Rudy Braquehais, Colin Runciman

Proceedings of the 29th Symposium on Implementation and Application of Functional Programming Languages, 2017

Speculate: discovering conditional equations and inequalities about black-box functions by reasoning from test results.

Rudy Braquehais, Colin Runciman

Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, 2017

2016

A Lightweight Hat: Simple Type-Preserving Instrumentation for Self-Tracing Lazy Functional Programs.

Olaf Chitil, Maarten Faddegon, Colin Runciman

Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages, 2016

FitSpec: refining property sets for functional testing.

Rudy Braquehais, Colin Runciman

Proceedings of the 9th International Symposium on Haskell, 2016

2015

A Reference Interpreter for the Graph Programming Language GP 2.

Christopher Bak, Glyn Faulkner, Detlef Plump, Colin Runciman

Proceedings of the Proceedings Graphs as Models, 2015

Weaving Parallel Threads - Searching for Useful Parallelism in Functional Programs.

José Manuel Calderón Trilla, Simon M. Poulding, Colin Runciman

Proceedings of the Search-Based Software Engineering - 7th International Symposium, 2015

Déjà Fu: a concurrency testing library for Haskell.

Michael Walker, Colin Runciman

Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, 2015

Improving implicit parallelism.

José Manuel Calderón Trilla, Colin Runciman

Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, 2015

2012

The Reduceron reconfigured and re-evaluated.

Matthew Naylor, Colin Runciman

J. Funct. Program., 2012

Advances in Lazy SmallCheck.

Jason S. Reich, Matthew Naylor, Colin Runciman

Proceedings of the Implementation and Application of Functional Languages, 2012

2011

Lazy Generation of Canonical Test Programs.

Jason S. Reich, Matthew Naylor, Colin Runciman

Proceedings of the Implementation and Application of Functional Languages, 2011

2010

The reduceron reconfigured.

Matthew Naylor, Colin Runciman

Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010

2009

Expressible sharing for functional circuit description.

Matthew Naylor, Colin Runciman

High. Order Symb. Comput., 2009

Huge Data But Small Programs: Visualization Design via Multiple Embedded DSLs.

David J. Duke, Rita Borgo, Malcolm Wallace, Colin Runciman

Proceedings of the Practical Aspects of Declarative Languages, 2009

Losing functions without gaining data: another look at defunctionalisation.

Neil Mitchell, Colin Runciman

Proceedings of the 2nd ACM SIGPLAN Symposium on Haskell, 2009

2008

Experience report: visualizing data through functional pipelines.

David J. Duke, Rita Borgo, Colin Runciman, Malcolm Wallace

Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008

Smallcheck and lazy smallcheck: automatic exhaustive testing for small values.

Colin Runciman, Matthew Naylor, Fredrik Lindblad

Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, 2008

Not all patterns, but enough: an automatic verifier for partial but sufficient pattern matching.

Neil Mitchell, Colin Runciman

Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, 2008

2007

Finding Inputs that Reach a Target Expression.

Matthew Naylor, Colin Runciman

Proceedings of the Seventh IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2007), September 30, 2007

The Reduceron: Widening the von Neumann Bottleneck for Graph Reduction Using an FPGA.

Matthew Naylor, Colin Runciman

Proceedings of the Implementation and Application of Functional Languages, 2007

A Supercompiler for Core Haskell.

Neil Mitchell, Colin Runciman

Proceedings of the Implementation and Application of Functional Languages, 2007

A functional-logic library for wired.

Matthew Naylor, Emil Axelsson, Colin Runciman

Proceedings of the ACM SIGPLAN Workshop on Haskell, 2007

Uniform boilerplate and list processing.

Neil Mitchell, Colin Runciman

Proceedings of the ACM SIGPLAN Workshop on Haskell, 2007

Haskell program coverage.

Andy Gill, Colin Runciman

Proceedings of the ACM SIGPLAN Workshop on Haskell, 2007

2006

Fine-grained Visualization Pipelines and Lazy Functional Languages.

David J. Duke, Malcolm Wallace, Rita Borgo, Colin Runciman

IEEE Trans. Vis. Comput. Graph., 2006

2005

A static checker for safe pattern matching in Haskell.

Neil Mitchell, Colin Runciman

Proceedings of the Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, 2005

2003

Lazy Assertions.

Olaf Chitil, Dan McNeill, Colin Runciman

Proceedings of the Implementation of Functional Languages, 15th International Workshop, 2003

Specifying Pointer Structures by Graph Reduction.

Adam Bakewell, Detlef Plump, Colin Runciman

Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2003

Checking the Shape Safety of Pointer Manipulations.

Adam Bakewell, Detlef Plump, Colin Runciman

Proceedings of the Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, 2003

2002

Transforming Haskell for Tracing.

Olaf Chitil, Colin Runciman, Malcolm Wallace

Proceedings of the Implementation of Functional Languages, 14th International Workshop, 2002

Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat.

Koen Claessen, Colin Runciman, Olaf Chitil, John Hughes, Malcolm Wallace

Proceedings of the Advanced Functional Programming, 2002

2001

The accepting power of unary string logic programs.

Tatsuru Matsushita, Colin Runciman

Theor. Comput. Sci., 2001

Inductive benchmarking for purely functional data structures.

Graeme E. Moss, Colin Runciman

J. Funct. Program., 2001

2000

A Space Semantics for Core Haskell.

Adam Bakewell, Colin Runciman

Proceedings of the 2000 ACM SIGPLAN Workshop on Haskell, 2000

The space usage problem: An evaluation kit for graph reduction semantics.

Adam Bakewell, Colin Runciman

Proceedings of the Selected papers from the 2nd Scottish Functional Programming Workshop (SFP00), 2000

A model for comparing the space usage of lazy evaluators.

Adam Bakewell, Colin Runciman

Proceedings of the 2nd international ACM SIGPLAN conference on on Principles and practice of declarative programming, 2000

Freja, Hat and Hood - A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs.

Olaf Chitil, Colin Runciman, Malcolm Wallace

Proceedings of the Implementation of Functional Languages, 12th International Workshop, 2000

1999

Automated Benchmarking of Functional Data Structures.

Graeme E. Moss, Colin Runciman

Proceedings of the Practical Aspects of Declarative Languages, 1999

Haskell and XML: Generic Combinators or Type-Based Translation?

Malcolm Wallace, Colin Runciman

Proceedings of the fourth ACM SIGPLAN International Conference on Functional Programming (ICFP '99), 1999

Automated Generalisation of Function Definitions.

Adam Bakewell, Colin Runciman

Proceedings of the Functional and Logic Programming, 4th Fuji International Symposium, 1999

Performance Monitoring.

Nathan Charles, Colin Runciman

Proceedings of the Research Directions in Parallel Functional Programming, 1999

1998

The Bits Between The Lambdas: Binary Data in a Lazy Functional Language.

Malcolm Wallace, Colin Runciman

Proceedings of the International Symposium on Memory Management, 1998

An Interactive Approach to Profiling Parallel Functional Programs.

Nathan Charles, Colin Runciman

Proceedings of the Implementation of Functional Languages, 10th International Workshop, 1998

1997

Lazy Wheel Sieves and Spirals of Primes.

Colin Runciman

J. Funct. Program., 1997

Tracing Lazy Functional Computations Using Redex Trails.

Jan Sparud, Colin Runciman

Proceedings of the Programming Languages: Implementations, 1997

Complete and Partial Redex Trails of Functional Computations.

Jan Sparud, Colin Runciman

Proceedings of the Implementation of Functional Languages, 9th International Workshop, 1997

Auburn: A Kit for Benchmarking Functional Data Structures.

Graeme E. Moss, Colin Runciman

Proceedings of the Implementation of Functional Languages, 9th International Workshop, 1997

1996

New Dimensions in Heap Profiling.

Colin Runciman, Niklas Röjemo

J. Funct. Program., 1996

Two-Pass Heap Profiling: A Matter of Life and Death.

Colin Runciman, Niklas Röjemo

Proceedings of the Implementation of Functional Languages, 8th International Workshop, 1996

Lag, Drag, Void and Use - Heap Profiling and Space-Efficient Compilation Revisited.

Niklas Röjemo, Colin Runciman

Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming, 1996

Astro-Gofer: Parallel Functional Programming with Co-ordinating Processes.

Andrew Douglas, Niklas Röjemo, Colin Runciman, Alan Wood

Proceedings of the Euro-Par '96 Parallel Processing, 1996

Heap Profiling for Space Efficiency.

Colin Runciman, Niklas Röjemo

Proceedings of the Advanced Functional Programming, 1996

1995

Extending a Functional Programming System for Embedded Applications.

Malcolm Wallace, Colin Runciman

Softw. Pract. Exp., 1995

Gadgets: Lazy Functional Components for Graphical User Interfaces

Rob Noble, Colin Runciman

Proceedings of the Programming Languages: Implementations, 1995

Lambdas in the Liftshaft - Functional Programming and an Embedded Architecture.

Malcolm Wallace, Colin Runciman

Proceedings of the seventh international conference on Functional programming languages and computer architecture, 1995

1994

Type-Checked Message-Passing between Functional Processes.

Malcolm Wallace, Colin Runciman

Proceedings of the 1994 Glasgow Workshop on Functional Programming, 1994

Binding-time Improvement and Fold/Unfold Transformation.

Colin Runciman

Proceedings of the 1994 Glasgow Workshop on Functional Programming, 1994

Techniques for Simplifying the Visualization of Graph Reduction.

Sandra P. Foubister, Colin Runciman

Proceedings of the 1994 Glasgow Workshop on Functional Programming, 1994

1993

Heap Profiling of Lazy Functional Programs.

Colin Runciman, David Wakeling

J. Funct. Program., 1993

An Incremental, Exploratory and Transformational Environment for the Lazy Functional Programming.

Colin Runciman, Ian Toyn, Mike Firth

J. Funct. Program., 1993

Widening the Representation Bottleneck: A Functional Implementation of Relational Programming.

Dave Cattrall, Colin Runciman

Proceedings of the conference on Functional programming languages and computer architecture, 1993

Profiling Parallel Functional Computations (Without Parallel Machines).

Colin Runciman, David Wakeling

Proceedings of the 1993 Glasgow Workshop on Functional Programming, 1993

1992

A Relational Programming System with Inferred Representations.

Dave Cattrall, Colin Runciman

Proceedings of the Programming Language Implementation and Logic Programming, 1992

LZW Text Compression in Haskell.

Paul Sanders, Colin Runciman

Proceedings of the Functional Programming, 1992

Heap Profiling of a Lazy Functional Compiler.

Colin Runciman, David Wakeling

Proceedings of the Functional Programming, 1992

1991

Retrieving Reusable Software Components by Polymorphic Type.

Colin Runciman, Ian Toyn

J. Funct. Program., 1991

Linearity and Laziness.

David Wakeling, Colin Runciman

Proceedings of the Functional Programming Languages and Computer Architecture, 1991

TIP in Haskell - another Exercise in Functional Programming.

Colin Runciman

Proceedings of the Functional Programming, 1991

1990

Relative Specification and Transformational Re-Use of Functional Programs.

Colin Runciman, Nigel Jagger

LISP Symb. Comput., 1990

Problems & Proposals for Time & Space Profiling of Functional Programs.

Colin Runciman, David Wakeling

Proceedings of the 1990 Glasgow Workshop on Functional Programming, 1990

Formalised development of software by machine assisted transformation.

Colin Runciman, Mike Firth

Proceedings of the Conference proceedings on Formal methods in software development, 1990

1989

What About the Natural Numbers?

Colin Runciman

Comput. Lang., 1989

Retrieving Re-Usable Software Components by Polymorphic Type.

Colin Runciman, Ian Toyn

Proceedings of the fourth international conference on Functional programming languages and computer architecture, 1989

Transformation in a Non-Strict Language: An Approach to Instantiation.

Colin Runciman, Mike Firth, Nigel Jagger

Proceedings of the Functional Programming, 1989

1987

Some software tools used in the development of the prototype york ada compiler.

Colin Runciman

Softw. Eng. J., 1987

Performance polymorphism.

Ian Toyn, Alan J. Dix, Colin Runciman

Proceedings of the Functional Programming Languages and Computer Architecture, 1987

Interaction Models and the Principled Design of Interactive Systems.

Alan J. Dix, Michael D. Harrison, Colin Runciman, Harold W. Thimbleby

Proceedings of the ESEC '87, 1987

1986

Adapting Combinator and SEC Machines to Display Snapshots of Functional Computations.

Ian Toyn, Colin Runciman

New Gener. Comput., 1986

Equal Opportunity Interactive Systems.

Colin Runciman, Harold W. Thimbleby

Int. J. Man Mach. Stud., 1986

Deriving Functional Programs from Equational Specifications.

Colin Runciman

Proceedings of the 4st Workshop on Abstract Data Type, 1986

1983

Interpreting algebraic specifications.

Colin Runciman

PhD thesis, 1983

1982

Semantic Errors - Diagnosis and Repair.

C. W. Johnson, Colin Runciman

Proceedings of the SIGPLAN '82 Symposium on Compiler Construction, 1982

1979

Scarcely variabled programming and Pascal.

Colin Runciman

ACM SIGPLAN Notices, 1979