[TYPES/announce] ECOOP 2014: Call for Participation

Werner Dietl wdietl at yahoo.com
Sun Jun 8 23:19:11 EDT 2014 

CALL for PARTICIPATION

** ECOOP - European Conference on Object-Oriented Programming **
----------------------------------------------------------------
Uppsala, Sweden                    July 28th -- August 1st, 2014

http://ecoop14.it.uu.se/
----------------------------------------------------------------

EARLY REGISTRATION DEADLINE

  Saturday 28th June 2014
  http://ecoop14.it.uu.se/registration.php


INVITED SPEAKERS

  Luca Cardelli (Microsoft Research Cambridge)
  William Cook (University of Texas at Austin)
  Robert France (Colorado State University)
  Tudor Gîrba
  Erik Meijer (Applied Duality Inc.)


The European Conference on Object-Oriented Programming (ECOOP) is the
premier international conference covering all areas of object technology
and related software development technologies.


AFFILIATED EVENTS & WORKSHOPS

  ECOOP Summer School with 13 great speakers
        [http://ecoop14.it.uu.se/programme/ecoop-school.php]
  UPMARC Summer School with 5 great speakers
        [http://upmarc.se/events/SS2014]
  ECOOP PhD Symposium
        [http://ecoop14.it.uu.se/calls/doctoral-symposium.php]
  COP -- Context Oriented Programming
        [http://prg.is.titech.ac.jp/events/cop14/]
  FTfJP -- Formal Techniques for Java-Like Programs
        [http://ecs.victoria.ac.nz/Events/FTfJP2014/]
  ICOOOLPS -- Implementation, Compilation, Optimization of
Object-Oriented Languages, Programs and Systems
        [http://soft-dev.org/events/icooolps14/]
  IWACO -- International Workshop on Aliasing, Capabilities, and Ownership
        [http://www.ownership-types.org/iwaco14/]
  JSTools -- Tools for JavaScript Analysis
        [http://www.csl.cs.uni-saarland.de/jstools/2014/]
  PLAS -- Programming Language and Analysis for Security

[http://researcher.watson.ibm.com/researcher/view_project.php?id=5237]
  PLE -- Programming Language Evolution
        [http://www.cl.cam.ac.uk/research/cprg/ple14/]
  Scala -- Fifth annual Scala Workshop
        [http://lampwww.epfl.ch/~hmiller/scala2014/]


ACCEPTED PAPERS

  - State-Sensitive Points-to Analysis for the Dynamic Behavior of
JavaScript Objects
    Shiyi Wei and Barbara G. Ryder
  - Self-Inferencing Reflection Resolution for Java
    Yue Li, Tian Tan, Yulei Sui and Jingling Xue
  - Finding Reference-Counting Errors in Python/C Programs with Affine
Analysis
    Siliang Li and Gang Tan
  - An Evaluation of Call Graph Construction Algorithms for Scala
    Karim Ali, Marianna Rapoport, Ondřej Lhoták, Julian Dolby and Frank Tip
  - Safely Composable Type-Specific Languages
    Cyrus Omar, Darya Kurilova, Ligia Nistor, Benjamin Chung, Alex
Potanin and Jonathan Aldrich
  - Graceful Dialects
    Michael Homer, Timothy Jones, James Noble, Kim B. Bruce and Andrew
P. Black
  - Structuring Documentation to Support State Search: A Laboratory
Experiment about Protocol Programming
    Joshua Sunshine, James D. Berbsleb and Jonathan Aldrich
  - Reusable Concurrent Data Types
    Vincent Gramoli and Rachid Guerraoui
  - TaDA: A Logic for Time and Data Abstraction
    Pedro Da Rocha Pinto, Thomas Dinsdale-Young and Philippa Gardner
  - Infrastructure-Free Logging and Replay of Concurrent Execution on
Multiple Cores
    Kyu Hyung Lee, Dohyeong Kim and Xiangyu Zhang
  - Understanding TypeScript
    Gavin Bierman, Martin Abadi and Mads Torgersen
  - Sound and Complete Subtyping between Coinductive Types for
Object-Oriented Languages
    Davide Ancona and Andrea Corradi
  - Spores: A Type-Based Foundation for Closures in the Age of
Concurrency and Distribution
    Heather Miller, Philipp Haller and Martin Odersky
  - Rely-Guarantee Protocols
    Filipe Militão, Jonathan Aldrich and Luís Caires
  - Stream Processing with a Spreadsheet
    Mandana Vaziri, Olivier Tardieu, Rodric Rabbah, Philippe Suter and
Martin Hirzel
  - Implicit Staging of EDSL Expressions: A Bridge Between Shallow and
Deep Embedding
    Maximilian Scherr and Shigeru Chiba
  - Babelsberg/JS - A Browser-based Implementation of an Object
Constraint Language
    Tim Felgentreff, Alan Borning, Jens Lincke, Robert Hirschfeld,
Yoshiki Ohshima, Bert Freudenberg and Robert Krahn
  - Automated Multi-Language Artifact Binding and Refactoring between
Java and DSLs used by Java Frameworks
    Philip Mayer and Andreas Schroeder
  - Retargetting Legacy Browser Extensions to Modern Extension Frameworks
    Rezwana Karim, Mohan Dhawan and Vinod Ganapathy
  - Capture-Avoiding and Hygienic Program Transformations
    Sebastian Erdweg, Tijs Van Der Storm and Yi Dai
  - Converting Parallel Code from Low-Level Abstractions to Higher-Level
Abstractions
    Semih Okur, Cansu Erdogan and Danny Dig
  - Portable and Efficient Run-time Monitoring of JavaScript
Applications using Virtual Machine Layering
    Erick Lavoie, Bruno Dufour and Marc Feeley
  - An Executable Formal Semantics of PHP
    Daniele Filaretti and Sergio Maffeis
  - Identifying Mandatory Code for Framework Use via a Single
Application Trace
    Naoya Nitta, Izuru Kume and Yasuhiro Takemura
  - Cooperative Scheduling of Parallel Tasks with General
Synchronization Patterns
    Shams Imam and Vivek Sarkar
  - MiCA: A Compositional Architecture for Gossip Protocols
    Lonnie Princehouse, Rakesh Chenchu, Zhefu Jiang, Kenneth Birman,
Nate Foster and Robert Soulé
  - Semantics of (Resilient) X10
    Silvia Crafa, David Cunningham, Vijay Saraswat, Avraham Shinnar and
Olivier Tardieu


PROGRAM COMMITTEE

  Richard Jones, University of Kent (UK) **PC Chair**
  Davide Ancona, DIBRIS, Università di Genova (Italy)
  Sven Apel, University of Passau (Germany)
  Walter Binder, University of Lugano (Switzerland)
  Steve Blackburn, Australian National University (Australia)
  Ana Cavalcanti, University of York (UK)
  Satish Chandra, Samsung Electronics (US)
  Dave Clarke, Katholieke Universiteit Leuven/Uppsala University
(Belgium/Sweden)
  Wolfgang De Meuter, Vrije Universiteit Brussel (Belgium)
  Isil Dillig, Microsoft Research Cambridge (UK)
  Amer Diwan, Google (USA)
  Lieven Eeckhout, Ghent University (Belgium)
  Robby Findler, Northwestern University (USA)
  Irene Finocchi, Sapienza University of Rome (Italy)
  Christian Hammer, Saarland University (Germany)
  Laurie Hendren, McGill University (Canada)
  Atsushi Igarashi, Kyoto University (Japan)
  Tomas Kalibera, Purdue University (USA)
  Doug Lea, SUNY Oswego (USA)
  Yu David Liu, SUNY Binghamton (USA)
  Cristina Lopes, UC Irvine (USA)
  Ana Milanova, Rensselaer Polytechnic Institute (USA)
  Nick Mitchell, IBM Research (USA)
  Eliot Moss, University of Massachusetts (USA)
  Jens Palsberg, UCLA (USA)
  Matthew Parkinson, Microsoft Research (UK)
  Arnd Poetzsch-Heffter, University of Kaiserslautern (Germany)
  Dirk Riehle, Friedrich-Alexander-Universität Erlangen-Nürnberg (Germany)
  Yannis Smaragdakis, University of Athens (Greece)
  Arie van Deursen, Delft University of Technology (Netherlands)
  Hongseok Yang, University of Oxford (UK)


EXTERNAL REVIEW COMMITTEE

  Vikram Adve, University of Illinois at Urbana-Champaign (USA)
  Jonathan Aldrich, Carnegie Mellon University (USA)
  Ioana Baldini, IBM Research (USA)
  Eric Bodden, TU Darmstadt (Germany)
  Sebastian Burckhardt, Microsoft Research (USA)
  Shigeru Chiba, University of Tokyo (Japan)
  Ferruccio Damiani, Università di Torino (Italy)
  Werner Dietl, University of Waterloo (Canada)
  Sophia Drossopolou, Imperial College London (UK)
  Erik Ernst, Aarhus Universitet (Denmark)
  Matthew Flatt, University of Utah (USA)
  Michael Franz, University of California, Irvine (USA)
  Kathryn E Gray, University of Cambridge (UK)
  Sam Guyer, Tufts University (USA)
  Matthias Hauswirth, University of Lugano (Switzerland)
  Einar Broch Johnsen, University of Oslo (Norway)
  Christian Kästner, Carnegie Mellon University (USA)
  Jörg Kienzle, McGill University (Canada)
  Ondrej Lhoták, University of Waterloo (Canada)
  Hidehiko Masuhara, Tokyo Institute of Technology (Japan)
  Romain Robbes, University of Chile (Chile)
  Sukyoung Ryu, KAIST (South Korea)
  Mooly Sagiv, Tel Aviv University (Israel)
  Ina Schaefer, TU Braunschweig (Germany)
  Friedrich Steimann, Fernuniversität in Hagen (Germany)
  Alexander J. Summers, ETHZ (Switzerland)
  Frank Tip, University of Waterloo (Canada)
  Laurence Tratt, Kings College London (UK)
  Greta Yorsh, Queen Mary University of London (UK)


ORGANISATION COMMITTEE

  Organising Chair
    Tobias Wrigstad, Uppsala University

  Programme Chair
    Richard Jones, University of Kent

  Workshop Chair
    Nate Nystrom, University of Lugano

  Poster and Demo Chair
    Wolfgang Ahrendt, Chalmers University of Technology

  Artefact Evaluation Co-Chairs
    Camil Demetrescu, Sapienza University of Rome
    Erik Ernst, Aarhus University

  Publicity Chair
    Werner Dietl, University of Waterloo

  Student Volunteer Chair
    Jürgen Börstler, Blekinge Institute of Technology

  Summer School Co-Chairs
    Jan Vitek, Purdue University
    James Noble, Victoria University of Wellington

  Sponsor Co-Chairs
    Einar Broch Johnsen, University of Oslo
    Erik Ernst, Aarhus University

  Wine Chair
    Reiner Hähnle, Darmstadt University

  Local Organising Co-Chairs
    Johannes Borgström, Uppsala University
    Kostis Sagonas, Uppsala University
    Lars-Henrik Eriksson, Uppsala University

  Professional Conference Organiser
    Merja Immonen, Akademikonferens

  Local Student Aides
    Johan Östlund, Uppsala University
    Stephan Brandauer, Uppsala University
    Elias Castegren, Uppsala University

  Webmaster
    Stephan Brandauer, Uppsala University

More information about the Types-announce mailing list