John Hughes
Inventor of QuickCheck and Erlanger of the year
QuviQ AB
John Hughes is co-founder and CEO of Quviq AB, and the originator of
Quviq QuickCheck. From 2002-2005 he led a major research project in
software verification, funded by the Swedish Strategic Research
Foundation. This led to the development of Quviq QuickCheck in Erlang.
Before John's involvement with Erlang, he was deeply involved with the
design of Haskell from the start, and co-chaired the committee that
defined the current language standard. At the Erlang eXchange, John
will talk about Quick Check for Erlang.
- John's University Home Page
- Publications
- QuviQ
John Hughes is Giving the Following Talks
Power debugging C code with Erlang
QuickCheck tests stateful code beautifully, generating short sequences of API calls that reveal broken behaviour. Great for testing Erlang code... but equally useful for other programming languages, provided we can invoke them seamlessly from Erlang. John will demonstrate Quviq's new link to C, which relieves the user from writing any boiler-plate code whatsoever, making property-driven development in C, with the properties written in Erlang, truly practical.
John Hughes is Teaching the Following Courses
Target Audience: Software Developers
Prerequisites: Participants should be familiar with Erlang and use it frequently.
Objectives:
• Use the important features of QuickCheck
• Build-up to a realistic example of building a banking server
Goal: Understand QuickCheck and be able to use it with Erlang.
Duration: Three days.
Registration: 08:30 on 7th June 2010.
Venue: London Fruit & Wool Exchange
Description:This course is intensive, modular and hands-on, with each module made-up of lectures and practical exercises. Since QuickCheck builds on Erlang, we take advantage of participants' prior knowledge to introduce QuickCheck more quickly.
Prerequisites: Participants should be familiar with Erlang and use it frequently.
Objectives:
• Use the important features of QuickCheck
• Build-up to a realistic example of building a banking server
Goal: Understand QuickCheck and be able to use it with Erlang.
Duration: Three days.
Registration: 08:30 on 7th June 2010.
Venue: London Fruit & Wool Exchange
Description:This course is intensive, modular and hands-on, with each module made-up of lectures and practical exercises. Since QuickCheck builds on Erlang, we take advantage of participants' prior knowledge to introduce QuickCheck more quickly.