Version 1.7 a new dawn
lecture: Why are computers so @#!*, and what can we do about it?
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.
For more details of the underlying research and the many people who have contributed, see: http://www.cl.cam.ac.uk/~pes20/
Info
Day:
2014-12-30
Start time:
12:45
Duration:
01:00
Room:
Saal 1
Track:
Science
Language:
en
Links:
Feedback
Click here to let us know how you liked this event.
Concurrent events
- Saal 6
- Diamonds are a quantum computer’s best friend
- Saal 2
- Attribution revolution
- Saal G
- Lightning Talks Day 4
Speakers
 |
Peter Sewell |