Colin Runciman

	2010
63		Matthew Naylor, Colin Runciman: The reduceron reconfigured. ICFP 2010: 75-86
	2009
62		Neil Mitchell, Colin Runciman: Losing functions without gaining data: another look at defunctionalisation. Haskell 2009: 13-24
61		David J. Duke, Rita Borgo, Malcolm Wallace, Colin Runciman: Huge Data But Small Programs: Visualization Design via Multiple Embedded DSLs. PADL 2009: 31-45
60		Matthew Naylor, Colin Runciman: Expressible sharing for functional circuit description. Higher-Order and Symbolic Computation 22(1): 67-80 (2009)
	2008
59		Colin Runciman, Matthew Naylor, Fredrik Lindblad: Smallcheck and lazy smallcheck: automatic exhaustive testing for small values. Haskell 2008: 37-48
58		Neil Mitchell, Colin Runciman: Not all patterns, but enough: an automatic verifier for partial but sufficient pattern matching. Haskell 2008: 49-60
57		David J. Duke, Rita Borgo, Colin Runciman, Malcolm Wallace: Experience report: visualizing data through functional pipelines. ICFP 2008: 379-382
	2007
56		Andy Gill, Colin Runciman: Haskell program coverage. Haskell 2007: 1-12
55		Matthew Naylor, Emil Axelsson, Colin Runciman: A functional-logic library for wired. Haskell 2007: 37-48
54		Neil Mitchell, Colin Runciman: Uniform boilerplate and list processing. Haskell 2007: 49-60
53		Matthew Naylor, Colin Runciman: The Reduceron: Widening the von Neumann Bottleneck for Graph Reduction Using an FPGA. IFL 2007: 129-146
52		Neil Mitchell, Colin Runciman: A Supercompiler for Core Haskell. IFL 2007: 147-164
51		Matthew Naylor, Colin Runciman: Finding Inputs that Reach a Target Expression. SCAM 2007: 133-142
	2006
50		David J. Duke, Malcolm Wallace, Rita Borgo, Colin Runciman: Fine-grained Visualization Pipelines and Lazy Functional Languages. IEEE Trans. Vis. Comput. Graph. 12(5): 973-980 (2006)
	2005
49		Neil Mitchell, Colin Runciman: A static checker for safe pattern matching in Haskell. Trends in Functional Programming 2005: 15-30
	2003
48		Colin Runciman, Olin Shivers: Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, ICFP 2003, Uppsala, Sweden, August 25-29, 2003 ACM 2003
47		Adam Bakewell, Detlef Plump, Colin Runciman: Specifying Pointer Structures by Graph Reduction. AGTIVE 2003: 30-44
46		Olaf Chitil, Dan McNeill, Colin Runciman: Lazy Assertions. IFL 2003: 1-19
45		Adam Bakewell, Detlef Plump, Colin Runciman: Checking the Shape Safety of Pointer Manipulations. RelMiCS 2003: 48-61
	2002
44		Koen Claessen, Colin Runciman, Olaf Chitil, John Hughes, Malcolm Wallace: Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat. Advanced Functional Programming 2002: 59-99
43		Olaf Chitil, Colin Runciman, Malcolm Wallace: Transforming Haskell for Tracing. IFL 2002: 165-181
	2001
42		Graeme E. Moss, Colin Runciman: Inductive benchmarking for purely functional data structures. J. Funct. Program. 11(5): 525-556 (2001)
41		Tatsuru Matsushita, Colin Runciman: The accepting power of unary string logic programs. Theor. Comput. Sci. 266(1-2): 59-79 (2001)
	2000
40		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: 176-193
39		Adam Bakewell, Colin Runciman: A model for comparing the space usage of lazy evaluators. PPDP 2000: 151-162
38		Adam Bakewell, Colin Runciman: The space usage problem: An evaluation kit for graph reduction semantics. Scottish Functional Programming Workshop 2000: 115-128
37		Adam Bakewell, Colin Runciman: A Space Semantics for Core Haskell. Electr. Notes Theor. Comput. Sci. 41(1): 36 (2000)
	1999
36		Adam Bakewell, Colin Runciman: Automated Generalisation of Function Definitions. Fuji International Symposium on Functional and Logic Programming 1999: 225-240
35		Malcolm Wallace, Colin Runciman: Haskell and XML: Generic Combinators or Type-Based Translation? ICFP 1999: 148-159
34		Graeme E. Moss, Colin Runciman: Automated Benchmarking of Functional Data Structures. PADL 1999: 1-15
	1998
33		Nathan Charles, Colin Runciman: An Interactive Approach to Profiling Parallel Functional Programs. IFL 1998: 20-37
32		Malcolm Wallace, Colin Runciman: The Bits Between The Lambdas: Binary Data in a Lazy Functional Language. ISMM 1998: 107-117
	1997
31		Graeme E. Moss, Colin Runciman: Auburn: A Kit for Benchmarking Functional Data Structures. Implementation of Functional Languages 1997: 141-159
30		Jan Sparud, Colin Runciman: Complete and Partial Redex Trails of Functional Computations. Implementation of Functional Languages 1997: 160-177
29		Jan Sparud, Colin Runciman: Tracing Lazy Functional Computations Using Redex Trails. PLILP 1997: 291-308
28		Colin Runciman: Lazy Wheel Sieves and Spirals of Primes. J. Funct. Program. 7(2): 219-225 (1997)
	1996
