Static Analysis Symposium '95

	International Static Analysis Symposium (SAS'95)
		Kelvin Conference Centre, Glasgow, 

		25--27 September 1995
		Second call for participation 

[This is the second announcement of this conference; this
version includes registration information at the end.]

Static Analysis is increasingly recognised as a fundamental tool for
high performance implementations and verification systems of
high-level programming languages. The last two decades have witnessed
substantial developments in this area, ranging from theoretical
frameworks to the design and implementation of analysers and their
application in optimising compilers.

The Second International Static Analysis Symposium takes place in
Glasgow, UK, from 25--27 September 1995. It follows the First
International Static Analysis Symposium in Namur (Belgium) and the
three previous international workshops Jtaspefl and WSA'92, which were
held in Bordeaux (France), and WSA'93 which took place in Padova

The aim of SAS'95 is to promote contacts and information exchange
among scientists who share common interests in static analysis for
different programming paradigms.  Researchers from the fields of
concurrent, constraint, functional, imperative, logic and
object-oriented programming constitute the audience of SAS.

The programme, call-for-participation and registration information are
available on


If requested I will mail out latex sources to people who cannot access
WWW documents.  (email: helen@dcs.gla.ac.uk)

I look forward to seeing many of you in Glasgow.  The list of papers
to be presented, and registration information, is attached.

Alan Mycroft, SAS'95 PC chair

		Invited speakers
David Schmidt (Kansas State)
Natural-Semantics-Based Abstract Interpretation

Mads Tofte (Copenhagen)
Region inference

Pierre Wolper (Li\`ege)
An Automata-Theoretic Approach to  Arithmetic Constraints

		Refereed papers
Generation of efficient interprocedural analyzers with PAG
Martin Alt and Florian Martin (Saarbr\"ucken)

Optimality in Abstractions of Model Checking
Rance Cleaveland, Purush Iyer (North Carolina State) and
  Daniel Yankelevich (Buenos Aires)

Determining Storage Properties of Sequential and Concurrent Programs with
  Assignment and Structured Data
Christopher Colby (Carnegie Mellon)

Partitioning Non-strict Functional Languages for Multi-threaded Code Generation
Satyan R. Coorg (MIT)

Complementation in Abstract Interpretation
A. Cortesi (Venezia), G. Fil\'e (Padova), R. Giacobazzi (Ecole Polytechnique),
  C. Palamidessi (Genova) and F. Ranzato (Padova)

Polymorphic Recursion and Subtype Qualifications:
  Polymorphic Binding-Time Analysis in Polynomial Time
Dirk Dussart (Leuven), Fritz Henglein and Christian Mossin (Copenhagen)

Optimizing lazy functional programs using flow inference
Karl-Filip Fax\'en (Stockholm)

Termination Analysis for Functional Programs using Term Orderings
J\"urgen Giesl (Darmstadt)

A Type-based Analysis for Stack Allocation in Functional Languages
John Hannan (Pennsylvania State)

Control-Flow Analysis and Type Systems
Nevin Heintze (Carnegie Mellon)

Effective Flow Analysis for Avoiding Run-Time Checks
Suresh Jagannathan and Andrew Wright (NEC Research, Princeton)

Static Analysis of Communication for Asynchronous Concurrent Programming
Naoki Kobayashi, Motoki Nakade and Akinori Yonezawa (Tokyo)

Unification-free execution of well-moded and well-typed Prolog programs
M.R.K. Krishna Rao and R.K. Shyamasundar (Bombay)

Efficient Closure Utilisation by Higher-Order Inheritance Analysis
Markus Mohnen (Aachen)

System F and Abstract Interpretation
Bruno Monsuez (ENS Paris)

Call-By-Name CPS-Translation as a Binding-Time Improvement
Kristian Nielsen and Morten Heine S{\oe}rensen (Copenhagen)

Trust in the Lambda Calculus
Jens Palsberg and Peter {\O}rb{\ae}k (Aarhus)

LSign Reordered
Viswanath Ramachandran and Pascal Van Hentenryck (Brown University)

Abstract Reduction Using a Tableau Calculus
Manfred Schmidt-Schau{\ss}, Sven Eric Panitz and Marko Sch\"utz (Frankfurt)

Bigloo: a portable and optimizing compiler for strict functional languages
Manuel Serrano and Pierre Weis (INRIA Rocquencourt)

Beyond Prototype Implementations: Polymorphic Projection Analysis for
  Glasgow Haskell
Julian Seward (Manchester)

Binding-Time Analysis and Strictness Analysis by Abstract Interpretation
Franck V\'edrine (ENS Paris)

		System descriptions
{\sc Gena}---a tool for generating Prolog analyzers from specifications
Christian Fecht (Saarbr\"ucken)

{\sc Igor}: A tool for developing Prolog dataflow analyzers
Magnus Nordin, Thomas Lindgren and H{\aa}kan Millroth (Uppsala)

[More details of the location and facilities are on the WWW page.]

Please register by sending the registration form below (preferably by
e-mail) and by posting the appropriate fee (by cheque drawn on a UK
bank, a Eurocheque or a bank draft payable to ``Glasgow University'')

	Helen McNee
	Department of Computing Science, 
	University of Glasgow
	Glasgow G12 8QQ, Scotland
	fax: +44 141 330 4913
	phone: +44 141 330 6047
	e-mail: helen@dcs.gla.ac.uk

All subsequent correspondence will be by email. Receipts for payment,
if required, can be collected at the conference.

Accommodation is guaranteed if you register before 18 August 1995.
After that date it is likely, but not guaranteed, that accommodation
will be available.

The conference fee is \pounds250 which includes 3 nights accomodation
(Sunday, Monday, Tuesday), banquet, other meals (Sunday dinner to Wednesday
lunch inclusive) and a copy of the proceedings.

Students (with appropriate certification) can register for \pounds200
provided they do so before 18 August but note that this price does not
guarantee the Banquet or a copy of the proceedings.  There also may be
a limited number of grants available to cover the registration fee for
authors and other participants who have exhausted other funding
sources.  Such applications should also be sent to Helen McNee.  

Note \pounds 1 is around ECU1.2 and US$1.6.

		Registration Form
Any special dietary requirements:
Total fee enclosed:

Registration fee  (# = pounds sterling)
Full rate:			 #250
Student rate:			 #200
Omit Sunday dinner:		-#  8
Omit Sunday bed+breakfast:	-# 21
Add Weds dinner: 		+#  8
Add Weds bed+breakfast:		+# 21
Extra proceedings:		+# 30