-
CC 2007, International Conference on Compiler Construction
-
ESOP 2007, European Symposium on Programming
-
FASE 2007, Fundamental Approaches to Software Engineering
-
FOSSACS 2007, Foundations of Software Science and Computation Structures
-
TACAS 2007, Tools and Algorithms for the Construction and Analysis of Systems
International Conference on Compiler Construction
CC is interested in work on processing programs in the most
general sense: analyzing, transforming or executing input that
describes how a system operates, including traditional compiler
construction as a special case.
Topics of interest include, but are not limited to:
-
compilation and interpretation techniques, including
program representation and analysis, code generation and code
optimization
-
run-time techniques, including memory management and
dynamic and just-in-time compilation
-
programming tools, from refactoring editors to checkers to
compilers to virtual machines to debuggers
-
techniques for specific domains, such as secure,
parallel, distributed, embedded or mobile environments
-
design of novel language constructs and their
implementation
Programme Committee
-
Eric Allen, Sun Microsystems, Inc.
-
Emery Berger, University of Massachusetts Amherst
-
Rastislav Bodik, University of California, Berkeley
-
William Cook, University of Texas at Austin
-
Chen Ding, University of Rochester
-
Sabine Glesner, Technical University of Berlin
-
Dan Grossman, University of Washington
-
Rajiv Gupta, University of Arizona
-
Andrew Kennedy, Microsoft Research Cambridge
-
Shriram Krishnamurthi, Brown University (co-chair)
-
Christian Lengauer, University of Passau
-
Cristina Videira Lopes, University of California, Irvine
-
Todd Millstein, University of California, Los Angeles
-
Martin Odersky, Ecole Polytechnique Fédérale de Lausanne (co-chair)
-
G. Ramalingam, IBM Research
-
Vijay Saraswat, IBM TJ Watson Research Center
-
Zhong Shao, Yale University
-
Yannis Smaragdakis, Georgia Tech
-
Gregor Snelting, University of Passau
-
Joost Visser, Universidade do Minho
-
Reinhard Wilhelm, Saarland University
Invited Speaker
Don Batory,
University of Texas at Austin
Conference Page
http://cc2007.cs.brown.edu/
European Symposium on Programming,
ESOP is an annual conference devoted to fundamental issues in the
specification, analysis, and implementation of programming languages
and systems. This includes:
- Design of programming languages and calculi and their formal
properties
- Techniques, methods, and tools for their implementation
- Exploitation of programming styles within different
programming paradigms
- Automatic and manual methods for generating and reasoning
about programs
- The design and invention of systems and tools to assist in
exploitation of the languages
Contributions bridging the gap between theory and practice are
particularly welcome. Topics traditionally covered by ESOP include
programming paradigms and their integration, semantics, calculi of
computation, security and privacy, advanced type systems, program
analysis, program transformation, and practical algorithms based on
theoretical developments.
Programme Committee
-
Steve Brookes - CMU Pitsburgh, USA
-
Gerard Boudol - INRIA Sophia Antipolis, France
-
Giuseppe Castagna - ENS Paris, France
-
Patrick Cousot - ENS Paris, France
-
Mads Dam - KTH stocholm, Sweden
-
Pierpaolo Degano - U. Pisa, Italy
-
Rocco De Nicola (Chair) - U. Firenze, Italy
-
Sophia Drossopoulou - Imperial College, UK
-
Cedric Fournet - Microsoft Cambridge, UK
-
Stefania Gnesi - ISTI CNR, Italy
-
Joshua Guttman - MITRE, USA
-
Chris Hankin - Imperial College, UK
-
Matthew Hennessy - U. Sussex, UK
-
Alan Jeffrey - Bell Labs, USA
-
John Mitchell - Stanford U., USA
-
Fleming Nielson - IMM Copenhagen, DK
-
Catuscia Palamidessi - INRIA Paris, France
-
Benjamin Pierce - U. Pennsilvania, USA
-
Andrei Sabelfeld - Chalmers, Sweden
-
Don Sannella - U. Edinburgh, UK
-
Bernhard Steffen - U. Dortmund, Germany
-
Walid Taha - Rice U., USA
-
Jan Vitek - Purdue U., USA
-
Martin Wirsing - LMU Munich, Germany
-
Xavier Leroy - INRIA Paris, France
-
Gianluigi Zavattaro - U. Bologna, Italy
Invited Speaker
Andrew Pitts - Cambridge University, UK
Conference Page
http://rap.dsi.unifi.it/esop07/
Fundamental Approaches to Software Engineering
The information society is increasingly reliant on software at all
levels. Hence, the ability to produce software of high quality at low
cost is crucial to technological and social progress. An intrinsic
characteristic of software that integrates with real-world processes is
the need to evolve in order to adjust to new or changing requirements.
Maintaining quality while embracing change is one of the main challenges
of software engineering.
Software engineers have at their disposal theories, languages, methods,
and tools that derive from both the systematic research of the academic
community and the experience of practitioners. It is one of the roles of
software engineering as a scientific discipline to foster feedback
between academia and industry by proposing new solutions and
evaluating the effectiveness of those solutions in practical contexts.
Submissions to FASE may address either novel proposed solutions or the
evaluation of solutions, but they must clearly identify: the problem being
solved, the proposed solution and its relationship to existing
solutions, and,
in the case of evaluations, the context in which the evaluation was
conducted.
Contributions that combine the development of conceptual and methodological
advances with their formal foundations and tool support are particularly
encouraged.
A non-exclusive list of topics of interest is given below.
-
Requirements engineering: capture, consistency, and change
management of software requirements
-
Software architectures: description and analysis of the
architecture of individual systems or classes of
applications
-
Implementation concepts and technologies: distributed,
mobile, and embedded applications, service-oriented
architectures and Web Services
-
Software processes: support for iterative, agile, and open
source development
-
Model-driven development: design and semantics of
semi-formal visual languages, consistency and transformation
of models
-
Software evolution: refactoring, reverse and re-engineering,
configuration management and architectural change, or
aspect-orientation
-
Software quality: validation and verification of software
using theorem proving, testing, analysis, metrics or
visualization techniques
-
Application of formal methods to software development
Programme Committee
-
Luciano Baresi, Politecnico di Milano
-
Yolande Berbers, Katholieke Universiteit Leuven
-
Carlos Canal, University of Málaga
-
Myra Cohen, University of Nebraska
-
Ivica Crnkovic, Mälardalen University
-
Arie van Deursen, Delft University of Technology
-
Juergen Dingel, Queen's University
-
Matt Dwyer, University of Nebraska (co-chair)
-
Harald Gall, University of Zurich
-
Holger Giese, University of Paderborn
-
Martin Grosse-Rhode, Fraunhofer-ISST
-
Anthony Hall, independent consultant
-
Reiko Heckel, University of Leicester
-
Patrick Heymans, University of Namur
-
Paola Inverardi, University of L'Aquila
-
Valerie Issarny, INRIA-Rocquencourt
-
Natalia Juristo, Universidad Politecnica de Madrid
-
Kai Koskimies, Tampere University of Technology
-
Patricia Lago, Vrije Universiteit
-
Antónia Lopes, University of Lisbon (co-chair)
-
Mieke Massink, CNR-Institute of Information Science and Technology
-
Carlo Montangero, University of Pisa
-
Barbara Paech, University of Heidelberg
-
Leila Ribeiro, Federal University of Rio Grande do Sul
-
Robby, Kansas State University
-
Catalin Roman, Washington University
-
Sebastian Uchitel, Imperial College London and University of Buenos Aires
-
Jianjun Zhao, Shanghai Jiao Tong University
Invited Speaker
Jan Bosch (Nokia, Finland)
Conference Page
http://fase07.di.fc.ul.pt
Foundations of Software Science and Computation Structures
FOSSACS seeks original papers on foundational research with a
clear significance for software science. The conference invites
submissions on theories and methods to support the analysis,
integration, synthesis, transformation, and verification of
programs and software systems.
Topics covered include, but are not limited to:
-
Algebraic models,
-
Automata and language theory,
-
Behavioural equivalences,
-
Categorical models,
-
Computation processes over discrete and continuous data,
-
Infinite state systems
-
Computation structures,
-
Logics of programs,
-
Modal, spatial, and temporal logics,
-
Models of concurrent, reactive, distributed, and mobile systems,
-
Process algebras and calculi,
-
Semantics of programming languages,
-
Software specification and refinement,
-
Type systems and type theory.
-
Fundamentals of security
-
Semi-structured data
-
Program correctness and verification
Programme Committee
-
Martin Abadi,
University of California at Santa Cruz and Microsoft Research
-
Michael Benedikt,
Bell Laboratories
-
Ahmed Bouajjani,
Université Paris 7
-
Cristiano Calcagno,
Imperial College London
-
Didier Caucal,
IRISA-CNRS, Rennes
-
Flavio Corradini,
Univerty of Camerino
-
Robert van Glabbeek,
Stanford Universit
-
Andrew D. Gordon,
Microsoft Research, Cambridge
-
Hendrik Jan Hoogeboom,
Leiden University
-
Anna Ingolfsdottir,
Aalborg University
-
Florent Jacquemard
LSV, ENS de Cachan
-
Werner Kuich,
TU Wien
-
Kamal Lodaya,
Institute of Mathematical Sciences, Chennai
-
Antoine Miné,
ENS Rue d'Ulm, Paris
-
Damian Niwinski,
Warsaw University
-
David A. Schmitt,
University of Kansas
-
Stefan Schwoon,
Universität Stuttgart
-
Helmut Seidl,
TU München (chair)
-
Scott A. Smolka,
State University of New York at Stony Brook
-
P.S. Thiagarajan,
National University of Singapore
-
Sophie Tison,
Université des Sciences et Technologies de Lille
-
Heiko Vogler,
TU Dresden
-
Christoph Weidenbach,
Max-Planck-Institut für Informatik, Saarbrücke
Invited Speaker
Radha Jagadeesan, DePaul University
Conference Page
http://www2.in.tum.de/~seidl/fossacs07/
Tools and Algorithms for the Construction and Analysis of Systems
TACAS is a forum for researchers, developers and users
interested in rigorously based tools and algorithms for the
construction and analysis of systems. The conference serves to
bridge the gaps between different communities that share common
interests in, and techniques for, tool development and its
algorithmic foundations. The research areas covered by such
communities include but are not limited to formal methods,
software and hardware verification, static analysis, programming
languages, software engineering, real-time systems,
communications protocols, and biological systems. The TACAS
forum provides a venue for such communities at which common
problems, heuristics, algorithms, data structures and
methodologies can be discussed and explored. In doing so, TACAS
aims to support researchers in their quest to improve the
utility, reliability, flexibility and efficiency of tools and
algorithms for building systems.
Tool descriptions and case studies with a conceptual message, as
well as theoretical papers with clear relevance for tool
construction are all encouraged. The specific topics covered by
the conference include, but are not limited to, the following:
-
Specification and verification techniques for finite and
infinite-state systems
-
Software and hardware verification
-
Theorem-proving and model-checking
-
System construction and transformation techniques
-
Static and run-time analysis
-
Abstraction techniques for modeling and validation
-
Compositional and refinement-based methodologies
-
Testing and test-case generation
-
Analytical techniques for secure, real-time, hybrid, critical,
biological or dependable systems
-
Integration of formal methods and static analysis in high-level
hardware design or software environments
-
Tool environments and tool architectures
-
SAT solvers
-
Applications and case studies
As TACAS addresses a heterogeneous audience, potential authors
are strongly encouraged to write about their ideas and findings
in general and jargon-independent, rather than in application-
and domain-specific, terms. Authors reporting on tools or case
studies are strongly encouraged to indicate how their
experimental results can be reproduced and confirmed
independently.
Programme Committee
Christel Baier
Universität Bonn, Bonn (Germany)
|
Armin Biere
Johannes Kepler Universität, Linz (Austria)
|
Jonathan Billington
University of South Australia, Mawson Lakes (Australia)
|
Ed Brinksma
ESI and University of Twente (The Netherlands)
|
Rance Cleaveland
University of Maryland & Fraunhofer USA Inc, College Park, Maryland (USA)
|
Byron Cook (tool chair)
Microsoft Research, Cambridge (UK)
|
Dennis Dams
Lucent Technologies, Murray Hill, New Jersey (USA)
|
Marsha Chechik
University of Toronto, Toronto (Canada)
|
Francois Fages
INRIA Rocquencourt, Le Chesnay Cedex (France)
|
Kathi Fisler
Worcester Polytechnic Institute, Worcester, Massachusetts (USA)
|
|
Limor Fix
Intel Research Laboratory at Pittsburgh, Pittsburgh, Pennsylvania (USA)
|
Hubert Garavel
INRIA Rhones-Alpes, Montbonnot Saint-Martin
(France)
|
Susanne Graf
VERIMAG, Grenoble - Gières (France)
|
Orna Grumberg (co-chair)
TECHNION - Israel Institute of Technology, Haifa (Israel)
|
John Hatcliff
Kansas State University, Manhattan, Kansas (USA)
|
Holger Hermanns
Universität des Saarlandes, Saarbruecken (Germany)
|
Michael Huth (co-chair)
Imperial College London, London (UK)
|
Daniel Jackson
Massachusetts Institute of Technology, Cambridge, Massachusetts (USA)
|
Somesh Jha
The University of Wisconsin at Madison, Madison, Wisconsin (USA)
|
|
Orna Kupferman
Hebrew University, Jerusalem (Israel)
|
Marta Kwiatkowska
University of Birmingham, Birmingham, England (UK)
|
Kim Larsen
Aalborg University, Aalborg (Denmark)
|
Michael Leuschel
Heinrich-Heine-Universität Düsseldorf, Düsseldorf (Germany)
|
Andreas Podelski
Max-Planck-Institut für Informatik, Saarbrücken (Germany)
|
Tiziana Margaria-Steffen
Universität Potsdam, Potsdam (Germany)
|
Tom Melham
Oxford University, Oxford (UK)
|
Natarajan Shankar
SRI, Menlo Park, California (USA)
|
Bernhard Steffen
Universität Dortmund, Dortmund (Germany)
|
Lenore Zuck
University of Illinois, Chicago, Illinois (USA)
|
|
Invited Speaker
K. Rustan M. Leino (Microsoft Research, USA)
Conference Page
http://www.doc.ic.ac.uk/tacas07/