Profile cover photo
Profile photo
ECOOP's posts

Post has attachment
CFP IWACO 2016 has been updated!
7th IWACO International Workshop on Aliasing, Capabilities and Ownership (IWACO)

Co-located with ECOOP
Monday July 18th, 2016, Rome, Italy

Reasoning about shared state in imperative programs is challenging. The existence of aliases, in particular, compromises modular reasoning, making imperative programs hard to understand, maintain, and analyze. These difficulties become even aggravated in a concurrent context. On the other hand, aliasing is a very powerful feature and allows for efficient implementations of data structures, for example.

To address those challenges, techniques have been introduced for describing and reasoning about stateful programs and for restricting, analyzing, and preventing aliases. Approaches are based on ownership, capabilities, separation logic, linear logic, uniqueness, sharing control, escape analysis, argument independence, read-only references, linear references, effects systems, and access control mechanisms.

The workshop will generally address the question how to reason about stateful (sequential or concurrent) programs. In particular, we will consider the following issues (among others): models, type and other formal systems, programming language mechanisms, analysis and design techniques, patterns and notations for expressing ownership, aliasing, capabilities, uniqueness, and related topics; optimization techniques, analysis algorithms, libraries, applications, and novel approaches exploiting ownership, aliasing, capabilities, uniqueness, and related topics; empirical studies of programs or experience reports from programming systems designed with these issues in mind; programming logics that deal with aliasing and/or shared state, or use ownership, capabilities or resourcing; applications of any of these techniques to a concurrent setting.

We encourage not only submissions presenting original research results, but also papers that attempt to establish links between different approaches and/or papers that include survey material. Original research results should be clearly described. Paper selection will be based on the quality of the submitted material. Please direct any questions regarding the workshop's scope to the workshop organizer.

Papers in the ACM 2-column style are welcome, with a minimum length of 2 pages. All submissions will be reviewed by the program committee. The accepted papers, after rework by the authors, will be made publicly available as informal proceedings on the workshop web page.

For the submission, please use the HotCRP/EasyChair system:

## Important Dates

- Paper submission: April 22rd, 2016
- Notification: May 20th, 2016
- All deadlines: Anywhere on Earth (AoE), i.e., GMT/UTC−12:00 hour

ECOOP@ROME/ Students

Interested in hearing the latest about Scala,
Perl, Clojure, Rust, Swift, JavaScript,
and many many other languages and systems?

Curious about new ideas such as gradual types,
JIT compilers for dynamic languages, differential
privacy or deep learning?

Always wanted to meet the likes of Larry Wall, David
Nolen, Mark Miller?

Join us in Rome from July 17 to July 22.

The ECOOP conference offers support to students and
professionals interested in attending. To apply:

# Bachelor, Master, and early Doctoral Students

The ECOOP Summer School provides an easy introduction
to the world of research in programming languages.
No background is required other than an interest in
languages technologies. This year the ESS will have
four half day sessions on Empirical methods,
Just-in-Time compilers, Gradual types, and Research
on scripting languages.

# Doctoral Students

The Doctoral Symposium provides a forum for both early-
and late-stage PhD students to present their research
and get detailed feedback and advice. The objectives
- to write clearly & present research proposals effectively
- to get constructive feedback from other researchers
- to build bridges for potential research collaboration


# All Students

Register to be Student Volunteers, help with the
organization of the conference, get a free registration
and a ticket to the banquet.

# All attendees

Apply for reduced and shared housing to cut down the costs of
attending the conference. We can help you book cheap rooms
and connect people wishing to share a room.

**Remainder** Submission deadline for COP, FTfJP, ICOOOLPS, LIVE, and PX Workshops is approaching (April 15th)!

Post has attachment
VORTEX 2016 - Call for papers

Verification of Objects at RunTime EXecution
Co-located with ECOOP 2016, July 18, Rome, Italy


Davide Ancona, DIBRIS, Università di Genova, Italy
Frank de Boer, CWI, Amsterdam, Netherlands

