DevConf.cz 2018 has ended

DevConf.cz 2018 is the 10th annual, free, Red Hat sponsored community conference for developers, admins, DevOps engineers, testers, documentation writers and other contributors to open source technologies such as Linux, Middleware, Virtualization, Storage, Cloud and mobile where FLOSS communities sync, share, and hack on upstream projects together in the beautiful city of Brno, Czech Republic.

When: Friday, January 26 to Sunday, January 28, 2018

Venue: Faculty of Information Technology (VUT FIT - Božetěchova 2, Brno)


  • Friday 17:15: at the venue there will be a surprise show, stick around!
  • Saturday 19:00: the social event starts at Fleda Club. TICKET IS REQUIRED. Tickets will be distributed each day at check-in. First come, first serve.
  • Sunday 17:00: there will be many prizes given away at the closing session.
Back To Schedule
Sunday, January 28 • 1:30pm - 1:53pm
Can We Build a Better Valgrind?

Sign up or log in to save this to your schedule, view media, leave feedback and see who's attending!

Feedback form is now closed.
Limited Capacity seats available

"Model checking is often thought of as an academic enterprise, detached from
reality. This is a myth that we would like to set straight. Just like SAT
solvers (think DNF), model checking is about to find its way into practical,
day-to-day tools. The DIVINE toolset is an emerging example.

Dealing with bugs in concurrent and safety-critical software is where model
checking is its strongest. However, even in the arena of everyday C (and C++)
programs, it is a formidable assistant. We will see how a model checker can
deliver (non-interactive) valgrind- and sanitizer-like features that are also
completely robust in multi-threaded programs. On top of that, we will also
discuss how this technology allows for an interactive, reversible debugger and
show you how it looks in practice."

avatar for Petr Ročkai

Petr Ročkai

Researcher at Red Hat and Masaryk University.
Petr is currently a researcher with Red Hat and with the Faculty of Informatics of Masaryk University. He is the architect of DIVINE, a model checker for practical people.

Sunday January 28, 2018 1:30pm - 1:53pm CET
D-C228 Faculty of Information Technology (VUT FIT)