From hrn@daimi.aau.dk Tue Jan 3 15:59:33 EST 1995 Article: 796 of comp.lang.ml Path: cantaloupe.srv.cs.cmu.edu!hrn From: Hanne Riis Nielson Newsgroups: comp.lang.ml Subject: CFP: Types for Program Analysis Date: 3 Jan 1995 16:00:52 GMT Organization: DAIMI, Computer Science Dept. at Aarhus University Lines: 82 Approved: comp-lang-ml@cs.cmu.edu Distribution: world Message-ID: <3ebsbk$nbr@cantaloupe.srv.cs.cmu.edu> Reply-To: Hanne Riis Nielson NNTP-Posting-Host: unbox.fox.cs.cmu.edu Originator: jgmorris@UNBOX.FOX.CS.CMU.EDU C A L L F O R P A P E R S WORKSHOP ON TYPES FOR PROGRAM ANALYSIS University of Aarhus, Denmark MAY 26-27, 1995 This workshop is organized as a satellite activity of the TAPSOFT'95 conference, May 22--26, University of Aarhus. The meeting starts Friday, May 26th at 2:00 p.m., and ends May 27th at 12:00 noon. Recent years have shown the advent of various analysis techniques based on logical inference systems, in particular variations of type systems. Proponents of the method claim that the analyses are easier to specify, achieve a cleaner separation between specification and implementation, and that it is easier to formulate fragments with a tractable efficiency. The topics of the workshop include (but are not limited to): - specification of specific analyses for programming languages - the role of effects, polymorphism, conjunction/disjunction types, dependent types etc. in specification of analyses - algorithmic tools and methods for solving general classes of type-based analyses - the role of unification, semi-unification etc. in implementations of analyses - proof techniques for establishing the safety of analyses - relationship to other approaches to program analysis, including abstract interpretation and constraint-based methods - exploitation of analysis results in program optimization and implementation Authors are invited to submit an extended abstract not exceeding ten pages (excluding references and appendices) by March 1, 1995. Remember to incorporate an abstract, your address, e-mail address, and telephone and fax numbers on the front page. Authors will be notified of acceptance by April 10, 1995. The final version of papers are due May 1, 1995, and will be allowed 15 pages. The "proceedings" will be published as a technical report from Aarhus University; this does not prevent essentially the same papers to be submitted for publication elsewhere (but we do not want to accept papers already accepted elsewhere). Electronic submission is encouraged via e-mail. The submission should be sent to LOMAPSworkshop@daimi.aau.dk either in Postscript or as a self-contained TeX or LaTeX file. Alternatively, submissions may be sent by ordinary mail (six copies required) to: Hanne Riis Nielson Computer Science Department Aarhus University, Bldg. 540 Ny Munkegade DK-8000 Aarhus C, Denmark Organization Committee: Hanne Riis Nielson Kirsten Lackner Solberg Computer Science Department Computer Science Department Aarhus University Aarhus University Denmark Denmark Programme Committee: Flemming Nielson David Wright Computer Science Department Department of Computer Science Aarhus University University of Tasmania Denmark Australia Daniel Le Metayer Fritz Henglein Irisa/Inria DIKU Rennes Copenhagen University France Denmark