ECOOP 2015
Sun 5 - Fri 10 July 2015 Prague, Czech Republic

ECOOP 2015 will embrace a broad range of topics related to object-orientation, including:

  • Concurrent and parallel systems
  • Distributed and cloud computing, mobile systems
  • Service-oriented and web programming
  • Programming environments
  • Versioning, refactoring, software evolution
  • Language definition and design, domain-specific languages
  • Language implementation, execution environments, compiler construction
  • Memory management, garbage collection
  • Testing, debugging, profiling, performance analysis
  • Metrics, empirical studies
  • Design methods, design patterns
  • Aspects, components, modularity, reflection
  • Software modelling, meta-modelling
  • Frameworks, product lines, software architectures
  • Theoretical foundations, type systems, ownership
  • Program analysis, abstract interpretation
  • Specification, verification, model checking, program synthesis
  • Security
  • Real-time systems
  • Databases, object persistence
  • Energy-aware software

ECOOP 2015 solicits high quality submissions describing original and unpublished results. It encourages innovative and creative solutions to real problems, evaluations of existing solutions in ways that shed new insights, or both. Following recent precedent, it also encourages the submission of reproduction studies. The programme committee will evaluate the technical contribution of each submission as well as its general relevance and accessibility to the ECOOP audience according the following criteria:

Originality

The paper presents new ideas and/or results relevant to object technology and related software development technologies, and places these appropriately within the context established by previous research in the field. The paper clearly identifies what this contribution has accomplished and how it relates to previous work.

Significance

The results in the paper have the potential to add to the state of the art or practice in important or significant ways. The paper challenges or changes informed opinion about what is possible, true or likely.

Evidence

The paper presents evidence supporting its claims. Examples of evidence include formalizations and proofs, implemented systems, experimental results, statistical analyses and case studies.

Clarity

The paper presents its claims and results clearly. It is organized so that it is easily understood by an audience with varied expertise.

For reproduction studies: Empirical Evaluation

Common in other sciences, reproduction means independently reconstructing an experiment in a different context (e.g. virtual machine, platform, class of applications) in order to validate or refute important results of earlier work. A good reproduction study will include thorough empirical evaluation, meeting high statistical standards. It will contain a detailed comparison with the previous results, seeking reasons for possible disagreements.

Paper Submission

Only papers that have not been published and are not under review for publication elsewhere can be submitted. Double submissions will be rejected without review. If major parts of an ECOOP submission have appeared elsewhere in any form, authors are required to notify the ECOOP 2015 programme chair and to explain the overlap and relationship. Authors are also required to inform the programme chair about closely related work submitted to another conference while the ECOOP submission is under review.

Submissions will be carried out electronically via the Hotcrp website:

http://ecoop2015.hotcrp.com/

Papers must be written in English, and be no longer than 25 pages, including references, figures and integral appendices. See below for information about additional appendices.

Reviewing

Following the recent history of other programming language conferences, ECOOP 2015 will use light double-blind reviewing whereby authors’ identities are withheld until the reviewer submits their review (as usual, reviews are also anonymous). To facilitate this, submitted papers must adhere to two rules:

  • author names and institutions must be omitted, and

  • references to authors’ own related work should be in the third
    person (e.g., not “We build on our previous work …” but rather
    “We build on the work of …”).

However, nothing should be done in the name of anonymity that weakens the submission or makes the job of reviewing the paper more difficult (e.g., important background references should not be omitted or anonymized). A document answering frequently asked questions that hopefully addresses many common concerns is available here. When in doubt, contact the programme chair.

Additional Material

Clearly marked additional appendices, not intended for the final publication, containing supporting proofs, analyses, statistics, etc, may be included beyond the 25 page limit. There is also an option on the paper submission page to submit supplementary material, e.g., a technical report including proofs, or the software used to implement a system that cannot easily be anonymized. This material will be made available to reviewers after the initial reviews have been completed when author names are revealed. As usual, reviewers may choose to use the supplemental material or not at their discretion. However, the paper must stand alone and reviewers are under no obligation to read any additional material. Reviewers are more likely to consult additional appendices rather than separate technical reports.

Authors of papers that have been submitted but not accepted by previous prestigious conferences may additionally submit a Note to Reviewers. The Note to Reviewers should a) identify the previous venue(s) (e.g. ESOP ’15, OOPSLA ’14); b) list the major issues identified by the reviews at those venues; and c) describe the changes made to the paper in response to those reviews. Such notes will not be made available to a reviewer until after the initial review has been completed and author names are revealed.

Response period

Authors will be given a 72-hour period (from Friday, 13 February 2015 to Sunday 15 February 2015) to read and respond to the reviews of their papers before the programme committee meeting. Responses will have no length limit but concision will be highly appreciated by the programme committee.

Artifact Evaluation

