6th Workshop on Formal Techniques for Java-like Programs - FTfJP'2004

at ECOOP 2004

Tuesday June 15, Oslo, Norway

Position Papers

A special issue of the Journal of Object Technology about FTfJP'2004 will appear in October 2005.

Typing

JVM implementation and Java compilation

Invariants

Specification and verification

Ownership

The proceedings has appeared as technical report, nr. NIII-R0426, University of Nijmegen, 2004.

Participants

The following people attended the workshop.

Davide Ancona University of Genua, Italy
Christopher Anderson Imperial College, UK
Mike Barnett Microsoft Research, USA
Alex Buckley Imperial College, UK
Alessandro Coglio Kestrel Institute, USA
David Cok Kodak Eastman, USA
Adam Darvas ETH Zurich, Switzerland
Werner Dietl ETH Zurich, Switzerland
John Field IBM's T. J. Watson Research Center, USA
Neal Glew Intel, USA
Johan Glimming KTH, Sweden
Marieke Huisman INRIA Sophia-Antipolis, France
Bart Jacobs K.U. Leuven, Belgium
Joe Kiniry University of Nijmegen, Netherlands
Peter Müller ETH Zurich, Switzerland
Rustan Leino Microsoft Research, USA
Cees Pierik University of Utrecht, Netherlands
Frank Piessens K.U. Leuven, Belgium
Alex Potanin Victoria University of Wellington, New Zealand
Erik Poll University of Nijmegen, Netherlands
Andreas Roth University of Karlsruhe, Germany
Mirko Viroli University of Bologna, Italy
Joe Zhou University of Leicester, UK

Program Committee

Armin Biere ETH Zürich, Switzerland
John Boyland University of Wisconsin, USA
Alessandro Coglio Kestrel Institute, USA
Matthew Dwyer Kansas State University, USA
Susan Eisenbach Imperial College, Great Britain
Michael Ernst MIT, USA
Marieke Huisman INRIA Sophia-Antipolis, France
Joe Kiniry University of Nijmegen, the Netherlands
Doug Lea State University of New York at Oswego, USA
Peter Müller ETH Zürich, Switzerland
David Naumann Stevens Institute of Technology, USA
James Noble Victoria University of Wellington, New Zealand
Erik Poll (chair) University of Nijmegen, the Netherlands
Wolfram Schulte Microsoft Research, USA

Steering Committee

Sophia Drossopoulou Imperial College, Great Britain
Gary T. Leavens Iowa State University, USA
Peter Müller ETH Zürich, Switzerland
Arnd Poetzsch-Heffter Universität Kaiserslautern, Germany
Erik Poll University of Nijmegen, the Netherlands