Concepedia

Colin Runciman

CR

Statistics

Publications

25

Citations

1.1K

H-Index

17

Active since

1985

Affiliations

University of York(Current)

Chalmers University of Technology

University of Gothenburg

Colin Runciman is an author at University of York specializing in engineering, computer science, and program analysis.

Top concepts

EngineeringComputer ScienceProgram AnalysisFormal MethodsSoftware AnalysisAutomated ReasoningComputer EngineeringSoftware EngineeringData ScienceFormal Verification

Publications per year

1985–2023

25

Publications

25

Smallcheck and lazy smallcheck

Colin Runciman, Matthew Naylor, Fredrik Lindblad · 2008 · 186 citations

Engineering, Verification, Haskell Libraries +18

Haskell and XML

Malcolm Wallace, Colin Runciman · 1999 · 160 citations

Xml Library, Xml Document-processing Applications, Xml Language +15

Perfect hash functions made parallel-Lazy functional programming on a distributed multiprocessor

I. Checkland, Colin Runciman · 2002 · 153 citations

Cluster Computing, Engineering, Computer Architecture +21

Heap profiling of lazy functional programs

Colin Runciman, David Wakeling · Journal of Functional Programming · 1993 · 67 citations

Engineering, Computer Architecture, Software Engineering +21

Lag, drag, void and use—heap profiling and space-efficient compilation revisited

Niklas Röjemo, Colin Runciman · 1996 · 66 citations

Cluster Computing, Engineering, Compiler Technology +22

1–5 of 25