BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Boosting Verification by Automatic Tuning of Decision Procedures -
  Domagoj Babic (University of British Columbia)
DTSTART:20070918T120000Z
DTEND:20070918T130000Z
UID:TALK7964@talks.cam.ac.uk
CONTACT:Thomas Tuerk
DESCRIPTION:Parameterized heuristics abound in computer aided-design and v
 erification\, and manual tuning of the respective parameters is difficult 
 and time-consuming. Very recent results from the artificial intelligence (
 AI) community suggest that this tuning process can be automated\, and that
  doing so can lead to significant performance improvements\; furthermore\,
  automated parameter optimization can provide valuable guidance during the
 \ndevelopment of heuristic algorithms. Such an AI approach can improve a s
 tate-of-the-art SAT solver for large\,\nreal-world bounded model-checking 
 and software verification instances. The resulting\, automatically-derived
  parameter settings yielded runtimes\non average 4.5 times faster on bound
 ed model checking instances and 500 times faster on software verification 
 problems than extensive hand-tuning of the decision procedure. Furthermore
 \, the availability of automatic\ntuning influenced the design of the solv
 er\, and the automatically-derived parameter settings provided a deeper in
 sight into the properties of problem instances.\n\nDomagoj Babic´s Homepa
 ge: http://www.domagoj.info
LOCATION:Computer Laboratory\, William Gates Building\, Room SS03
END:VEVENT
END:VCALENDAR