Greg Young, IMIS

Greg Young is co-founder and CTO of IMIS, a stock market analytics firm in Vancouver BC. With over 10 years of varied experience in computer science from embedded operating systems to business systems and everything in between, he brings a pragmatic and often times unusual viewpoint to discussions.

In his spare time you can often find Greg on experts-exchange.com where he runs the .NET section of the site, writing articles for InfoQ.com, speaking at local .NET groups throughout the south eastern US and now the pacific northwest, or floating upside down through rapids in his kayak.

Presentation: "Compile-time verification, it's not just for type safety any more"

Track: .NET State of the Art

Time: Friday 12:05 - 13:05

Location: Henry Moore Room, Fourth Floor

Abstract: With .NET 4 came the Contracts library and a theorem prover. One cannot have a discussion of the differences between static and dynamic languages without talking about theorem proving yet very few even know it exists. This talk looks at the current implementation including its weaknesses, how it can affect the quality control for your software (eg: unit testing), and what to be looking for in the future.

Presentation: "Events, They are not just for notifications"

Track: Design and Objects 2011

Time: Friday 16:50 - 17:50

Location: Elizabeth Windsor, Fifth Floor

Abstract:

The concept of building a completely event centric system, including using events as a storage mechanism may seem odd at first but there are many benefits from both a technical and business perspective. This session will look at building such systems and the benefits that can be derived both from a technical and a business perspective.