Important Dates

All deadlines are at 23:59  AoE (Anywhere on Earth timezone, Howland Island time, UTC-12h)

Submission deadline: April, 30th
Notification:        May, 28th
Camera-ready:        June, 15th
Workshop:            July, 18th

Program Committee

Davide Ancona, Università di Genova, Italy (co-chair)
Frank S. de Boer, CWI-Leiden University, Netherlands  (co-chair)
Wolfgang Ahrendt, Chalmers University of Technology, Sweden
Ferruccio Damiani, Università di Torino, Italy
Stijn De Gouw, CWI, Fredhopper, Netherlands
Radu Grosu, Vienna University of Technology, Austria
Klaus Havelund, NASA/Caltech Jet Propulsion Laboratory, USA
Reiner Hähnle, TU Darmstadt, Germany
Jean-Baptiste Jeannin, Samsung Research America, USA
Martin Leucker, University of Lübeck, Germany
Gordon Pace, University of Malta, Malta
Grigore Rosu, University of Illinois at Urbana-Champaign, USA
Gerardo Schneider, University of Gothenburg, Sweden
Tarmo Uustalu, Tallinn University of Technology, Estonia


Runtime verification (RV) is an approach to software verification which is concerned with monitoring and analysis of software and hardware system executions.

In recent years RV has gained more and more consensus as an effective and promising approach to ensure software reliability, bridging a gap between formal verification, and conventional testing; furthermore, monitoring a system during runtime execution offers additional opportunities for addressing error recovery, self-adaptation, and other issues that go beyond software reliability.

The goal of the first edition of this workshop is to bring together researchers working on RV for object-oriented languages, and systems, on topics covering either theoretical, or practical aspects, or, preferably, both.

Call for contributions

Contributions are solicited on Runtime Verification in the context of
Object-Oriented Programming addressing open questions covering theoretical and/or practical aspects, presenting new implemented tools, proposing interesting new applications, or describing real case studies.

Submissions suggesting speculative new approaches, raising challenging issues, or focusing on problems deemed to be crucial for the research community are also welcome, as well as all contributions covering topics suitable for lively discussion at the workshop.

Topics of interest include, but are not limited to, the following ones:

 -    combination of static and dynamic analyses
 -    industrial applications
 -    monitor construction and synthesis techniques
 -    monitoring concurrent/distributed systems
 -    program adaptation
 -    runtime enforcement, fault detection, recovery and repair
 -    RV for safety and security
 -    specification formalisms and formal underpinning of RV
 -    specification mining
 -    tool development

Contributions will be formally reviewed by at least three reviewers, and selection will be based on originality, relevance, technical accuracy, and the potential to generate interesting discussions.

Submission Instructions

