The Fourteenth ASTReNet Workshop

Linear Schemas for Program Dependence

The Workshop was held on 30th March 2007.

program chairs

Sebastian Danicic and Mark Harman

Attendee (12)

Richard BarracloughGoldsmiths College, UK
David ClarkKings College London, UK
Chris FoxUniversity of Essex, UK
Sebastian DanicicGoldsmiths College, UK
Mark HarmanKing's College London, UK
Youssef HassounKing's College London, UK
John Howroyd@UK PLC
Tao JiangKing's College London, UK
Mike LaurenceKing's College London, UK
S Afshin MansouriKing's College London, UK
Chunyan MuKing's College London, UK
Lahcen OuarbyaGoldsmiths College, UK

Programme

  • 09:00  Coffee/tea welcome
  • 10:00  Sebastian Danicic Languages Generated by Linear Schemas
  • 11:00  John Howroyd Some Interesting Schemas
  • 12:00  Mike Laurence Towards Decidability of Freeneness
  • 13:00  Lunch
  • 14:00  David Clark Abstract Interpretation Tutorial (1 of 4)
  • 14:30  Coffee/tea break
  • 15:00  Lahcen Ouarbya Towards a Lazy Semantics of Schemas
  • 16:00  Mark Harman Decidability of Freeness and Unfolding Symbolic Execution Trees

Location

CREST Center at King's college London