QuickCheck workshop on October 6, 2015 is taking place in Gothenburg, Sweden. We now updated the Advanced Erlang website to show the full schedule for this event. With many interesting guests and talks planned, we invite users of the QuickCheck tool to demonstrate their work and share their experiences. The workshop is intended for people that have been using QuickCheck and want to learn more about it.
Here’s the outline for the workshops:
9:00 - 10:00 Torben Hoffmann, QuickCheck Mocking for "the Game of Life"
Torben is an Architect at Basho and has been working with Erlang since 2006. He has been CTO of Erlang Solutions and worked as technical architect for Motorola and ISSUU. He has talked about his Motorola achievements at Erlang eXchange 2008 and EUC 2010. He has been holding the Erlang banner high as a self confessed Erlang Priest at several conferences such as CodeMesh, Build Stuff, Goto, QCon, NDC, Craft and Lambda Days. Before becoming an Erlanger he worked with software quality assurance, process improvement and people management.
10:15 - 11:15 Ulf Norell, QuickCheck Function Generators
Ulf is the brains behind Quviq’s C-testing interface, and the QuickCheck infrastructure underlying our AUTOSAR testing. He is a language creator and QuickCheck developer, responsible for many useful features in Quviq's products.
11:30 - 12:30 Jesper Louis Andersen, How I handled Erlang R18 Maps with QuickCheck
Jesper has programmed Erlang since 2006 and has worked professionally with the language since 2011. Former trophies on the wall are BitTorrent clients, Billing systems, Web backends, and a slew of Open Source projects with QuickCheck models. Jesper holds a b.a. in Computer Science and likes to dabble in the world of Logic, Computation and Mathematics. He has a keen interest in the application of formal methods to real world problems.
12:30 - 13:30 Lunch
13:30 - 14:00 Tobias Gedell, QuickCheck-CI
Tobias joined Quviq in 2014 and has, among others, worked on QuickCheck in Continuous Integration. Tobias has a background in the financial trading industry and has worked with a variety of functional programming languages. He is a profound QuickCheck adept and lead developer of the web service quickcheck-ci.com
14:00 - 14:30 Alex Gerdes, Generating programs using Attribute Grammars
During his PhD Alex created Ask-Elle, an online functional programming tutor for Haskell. His programming skills are now used to strengthen QuviQ’s QuickCheck team. He joined QuviQ in 2012, and focusses on using QuickCheck for testing web services.
15:00 - 16:00 John Hughes, Cool research going on around QuickCheck
John Hughes is CEO of Quviq and one of the QuickCheck inventors.