To reward the creation of artifacts and support replication of experiments, authors of accepted research papers can submit artifacts (such as tools, data, models, or videos) to be evaluated by an Artifact Evaluation Committee. Artifacts that pass muster will be recognized formally, and the Artifact Evaluation Committee will give an award for the best artifact.

For more information, please follow this link:

http://conf.researchr.org/track/ecoop15/ecoop15-artifacts

For More Information

For additional information, clarification or answers to questions please contact the ECOOP Programme Chair, John Boyland boyland@uwm.edu

Dates
You're viewing the program in a time zone which is different from your device's time zone change time zone

Wed 8 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:00
Keynote: ChoiResearch Track at Bohemia
Chair(s): Jan Vitek Northeastern University
09:00
60m
Talk
Programming in the Large for the Internet of Things
Research Track
P: Jong-Deok Choi Samsung Electronics
10:30 - 12:00
Gradual TypingResearch Track at Bohemia
Chair(s): John Boyland University of Wisconsin, Milwaukee
10:30
30m
Talk
Towards Practical Gradual Typing
Research Track
Asumu Takikawa Northeastern University, Daniel Feltey Northeastern University, Earl Dean Indiana University, Robert Bruce Findler Northwestern University, Matthew Flatt University of Utah, Sam Tobin-Hochstadt Indiana University, Matthias Felleisen Northeastern University
11:00
30m
Talk
TreatJS: Higher-Order Contracts for JavaScripts
Research Track
Matthias Keil University of Freiburg, Peter Thiemann University of Freiburg
Media Attached
11:30
30m
Talk
Trust, but Verify: Two-Phase Typing for Dynamic Languages
Research Track
Panagiotis Vekris University of California, San Diego, Benjamin Cosman University of California, San Diego, Ranjit Jhala University of California, San Diego
13:30 - 15:00
ImplementationResearch Track at Bohemia
Chair(s): Christian Hammer Saarland University
13:30
30m
Talk
Concrete Types for TypeScript
Research Track
Gregor Richards University of Waterloo, Francesco Zappa Nardelli Inria, Jan Vitek Northeastern University
14:00
30m
Talk
Simple and Effective Type Check Removal through Lazy Basic Block Versioning
Research Track
14:30
30m
Talk
Loop tiling in the presence of exceptions
Research Track
Abhilash Bhandari IIT Madras, V Krishna Nandivada IIT Madras
15:30 - 17:00
ObjectsResearch Track at Bohemia
Chair(s): Kim Bruce Pomona College
15:30
30m
Talk
A Theory of Tagged Objects
Research Track
Joseph Lee Carnegie Mellon University, Jonathan Aldrich Carnegie Mellon University, Troy Shaw Victoria University of Wellington, Alex Potanin Victoria University of Wellington
16:00
30m
Talk
Brand Objects for Nominal Typing
Research Track
Timothy Jones Victoria University of Wellington, Michael Homer Victoria University of Wellington, James Noble Victoria University of Wellington
16:30
30m
Talk
Transparent Object Proxies in JavaScript
Research Track
Matthias Keil University of Freiburg, Peter Thiemann University of Freiburg
17:30 - 18:30
Analysis IResearch Track at Bohemia
Chair(s): Werner Dietl University of Waterloo
17:30
30m
Talk
Access-rights Analysis in the Presence of Subjects
Research Track
Paolina Centonze Iona College, Marco Pistoia IBM Research, Omer Tripp IBM Thomas J. Watson Research Center
18:00
30m
Talk
Variability Abstractions: Trading Precision for Speed in Family-Based Analyses
Research Track
Aleksandar S. Dimovski IT University of Copenhagen, Denmark, Claus Brabrand IT University of Copenhagen, Denmark, Andrzej Wąsowski IT University of Copenhagen, Denmark