27		Colin Runciman, Niklas Röjemo: Heap Profiling for Space Efficiency. Advanced Functional Programming 1996: 159-183
26		Andrew Douglas, Niklas Röjemo, Colin Runciman, Alan Wood: Astro-Gofer: Parallel Functional Programming with Co-ordinating Processes. Euro-Par, Vol. I 1996: 686-693
25		Niklas Röjemo, Colin Runciman: Lag, Drag, Void and Use - Heap Profiling and Space-Efficient Compilation Revisited. ICFP 1996: 34-41
24		Colin Runciman, Niklas Röjemo: Two-Pass Heap Profiling: A Matter of Life and Death. Implementation of Functional Languages 1996: 222-232
23		Colin Runciman, Niklas Röjemo: New Dimensions in Heap Profiling. J. Funct. Program. 6(4): 587-620 (1996)
	1995
22		Malcolm Wallace, Colin Runciman: Lambdas in the Liftshaft - Functional Programming and an Embedded Architecture. FPCA 1995: 249-258
21		Rob Noble, Colin Runciman: Gadgets: Lazy Functional Components for Graphical User Interfaces PLILP 1995: 321-340
20		Malcolm Wallace, Colin Runciman: Extending a Functional Programming System for Embedded Applications. Softw., Pract. Exper. 25(1): 73-96 (1995)
	1993
19		Dave Cattrall, Colin Runciman: Widening the Representation Bottleneck: A Functional Implementation of Relational Programming. FPCA 1993: 191-200
18		Colin Runciman, Ian Toyn, Mike Firth: An Incremental, Exploratory and Transformational Environment for the Lazy Functional Programming. J. Funct. Program. 3(1): 93-115 (1993)
17		Colin Runciman, David Wakeling: Heap Profiling of Lazy Functional Programs. J. Funct. Program. 3(2): 217-245 (1993)
	1992
16		Colin Runciman, David Wakeling: Heap Profiling of a Lazy Functional Compiler. Functional Programming 1992: 203-214
15		Paul Sanders, Colin Runciman: LZW Text Compression in Haskell. Functional Programming 1992: 215-226
14		Dave Cattrall, Colin Runciman: A Relational Programming System with Inferred Representations. PLILP 1992: 475-476
	1991
13		David Wakeling, Colin Runciman: Linearity and Laziness. FPCA 1991: 215-240
12		Colin Runciman: TIP in Haskell - another Exercise in Functional Programming. Functional Programming 1991: 278-292
11		Colin Runciman, Ian Toyn: Retrieving Reusable Software Components by Polymorphic Type. J. Funct. Program. 1(2): 191-211 (1991)
	1990
10		Colin Runciman, Nigel Jagger: Relative Specification and Transformational Re-Use of Functional Programs. Lisp and Symbolic Computation 3(1): 21-37 (1990)
	1989
9		Colin Runciman, Ian Toyn: Retrieving Re-Usable Software Components by Polymorphic Type. FPCA 1989: 166-173
8		Colin Runciman, Mike Firth, Nigel Jagger: Transformation in a Non-Strict Language: An Approach to Instantiation. Functional Programming 1989: 133-141
7		Colin Runciman: What About the Natural Numbers? Comput. Lang. 14(3): 181-191 (1989)
	1987
6		Alan J. Dix, Michael D. Harrison, Colin Runciman, Harold W. Thimbleby: Interaction Models and the Principled Design of Interactive Systems. ESEC 1987: 118-126
5		Ian Toyn, Alan J. Dix, Colin Runciman: Performance polymorphism. FPCA 1987: 325-346
	1986
4		Colin Runciman: Deriving Functional Programs from Equational Specifications. ADT 1986
3		Colin Runciman, Harold W. Thimbleby: Equal Opportunity Interactive Systems. International Journal of Man-Machine Studies 25(4): 439-451 (1986)
2		Ian Toyn, Colin Runciman: Adapting Combinator and SEC Machines to Display Snapshots of Functional Computations. New Generation Comput. 4(4): 339-363 (1986)
	1982
1		C. W. Johnson, Colin Runciman: Semantic Errors - Diagnosis and Repair. SIGPLAN Symposium on Compiler Construction 1982: 88-97

Coauthor Index

1	Emil Axelsson	[55]
2	Adam Bakewell	[36] [37] [38] [39] [45] [47]
3	Rita Borgo	[50] [57] [61]
4	Dave Cattrall	[14] [19]
5	Nathan Charles	[33]
6	Olaf Chitil	[40] [43] [44] [46]
7	Koen Claessen	[44]
8	Alan J. Dix	[5] [6]
9	Andrew Douglas	[26]
10	David J. Duke	[50] [57] [61]
11	Mike Firth	[8] [18]
12	Andy Gill	[56]
13	Michael D. Harrison	[6]
14	John Hughes	[44]
15	Nigel Jagger	[8] [10]
16	C. W. Johnson	[1]
17	Fredrik Lindblad	[59]
18	Tatsuru Matsushita	[41]
19	Dan McNeill	[46]
20	Neil Mitchell	[49] [52] [54] [58] [62]
21	Graeme E. Moss	[31] [34] [42]
22	Matthew Naylor	[51] [53] [55] [59] [60] [63]
23	Rob Noble	[21]
24	Detlef Plump	[45] [47]
25	Niklas Röjemo	[23] [24] [25] [26] [27]
26	Paul Sanders	[15]
27	Olin Shivers	[48]
28	Jan Sparud	[29] [30]
29	Harold W. Thimbleby	[3] [6]
30	Ian Toyn	[2] [5] [9] [11] [18]
31	David Wakeling	[13] [16] [17]
32	Malcolm Wallace	[20] [22] [32] [35] [40] [43] [44] [50] [57] [61]
33	Alan Wood	[26]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page