The Thirteenth ASTReNet Workshop

Formal Aspects of Source Code Analysis and Manipulation

FACSThe Workshop was held on 21st March 2007, in collaboration with BCS FACS (BCS Specialist Group, Formal Aspects of Computing Science) on Formal Aspects.


program chairs

Mark Harman and Paul Boca

Keynote Speaker

Prof. Patrick Cousot

Patrick COUSOT
An outstanding keynote about Abstract Interpretation and Semantics will be given by Prof. Patrick Cousot from the École Normale Supérieure on 21st March.


Registration

Closed

Attendee (36)

Kostas Adamopoulos   King's College London, UK
Paul BocaProgramming Research Ltd., UK
Egon BörgerUniversita di Pisa, Italy
Kirill BogdanovThe University of Sheffield, UK
Jonathan BowenMuseophile Limited, UK
David ClarkKings College London, UK
Patrick Cousot École Normale Supérieure, France
Sebastian DanicicGoldsmiths College, UK
Dennis FureyLondon South Bank University, UK
Mahmoud Abou GhalyLondon South Bank University, UK
Pam GreenHertfordshire University, UK
Tracy HallHerfordshire University, UK
Kevin HammondUniversity of St. Andrews, UK
Mark HarmanKing's College London, UK
Youssef HassounKing's College London, UK
Rob HieronsBrunel University, UK
Mike HolcombeSheffield University, UK
John Howroyd@UK PLC
Yue Jia King's College London, UK
Tao JiangKing's College London, UK
Cliff JonesNewcastle University, UK
Paul KellyImperial College London, UK
Andy KingUniversity of Kent, UK
Kiran LakhotiaKing's College London, UK
Mike LaurenceKing's College London, UK
Zheng LiKing's College London,UK
S Afshin MansouriKing's College London, UK
Chunyan MuKing's College London, UK
Lahcen OuarbyaGoldsmiths College, UK
Marc RoperUniversity of Strathclyde, UK
Axel SimonUniversity of Kent, UK
Mike Thyer
Laurence TrattKing's College London, UK
Neil WalkinshawThe University of Sheffield
Herbert WiklickyImperial College, UK
Min ZhangUniversity of Hertfordshire, UK

Programme

  • 09:00  Coffee/tea welcome
  • 09:45  Welcome and ASTReNet procedures
  • 10:00   Keynote Patrick Cousot: Static Analysis and Verification of Synchronous Embedded Code by Abstract Interpretation Abstract
  • 11:00  Discussion
  • 11:30  Coffee/tea break
  • 12:00  Andy King: On Modular-Reduction Vulnerabilities Abstract |  Slides
  • 12:30  Discussion
  • 13:00  Lunch
  • 14:00  Sebastian Danicic: Linear Schemas for Program Dependence Abstract |  Slides
  • 14:30  Discussion
  • 15:00  Coffee/tea break
  • 15:30  Paul Kelly: DeepWeaver: a Declarative Framework for Analysis and Optimization                                  Abstract |  Slides
  • 16:00  Discusssion
  • 16:30  Kevin Hammond: Amortised Upper Bound Cost Analysis for Hume
                                     Abstract |  Slides
  • 17:00  Discussion
  • 17:30  Mark Harman: Wrap Up

  • 18:00   FACS evening seminar by Egon Börger: The Abstract State Machines Method for High-Level System Design and Analysis  Abstract

Location


BCS London Offices 
First Floor, The Davidson Building 
5 Southampton Street 
London WC2E 7HA
Map of the location