Thu 9 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:00
DN Senior: StroustrupResearch Track at Bohemia
Chair(s): Erik Ernst Google
09:00
60m
Talk
Object-Oriented Programming without Inheritance
Research Track
P: Bjarne Stroustrup Morgan Stanley
10:30 - 12:00
Developer AssistanceResearch Track at Bohemia
Chair(s): Michael Van De Vanter Oracle Labs
10:30
30m
Talk
Optimization Coaching for JavaScript
Research Track
Vincent St-Amour Northeastern University, Shu-yu Guo Mozilla Corporation
11:00
30m
Talk
PerfBlower: Quickly Detecting Memory-Related Performance Problems via Amplification
Research Track
Lu Fang , Liang Dou East China Normal University, Harry Xu University of California, Irvine
11:30
30m
Talk
Hybrid DOM-Sensitive Change Impact Analysis for JavaScript
Research Track
Saba Alimadadi University of British Columbia, Ali Mesbah University of British Columbia, Karthik Pattabiraman University of British Columbia
13:30 - 15:00
Type SystemsResearch Track at Bohemia
Chair(s): Peter Müller ETH Zurich
13:30
30m
Talk
Intensional Effect Polymorphism
Research Track
Yuheng Long Iowa State University, Yu David Liu State University of New York (SUNY) Binghamton, Hridesh Rajan Iowa State University
14:00
30m
Talk
Type Inference for Place-Oblivious Objects
Research Track
Riyaz Haque University of California, Los Angeles (UCLA), Jens Palsberg University of California, Los Angeles
14:30
30m
Talk
Asynchronous Liquid Separation Types
Research Track
Johannes Kloos MPI-SWS, Rupak Majumdar MPI-SWS, Viktor Vafeiadis MPI-SWS, Germany
15:30 - 17:00
ParallelismResearch Track at Bohemia
Chair(s): Walter Binder University of Lugano
15:30
30m
Talk
The Eureka Programming Model for Speculative Task Parallelism
Research Track
Shams Imam Rice University, Vivek Sarkar Rice University
16:00
30m
Talk
Cooking the Books: Formalizing JMM Implementation Recipes
Research Track
Gustavo Petri Purdue University, Jan Vitek Northeastern University, Suresh Jagannathan DARPA
16:30
30m
Talk
Defining Correctness Conditions for Concurrent Objects in Multicore Architectures
Research Track
Brijesh Dongol Brunel University, John Derrick University of Sheffield, Lindsay Groves Victoria University of Wellington, Graeme Smith The University of Queensland
17:30 - 18:30
Empirical StudiesResearch Track at Bohemia
Chair(s): Jonathan Aldrich Carnegie Mellon University
17:30
30m
Talk
The Good, the Bad, and the Ugly: An Empirical Study of Implicit Type Conversions in JavaScript
Research Track
Michael Pradel TU Darmstadt, Koushik Sen University of California, Berkeley
18:00
30m
Talk
The Love/Hate Relationship with the C Preprocessor: An Interview Study
Research Track
Flavio Medeiros Federal University of Campina Grande, Christian Kästner Carnegie Mellon University, Márcio Ribeiro Federal University of Alagoas (UFAL), Sarah Nadi Technische Universität Darmstadt, Rohit Gheyi UFCG, Brazil
19:30 - 22:30
19:30
3h
Other
ECOOP Banquet
Research Track

Fri 10 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:00
DN Junior: SummersResearch Track at Bohemia
Chair(s): John Boyland University of Wisconsin, Milwaukee
09:00
60m
Talk
Software Verification "Across the Stack"
Research Track
S: Alexander J. Summers ETH Zurich
Media Attached
10:30 - 12:00
AbstractionResearch Track at Bohemia
Chair(s): Davide Ancona University of Genova
10:30
30m
Talk
A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization
Research Track
Avraham Shinnar IBM Research, Jerome Simeon IBM Research, Martin Hirzel IBM Research
11:00
30m
Talk
Global Sequence Protocol: A Robust Abstraction for Replicated Shared State
Research Track
Sebastian Burckhardt Microsoft Research, Daan Leijen Microsoft Research, Jonathan Protzenko Microsoft Research, Manuel Fähndrich Google
11:30
30m
Talk
Streams a la carte: Extensible Pipelines with Object Algebras
Research Track
Aggelos Biboudis University of Athens, Nick Palladinos Nessos Information Technologies, SA, George Fourtounis University of Athens, Yannis Smaragdakis University of Athens
13:30 - 14:30
Keynote: MeyerResearch Track at Bohemia
Chair(s): Jan Vitek Northeastern University
13:30
60m
Talk
The Prague List: Open Problems in Object-Oriented Programming
Research Track
P: Bertrand Meyer ETH Zurich, Innopolis University and Eiffel Software
15:00 - 16:30
VerificationResearch Track at Bohemia
Chair(s): Pavel Parizek Charles University in Prague
15:00
30m
Talk
Lightweight Support for Magic Wands in an Automatic Verifier
Research Track
Malte Schwerhoff ETH Zurich, Switzerland, Alexander J. Summers ETH Zurich
15:30
30m
Talk
Modular Verification of Finite Blocking in Non-terminating Programs
Research Track
Pontus Boström Abo Akademi University, Peter Müller ETH Zurich
16:00
30m
Talk
Modular Termination Verification
Research Track
Bart Jacobs iMinds - Distrinet, KU Leuven, Dragan Bosnacki Eindhoven University of Technology, The Netherlands, Ruurd Kuiper Eindhoven University of Technology, The Netherlands
17:00 - 18:30
Analysis IIResearch Track at Bohemia
Chair(s): Francesco Logozzo Facebook
17:00
30m
Talk
Framework for Static Analysis of PHP Applications
Research Track
David Hauzar Charles University in Prague, Jan Kofroň Charles University in Prague
17:30
30m
Talk
Adaptive Context-sensitive Analysis for JavaScript
Research Track
Shiyi Wei Virginia Tech, Barbara Ryder Virginia Tech
18:00
30m
Talk
Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity
Research Track
Changhee Park KAIST, Sukyoung Ryu Korea Advanced Institute of Science and Technology

