<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
<meta http-equiv="Content-Type" content="text/html; charset=utf-8" class=""><div dir="auto" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div dir="auto" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div class="">--------<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span></div><div class="">ECOOP 2022: Call for Workshop Papers</div><div class=""><div class="">--------<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span></div></div><div class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">Summary:</span></div><div class=""><br class=""></div><div class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">COP 2022: International Workshop on Context-Oriented Programming and Advanced Modularity</span></div><div class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">Deadline: </span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">Friday, 15th of April</span></div><div class=""><br class=""></div><div class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">Workshop on Formal Techniques for Java-like Programs</span></div><div class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">Deadline: Friday, 1st of April</span></div><div class=""><br class=""></div><div class="">ICOOOLPS’22: Workshop on Implementation, Compilation, Optimization of OO Languages, Programs and Systems</div><div class="">Deadline: Thursday, 21st off April (Submission Talks, Demos, Position Papers)</div><div class=""><br class=""></div><div class=""><div class=""><font color="#000000" class="">Program Analysis for WebAssembly (PAW) 2022</font></div><div class=""><font color="#000000" class=""></font></div><div class=""><font color="#000000" class="">Deadline: Monday, 11th of April</font></div></div><div class=""><font color="#000000" class=""><br class=""></font></div><div class=""><div class=""><font color="#000000" class="">Programming Local-first Software</font></div><div class=""><font color="#000000" class=""></font></div><div class=""><font color="#000000" class="">Deadline: Friday, 1st of April</font></div></div><div class=""><font color="#000000" class=""><br class=""></font></div><div class=""><div class=""><font color="#000000" class="">PRIDE 2022: Workshop on Practical Research IDEs</font></div><div class=""><font color="#000000" class=""></font></div><div class=""><font color="#000000" class="">Deadline: Friday, 15th of April</font></div></div><div class=""><font color="#000000" class=""><br class=""></font></div><div class=""><div class=""><font color="#000000" class="">Truffle 2022: Truffle/GraalVM Languages Workshop</font></div><div class=""><font color="#000000" class=""></font></div><div class=""><span style="color: rgb(0, 0, 0);" class="">Deadline: Saturday, 30th of April</span></div></div><div class=""><span style="color: rgb(0, 0, 0);" class=""><br class=""></span></div><div class=""><div class=""><font color="#000000" class="">VORTEX 2022: Workshop on Verification and mOnitoring at Runtime EXecution</font></div><div class=""><font color="#000000" class=""></font></div><div class=""><font color="#000000" class="">Deadline: Monday, 18th of April</font></div></div><div class=""><font color="#000000" class=""><br class=""></font></div><div class=""><div class="">--------<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span></div></div><div class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">Detailed Calls for Papers:</span></div><div class=""><div class="">--------<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span></div></div><div class="">--------<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span></div><div class="">COP 2022: International Workshop on Context-Oriented Programming and Advanced Modularity</div><div class="">--------<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span></div><div class=""><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class=""><a href="https://2022.ecoop.org/home/COP-2022" class="">https://2022.ecoop.org/home/COP-2022</a></span></font></div><div class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">Deadline: </span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">Friday, 15th of April</span></div><div class="">--------<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span></div><div class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><br class=""></span></div><div class=""><div class=""><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class="">Contextual information plays an ever-increasing role in our information-centric world. Current-day software systems adapt continuously to changing execution and usage contexts, even while running. Unfortunately, mainstream programming languages and development environments still do not support this kind of dynamicity very well, leading developers to implement complex designs to anticipate various dimensions of variability.</span></font></div><div class=""><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class=""><br class=""></span></font></div><div class=""><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class="">Context-Oriented Programming directly supports variability at the programming level, depending on a wide range of dynamic attributes. It enables run-time behavior to be dispatched directly on any detected properties of the execution or user context. Since more than a decade, researchers have been working on a variety of notions approaching that idea. Implementations ranging from first prototypes to mature platform extensions used in commercial deployments have illustrated how multidimensional dispatch can be supported effectively to achieve expressive run-time variation in behavior.</span></font></div><div class=""><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class=""><br class=""></span></font></div><div class=""><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class="">The scope of this workshop will further encompass diverse and advanced forms of modularity support in programming languages. We encourage results and discussions on advanced modularity that go beyond COP.</span></font></div></div><div class=""><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class=""><br class=""></span></font></div><div class=""><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class="">## Call for Papers</span></font></div><div class=""><br class=""></div><div class="">COP invites submissions of high-quality papers reporting original research, or describing innovative contributions to, or experience with context-oriented programming, its implementation, and application. Papers that depart significantly from established ideas and practices are particularly welcome.</div><div class=""><br class=""></div><div class="">All papers must be original. Submissions must not have been published previously and must not be simultaneously submitted or under review at any other refereed event or publication. The program committee will evaluate each contributed paper based on its relevance, significance, clarity, and originality.</div><div class=""><br class=""></div><div class="">### Topics</div><div class=""><br class=""></div><div class="">Topics of interest to the workshop include, but are not limited to:</div><div class=""><br class=""></div><div class="">- Context-Oriented Programming (COP) and Contextual modeling in modern computer systems (mobile systems, IoTs, cloud/edge computing, autonomous systems, etc.);</div><div class="">- Programming language abstractions for COP (e.g., dynamic scoping, roles, traits, prototype-based extensions);</div><div class="">- Implementation issues for COP (e.g., optimization, VM support, JIT compilation);</div><div class="">- COP applications in computer systems (e.g., mobile systems, IoTs, cloud/edge computing, security);</div><div class="">- COP applications in autonomous systems (e.g., unmanned aerial vehicles, autonomous vehicles);</div><div class="">- Configuration languages (e.g., feature description interpreters, transformational approaches);</div><div class="">- Programming language abstractions for composition and modularization (e.g., modules, aspects, features, layers, plugins, libraries, components);</div><div class="">- Theoretical foundations and reasoning support for COP and modular systems (e.g., semantics, type systems, mechanized proofs);</div><div class="">- Software lifecycle support for modularization (e.g., requirements; architecture; synthesis; metrics; software product lines; economics; testing; patterns);</div><div class="">- Tool support for modular software development (e.g., platform; refactoring; static and dynamic analysis; evolution; reverse engineering; mining);</div><div class="">- Modular applications (e.g., data-intensive applications, micro-services, serverless computing);</div><div class=""><br class=""></div><div class="">### Submission guidelines</div><div class=""><br class=""></div><div class="">Papers are to be submitted via [EasyChair](<a href="https://easychair.org/my/conference?conf=cop2022" class="">https://easychair.org/my/conference?conf=cop2022</a>). They must be written in English, provided as PDF documents, and follow the new [ACM Master Article Template](<a href="https://www.acm.org/publications/proceedings-template" class="">https://www.acm.org/publications/proceedings-template</a>) with the sigconf option. They should not exceed 8 pages. Accepted papers will be published in the ACM Digital Library (SCOPUS).</div><div class=""><br class=""></div><div class="">--------<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span></div><span class="">Workshop on Formal Techniques for Java-like Programs<br class=""></span>--------<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span></div><div dir="auto" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><font color="#000000" class=""><a href="https://2022.ecoop.org/track/ftfjp-2022" class="">https://2022.ecoop.org/track/ftfjp-2022</a></font></div><div dir="auto" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><font color="#000000" class="">Deadline: Friday, 1st of April</font></div><div dir="auto" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">--------<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span></div><div dir="auto" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class=""><br class=""></span></font><div class=""><span class=""><font color="#000000" class=""><div class="">Participation: Participation in the workshop is hybrid as with ECOOP 2022, but registration through the ECOOP registration system is required. As a hybrid event, when considering virtual mode, the registration system will provide you with the link to participate in the Zoom conference sessions.</div><div class=""><br class=""></div><div class="">Formal techniques can help analyse programs, precisely describe program behaviour, and verify program properties. Modern programming languages are interesting targets for formal techniques due to their ubiquity and wide user base, stable and well-defined interfaces and platforms, and powerful (but also complex) libraries. New languages and applications in this space are continually arising, resulting in new programming languages (PL) research challenges.</div><div class=""><br class=""></div><div class="">Work on formal techniques and tools and on the formal underpinnings of programming languages themselves naturally complement each other. FTfJP is an established workshop which has run annually since 1999 alongside ECOOP, with the goal of bringing together people working in both fields.</div><div class=""><br class=""></div><div class="">The workshop has a broad PL theme; the most important criterion is that submissions will generate interesting discussions within this community. The term “Java-like” is somewhat historic and should be interpreted broadly: FTfJP solicits and welcomes submission relating to programming languages in general, beyond Java, including C#, Scala, etc.</div><div class=""><br class=""></div><div class="">Example topics of interest include (but not limited to):</div><div class=""><br class=""></div><div class="">- Language design and semantics</div><div class="">- Type systems</div><div class="">- Concurrency and new application domains</div><div class="">- Specification and verification of program properties</div><div class="">- Program analysis (static or dynamic)</div><div class="">- Program synthesis</div><div class="">- Security Pearls (programs or proofs)</div><div class="">- Programming environments</div><div class=""><br class=""></div><div class="">FTfJP welcomes submissions on technical contributions, case studies, experience reports, challenge proposals, tools, and position papers. Webpages for previous workshops in this series are available at: <a href="https://ftfjp.github.io/" class="">https://ftfjp.github.io/</a>. </div><div class=""><br class=""></div><div class="">We plan that, as in previous years, accepted papers will be published in the ACM Digital Library, though authors will be able to opt out of this publication, if desired. At least one author of an accepted paper must attend the workshop to present the work and participate in the discussions.</div><div class=""><br class=""></div><div class=""><div class="">## Submissions</div><div class=""><br class=""></div><div class="">Contributions are sought in two categories:</div><div class=""><br class=""></div><div class="">* Full Papers (6 pages, excluding references) present a technical contribution, case study, tool, or detailed experience report. We welcome both complete and incomplete technical results; ongoing work is particularly welcome, provided it is substantial enough to stimulate interesting discussions.</div><div class="">* Short Papers (2 pages, excluding references) should advocate a promising research direction, or otherwise present a position likely to stimulate discussion at the workshop. We encourage e.g. established researchers to set out a personal vision, and beginning researchers to present a planned path to a PhD.</div><div class=""><br class=""></div><div class="">All submissions and reviews will be managed within EasyChair.</div><div class="">Submissions should be made via <a href="https://easychair.org/conferences/?conf=ftfjp2022" class="">https://easychair.org/conferences/?conf=ftfjp2022</a>.</div><div class="">There is no need to indicate the paper category (long/short).</div><div class=""><br class=""></div><div class=""><br class=""></div><div class="">Both types of contributions will benefit from feedback received at the workshop. Submissions will be peer reviewed, and will be evaluated based on their clarity and their potential to generate interesting discussions. Reviewing will be single blind, there is no need to anonymize submissions.</div><div class=""><br class=""></div><div class="">The format of the workshop encourages interaction. FTfJP is a forum in which a wide range of people share their expertise, from experienced researchers to beginning PhD students.</div><div class=""><br class=""></div><div class="">## Formatting and Publication</div><div class="">All authors should use the official “ACM Master article template”, which can be obtained from the ACM Proceedings Template pages ( <a href="https://www.acm.org/publications/proceedings-template" class="">https://www.acm.org/publications/proceedings-template</a> ). Latex users should use the “sigconf” option as well as “review” (to produce line numbers for easy reference by the reviewers). To that end, the following latex code can be placed at the start of the latex document: \documentclass[sigconf,review]{acmart}</div><div class=""><br class=""></div><div class="">We plan that, as in previous years, accepted papers will be published in the ACM Digital Library, though authors will be able to opt out of this publication, if desired. At least one author of an accepted paper must register to the conference by the early registration date and attend the workshop to present the work and participate in the discussions.</div><div class=""><br class=""></div><div class="">Selected papers will also be considered for extended versions to be submitted to the Journal of Object Technology (JOT).</div></div></font></span></div><div class=""><span class=""><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class=""><br class=""></span></font></span></div><div class="">--------<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span></div><div class=""><div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">ICOOOLPS’22: Workshop on Implementation, Compilation, Optimization of OO Languages, Programs and Systems</div></div><div class="">--------<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span></div><div class=""><span class=""><font color="#000000" class=""><a href="https://2022.ecoop.org/home/ICOOOLPS-2022" class="">https://2022.ecoop.org/home/ICOOOLPS-2022</a></font></span></div><div class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">Deadline: Thursday, 21st off April (Submission Talks, Demos, Position Papers)</span></div><div class="">--------<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span></div><div class=""><p class="">The ICOOOLPS workshop series brings together researchers and
practitioners working in the field of language implementation and
optimization.</p><p class="">The goal of the workshop is to discuss emerging problems and research
directions as well as new solutions to classic performance challenges.
The topics of interest for the workshop include techniques for the
implementation and optimization of a wide range of languages including
but not limited to object-oriented ones. Furthermore, virtual machines,
meta-compilation techniques or language-agnostic approaches are welcome,
too.</p><div class="">Call for Contributions<br class=""><br class="">The ICOOOLPS workshop series brings together researchers and practitioners working in the field of language implementation and optimization (even beyond the historical OO background of the workshop). The goal of the workshop is to discuss emerging problems and research directions, as well as new solutions and techniques.<br class=""><br class="">We hope to provide a space for participation and discussion and in particular to discuss your work in progress. That’s why we’ll have two additional submission categories for position papers and talks. We also accept talk proposals for papers that have appeared at some other past conference, but didn’t receive much discussion there due to the conference being cancelled or virtual because of Covid.<br class=""><br class="">A non-exclusive list of topics of interest for this workshop is:<br class=""><br class=""><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• Implementation and optimization of fundamental languages features (from automatic memory management to metaprogramming)<br class=""></div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• Runtime systems technology (libraries, virtual machines)<br class=""></div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• Static, adaptive, and speculative optimizations and compiler techniques<br class=""></div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• Meta-compilation techniques and language-agnostic approaches for the efficient implementation of languages<br class=""></div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• Compilers (intermediate representations, offline and online optimizations,…)<br class=""></div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• Empirical studies on language usage, benchmark design, and benchmarking methodology<br class=""></div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• Resource-sensitive systems (real-time, low power, mobile, cloud)<br class=""></div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• Studies on design choices and tradeoffs (dynamic vs. static compilation, heuristics vs. programmer input,…)<br class=""></div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• Tooling support, debuggability and observability of languages as well as their implementations<br class=""></div>Workshop Format<br class=""><br class="">The workshop welcomes the presentation and discussion of new ideas and emerging problems. We aim to provide an environment to present and discuss your work at different stages of maturity. Therefore we provide three submission categories:<br class=""><br class=""><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• Full papers (up to 12 pages), which will be included in the proceedings;<br class=""></div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• Position papers (up to 4 pages), for work in progress, ideas in early stages;<br class=""></div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• Talks, Demos.<br class=""></div>Please note that option (1) features a different submission deadline than the rest and will include a short rebuttal period, in which authors will be able to answer reviewers comments.<br class=""><br class="">Submission<br class=""><br class="">To submit a paper please use the official “ACM Master article template”, which can be obtained from the ACM Proceedings Template pages. ICOOOLPS features a light-weight double-blind review process. Authors should omit their names in the submission. Use the sigconf option as well as review and anonymous, i.e., place the following at the start of the latex document: \documentclass[sigconf,review,anonymous]{acmart}.</div></div><div class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><br class=""></span></div><div class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><br class=""></span></div><div class=""><div class="">--------<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span></div><div class=""><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class="">Program Analysis for WebAssembly (PAW) 2022</span></font></div><div class="">--------<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span></div><div class=""><font color="#000000" class=""><a href="https://2022.ecoop.org/home/paw-2022" class="">https://2022.ecoop.org/home/paw-2022</a></font></div><div class=""><font color="#000000" class="">Deadline: Monday, 11th of April</font></div><div class="">--------<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span></div></div><div class=""><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class="">WebAssembly is a recently introduced portable virtual machine, to which code written in many high-level languages can be compiled in order to be executed in web browsers and other runtimes. There have been several independent efforts to bring static and dynamic analysis tools to the WebAssembly ecosystem. This workshop aims to bring together researchers working in the domain of static and dynamic analyses for WebAssembly. Specifically, this workshop aims to discuss all techniques related to detecting bugs and vulnerabilities in WebAssembly binaries, to build models of such binaries, to prove their correctness, to monitor their execution, or to optimize binaries for running time and binary size. The workshop will be a community-building event to exchange ideas and build collaborations in these domains. To that end, contributions in the form of submitted talks are welcome. The workshop will also hold discussion sessions in order to foster collaborations.<br class=""><br class="">Questions? Use the PAW contact form (<a href="https://2022.ecoop.org/contact2/paw-2022-papers" class="">https://2022.ecoop.org/contact2/paw-2022-papers</a>)</span></font><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">.</span></div><div class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><br class=""></span></div><div class=""><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class="">Call for presentations<br class=""><br class="">WebAssembly is a recently introduced portable virtual machine, to which code written in many high-level languages can be compiled in order to be executed in web browsers and other runtimes. There have been several independent efforts to bring static and dynamic analysis tools to the WebAssembly ecosystem. This workshop aims to bring together researchers working in the domain of static and dynamic analyses for WebAssembly. Specifically, this workshop aims to discuss all techniques related to detecting bugs and vulnerabilities in WebAssembly binaries, to build models of such binaries, to prove their correctness, to monitor their execution, or to optimise binaries for running time and binary size. The PAW workshop is a community-building event, for exchanging ideas and fostering collaborations in these domains.<br class=""><br class="">The workshop will consist of submitted and invited talks, as well as discussion sessions. To that end, we invite submissions for talks in the form of a 1-page abstract delineating at a high-level the content of the proposed presentation.<br class=""><br class="">Submission site: <a href="https://easychair.org/conferences/?conf=paw2022" class="">https://easychair.org/conferences/?conf=paw2022</a><br class=""><br class="">Timeline:<br class=""><br class=""></span></font><div class=""><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• April 11 2022: Submission deadline<br class=""></span></font></div><div class=""><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• May 2 2022: Acceptance notification<br class=""></span></font></div><div class=""><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class=""><span class="Apple-tab-span" style="white-space: pre;"> </span>• June 6-10 2022: ECOOP conference</span></font></div></div><div class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><br class=""></span></div><div class=""><div class="">--------<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span></div><div class=""><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class="">Programming Local-first Software</span></font></div><div class="">--------<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span></div><div class=""><font color="#000000" class=""><a href="https://2022.ecoop.org/home/plf-2022" class="">https://2022.ecoop.org/home/plf-2022</a></font></div><div class=""><font color="#000000" class="">Deadline: Friday, 1st of April</font></div><div class="">--------<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span></div></div><div class=""><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class="">Languages for Multi-Device Collaborative Applications<br class=""><br class="">Due to ubiquitous connectivity and cheap availability of user devices from smartphones to desktops, applications supporting multi-device and collaborative use have become more common, and with the Corona pandemic this trend has tremendously accelerated.<br class=""><br class="">While most of the distributed applications that we see nowadays are cloud-based, avoiding the cloud can lead to privacy and performance benefits for users and operational and cost benefits for companies and developers. Following this idea, Local-First Software runs and stores its data locally while still allowing collaboration, thus retaining the benefits of existing collaborative applications without depending on the cloud.<br class=""><br class="">Many specific solutions already exist: operational transformation, client-side databases with eventually consistent replication based on CRDTs, and even synchronization as a service provided by commercial offerings, and a vast selection of UI design libraries.<br class=""><br class="">However, these solutions are not integrated with the programming languages that applications are developed in. Language based solutions related to distribution such as type systems describing protocols, reliable actor runtimes, data processing, machine learning, etc., are designed and optimized for the cloud not for a loosely connected set of cooperating devices. This workshop aims at bringing the issue to the attention of the PL community, and accelerating the development of suitable solutions for this area.<br class=""><br class="">Workshop timeline<br class=""><br class="">Note: Times are only examples and will change along the main conference and other workshops.<br class=""><br class="">We currently plan an in-person event, however, we will keep monitoring the ongoing situation. In case of a virtual workshop, we will ask speakers to prerecord their talk, and organize live Q&A sessions. We do plan to make the workshop accessible to remote participation for non-speakers.<br class=""><br class=""></span></font><div class=""><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• ~09:30 Keynote (TBA)<br class=""></span></font></div><div class=""><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• ~10:30 Accepted talk block 1<br class=""></span></font></div><div class=""><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• ~13:00 Accepted talk block 2<br class=""></span></font></div><div class=""><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• ~16:00 Panel discussion (TBA)<br class=""></span></font></div><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class="">Call for Talks and Papers<br class=""><br class="">Note: details about the process are still subject to change.<br class=""><br class="">Scope of contributions<br class=""><br class="">We are looking to advance the state of the art to program local-first software, that is, programs that are useful to a single user while offline, but allow sharing and collaboration when connected. Examples topics include:<br class=""><br class=""></span></font><div class=""><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• language constructs that enable offline use<br class=""></span></font></div><div class=""><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• case studies that consider what works well and what is challenging using existing languages<br class=""></span></font></div><div class=""><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• UI techniques that consider connectivity states<br class=""></span></font></div><div class=""><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• users, identities, and trust as language constructs<br class=""></span></font></div><div class=""><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• type systems to track what functionality is available offline<br class=""></span></font></div><div class=""><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• easy to use APIs for (new and existing) efficient data synchronization algorithms<br class=""></span></font></div><div class=""><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• dynamic placement techniques that scale down to a single offline device<br class=""></span></font></div><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class="">Types of contribution<br class=""><br class="">We encourage a range of contributions to facilitate exchange between academia and industry. Specifically, we are looking for:<br class=""><br class=""></span></font><div class=""><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• Talk proposals of at most 1 page summarizing:<br class=""></span></font><div class=""><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• the content and scope<br class=""></span></font></div><div class=""><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• the context (speaker, company, research group, larger project, etc.)<br class=""></span></font></div><div class=""><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• include links to further info if available (an existing published paper, prior talks, project websites, etc.)<br class=""></span></font></div></div><div class=""><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• Relevant in progress research papers:<br class=""></span></font><div class=""><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• no format or page limit<br class=""></span></font><div class=""><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• if the paper is longer than 8 pages: include a summary one or two key contributions/sections the reviewers should focus on<br class=""></span></font></div></div><div class=""><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• these will receive reviews by the organizing committee focused on potential improvements<br class=""></span></font></div><div class=""><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• there will be no officially published proceedings, but papers will be listed on the website if the authors agree<br class=""></span></font></div></div><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class="">If accepted, authors of both types of submission are assigned a 25 minute slot for a talk + 5 minutes for questions. In addition, submissions are published on the website.<br class=""><br class="">Timeline and submission<br class=""><br class=""></span></font><div class=""><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• 2022-04-01 Submission closes<br class=""></span></font></div><div class=""><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• 2022-05-01 Notification of accepted papers<br class=""></span></font></div><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class="">Use the submission link at the top of the right sidebar.<br class=""><br class="">For talk proposals, you may either upload a PDF, or put the proposal into the “abstract” field of the submission site.<br class=""><br class="">For in progress papers of more than 8 pages, include the description of what the reviewers should focus on as part of the abstract.<br class=""><br class="">In case will would only attend the workshop in person or only via video conferencing, please indicate this as part of the submission (in the abstract field).<br class=""><br class="">Questions? Use the PLF contact form (<a href="https://2022.ecoop.org/contact2/plf-2022-papers" class="">https://2022.ecoop.org/contact2/plf-2022-papers</a>)</span></font></div><div class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><br class=""></span></div><div class=""><div class="">--------<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span></div><div class=""><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class="">PRIDE 2022: Workshop on Practical Research IDEs</span></font></div><div class="">--------<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span></div><div class=""><font color="#000000" class=""><a href="https://2022.ecoop.org/home/pride-2022" class="">https://2022.ecoop.org/home/pride-2022</a></font></div><div class=""><font color="#000000" class="">Deadline: Friday, 15th of April</font></div><div class="">--------<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span></div></div><div class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><br class=""></span></div><div class=""><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class="">Goal of the Workshop<br class=""><br class="">The goal of this workshop is to help researchers take their research developments and integrate them easily into existing IDE tools. We are seeking participation from researchers who have developed novel analysis technology and would like an easy way to deploy this technology in existing IDE tools. For example, a new, more-precise taint analysis is nice, but it will be potentially much easier to use and to evaluate if it is available in popular IDE’s—e.g. IntelliJ, VisualStudio Code—in editors—e.g. Sublime Text, Atom—and traditional editors used by programmers—e.g. Emacs, Vim.<br class=""><br class="">We welcome researchers who are interested in IDE integration of program analyses to submit talk proposals (see Call for Talks). We will also host a hands-on Panathon session (Call for Participation in Panathon) where participants will be using MagpieBridge to integrate their own program analysis tools. MagpieBridge provides support for accomplishing this: it provides a framework in which a research analysis can be invoked from standard IDE’s. The underlying mechanism makes use of the Language Server Protocol (LSP), but that is completely hidden by a straightforward API that allows analyses to be invoked on source projects from IDE’s and report results that get displayed in idioms natural to each IDE. Such functionality could benefit a wide range of research tools, and so we encourage participation by bringing either your own research analysis or any analysis that you would like to see in a tool.<br class=""><br class="">Preliminary Workshop Program<br class=""><br class="">Date: Tuesday, 7 June 2022<br class=""><br class="">Time<span class="Apple-tab-span" style="white-space: pre;"> </span>Session<br class="">09:00 - 09:15 <span class="Apple-tab-span" style="white-space: pre;"> </span>— Welcome by the organizers<br class="">09:15 - 12:00 <span class="Apple-tab-span" style="white-space: pre;"> </span>— Invited Talks (See Call for Talks)<br class="">13:00 - 14:00 <span class="Apple-tab-span" style="white-space: pre;"> </span>— MagpieBridge Tutorial<br class="">14:00 - 17:00 <span class="Apple-tab-span" style="white-space: pre;"> </span>— Panathon (See Call for Participation in Panathon) <br class="">17:00 - 18:30 <span class="Apple-tab-span" style="white-space: pre;"> </span>— Demonstration and Best IDE Integration Award</span></font></div><div class=""><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class=""><br class="">Questions? Use the PRIDE contact form (<a href="https://2022.ecoop.org/contact2/pride-2022" class="">https://2022.ecoop.org/contact2/pride-2022</a>)</span></font></div><div class=""><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class=""><br class=""></span></font></div><div class=""><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class="">---</span></font></div><div class=""><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class="">Call for Talks</span></font></div><div class=""><font color="#000000" class="">---<br class=""><br class="">We look for talk proposals for the Invited Talks session. We welcome submissions addressing the following topics:<br class=""><br class=""><div style="caret-color: rgb(0, 0, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• Past experience with integrating program analyses into IDEs. E.g, it would describe an integration into an IDE, and discuss how MagpieBridge simplified it. It could contrast MagpieBridge with other integrations, or it could show issues using MagpieBridge and possible improvements,<br class=""><br class=""></div><div style="caret-color: rgb(0, 0, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• Tool demonstration. A tool demonstration should show a running analysis integrated into IDEs, and the talk would focus on how the information is displayed and how the mechanisms are used to show the analysis.<br class=""><br class=""></div><div style="caret-color: rgb(0, 0, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• Report of user experience and expectation. A report of user experience would discuss user studies of IDE integration of program analyses. It should focus on how the integration works, what informations is displayed, how the study was designed and results.<br class=""><br class=""></div><div style="caret-color: rgb(0, 0, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• Explainability of analysis result. Explainability of analysis results would describe novel IDE mechanisms for displaying results, and how that was done. For instance, mechanisms for showing interprocedural data-flow paths.<br class=""><br class=""></div>Authors of accepted proposals will be invited to give a talk (10 - 15 mins + 5 mins Q&A) at the workshop.<br class=""><br class="">How to Submit<br class=""><br class="">All submissions must confirm to the ECOOP 2022 formatting instructions and must not exceed 2 pages for the main text, inclusive of all figures and tables. Reference has no page limit.<br class=""><br class="">The submission is non-blind. Please include your name, e-mail and affiliation in the submission. The proposal should describe: motivation, background about the program analysis tool, lessons learned or features of the IDE integration, looks of the analysis result in IDE, user feedbacks, challenges for future research.<br class=""><br class=""><div style="caret-color: rgb(0, 0, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• Submission deadline: 15. April 2022<br class=""></div><div style="caret-color: rgb(0, 0, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• Submission website: click here<br class=""></div><div style="caret-color: rgb(0, 0, 0);" class=""><span class="Apple-tab-span" style="white-space: pre;"> </span>• Accepted talk proposals will be notified by 1. May 2022</div><div style="caret-color: rgb(0, 0, 0);" class=""><br class=""></div><div style="caret-color: rgb(0, 0, 0);" class="">---</div><div class="">Call for Participation in Panathon<br class="">---<br class=""><br class="">Researchers who want to integrate their program analysis tools into IDEs are welcome to participate in the Panathon session, get cool Swag and win the Best IDE Integration Award with prize money.<br class=""><br class="">Before the Panathon session, participants will be given a tutorial on how to use MagpieBridge for integrating program analysis tools into IDEs. During the Panathon session, participants will be given three hours to build an IDE integration of their analysis tools using MagpieBridge.<br class=""><br class="">Afterwards, each participant will be given 5 minutes to demonstrate an integrated analysis tool. The demonstration will be evaluated by a panel of judges. A winner will be chosen and receive the Best IDE Integration Award. All participants will get cool Swag as a gift from the organizers. For participation, the idea is to create integration, so the ideal analysis will already work on code and produce some kind of result amenable to displaying in an IDE, such as issues or warnings about specific code constructs or variables.<br class=""><br class="">How to participate<br class=""><br class="">Participants first need to register their interests by providing some basic information such as the background of the analysis tool that needs to be integrated into IDEs.<br class=""><br class=""><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• Registration link: click here<br class=""></div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• Registration deadline: 15. April 2022.<br class=""></div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• Selected participants for the Panathonn session will be notified by 1. May 2022.<br class=""></div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• Selected participants come to the workshop and build IDE integration for their analysis tools.<br class=""></div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• A winner will be selected after the demonstration of integrated analysis tools.<br class=""></div>Guidelines<br class=""><br class="">MagpieBridge is designed to be broadly useful, but there are a few guidelines as to what sort of analysis would likely work best. Consult these guidelines to understand whether your analysis would be easy to integrate and whether you could display information as you would like:<br class=""><br class="">1. Ease of use<br class=""><br class=""><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• The MagpieBridge wiki provides documentation and tutorials.<br class=""></div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• MagpieBridge is available on Maven Central. It can be easily added to projects using common build tools such as Maven and Gradle.<br class=""></div>2. Performance and language requirements<br class=""><br class=""><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• MagpieBridge is largely asynchronous with respect to the IDE, so analysis computation time will never block the IDE and results are reported when they are ready. Latency-sensitive features such as hovers can have results computed during analysis, so analysis computation time can be hidden even there. This increases the amount of analysis time that is tolerable compared to on-demand analysis; however, analyses that take excessive amounts of time would not be suitable.<br class=""></div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• MagpieBridge is written in Java, which makes integrating analyses also written in Java simplest. However, the protocol for communicating with analyses is straightforward, and we will support projects communicating with other languages with JNI bindings when appropriate and also with JSON messaging when that is most convenient. As such, the language in which your analysis is written should not be an issue for taking part in the hackathon.<br class=""></div>3. How analysis results can be displayed<br class=""><br class="">MagpieBridge largely supports functionality provided by LSP, with a focus on three features given below, but also provides a mechanism to integrate arbitrary HTML pages including forms and JavaScript. The three focus features are the following:<br class=""><br class=""><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• Diagnostics are the kind of error, warning and informational messages commonly supported in IDE’s. MagpieBridge provides an API for returning these kinds of messages, which then get displayed by the IDE using its usual mechanisms.<br class=""></div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• Hovers are messages that pop up when the mouse hovers over a specific code segment . Note that LSP in most IDE’s integrates its hovers seamlessly with any other hover messages that the IDE generates.<br class=""></div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• Code lenses are comments injected into program buffers by the IDE, typically accentuated by means of different fonts or colors. These lenses can be linked to actions that interact with the analysis.<br class=""></div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• Code actions such as quick fixes, displaying a HTML page which presents more complex information.<br class=""></div>MagpieBridge does not support wholesale changes to the IDE, but, using the HTML integration mechanism, it allows non-trivial views to e.g. configure an analysis or display results. This HTML integration is robust across all IDE’s supported: if an IDE provides such a mechanism (e.g. VS Code), MagpieBridge uses it; otherwise these views would show up in the user’s Web browser.<br class=""><br class="">4. How analysis results can be used<br class=""><br class="">MagpieBridge supports the LSP notion of code actions, in which an analysis provides a code range from the program and the text with which it would like to replace that range. This is the primary mechanism, but it is straightforward to extend it to multiple ranges for a single fix. MagpieBridge supports arbitrary HTML documents, which can be used by an analysis to display more complex information than can be easily rendered in a hover. For example, a detailed description of a security warning could be displayed for a brief error message, a data-flow path could be displayed in a graph-like structure.<br class=""><br class="">We encourage student participants with limited funding to apply for student volunteers at ECOOP.</div><div class=""><br class=""></div></font></div><div class=""><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class=""><br class=""></span></font></div><div class="">--------<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span></div><div class=""><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class="">Truffle 2022: Truffle/GraalVM Languages Workshop</span></font></div><div class="">--------<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span></div><div class=""><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class=""><a href="https://2022.ecoop.org/home/truffle-2022" class="">https://2022.ecoop.org/home/truffle-2022</a></span></font></div><div class=""><span style="color: rgb(0, 0, 0);" class="">Deadline: Saturday, 30th of April</span></div><div class="">--------<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span></div><div class=""><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class="">The Truffle/GraalVM Languages Workshop is intended to bring together researchers and developers from both industry and academia that work with the technologies offered by the Truffle language framework and the GraalVM runtime, as well as those working on related approaches pertaining to specializing dynamic language runtimes and tooling. The workshop is meant to foster the exchange of experiences of working with Truffle, provide introductions to Truffle & GraalVM to developers interested in starting their own projects, present specific implementation aspects of existing languages on Truffle, and discuss limitations and future directions of language implementation frameworks in general and Truffle/GraalVM in particular. The format of the workshop will include both presentations of current research and experiences in dynamic language runtime and tool implementations, as well as tutorial-style presentations of specific aspects of using Truffle and GraalVM. We explicitly encourage presentations of work-in-progress as well as work in the early exploration phases to solicit early feedback from and foster discussion with other experienced language developers.<br class=""><br class="">Questions? Use the Truffle contact form (<a href="https://2022.ecoop.org/contact2/truffle-2022" class="">https://2022.ecoop.org/contact2/truffle-2022</a>)</span></font></div><div class=""><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class=""><br class=""></span></font></div><div class=""><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class="">Call for Participation:<br class=""><br class="">We solicit discussion topic proposals, describing both ongoing and future projects, in the form of extended (1-3 page) abstracts. The discussion topics include but are not limited to the following areas:<br class=""><br class=""><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• Case studies of existing language implementations on Truffle and/or GraalVM.<br class=""></div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• Comparing alternative language implementation techniques to Truffle.<br class=""></div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• Performance analysis and/or optimizations for GraalVM and Truffle language implementations.<br class=""></div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• Tooling support for Truffle languages and GraalVM.<br class=""></div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• Infrastructure-level optimizations and extensions that can benefit languages built with Truffle.<br class=""></div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• Research project proposals utilizing Truffle and/or GraalVM.<br class=""></div>Depending on the number of accepted submissions, we expect topics to cover between 30 minutes and 60 minutes time slots at the workshop. All proposals should be submitted by email to Tim Felgentreff<br class=""><br class=""><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• Deadline for proposal submissions: Apr 30, 2022 (by 11:59 PM AoE)<br class=""></div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• Notification: May 6, 2022<br class=""></div>Although we would like to encourage participants to join the workshop in person, we are planning for a hybrid event due to the continued uncertainties surrounding travel. Please indicate if you plan to attend in person or via video conferencing.</span></font></div><div class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><br class=""></span></div><div class=""><div class="">--------<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span></div><div class=""><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class="">VORTEX 2022: Workshop on Verification and mOnitoring at Runtime EXecution</span></font></div><div class="">--------<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span></div><div class=""><font color="#000000" class=""><a href="https://2022.ecoop.org/home/vortex-2022" class="">https://2022.ecoop.org/home/vortex-2022</a></font></div><div class=""><font color="#000000" class="">Deadline: Monday, 18th of April</font></div><div class="">--------<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span></div></div><div class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><br class=""></span></div><div class=""><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class="">Runtime Monitoring (RM) is concerned with the runtime analysis of software and hardware system executions in order to infer properties relating to system behaviour. Example applications include telemetry, log aggregation, threshold alerting, performance monitoring and adherence to correctness properties (more commonly referred to as runtime verification). RM has gained popularity as a solution to ensure software reliability, bridging the gap between formal verification and testing: on the one hand, the notion of event trace abstracts over system executions, thus favoring system agnosticism to better support reuse and interoperability; on the other hand, monitoring a system offers more opportunities for addressing error recovery, self-adaptation, and issues that go beyond software reliability. The goal of VORTEX is to bring together researchers contributing on all aspects of RM covering and possibly integrating both theoretical and practical aspects, with particular focus on hybrid approaches inspired by formal methods, program analysis, testing.<br class=""><br class="">Call for Papers<br class=""><br class="">Submissions are expected to be in English and to belong to one of the following two categories:<br class=""><br class=""></span></font><div class=""><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• regular paper, page limit 8 in acmart style: unpublished self-contained work<br class=""></span></font></div><div class=""><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• extended abstract, page limit 4 in acmart style: original contribution, not yet fully developed<br class=""></span></font></div><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class="">Topics of interest include, but are not limited to, the following ones:<br class=""><br class=""></span></font><div class=""><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• monitor construction and synthesis techniques<br class=""></span></font></div><div class=""><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• program adaptation<br class=""></span></font></div><div class=""><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• monitoring oriented programming<br class=""></span></font></div><div class=""><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• runtime enforcement, fault detection, recovery and repair<br class=""></span></font></div><div class=""><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• combination of static and dynamic analyses<br class=""></span></font></div><div class=""><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• specification formalisms for RM<br class=""></span></font></div><div class=""><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• specification mining<br class=""></span></font></div><div class=""><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• monitoring concurrent/distributed systems<br class=""></span></font></div><div class=""><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• RM for safety and security<br class=""></span></font></div><div class=""><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• RM for the Internet of Things<br class=""></span></font></div><div class=""><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• industrial applications<br class=""></span></font></div><div class=""><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• integrating RM, formal verification, and testing<br class=""></span></font></div><div class=""><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• tool development<br class=""></span></font></div><div class=""><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• instrumentation techniques for RM<br class=""></span></font></div><div class=""><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• surveys on different RM tools, formal frameworks or methodologies<br class=""></span></font></div><div class=""><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• presentations of RM tools<br class=""></span></font></div><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class="">Papers must be submitted electronically via EasyChair; the submission deadline is April 18 AoE. Authors should use the official ACM Master article template, which can be obtained from the ACM Proceedings Template pages.<br class=""><br class="">Latex users should use the sigconf option, as well as review to produce line numbers for easy reference by the reviewers, as indicated by the following command:<br class=""><br class=""></span></font><div class=""><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class="">\documentclass[sigconf,review]{acmart}</span></font></div><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class=""><br class="Apple-interchange-newline">Proceedings<br class=""><br class="">Depending on the quality and number of submissions, the workshop proceedings will be published in the ACM DL, and authors of selected papers will be invited to contribute with extended versions to be included in a special issue of the Journal of Object Technology (JOT)<br class=""><br class="">Questions? Use the VORTEX contact form (<a href="https://2022.ecoop.org/contact2/vortex-2022" class="">https://2022.ecoop.org/contact2/vortex-2022</a>)</span></font></div><div class=""><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class=""><br class=""></span></font></div><div class=""><div class="">--------<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">--------</span></div></div><div class=""><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><br class=""></span></div><div class=""><span class=""><div class="">Carolin Brandt<br class=""><br class="">PhD Student // she/her // 🇬🇧 🇩🇪 🇳🇱<br class="">TU Delft // EEMCS // Software Engineering Research Group // TestShift Project<br class="">E <a href="mailto:c.e.brandt@tudelft.nl" class="">c.e.brandt@tudelft.nl</a> // T <a href="https://twitter.com/laci_noire" class="">https://twitter.com/laci_noire</a> // W <a href="https://carolin-brandt.de/" class="">https://carolin-brandt.de/</a><br class=""></div></span>
<br class=""></div></div></div></body></html>