EAAI 2006

1st International Workshop on Emerging Applications of Abstract Interpretation

March 26th 2006, Vienna, Austria

A satellite event of
ETAPS2006

Description

Abstract interpretation is almost 30 years old. These 30 years witnessed a great success of this methodology, in particular in analysis and verification of programming languages and systems: static program analysis, program compilers, program verification, program transformation, program semantics. This workshop focusses on emerging applications of abstract interpretation in nontraditional or even innovative areas, like security, model checking, embedded and real-time systems, systems biology, software watermarking and obfuscation, hardware verification, etc. The workshop aim is to spread the methods of abstract interpretation towards nontraditional areas and to share common experiences in using abstract interpretation as an approximation technique.

Topics of Interest

Topics of interest include all the applications of abstract interpretation in nontraditional fields, like:

  • hardware/software security
  • safety-critical hardware/software systems
  • hardware/software model checking
  • hardware/software verification
  • very large software systems
  • embedded, real-time and reactive systems
  • software watermarking and obfuscation
  • process algebra
  • artificial intelligence
  • automated deduction
  • systems biology
  • quantum computing
  • global computing
  • grid computing

Important Dates

January 15, 2006 Submission Deadline (EXTENDED)
January 31, 2006 Notification of Acceptance
February 13, 2006 Camera Ready Version
March 26, 2006 Workshop

Program Committee

Anindya Banerjee (US)
Bruno Blanchet (FR)
Radhia Cousot (FR)
Saumya Debray (US)
Roberto Giacobazzi (IT, co-chair)
David Monniaux (FR)
Alan Mycroft (UK)
Francesco Ranzato (IT, co-chair)
Hanne Riis Nielson (DK)
Helmut Veith (DE)

Submissions


Authors are invited to submit papers up to 15 pages in Elsevier's Electronic Notes in Theoretical Computer Science (ENTCS) format. Contributions should report about ongoing research in the emerging applications of abstract interpretation according to the scope and objectives of the workshop.  Position papers are also encouraged. Electronic submissions in pdf or postscript format should be sent via email to: <eaai06@math.unipd.it>. Informal workshop proceedings will be distributed by the organizers of ETAPS'06.

Program

09:30-10:30   SESSION I, INVITED TALK On Abstraction-Carrying Code and Certificate-Size Reduction
German Puebla (Universidad Politécnica de Madrid, Spain)
10:30-11:00   COFFEE BREAK
11:00-12:30   SESSION II
11:00   A PCC Architecture based on Certified Abstract Interpretation
             F. Besson, T. Jensen, D. Pichardie (IRISA, France)

11:30   JAIL: Firewall Analysis of Java Card by Abstract Interpretation
             P. Ferrara (U. Venezia, Italy, and Ecole Polytechnique, France)

12:00   Opaque Predicates Detection by Abstract Interpretation
             M. Dalla Preda (U. Verona, Italy), M. Madou (Ghent U., Belgium), K. De Bosschere (Ghent U., Belgium), R. Giacobazzi (U. Verona, Italy)
12:30-14:00   LUNCH
14:00-15:30   SESSION III
14:00   Abstract Analysis of Plans for Teleoperated Robots
             D. Massé (U. Bretagne Occidentale, France)

14:30   Analyzing Biological Pathways by Abstract Interpretation
             G. Scardoni (U. Verona, Italy)

15:00   Context Dependent Analysis of BioAmbients
             H. Pilegaard, F. Nielson, H. Riis Nielson (T.U. Denmark, Denmark)
15:30-16:00   COFFEE BREAK
16:00-17:30   SESSION IV
16:00   Path-Length Analysis for Object-Oriented Programs
             F. Spoto (U. Verona, Italy), P.M. Hill (U. Leeds, UK), E. Payet (U. La Reunion, France)

16:30   An Abstract Domain for Separation Logic Formulae
             E.-J. Sims (Ecole Polytechnique, France, and Kansas State U., USA)

17:00   Static Analysis of Actors: From Type Systems to Abstract Interpretation
             P.-L. Garoche, M. Pantel, X. Thirioux (IRIT, France)

Location

EAAI 2006 will be held in Vienna, Austria on March 26th, 2006. It is a satellite workshop of ETAPS 2006, the European Joint Conferences on Theory and Practice of Software. For venue, registration and suggested accommodation see the ETAPS 2006 web page:

http://www.complang.tuwien.ac.at/etaps06/

For information about Vienna, see among others the city web page

http://www.wien.gv.at/english

Contact Info

Workshop organizers:
Roberto Giacobazzi <roberto.giacobazzi[AT]univr.it>
Francesco Ranzato  <francesco.ranzato[AT]unipd.it>

(where, as usual, [AT] should be substituted with @)