Colin Runciman

87 papers A 14B 1C 16Misc 1Journal 19Unranked 34

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