Accepted Papers

Title
Access-rights Analysis in the Presence of Subjects
Research Track
Adaptive Context-sensitive Analysis for JavaScript
Research Track
A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization
Research Track
Asynchronous Liquid Separation Types
Research Track
A Theory of Tagged Objects
Research Track
Brand Objects for Nominal Typing
Research Track
Concrete Types for TypeScript
Research Track
Cooking the Books: Formalizing JMM Implementation Recipes
Research Track
Defining Correctness Conditions for Concurrent Objects in Multicore Architectures
Research Track
Framework for Static Analysis of PHP Applications
Research Track
Global Sequence Protocol: A Robust Abstraction for Replicated Shared State
Research Track
Hybrid DOM-Sensitive Change Impact Analysis for JavaScript
Research Track
Intensional Effect Polymorphism
Research Track
Lightweight Support for Magic Wands in an Automatic Verifier
Research Track
Loop tiling in the presence of exceptions
Research Track
Modular Termination Verification
Research Track
Modular Verification of Finite Blocking in Non-terminating Programs
Research Track
Optimization Coaching for JavaScript
Research Track
PerfBlower: Quickly Detecting Memory-Related Performance Problems via Amplification
Research Track
Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity
Research Track
Simple and Effective Type Check Removal through Lazy Basic Block Versioning
Research Track
Streams a la carte: Extensible Pipelines with Object Algebras
Research Track
The Eureka Programming Model for Speculative Task Parallelism
Research Track
The Good, the Bad, and the Ugly: An Empirical Study of Implicit Type Conversions in JavaScript
Research Track
The Love/Hate Relationship with the C Preprocessor: An Interview Study
Research Track
Towards Practical Gradual Typing
Research Track
Transparent Object Proxies in JavaScript
Research Track
TreatJS: Higher-Order Contracts for JavaScripts
Research Track
Media Attached
Trust, but Verify: Two-Phase Typing for Dynamic Languages
Research Track
Type Inference for Place-Oblivious Objects
Research Track
Variability Abstractions: Trading Precision for Speed in Family-Based Analyses
Research Track

Call for Papers

ECOOP 2015 will embrace a broad range of topics related to object-orientation, including:

  • Concurrent and parallel systems
  • Distributed and cloud computing, mobile systems
  • Service-oriented and web programming
  • Programming environments
  • Versioning, refactoring, software evolution
  • Language definition and design, domain-specific languages
  • Language implementation, execution environments, compiler construction
  • Memory management, garbage collection
  • Testing, debugging, profiling, performance analysis
  • Metrics, empirical studies
  • Design methods, design patterns
  • Aspects, components, modularity, reflection
  • Software modelling, meta-modelling
  • Frameworks, product lines, software architectures
  • Theoretical foundations, type systems, ownership
  • Program analysis, abstract interpretation
  • Specification, verification, model checking, program synthesis
  • Security
  • Real-time systems
  • Databases, object persistence
  • Energy-aware software

ECOOP 2015 solicits high quality submissions describing original and unpublished results. It encourages innovative and creative solutions to real problems, evaluations of existing solutions in ways that shed new insights, or both. Following recent precedent, it also encourages the submission of reproduction studies. The programme committee will evaluate the technical contribution of each submission as well as its general relevance and accessibility to the ECOOP audience according the following criteria:

Originality

The paper presents new ideas and/or results relevant to object technology and related software development technologies, and places these appropriately within the context established by previous research in the field. The paper clearly identifies what this contribution has accomplished and how it relates to previous work.

Significance

The results in the paper have the potential to add to the state of the art or practice in important or significant ways. The paper challenges or changes informed opinion about what is possible, true or likely.

Evidence

The paper presents evidence supporting its claims. Examples of evidence include formalizations and proofs, implemented systems, experimental results, statistical analyses and case studies.

Clarity

The paper presents its claims and results clearly. It is organized so that it is easily understood by an audience with varied expertise.

For reproduction studies: Empirical Evaluation

Common in other sciences, reproduction means independently reconstructing an experiment in a different context (e.g. virtual machine, platform, class of applications) in order to validate or refute important results of earlier work. A good reproduction study will include thorough empirical evaluation, meeting high statistical standards. It will contain a detailed comparison with the previous results, seeking reasons for possible disagreements.

Paper Submission

Only papers that have not been published and are not under review for publication elsewhere can be submitted. Double submissions will be rejected without review. If major parts of an ECOOP submission have appeared elsewhere in any form, authors are required to notify the ECOOP 2015 programme chair and to explain the overlap and relationship. Authors are also required to inform the programme chair about closely related work submitted to another conference while the ECOOP submission is under review.

