<p>In this session, we will present real life applications of compiler techniques helping kaChing achieve ultra confidence and power its incredible 5 minutes commit-to-production cycle [1]. We'll talk about idempotency analysis [2], dependency detection, on the fly optimisations, automatic memoization [3], type unification [4] and more! This talk is not suitable for the faint-hearted... If you want to dive deep, learn about advanced JVM topics, devoure bytecode and see first hand applications of theoretical computer science, join us.</p> <p> </p> <p>[1] http://eng.kaching.com/2010/05/deployment-infrastructure-for.html</p> <p>[2] http://en.wikipedia.org/wiki/Idempotence</p> <p>[3] http://en.wikipedia.org/wiki/Memoization</p> <p>[4] http://eng.kaching.com/2009/10/unifying-type-parameters-in-java.html</p>

We will spend this session talking about type safety. After defining this desirable property, we will look at various examples where broken but well-typed programs are converted to ill-typed programs. In other words, we will learn to leverage the type system in order to detect issues as early as possible. All examples presented in this session are coming straight out of kaChing's code base. Previous exposure to Java and Scala is recommended.