Peter Sewell: Why are computers so @#!*, and what can we do about it?

Title:
Peter Sewell: Why are computers so @#!*, and what can we do about it?
Description:

http://media.ccc.de/browse/congress/2014/31c3_-_6574_-_en_-_saal_1_-_201412301245_-_why_are_computers_so_and_what_can_we_do_about_it_-_peter_sewell.html

Computers have become ubiquitous and essential, but they remain massively error-prone and insecure - as if we were back in the early days of the industrial revolution, with steam engines exploding left, right, and centre. Why is this, and can we do better? Is it science, engineering, craft, or bodgery?

I'll talk about attempts to mix better engineering methods from a cocktail of empiricism and logic, with examples from network protocols, programming languages, and (especially) the concurrency behaviour of programming languages and multiprocessors (from the ARMs in your phone to x86 and IBM Power servers), together with dealings with architects and language standards groups.

Peter Sewell

more » « less
Video Language:
English
Duration:
59:15
Format: Youtube Primary Original
Format: Youtube
This video is part of Amara Public.

Subtitles download

Completed subtitles (1)