Organizers: Dave Hoover, Jacob Richardson, Erik Benoist, Clem Bradley, Henry Bissonnette, Heather Corallo
Geekfest: Pontificating Quantification, Verifying Correctness in Software
Pontificating Quantification: Verifying Correctness in Software by Aaron Bedra
While we continue to mature as an industry, there are still some things that we struggle with. One of these things is verifying that our software will perform as we expect it to. Join Aaron Bedra has he reflects on early computer science history with Hoare's original paper on correctness, and visits Bertrand Meyer's work with Eiffel. Aaron will take you on a tour of some modern approaches on proving correctness with both static and dynamic languages and how you can adopt some of these ideas in your own software to help you sleep better at night knowing your software does what you think it will.
What is Geekfest?
Geekfest is a gathering of software development geeks every Tuesday at noon. It originally started at Obtiva back in 2007, and now it's at Groupon. Follow us on Twitter.
We just want to make sure you are human. You should only have to see this once. Once we verify your humanity, we're good!