Alastair Reid

Researcher at Arm Ltd focussing on creating formal specifications of the Arm processor architecture and helping people use the specifications.

Infos

Event(s):
34. Chaos Communication Congress
Language(s):
English
Track(s):
Resilience
Links:
Alastair Reid's website

Researcher at Arm Ltd focussing on creating formal specifications of the Arm processor architecture and helping people use the specifications. I have also worked on Software Defined Radio, pipeline parallelism, vectorizing compilers, vector instruction set design and, before Arm, I worked on microkernels, component based OSes and Haskell at Glasgow, Yale and Utah universities.

Statistics

English
152.3 wpm
842.3 spm
100.0% Checking done100.0%
0.0% Syncing done0.0%
0.0% Transcribing done0.0%
0.0% Nothing done yet0.0%


How can you trust formally verified software?

Event
34c3
Date
Dec. 27, 2017, 2 p.m.
Language
English
Video-Duration
00:28:39
Statistics
Average whole talk
147.3 wpm
816.7 spm
Average while speakers speak
152.3 wpm
842.3 spm
Speaker
Alastair Reid
152.3 wpm
842.3 spm
en:
100.0% Checking done100.0%
0.0% Syncing done0.0%
0.0% Transcribing done0.0%
0.0% Nothing done yet0.0%
Last revision: 5 years, 11 months ago