November 2013 archive

Program Comprehension with Moose and Hapax

Title: Program Comprehension with Moose and Hapax Presenter: Gustavo Santos (Federal University of Minas Gerais – Brazil) When: November 15th 2013 at 10h Where: B31 Abstract: Software visualization techniques have been proposed to improve program comprehension, as large system get difficult to understand and maintain. This talk presents the integration of Hapax with Moose. Hapax …

Continue reading

SMT and combination of theories

On Thursday 14 November 2013, 11:00-12:00 room B31 of INRIA Lille, Pascal Fontaine (LORIA Nancy) will give a talk on “SMT and combination of theories”.   Abstract: Satisfiability Modulo Theories (SMT) solvers are used in an increasing number of applications. After a brief presentation of the internals of SMT solvers, we will review some results …

Continue reading

Automatic Detection of Floating-Point Exceptions

On Friday 8 November 2013, 14:00-15:00 Room B31 of INRIA Lille, Earl Barr (University College London) will give a talk on “Automatic Detection of Floating-Point Exceptions”.   Abstract: Floating-point exceptions can be disastrous, yet writing exception-free numerical programs is very difficult. In this talk, I will present Ariadne, a practical symbolic execution system specifically designed …

Continue reading