Program

All sessions will take place in Suite 3028 unless otherwise indicated.

Wednesday, August 16th

Wednesday's program is also available with abstracts or side by side with other meetings.

12:30‑14:00  Lunch break

14:00‑15:30  Session 1: Debugging and tracing

14:00	Remko Troncon and Gerda Janssens A Delta Debugger for ILP Query Execution
14:30	Pierre DERANSART On using Tracer Driver for External Dynamic Process Observation (extended abstract)
15:00	Hani Girgis and Bharat Jayaraman A Logic-based Debugger for Java

15:30‑16:00  Break

16:00‑17:45  Session 2: Program analysis

16:00	Edison Mera, Pedro Lopez-Garcia , German Puebla, Manuel Carro and Manuel Hermenegildo Combining Static Analysis and Profiling for Estimating Execution Times in Logic Programs
16:30	Michael Hanus CurryBrowser: A Generic Analysis Environment for Curry Programs
17:00	Elvira Albert , Puri Arenas and German Puebla Some Issues on Incremental Abstraction-Carrying Code
17:30	Alexander Serebrenik and Wim Vanhoof Fingerprinting Logic Programs

18:00‑19:00  Session 3: Tools

18:00	Siddharth Chitnis, Madhu Yennamani and Gopal Gupta ExSched: Solving Constraint Satisfaction Problems with the Spreadsheet Paradigm
18:30	Kim Henriksen and John Gallagher A Web-based Tool Combining Different Type Analyses