Submissions will be carried out electronically via the Hotcrp website: here

Papers must be written in English, and be no longer than 25 pages, including references, figures and integral appendices. See below for information about additional appendices.

Reviewing

Following the recent history of other programming language conferences, ECOOP 2015 will use light double-blind reviewing whereby authors’ identities are withheld until the reviewer submits their review (as usual, reviews are also anonymous). To facilitate this, submitted papers must adhere to two rules:

  • author names and institutions must be omitted, and

  • references to authors’ own related work should be in the third
    person (e.g., not “We build on our previous work …” but rather
    “We build on the work of …”).

However, nothing should be done in the name of anonymity that weakens the submission or makes the job of reviewing the paper more difficult (e.g., important background references should not be omitted or anonymized). A document answering frequently asked questions that hopefully addresses many common concerns is available here. When in doubt, contact the programme chair.

Additional Material

Clearly marked additional appendices, not intended for the final publication, containing supporting proofs, analyses, statistics, etc, may be included beyond the 25 page limit. There is also an option on the paper submission page to submit supplementary material, e.g., a technical report including proofs, or the software used to implement a system that cannot easily be anonymized. This material will be made available to reviewers after the initial reviews have been completed when author names are revealed. As usual, reviewers may choose to use the supplemental material or not at their discretion. However, the paper must stand alone and reviewers are under no obligation to read any additional material. Reviewers are more likely to consult additional appendices rather than separate technical reports.

Authors of papers that have been submitted but not accepted by previous prestigious conferences may additionally submit a Note to Reviewers. The Note to Reviewers should a) identify the previous venue(s) (e.g. ESOP ’15, OOPSLA ’14); b) list the major issues identified by the reviews at those venues; and c) describe the changes made to the paper in response to those reviews. Such notes will not be made available to a reviewer until after the initial review has been completed and author names are revealed.

Response period

Authors will be given a 72-hour period (from Friday, 13 February 2015 to Sunday 15 February 2015) to read and respond to the reviews of their papers before the programme committee meeting. Responses will have no length limit but concision will be highly appreciated by the programme committee.

Final versions

The Proceedings of ECOOP will be published by Schloss Dagstuhl under the LIPIcs – Leibniz International Proceedings in Informatics imprint. An author’s manual is provided here and information about the LaTeX style file is here. The final version of your papers should be no more than 25 pages in LIPIcs format, including references and appendices.

Artifact Evaluation

To reward the creation of artifacts and support replication of experiments, authors of accepted research papers can submit artifacts (such as tools, data, models, or videos) to be evaluated by an Artifact Evaluation Committee. Artifacts that pass muster will be recognized formally, and the Artifact Evaluation Committee will give an award for the best artifact.

For more information, please follow this link:

http://conf.researchr.org/track/ecoop15/ecoop15-artifacts

For More Information

For additional information, clarification or answers to questions please contact the ECOOP Programme Chair, John Boyland boyland@uwm.edu

This content is mainly due to Mike Hicks and Richard Jones.

General

Q: Why are you using double-blind reviewing?

A: Our goal is to give each a reviewer an unbiased “first look” at each paper. Studies have shown that a reviewer’s attitude toward a submission may be affected, even unconsciously, by the identity of the author (see link below to more details). We want reviewers to be able to approach each submission without such involuntary reactions as “Barnaby; he writes a good paper” or “Who are these people? I have never heard of them.” For this reason, we ask that authors to omit their names from their submissions, and that they avoid revealing their identity through citation. Note that many systems and security conferences use double-blind reviewing and have done so for years (e.g., PLDI, ASPLOS, SIGCOMM, OSDI, IEEE Security and Privacy, SIGMOD, ISMM).

A key principle to keep in mind is that we intend this process to be cooperative, not adversarial. If a reviewer does discover an author’s identity though a subtle clue or oversight the author will not be penalized.

For those wanting more information, see the list of studies about gender bias in other fields and links to CS-related articles that cover this and other forms of bias below.

Q: Do you really think blinding actually works? I suspect reviewers can often guess who the authors are anyway.

A: Studies of blinding with the flavor we are using show that author identities remain unknown 53% to 79% of the time (see Snodgrass, linked below, for details). Moreover, about 5-10% of the time (again, see Snodgrass), a reviewer is certain of the authors, but then turns out to be at least partially mistaken. Mike Hicks’s survey of POPL’12 PC and ERC members showed that they were often mistaken or surprised by the author’s identity. So, while sometimes authorship can be guessed correctly, the question is, is imperfect blinding better than no blinding at all? If author names are not explicitly in front of the reviewer on the front page, does that help at all even for the remaining submissions where it would be possible to guess? Our conjecture is that on balance the answer is “yes”.

