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.
John's University Home Page
Publications
QuviQ
John's University Home Page
Publications
QuviQ
John Hughes is Giving the Following Talks
The Properties of Riak
Riak is one of the new breed of no-SQL database management systems, which has begun to replace relational databases for some applications. Riak is a distributed key-value store, inspired by Amazon’s Dynamo, designed for applications where scalability, low latency and high availability are critical. Riak uses replication to provide fast access to data, even when multiple nodes or parts of the network fail. It supports concurrent access to the same data by multiple clients, even when the network is partitioned. All of this makes it very hard to test.
I will show how QuickCheck helped us to model Riak’s behavior, improving understanding and revealing the occasional bug.
I will show how QuickCheck helped us to model Riak’s behavior, improving understanding and revealing the occasional bug.