Sites Inria

There are 2 Results with the keyword : "Adam research team"

Seminar

Software Engineering Seminars

10/10/2013

There are more bugs in real-world programs than human programmers can realistically address. Automatic program repair has been a longstanding goal in software engineering, yet debugging remains a largely manual process. From 9:30 to 10:30, Westley Weimer (University of Virginia) will give a talk on “Discovering Program Invariants and Automatic Program Repair.

Place : Salle plénière, Inria Lille - Nord Europe, Bâtiment A

Guest(s) : Westley Weimer, University of Virginia

Keywords:

Home > Centre > Lille > Calendar > Software Engineering Seminars

lire la suite

©Earl Barr

Conference

Discovering Program Invariants and Automatic Program Repair

8/11/2013

On Friday 8 November 2013, 14:00-15:00 Room B31 at Inria Lille - Nord Europe, Earl Barr (University College London) will give a talk on “Automatic Detection of Floating-Point Exceptions”.

Place : Room B31, Inria Lille - Nord Europe

Guest(s) : Earl Barr

Keywords:

Home > Centre > Lille > Calendar > Discovering Program Invariants and Automatic Program Repair

lire la suite

Top