Q: Couldn’t blind submission create an injustice where a paper is inappropriately rejected based upon supposedly-prior work which was actually by the same authors and not previously published?

A: In the approach we are taking for ECOOP’15, author names are revealed to reviewers after they have submitted their review. Therefore, a reviewer can correct their review if they indeed have penalized the authors inappropriately. Unblinding prior to the PC meeting also avoids abuses in which committee members end up advancing the cause of a paper with which they have a conflict.

For authors

Q: What exactly do I have to do to anonymize my paper?

A: Your job is not to make your identity undiscoverable but simply to make it possible for our reviewers to evaluate your submission without having to know who you are. The specific guidelines stated in the call for papers are simple: omit authors’ names from your title page (or list them as “omitted for submission”), and when you cite your own work, refer to it in the third person. For example, if your name is Smith and you have worked on amphibious type systems, instead of saying “We extend our earlier work on statically typed toads (Smith 2004),” you might say “We extend Smith’s (2004) earlier work on statically typed toads.” Also, be sure not to include any acknowledgements that would give away your identity.

Q: I would like to provide supplementary material for consideration, e.g., the code of my implementation or proofs of theorems. How do I do this?

A: On the submission site there will be an option to submit supplementary material along with your main paper. This supplementary material need not be anonymized; it will only be revealed to reviewers after they have submitted their review of your paper and learned your identity. Reviewers are under no obligation to look at this material. The submission itself is the object of review and so it should strive to convince the reader of at least the plausibility of reported results; supplemental material only serves to confirm, in more detail, the idea argued in the paper. Of course, reviewers are free to change their review upon viewing supplemental material (or for any other reason). For those authors who wish to supplement, we encourage them to mention the supplement in the body of the paper. E.g., “The proof of Lemma 1 is included in the non-anonymous supplemental material submitted with this paper.”

Q: Is there a way for me to submit anonymous supplemental material which could be considered by a reviewer before she submits her review (rather than potentially non-anonymous material that can only be viewed afterward)?

A: You may include additional material as an anonymized appendix to your paper. Reviewers are under no obligation to look at this material. That said, there is nothing stopping an author from releasing a TR, code, etc. via an anonymous hosting service, and including a URL to that material in the paper. We point out this option not to encourage authors to exercise it, but to make them aware it exists, since we know of others who have used it. We emphasize that authors should strive to make their paper as convincing as possible on its own, in case reviewers choose not to access supplemental material.

Q: I am building on my own past work on the WizWoz system. Do I need to rename this system in my paper for purposes of anonymity, so as to remove the implied connection between my authorship of past work on this system and my present submission?

A: No, you must not change the name. The relationship between systems and authors changes over time, so there will be at least some doubt about authorship. Increasing this doubt by changing the system name would help with anonymity, but it would compromise the research process. In particular, changing the name requires explaining a lot about the system again because you can’t just refer to the existing papers, which use the proper name. Not citing these papers runs the risk of the reviewers who know about the existing system thinking you are replicating earlier work. It is also confusing for the reviewers to read about the paper under Name X and then have the name be changed to Name Y. Will all the reviewers go and re-read the final version with the correct name? If not, they have the wrong name in their heads, which could be harmful in the long run.

Q: I am submitting a paper that extends my own work that previously appeared at a workshop. Should I anonymize any reference to that prior work?

A: No. But we recommend you do not use the same title for your ECOOP submission, so that it is clearly distinguished from the prior paper. In general there is rarely a good reason to anonymize a citation. One possibility is for work that is tightly related to the present submission and is also under review. But such works may often be non-anonymous. When in doubt, contact the PC Chair.

Q: Am I allowed to post my (non-blinded) paper on my web page? Can I advertise the unblinded version of my paper on mailing lists or send it to colleagues? May I give a talk about my work while it is under review?

A: As far as the authors’ publicity actions are concerned, a paper under double-blind review is largely the same as a paper under regular (single-blind) review. Double-blind reviewing should not hinder the usual communication of results.

That said, we do ask that you not attempt to deliberately subvert the double-blind reviewing process by announcing the names of the authors of your paper to the potential reviewers of your paper. It is difficult to define exactly what counts as “subversion” here, but some blatant examples include: sending individual e-mail to members of the PC about your work (unless they are conflicted out anyway), or posting mail to a major mailing list (e.g. TYPES) announcing your paper. On the other hand, it is perfectly fine, for example, to visit other institutions and give talks about your work, to present your submitted work during job interviews, to present your work at professional meetings (e.g. Dagstuhl), or to post your work on your web page. PC members will not be asked to recuse themselves from reviewing your paper unless they feel you have gone out of your way to advertise your authorship information to them. If you’re not sure about what constitutes “going out of your way”, please consult directly with the Programme Chair.

Q: Will the fact that ECOOP is double-blind have an impact on handling conflicts-of interest? When I am asked by the submission system to identify conflicts of interest, what criteria should I use?

