Concepedia

Thomas Dinsdale-Young

TD

7

Publications

453

Citations

7

H-Index

2009

Active since

Affiliations

Imperial College London(Current)

University of Cambridge

University of Oxford

Microsoft Research (United Kingdom)

IT University of Copenhagen

Thomas Dinsdale-Young is an author at Imperial College London specializing in computer science, engineering, and automated reasoning.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningProgram AnalysisFormal VerificationReasoningSemanticsSoftware AnalysisSyntax

Publications per year

2009–2021

7

Publications

7

Concurrent abstract predicates

Thomas Dinsdale-Young, Mike Dodds, Philippa Gardner et al. · European Conference on Object-Oriented Programming · 2010 · 195 citations

Engineering, Automated Reasoning, Concurrency Theory +6

Thomas Dinsdale-Young, Lars Birkedal, Philippa Gardner et al. · 2013 · 158 citations

Reasoning, Engineering, Program Analysis +13

Views

Thomas Dinsdale-Young, Lars Birkedal, Philippa Gardner et al. · ACM SIGPLAN Notices · 2013 · 33 citations

Reasoning, Engineering, Operational Semantics +12

A simple abstraction for complex concurrent indexes

Pedro da Rocha Pinto, Thomas Dinsdale-Young, Mike Dodds et al. · 2011 · 24 citations · Full text

Engineering, Linked Lists, Computer Architecture +17

Theorems for free from separation logic specifications

Lars Birkedal, Thomas Dinsdale-Young, Armaël Guéneau et al. · Proceedings of the ACM on Programming Languages · 2021 · 18 citations · Full text

Engineering, Separation Logic Specifications, Verification +16

Rows per page

1–5 of 7