Concepedia

Sam Lindley

SL

Statistics

Publications

33

Citations

1.4K

H-Index

22

Active since

2009

Affiliations

University of Edinburgh(Current)

University of Strathclyde

University of Cambridge

Imperial College London

University of Ljubljana

Sam Lindley is an author at University of Edinburgh specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisAutomated ReasoningSoftware AnalysisFormal VerificationLanguageSemanticsLinguistics

Publications per year

2009–2024

33

Publications

33

Handlers in action

Ohad Kammar, Sam Lindley, Nicolas Oury · 2013 · 128 citations

Programming Language Theory, Handler Abstraction, Engineering +15

Generating performance portable code using rewrite rules: from high-level functional expressions to high-performance OpenCL code

Michel Steuwer, Christian Fensch, Sam Lindley et al. · 2015 · 119 citations · Full text

Engineering, High-performance Opencl Code, Opencl Code +24

Sam Lindley, Conor McBride, Craig McLaughlin · 2016 · 92 citations

Novel Variant, Programming Language Theory, Performance Studies +12

A practical theory of language-integrated query

James Cheney, Sam Lindley, Philip Wadler · 2013 · 80 citations · Full text

Engineering, Query Model, Semantics +21

Liberating effects with rows and handlers

Daniel Hillerström, Sam Lindley · 2016 · 65 citations · Full text

Programming Language Theory, Declarative Programming, Engineering +14

1–5 of 33