A: Using DBR does not change the principle that reviewers should not review papers with which they have a conflict of interest, even if they do not immediately know who the authors are.

As an author, you should list PC members (and any others, since others may be asked for outside reviewers) who you believe have a conflict with you. While particular criteria for making this determination may vary, the AITO guidelines indicate a potential conflict with:

  1. Your graduate supervisors and students.
  2. Members of your current research team.
  3. A co-author of a paper in the last five years.
  4. A member of your family or a close personal friend.
  5. Someone with whom you have a significant financial relationship .
  6. An employee of theorganization you work for (including an academic department).

There is (perhaps fortunately, perhaps not) room for interpretation in many of these. Example: If you work for a large company or a multi-campus university, do you have a conflict with all other employees? Well, even the U.S. National Science Foundation permits members of one campus to waive conflicts with members of the other campuses. There might be similar border line situations with large European projects. When you’re unsure, ask the programme chair for advice.

If a possible reviewer does not meet the above criteria, please do not identify him/her as conflicted. Doing so could be viewed as an attempt to prevent a qualified, but possibly skeptical reviewer from reviewing your paper. If you nevertheless believe that a reviewer who does not meet the above criteria is conflicted, you may identify the person and send a note to the PC Chair.

For reviewers

Q: What should I do if I if I learn the authors’ identity? What should I do if a prospective ECOOP author contacts me and asks to visit my institution?

A: If at any point you feel that the authors’ actions are largely aimed at ensuring that potential reviewers know their identity, you should contact the Programme Chair. Otherwise you should not treat double-blind reviewing differently from regular blind reviewing. In particular, you should refrain from seeking out information on the authors’ identity, but if you discover it accidentally this will not automatically disqualify you as a reviewer. Use your best judgment.

Q: The authors have provided a URL to supplemental material. I would like to see the material but I worry they will snoop my IP address and learn my identity. What should I do?

A: Contact the Programme Chair, who will download the material on your behalf and make it available to you.

Q: If I am assigned a paper for which I feel I am not an expert, how do I seek an outside review?

A: PC members should do their own reviews, not delegate them to someone else. If doing so is problematic for some papers, e.g., you don’t feel completely qualified, then consider the following options. First, submit a review for your paper that is as careful as possible, outlining areas where you think your knowledge is lacking. Assuming we have sufficient expert reviews, that could be the end of it: non-expert reviews are valuable too, since conference attendees are by-and-large not experts for any given paper. Second, the review form provides a mechanism for suggesting additional expert reviewers to the PC Chair, who may contact them if additional expertise is needed. Please do NOT contact outside reviewers yourself. As a last resort, if you feel like your review would be extremely uninformed and you’d rather not even submit a first cut, contact the PC Chair, and another reviewer will be assigned.

Q: How do we handle potential conflicts of interest since I cannot see the author names?

A: The conference review system will ask that you identify conflicts of interest when you get an account on the submission system. Please see the related question applied to authors to decide how to identify conflicts. Feel free to also identify additional authors whose papers you feel you could not review fairly for reasons other than those given (e.g., strong personal friendship).

More information about bias in merit reviewing

Kathryn McKinley’s editorial makes the case for double-blind reviewing from a computer science perspective. Her article cites Richard Snodgrass’s SIGMOD record editorial which collects many studies of the effects of potential bias in peer review. Mike Hicks’s Chair’s Report describes how POPL’12 used double-blind reviewing and analyzes its effectiveness.

Here are a few studies on the potential effects of bias manifesting in a merit review process, focusing on bias against women. (These were collected by David Wagner.)

  • There’s the famous story of gender bias in orchestra try-outs, where moving to blind auditions seems to have increased the hiring of female musicians by up to 33% or so. Today some orchestras even go so far as to ask musicians to remove their shoes (or roll out thick carpets) before auditioning, to try to prevent gender-revealing cues from the sound of the auditioner’s shoes.
  • One study found bias in assessment of identical CVs but with names and genders changed. In particular, the researchers mailed out c.v.’s for a faculty position, but randomly swapped the gender of the name on some of them. They found that both men and women reviewers ranked supposedly-male job applicants higher than supposedly-female applicants – even though the contents of the c.v. were identical. Presumably, none of the reviewers thought of themselves as biased, yet their evaluations in fact exhibited gender bias. (However: in contrast to the gender bias at hiring time, if the reviewers were instead asked to evaluate whether a candidate should be granted tenure, the big gender differences disappeared. For whatever that’s worth.)
  • The Implicit Association Test illustrates how factors can bias our decision-making, without us realising it. For instance, a large fraction of the population has a tendency to associate men with career (professional life) and women with family (home life), without realizing it. The claim is that we have certain gender stereotypes and schemas which unconsciously influence the way we think. The interesting thing about the IAT is that you can take it yourself. If you want to give it a try, select the Gender-Career IAT or the Gender-Science IAT from here. There’s evidence that these unconscious biases affect our behavior. For instance, one study of recommendation letters written for 300 applicants (looking only at the ones who were eventually hired) found that, when writing about men, letter-writers were more likely to highlight the applicant’s research and technical skills, while when writing about women, letter-writers were more likely to mention the applicant’s teaching and interpersonal skills.
  • This study reports experience from an ecology journal that switched from non-blind to blind reviewing. After the switch, they found a significant (~8%) increase in the acceptance rate for female-first-authored submissions. To put it another way, they saw a 33% increase in the fraction of published papers whose first author is female (28% -> 37%). Keep in mind that this is not a controlled experiment, so it proves correlation but not causation, and there appears to be controversy in the literature about the work. So it as at most a plausibility result that gender bias could be present in the sciences, but far from definitive.

