David Pearce - What does the Future of Programming Look Like?

The prevalence of sophisticated (and unsophisticated) cyber-attacks presents a significant threat to modern society.Part of the problem manifests itself in the software underlying the internet, and the myriad of devices on the so-called "Internet of Things".Whilst useful advances in software development have been made over the last decade or more, it is perhaps surprising that the underlying programming languages have not changed significantly.For example, Java is more than twenty years old and, in that time, has undergone only cosmetic improvements. The question is: what should a programming language of the future look like?I hope to give a glimpse of one possible future.In this talk, I'll employ live coding to demonstrate a new language that represents a step-change improvement over the status quo.This is the Whiley programming language and its accompanying "verifying compiler". The language is focused on ensuring programs meet their specifications. Programming in Whiley feels surprisingly natural and the benefits from including specifications are immediately apparent.The language has been used for the last three years to teach a large undergraduate class about program specification, and we have benefited considerably from this experience.Bio:David graduated with a PhD from Imperial College London in 2005, and took up a lecturer position at Victoria University of Wellington, NZ. David's PhD thesis was on efficient algorithms for pointer analysis of C, and his techniques have since been incorporated into GCC. His interests are in programming languages, compilers and static analysis.Since 2009, he has been developing the Whiley Programming Language which is designed specifically to simplify program verification. David has previously interned at Bell Labs, New Jersey, where he worked on compilers for FPGAs; and also at IBMHursely, UK, where he worked with the AspectJ development team on profiling systems.David Pearce - Labs Australia -

Briscoe Post

Good job ty

Jonatan Rojas


rhett madsen

nah nah nah nah hay hay hay goodbye

Kayla ay

i have every symptom and experience this everyday. I have no reason to be depressed. I’ ve been to therapy but they make me uncomfortable and i never tell them what’s actually wrong

Dinesh Summun

Is the airplanne yours

Mohamed Mino

who is watching in2017 like

Justin Boyles

Statue of liberty

xxTheGacha Maraudersxx

I was literally waiting for Harry Potter 😂


man I really love your work , even if your videos was short , keep up the good work ;)

Cheesehead Hi!

The Slavic countries want to know your location

Casino Royale (2006)"

susana Claridad

Sticksman Tyler

elisa gc

You can alwais adopt

Ross Lai

when is dude perfect deciding to fix their court?


This channel has probably the sexiest Like:Dislike ratio I've ever seen. Perfect reflection of the quality of Guru's videos. :)

oh my! sodapop

this is quite true...i went for a race as a competition and well i ended up 6th out of 7 runners. i felt so bad as atthe begining of the race i was first. i kept beating myself ip for it, i disappointed my school afterall... but then i realised, ive never trained to run properly, the other girls seemed to be kore experienced and well, i was too nervouse before the race. when i ran the race i began to feel weak...and nearly fainted i started to lose control in my arms and legs. i had low iron in my blood so that made me lise energy and power during the race.


Steam version😍😍😍


wind much but still Damn nice shot every time i wach this i still get amazed

kittybird 3.0

My old friend bullied me and lied about Me into depression.

House Barzini YT

Respect to both Men.

asif awan

I like one prayer for Garret

Never Mind

It’s like watching step brothers

Fortnite orange justice RL

I’m from China hehehe we don’t realy have Christmas but have happy new year 🎆 I feel bad though

Genius Min Suga Jjang jjang man bbong bbong

I'm shook!


That was bloody awesome!


So hype for this movie!!


I'm in 7th grade and my boyfriend asked me something I didn't feel comfortable with a d says dirty minded things around me that I don't feel comfortable with and I'm scared to tell my mum because she would probably over react like normal what should I do?

Shellie Brooks

Steph Curry


I was born 2 months early and I am pretty healthy

Blue Lemur


Ilijandar100sto Stoev

I love overtime

Is dis story anime based??

Logan Bme

Wings of redemption will be having this on his stream, real tawk pimpin

Marissa Mondragon

I peeped that doctor rolling his eyes you need a new one mine was super nice

Cindy Acree

It was like a strip club,right?

little potato

Life is hard


We know you from Portugal

Katy Paulsen

Geussing. Was easy

Sara Araiza

Que chida cansion

hye Mi

Yeah I'm living here , just streaming this beautiful mv

cj the skeleton dragon


Austin Sasaki

I’m the minion I’d be like weeeeee


Nested Menu