The 22nd ASTReNet Workshop

On Dependence Day

The Workshop was held on 4th July 2008 in CREST Centre at King's College London.


Research on dependence has recently started to consider ways in which traditional formulations of control dependence may need to be re-formulated in order to handle programs that (purposefully and meaningfully) fail to terminate. Such programs are found in reactive and embedded systems, the real time world as well as in more traditional operating systems. This suggests a need for new formulations of program slicing, new ways in which slicing algorithm proof obligations need to be discharged.


There has also been recent interest in the development of slicing thenqiues for slicign Extended Finite State Machines. There is a potential to move slicing up the abstraction chain to apply it to the model level of abstraction.


This workshop will focus on the foundations of dependence and slicing for non-terminating computations and for Extended Finite State Machines. The workshop will take as its starting point the recent paper by Venkatesh Prasad Ranganath, Torben Amtoft, Anindya Banerjee, Matt Dwyer and John Hatcliff, which denotes a seminal contribution, by raising the issue of control dependence for reactive (not necessarily terminating) programs. It is recommended that participants read this paper before participating in the workshop.


The paper is available in a number of formats:

Technical Report Version
ESOP conference version(ion Springer website)
Paper from author's website
TOPLAS journal version of paper


The workshop is held jointly by the ASTReNet and the SLIM project. SLIM is a three year project in CREST at King's College London's Department of Computer Science. It aims to develop algorithms, techniques and prototype tools for slicing Extended Finite State Machines.

Registration

Attendee (13)

David Bowes, University of Hertfordshire, UK
David Clark Kings College London, UK
Sebastian Danicic, Goldsmiths College, UK
Keith Gallagher Durham University, UK
Tracy Hall Brunel University, UK
Mark Harman King's College London, UK
Rob Hierons Brunel University, UK
Zheng Li King's College London, UK
Arthorn Luangsodsai, University of Essex, UK
Andy Maule University College London, UK
Changhai Nei King's College London, UK
Michele Sama University College London, UK
Igor Siveroni City University London, UK

Programme

  • 09:30  Tea/welcome
  • 10:00  Mark Harman: Aims and Objections
  • 10:20  Discussion of the paper by Ranganath et al.
  • 11:00  Boston Tea Break
  • 11:30  Discussion (cont.)
  • 12:00  Bunker Hill lunch folloed by constitutional walk
  • 14:00  Discussion of Slicing non-terminated programs and state based model
  • 15:00  Boston Tea Break
  • 16:30  Discussion (cont.)
  • 17:00  Mark Harman: Wrap up
  • 17:30  Close

Location

CREST(Room K1.88-K1.99 King's Building) in Strand Campusat King's College London