Are you tired of null pointer exceptions, SQL injections, concurrency errors, mistaken equality tests, and other run-time errors? A compile-time tool named the Checker Framework has found hundreds of such errors in Java code. Come learn how you can use the tool to improve your own code. For those who don't use Java, we will explain the concept of pluggable type-checking that underlies the tool.
An update from last year's well-received public service talk, we'll discuss the evolution of Python & answer common FAQs. There are those who worry that Python 3 is backwards-incompatible to Python 2. We address that issue, discuss what the main differences are, mention migration, the roles of 2.6/2.7 & other transition tools, and conclude with an update on what has been & yet needs to be ported.
Go 1 is a stable version of the Go Programming Language that will be supported for years to come. In this talk, Rob Pike and Andrew Gerrand outline the major highlights of the release and discuss the details behind some specific libraries and tools. They show that Go is not just a language, but a cohesive programming environment for producing high quality software.