What does the Future of Programming Look Like?
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.
Speaker bioDavid (@whileydave) 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 (whiley.org) 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 IBM Hursely, UK, where he worked with the AspectJ development team on profiling systems.