Concepedia

David Castro

DC

4

Publications

109

Citations

4

H-Index

2010

Active since

Affiliations

Imperial College London(Current)

David Castro is an author at Imperial College London specializing in engineering, formal verification, and software analysis.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationVerificationSystem SoftwareParallel ComputingSystems Engineering

Publications per year

2010–2021

4

Publications

4

Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures

David Castro, Raymond Hu, Sung-Shik Jongmans et al. · Proceedings of the ACM on Programming Languages · 2019 · 52 citations · Full text

Engineering, Verification, Software Engineering +26

ATENEA: Advanced techniques for deeply integrated GNSS/INS/LiDAR navigation

A. Fernández, José Raúl Fernández del Castillo Díez, David Castro et al. · 2010 · 23 citations

Advanced Techniques, Engineering, Location Estimation +17

Zooid: a DSL for certified multiparty computation: from mechanised metatheory to certified multiparty processes

David Castro, Francisco Ferreira, Lorenzo Gheri et al. · 2021 · 22 citations

Cluster Computing, Engineering, Mechanisation Framework +24

Farms, pipes, streams and reforestation: reasoning about structured parallel processes using types and hylomorphisms

David Castro, Kevin Hammond, Susmit Sarkar · 2016 · 12 citations · Full text

Engineering, Compiler Technology, Computer Architecture +23

Rows per page

1–4 of 4