BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:What does the Future of Programming Look Like? - David Pearce\, Vi
 ctoria University of Wellington\, New Zealand
DTSTART:20170519T130000Z
DTEND:20170519T140000Z
UID:TALK72580@talks.cam.ac.uk
CONTACT:Dominic Mulligan
DESCRIPTION:The prevalence of sophisticated (and unsophisticated) cyber-at
 tacks\npresents a significant threat to modern society.  Part of the probl
 em\nmanifests itself in the software underlying the internet\, and the myr
 iad\nof devices on the so-called "Internet of Things".  Whilst useful\nadv
 ances in software development have been made over the last decade or\nmore
 \, it is perhaps surprising that the underlying programming languages\nhav
 e not changed significantly.  For example\, Java is more than twenty\nyear
 s old and\, in that time\, has undergone only cosmetic improvements.\nThe 
 question is: what should a programming language of the future look\nlike? 
  I hope to give a glimpse of one possible future.\n\nIn this talk\, I'll e
 mploy live coding to demonstrate a new language that\nrepresents a step-ch
 ange improvement over the status quo.  This is the\nWhiley programming lan
 guage and its accompanying "verifying compiler".\nThe language is focused 
 on ensuring programs meet their specifications.\nProgramming in Whiley fee
 ls surprisingly natural and the benefits from\nincluding specifications ar
 e immediately apparent.  The language has\nbeen used for the last three ye
 ars to teach a large undergraduate class\nabout program specification\, an
 d we have benefited considerably from\nthis experience.\n\nBio:\n\nDavid (
 @whileydave) graduated with a PhD from Imperial College London in\n2005\, 
 and took up a lecturer position at Victoria University of\nWellington\, NZ
 . David's PhD thesis was on efficient algorithms for\npointer analysis of 
 C\, and his techniques have since been incorporated\ninto GCC. His interes
 ts are in programming languages\, compilers and\nstatic analysis.\n\nSince
  2009\, he has been developing the Whiley Programming Language\n(whiley.or
 g) which is designed specifically to simplify program\nverification. David
  has previously interned at Bell Labs\, New Jersey\,\nwhere he worked on c
 ompilers for FPGAs\; and also at IBM Hursely\, UK\,\nwhere he worked with 
 the AspectJ development team on profiling systems.
LOCATION:FW26
END:VEVENT
END:VCALENDAR