Concepedia

Christopher Lidbury

CL

4

Publications

251

Citations

4

H-Index

2015

Active since

Affiliations

Imperial College London(Current)

University College London

Christopher Lidbury is an author at Imperial College London specializing in computer science, computer architecture, and software analysis.

Top concepts

EngineeringSystem SoftwareComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationComputer EngineeringParallel ProgrammingComputer ArchitectureVerification

Publications per year

2015–2019

4

Publications

4

Many-core compiler fuzzing

Christopher Lidbury, Andrei Lascu, Nathan Chong et al. · 2015 · 144 citations

Engineering, Verification, Computer Architecture +21

Many-core compiler fuzzing

Christopher Lidbury, Andrei Lascu, Nathan Chong et al. · ACM SIGPLAN Notices · 2015 · 63 citations

Engineering, Verification, Computer Architecture +21

Dynamic race detection for C++11

Christopher Lidbury, Alastair F. Donaldson · 2016 · 27 citations

Engineering, Dynamic Race Detection, Verification +20

Sparse record and replay with controlled scheduling

Christopher Lidbury, Alastair F. Donaldson · 2019 · 17 citations

Mathematical Programming, Engineering, Real-time System Design +23

Rows per page

1–4 of 4