Submissions must be in English, in PDF format, and are limited to 6 pages in the ACM Proceedings Format (
Papers must be submitted electronically via Easy Chair at:  

PC members, except for the chairs, are allowed to submit papers, and any conflict of interest will be properly managed by excluding the involved PC members from the review and evaluation process.

Proceedings and Special Issue

Accepted papers will have the option of being published in the ACM Digital Library.

Depending on the quality and the overall number of accepted papers, authors of selected papers will be invited after the workshop to submit an extended version for a special issue hosted by the online open-access Journal Frontiers in ICT (Specialty Formal Methods,

Post has attachment
STOP 2016 - Call for papers

In recent years there has been increased interest in scripting languages, the migration from scripts to large programs, and the interplay between typed and untyped code. New languages such as TypeScript, Hack, Dart, Typed Racket, and GradualTalk, to name a few, have begun to explore the integration of dynamic and static typing within the same language.

Scripting languages are lightweight, dynamic programming languages designed to maximize productivity by offering high-level abstractions and reducing the syntactic overhead found in most system’s languages. The rising popularity of scripting languages has many underlying causes: they allow partial execution of programs, permitting easy unit testing, interactive experimentation, and even demoing of software at all times; their support for powerful and flexible high-level datatypes and dynamic typing admits quick interim solutions that can later be revised; etc. In short, scripting languages optimize developement time rather than machine time, a good approach early in the software development life cycle.

However, once the understanding of the system has reached a critical point and requirements have stabilized, scripting languages become less appealing. The compromises made to optimize development time make it harder to reason about program correctness, harder to do semantic-preserving refactorings, and harder to optimize execution speed. The lack of type information makes the code harder to navigate.

The concept of gradual typing has been proposed, in which the programmer controls which portions of the program are dynamically typed and which portions are statically typed. Over the last decade there has been significant progress on the theory and practice of gradual typing, but there are still many open questions and unexplored points in the design space.

Call for Papers

The STOP workshop is interested in the evolution of scripts, in the sense of untyped pieces of code, into safer programs, with more rigid structure and constrained behavior through the use of gradual typing, contract checking, extensible languages, refactoring tools, and the like. The goal is to further the understanding of such systems in practice, and connect practice and theory. This workshop aims to bring researchers together from academia and industry for passionate discussion about these topics, and to promote not only the theory, but practical evalution of these ideas, and experience reports.


The accepted papers will be distributed at the workshop in an informal proceedings. All accepted submissions shall remain available from the workshop web page.

Submission Guidelines

Abstracts, position papers, and status reports are welcome. Papers should be 1-2 pages in standard ACM SIGPLAN format. All submissions will be reviewed by the program committee. Submit your papers on EasyChair (link soon available at

Post has attachment
PX 2016 - Call for Papers

Programming Experience 2016 (PX/16) Workshop

July 18 (Mon), 2016
Co-located with ECOOP 2016 in Rome

=== Abstract ===

Imagine a software development task. Some sort of requirements and specification including performance goals and perhaps a platform and programming language. A group of developers head into a vast workroom.

<crossfade to developers exiting the vast workroom>

The Programming Experience Workshop is about what happens in that room when one or a couple of programmers sit down in front of computers and produce code, especially when it's exploratory programming. Do they create text that is transformed into running behavior (the old way), or do they operate on behavior directly ("liveness"); are they exploring the live domain to understand the true nature of the requirements; are they like authors creating new worlds; does visualization matter; is the experience immediate, immersive, vivid and continuous; do fluency, literacy, and learning matter; do they build tools, meta-tools; are they creating languages to express new concepts quickly and easily; and curiously, is joy relevant to the experience?

Correctness, performance, standard tools, foundations, and text-as-program are important traditional research areas, but the experience of programming and how to improve and evolve it are the focus of this workshop.

=== Submissions ===

Submissions are solicited for Programming Experience 2016 (PX/16). The thrust of the workshop is to explore the human experience of programming—what it feels like to program, or more accurately, what it should feel like. The technical topics include exploratory programming, live programming, authoring, representation of active content, visualization, navigation, modularity mechanisms, immediacy, literacy, fluency, learning, tool building, and language engineering.

Submissions by academics, professional programmers, and non-professional programmer are welcome. Submissions can be in any form and format, including but not limited to papers, presentations, demos, videos, panels, debates, essays, writers' workshops, and art. Presentation slots will be between 30 minutes and one hour, depending on quality, form, and relevance to the workshop. Submissions directed toward publication should be so marked, and the program committee will engage in peer review for all such papers. Video publication will be arranged.

All artifacts are to be submitted via EasyChair ( Papers and essays must be written in English, provided as PDF documents, and follow the ACM SIGPLAN Conference Format (10 point font, Times New Roman font family, numeric citation style,

There is no page limit on submitted papers and essays. It is, however, the responsibility of the authors to keep the reviewers interested and motivated to read the paper. Reviewers are under no obligation to read all or even a substantial portion of a paper or essay if they do not find the initial part of it interesting.

=== Format ===

Paper presentations, presentations without papers, live demonstrations, performances, videos, panel discussions, debates, writers' workshops, art galleries, dramatic readings.

=== Review ===

Papers and essays labeled as publications will undergo standard peer review; other submissions will be reviewed for relevance and quality; shepherding will be available.

=== Important dates ===

Submissions: April 15, 2016 (anywhere in the world)
Notifications: May 13, 2016
PX/16: July 18, 2016

=== Publication ===

Papers and essays accepted through peer review will be published as part of ACM's Digital Library; video publication on Vimeo or other streaming site; other publication on the PX workshop website.

=== Organizers ===

Robert Hirschfeld, Hasso Plattner Institute, University of Potsdam, Germany
Richard P. Gabriel, Dreamsongs and IBM Almaden Research Center, United States
Hidehiko Masuhara, Mathematical and Computing Science, Tokyo Institute of Technology, Japan

=== Program committee ===

Carl Friedrich Bolz, King's College London, United Kingdom
Gilad Bracha, Google, United States
Andrew Bragdon, Twitter, United States
Jonathan Edwards, CDG Labs, United States
Jun Kato, National Institute of Advanced Industrial Science and Technology, Japan
Cristina Videira Lopes, University of California at Irvine, United States
Yoshiki Ohshima, Viewpoints Research Institute, United States
Michael Perscheid, SAP Innovation Center, Germany
Guido Salvaneschi, TU Darmstadt, Germany
Marcel Taeumel, Hasso Plattner Institute, University of Potsdam, Germany
Alessandro Warth, SAP Labs, United States

=== Flyer ===

Post has attachment
JSTools 2016 - Call for papers

JavaScript has become ubiquitous: not only is it the lingua franca of the Web platform, but it is also increasingly being used for developing server-side applications and for writing platform-independent mobile applications. Consequently, it is now the focus of many strands of research work in static and dynamic program analysis, automated testing, security analysis and refactoring, to name just a few. At the same time, there is a strong interest from industry in providing better development tools for JavaScript programmers, such as refactoring tools, debuggers, and smart IDEs.

All these projects need to overcome similar challenges: How to delineate the program in a dynamic setting like a web page, how to deal with the extensive native APIs and framework libraries most JavaScript code relies on, how to handle non-determinism of concurrency and asynchronous events, and what to do about the language’s extraordinarily dynamic features like eval or reflection over object structure.

JSTools will bring together participants from academia and industry
working on analysis of JavaScript and its dialects to share ideas and problems, with a focus on presentations of shareable infrastructure created by the participants. We also aim to involve developers working on JavaScript dialects such as TypeScript to share their perspective.

In addition to a set of invited speakers, JSTools welcomes submissions of work on this field. You may submit a paper, an abstract for a talk, or a talk abstract together with a supporting position paper. As the title of the workshop suggests, we also welcome presentations and demonstrations of state of the art tools for JavaScript. To submit, please e-mail submissions to the organizers. The workshop does not have formal proceedings, but if desired, slides from talks and/or a paper will be put online on the workshop web site. The organizing committee will referee submissions for relevance. We are looking for ongoing work
more than finished research projects. Additional expert opinions may be requested from the expected participants.

Submission deadline:      May 10, 2016

Template for submissions (recommended but not mandatory):

Further information:

Post has attachment
GRACE 2016 - Call for papers

The Grace Object-Oriented Educational Programming Language design project was started at ECOOP in Slovenia to design a new OO language for teaching and research. This workshop will allow the core project team to present their results back to the community: a specification, reference implementation, and experience teaching with Grace. The workshop will also allow the Grace project to gain feedback on the current design and implementation, and to plan for the future.

We invite short research papers, position papers, and tool demonstrations in areas such as:

 - experience implementing Grace
 - critiques and feedback on the Grace specification
 - proposed extensions to Grace
 - lessons that Grace may take from other related language projects (such as Pyret, Racket, BlueJ, Wyvern, Stride,TouchDevelop, TrumpScript etc)
 - lessons that Grace may take from language workbench implementation tools

Expressions of interest to submit position papers or make presentations should be emailed to the organisers.
Wait while more posts are being loaded