The ParForCE Project Technology Transfer Workshop

January 15-16, 1996, Madrid, Spain

Workshop Programme

Day 1 (January 15)

9:30 - Welcome and Introduction (Chair: Giorgio Levi, Pisa)
  • Project motivation and objectives (Manuel Hermenegildo, Project Manager)
  • Tutorial: Parallelism and concurrency in LP and CLP (Manuel Hermenegildo, UPM)
  • Tutorial: Using LP and CLP (Eclipse programming) (Steven Prestwich, ECRC)

    11:30 - Coffee Break

    11:45 - Extending Global Analysis Techniques (Chair: Alexander Herold, ECRC)
  • Brief tutorial on abstract interpretation (Roberto Giacobazzi, Pisa)
  • Towards supporting full languages
  • Domain comparisons (Mark Longley, Southampton)

    13:45 - Lunch

    14:45 - Performance assessment/debugging tools (Chair: Thomas Sjöland, SICS)
  • Performance debugging / Parsee demo (Steven Prestwich, ECRC)
  • Performance assessment tools and visualization / demo (Manuel Carro, UPM)
  • Platform improvements / demo (Manuel Carro, UPM)

    16:15 - Coffee Break

    16:30 - Analysis of concurrent programs (Chair: Pierre Deransart, INRIA)
  • Compositional/modular analysis of CC (Moreno Falaschi/Enea Zaffanella, Pisa)
  • Partial evaluation and analysis of AKL (Thomas Sjöland / Dan Sahlin, SICS)

    18:15 - End of first day

    21:00 - Social Dinner
  • Day 2 (January 16)

    9:30 - Parallel Program Development (Chair: Steven Prestwich, ECRC)
  • Parallelization / Sequentialization / Granularity analysis and control (Francisco Bueno/Pedro López, UPM)
  • Working Group on program development (Debugging, CCC, Program verification) (Pierre Deransart, INRIA/John Lloyd, Bristol)

    11:30 - Coffee Break

    11:45 - Systems (Chair: Paul Soper, Soton)
  • An overview of the Eclipse system / demo (Alex Herold, ECRC)
  • An overview of the CIAO parallelizing compiler and system / demo (parallelization demo support slides, CIAO system demo support slides) (Manuel Hermenegildo/Francisco Bueno/Daniel Cabeza, Madrid)

    13:45 - Lunch

    14:45 - Conclusion (Chair: Moreno Falaschi, Pisa)
  • Summary of project achievements and future work (Manuel Hermenegildo, Project Manager)

    15:15 - Debate / Reviewer discussion / Feedback

    16:15 - End of workshop
  • <webmaster@clip.dia.fi.upm.es>