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

	C3Subtitles edited English subtitles for Peter Sewell: Why are computers so @#!*, and what can we do about it?
	Bar Sch edited English subtitles for Peter Sewell: Why are computers so @#!*, and what can we do about it?
	Bar Sch edited English subtitles for Peter Sewell: Why are computers so @#!*, and what can we do about it?
	Bar Sch edited English subtitles for Peter Sewell: Why are computers so @#!*, and what can we do about it?
	Bar Sch edited English subtitles for Peter Sewell: Why are computers so @#!*, and what can we do about it?
	C3Subtitles edited English subtitles for Peter Sewell: Why are computers so @#!*, and what can we do about it?
	Bar Sch edited English subtitles for Peter Sewell: Why are computers so @#!*, and what can we do about it?
	C3Subtitles added new URL for Peter Sewell: Why are computers so @#!*, and what can we do about it?