From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 903F57F917 for ; Wed, 18 Jun 2014 08:27:46 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of tobias.wrigstad@it.uu.se) identity=pra; client-ip=130.238.7.173; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="tobias.wrigstad@it.uu.se"; x-sender="tobias.wrigstad@it.uu.se"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of tobias.wrigstad@it.uu.se designates 130.238.7.173 as permitted sender) identity=mailfrom; client-ip=130.238.7.173; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="tobias.wrigstad@it.uu.se"; x-sender="tobias.wrigstad@it.uu.se"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@cursor.its.uu.se) identity=helo; client-ip=130.238.7.173; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="tobias.wrigstad@it.uu.se"; x-sender="postmaster@cursor.its.uu.se"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ar4CAAcxoVOC7getnGdsb2JhbABAGhaDSYNGuRaHOQSBKQ8BAQEBAQgLCQkUKIQnBh0BASQCEiwIAiYCSxSIVQQJNqpfd4UBAQWaDREGgSqKLIEYgTODEQ8yEiSBFoRnAgGLBoV/hhuFN4ZViU1qAQ X-IPAS-Result: Ar4CAAcxoVOC7getnGdsb2JhbABAGhaDSYNGuRaHOQSBKQ8BAQEBAQgLCQkUKIQnBh0BASQCEiwIAiYCSxSIVQQJNqpfd4UBAQWaDREGgSqKLIEYgTODEQ8yEiSBFoRnAgGLBoV/hhuFN4ZViU1qAQ X-IronPort-AV: E=Sophos;i="5.01,499,1400018400"; d="scan'208";a="80665846" Received: from smtp-out2.uu.se (HELO cursor.its.uu.se) ([130.238.7.173]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 18 Jun 2014 08:27:43 +0200 Received: from e-mailfilter01.sunet.se (e-mailfilter01.sunet.se [192.36.171.201]) by cursor.its.uu.se (Postfix) with ESMTP id B0CC0443; Wed, 18 Jun 2014 08:27:42 +0200 (CEST) Received: from lyra.its.uu.se (lyra.its.uu.se [130.238.7.73]) by e-mailfilter01.sunet.se (8.14.4/8.14.4/Debian-4) with ESMTP id s5I6RfZG000526 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO); Wed, 18 Jun 2014 08:27:41 +0200 Received: from [172.20.10.4] (m83-185-230-61.cust.tele2.se [83.185.230.61]) (using TLSv1 with cipher AES128-SHA (128/128 bits)) (No client certificate requested) by lyra.its.uu.se (Postfix) with ESMTPSA id 8239B391AB; Wed, 18 Jun 2014 08:27:04 +0200 (CEST) X-DKIM: Sendmail DKIM Filter v2.8.3 lyra.its.uu.se 8239B391AB DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=uu.se; s=centralsmtp; t=1403072860; i=@uu.se; bh=t2rBeVZ/hbb1UzBnQVdELJCkVPOuX8ugnqTPfkiQG5o=; h=From:Content-Type:Content-Transfer-Encoding:Date:Subject:To: Message-Id:Mime-Version; b=GBc8GksKDILPJ6YYdBCe/74Kbs3rkGH367kEvs74wH1PWL26Q6+iKAPxMJEA4NL+7 yZWXcpTWg/gkRl3wzDpvLDA/s0tJ4nCHD+5Hqjat428Tx+vZCIjQ06LbUVMVg/aj4e qj7jQCiLGXPU+Fp1qc/2yQxFcNQNb6fn+1rCITc0= From: Tobias Wrigstad Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Date: Wed, 18 Jun 2014 08:27:03 +0200 To: Tobias Wrigstad Message-Id: Mime-Version: 1.0 (Mac OS X Mail 6.6 \(1510\)) X-Mailer: Apple Mail (2.1510) X-Bayes-Prob: 0.5 (Score 0, tokens from: outbound, outbound-uu-se:default, uu-se:default, base:default, @@RPTN) X-Spam-Score: -0.10 () [Tag at 15.00] T_RP_MATCHES_RCVD:-0.1 X-p0f-Info: os=Linux 2.6.x, link=Ethernet or modem X-CanIt-Geo: ip=83.185.230.61; country=SE; latitude=62.0000; longitude=15.0000; http://maps.google.com/maps?q=62.0000,15.0000&z=6 X-CanItPRO-Stream: outbound-uu-se:outbound (inherits from outbound-uu-se:default,uu-se:default,base:default) X-Canit-Stats-ID: 09MfGrFLU - 6129706e20f5 - 20140618 X-Antispam-Training-Forget: https://mailfilter.sunet.se/canit/b.php?i=09MfGrFLU&m=6129706e20f5&t=20140618&c=f X-Antispam-Training-Nonspam: https://mailfilter.sunet.se/canit/b.php?i=09MfGrFLU&m=6129706e20f5&t=20140618&c=n X-Antispam-Training-Spam: https://mailfilter.sunet.se/canit/b.php?i=09MfGrFLU&m=6129706e20f5&t=20140618&c=s X-CanIt-Archive-Cluster: PfMRe/vJWMiXwM2YIH5BVExnUnw X-Scanned-By: CanIt (www . roaringpenguin . com) on 192.36.171.201 X-Validation-by: tobias.wrigstad@it.uu.se Subject: [Caml-list] ECOOP 2014: Call for Participation (*Apologies for multiple copies*) 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=C3=AErba 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 La= nguages, 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=3D5237] 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 Analys= is Siliang Li and Gang Tan - An Evaluation of Call Graph Construction Algorithms for Scala Karim Ali, Marianna Rapoport, Ond=C5=99ej Lhot=C3=A1k, Julian Dolby and Fra= nk 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 Experimen= t 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 Multipl= e 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-Oriente= d Languages Davide Ancona and Andrea Corradi - Spores: A Type-Based Foundation for Closures in the Age of Concurrency an= d Distribution Heather Miller, Philipp Haller and Martin Odersky - Rely-Guarantee Protocols Filipe Milit=C3=A3o, Jonathan Aldrich and Lu=C3=ADs Caires - Stream Processing with a Spreadsheet Mandana Vaziri, Olivier Tardieu, Rodric Rabbah, Philippe Suter and Martin H= irzel - Implicit Staging of EDSL Expressions: A Bridge Between Shallow and Deep E= mbedding Maximilian Scherr and Shigeru Chiba - Babelsberg/JS - A Browser-based Implementation of an Object Constraint La= nguage Tim Felgentreff, Alan Borning, Jens Lincke, Robert Hirschfeld, Yoshiki Ohsh= ima, Bert Freudenberg and Robert Krahn - Automated Multi-Language Artifact Binding and Refactoring between Java an= d 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 Abst= ractions Semih Okur, Cansu Erdogan and Danny Dig - Portable and Efficient Run-time Monitoring of JavaScript Applications usi= ng 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 Tra= ce Naoya Nitta, Izuru Kume and Yasuhiro Takemura - Cooperative Scheduling of Parallel Tasks with General Synchronization Pat= terns Shams Imam and Vivek Sarkar - MiCA: A Compositional Architecture for Gossip Protocols Lonnie Princehouse, Rakesh Chenchu, Zhefu Jiang, Kenneth Birman, Nate Foste= r and Robert Soul=C3=A9 - 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=C3=A0 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/Swe= den) 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=C3=A4t Erlangen-N=C3=BCrnberg (G= ermany) 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=C3=A0 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=C3=A4stner, Carnegie Mellon University (USA) J=C3=B6rg Kienzle, McGill University (Canada) Ondrej Lhot=C3=A1k, 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=C3=A4t 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=C3=BCrgen B=C3=B6rstler, 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=C3=A4hnle, Darmstadt University Local Organising Co-Chairs Johannes Borgstr=C3=B6m, Uppsala University Kostis Sagonas, Uppsala University Lars-Henrik Eriksson, Uppsala University Professional Conference Organiser Merja Immonen, Akademikonferens Local Student Aides Johan =C3=96stlund, Uppsala University Stephan Brandauer, Uppsala University Elias Castegren, Uppsala University Webmaster Stephan Brandauer, Uppsala University=