Snodgrass’ studies includes some of these, and more.

The 29th edition of the European Conference on Object-Oriented Programming (ECOOP) will be open access (OA Gold).

For the first time in almost thirty years, all papers and all artifacts will be available free of charge from the publisher's web site. Moreover, authors will retain full copyright to their work, allowing them to deposit copies in institutional repositories and free archives such as arXiv.

Background

From its first proceeding for the Paris conference of 1987, ECOOP appeared as an issue of Springer’s Lecture Notes in Computer Science (LNCS), volume 267 was the first. The only exceptions were ECOOP’89 (Nottingham) and 1990 (co-located with OOPSLA in Ottawa), which were published by Cambridge University Press and ACM, respectively. ECOOP’14, volume 8586 of LNCS, will thus end a long partnership. Over the years, Springer supported the conference in different ways, such as providing prizes for best papers and allowing authors to upload large software artifacts. This support was appreciated by the community but it is time to reconsider ECOOP’s publishing arrangements.

In the last decade or two, the publishing landscape underwent a radical transformation. Print decreased drastically: there was a time when each attendee would expect a printed copy, but that number dwindled to the 50 free volumes given by Springer to organizers. Last year, half of those free copies went unclaimed. Similarly CD-ROMs and USB sticks became historical curiosities. Today “publishing” a conference proceedings means little more than insuring that an electronic copy of each paper is available in perpetuity and that that copy is properly indexed by various search engines. Whereas publishers used to edit and typeset documents, nowadays authors and volunteers prepare the proceedings themselves.

As open source software has become the standard for government funded research, increasingly the same is required for publications on that same research. Numerous countries and funding agencies are mandating Open access (OA), that is to say unrestricted access to scientific works without charge to the reader, this known as “Gold” OA. Other models exist, but only “Gold” OA ensures free access to all articles in perpetuity. The alternative, Green OA, depends on authors posting copies of the published version on their, or their institution’s, web pages. These may not be preserved in perpetuity, and provide no centralized index. OA does not entail that authors retain copyright of their work.

LIPIcs

From 2015, ECOOP proceedings will be published in the LIPIcs–Leibniz International Proceedings in Informatics series established in cooperation with Schloss Dagstuhl–Leibniz Center for Informatics. LIPIcs volumes are published according to the principle of OpenAccess, i.e., they are available online and free of charge. Schloss Dagstuhl institutes an Editorial Board to assure the high scientific quality of the series by overseeing the selection of the conferences to be included.

LIPIcs are published under a Creative Commons Attribution (CC-BY) license. Thereby, the authors retain their copyrights and readers can re-use the published work in the most meaningful manner. All documents published in LIPIcs are assigned a persistent identifier. Each document gets a Digital Object Identifier (DOI) and a Uniform Resource Name (URN) as persistent identifiers. All documents published in LIPIcs are collected by the German National Library which is responsible for not only archiving the documents but also for conversion to future formats or future supply of current environments which allow the long-term retrieval of the publications. All LIPIcs volumes are indexed in dblp, and in Scopus. Dagstuhl charges an article-processing fee (APC) of 15 EUR per published paper.

Procedural matters

A few words on how the switch happened. ECOOP’s contract with LNCS is negotiated yearly. In 2014, AITO Executive Board (Exec) representatives contacted Springer with questions about open access. They received no answer. In parallel, Shriram Krishnamurthi, the ECOOP’16 PC chair, suggested that AITO consider open access for 2016. With the approval of John Tang Boyland, the ECOOP’15 PC chair, a survey of all authors of submitted papers was conducted. The results were strongly in favor of moving to open access. In fact, even switching in 2015 was favored by the respondents. The AITO Exec had an internal vote and the result was unanimous support. John Boyland was consulted once more and he agreed to the switch. Then AITO members were asked to vote on the switch. The result was 28 votes in favor and one abstention. In response the AITO Exec proceeded to sign a five year contract with LIPIcs.