From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTP id EEDC45D4 for ; Fri, 10 May 2019 11:15:31 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.60,453,1549926000"; d="scan'208";a="382565416" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 10 May 2019 13:15:28 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 5F000826CF; Fri, 10 May 2019 13:15:28 +0200 (CEST) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id AE29282674 for ; Fri, 10 May 2019 13:13:46 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=aggelos.biboudis@epfl.ch; spf=Pass smtp.mailfrom=aggelos.biboudis@epfl.ch; spf=None smtp.helo=postmaster@smtp4.epfl.ch IronPort-PHdr: =?us-ascii?q?9a23=3Ah1tGdx9HPlzRef9uRHKM819IXTAuvvDOBiVQ1KB4?= =?us-ascii?q?2u8cTK2v8tzYMVDF4r011RmVBNydu6IP0LqempujcFRI2YyGvnEGfc4EfD4+ou?= =?us-ascii?q?JSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgpp?= =?us-ascii?q?POT1HZPZg9iq2+yo9JDffhhEiCC+bL5xIxm7owbcvdQKjIV/Lao81gHHqWZSde?= =?us-ascii?q?RMwmNoK1OTnxLi6cq14ZVu7Sdete8/+sBZSan1cLg2QrJeDDQ9LmA6/9brugXZ?= =?us-ascii?q?TQuO/XQTTGMbmQdVDgff7RH6WpDxsjbmtud4xSKXM9H6QawyVD+/6apgVR3mhz?= =?us-ascii?q?odNzMh/27ZisJ+gqFGrhy/uxNxzJXZYJ2MNPdkYq/RYc8WSGhHU81MVyJBGIS8?= =?us-ascii?q?b44XAucdMuZYoJfyp18JrRulGAKhGeLvxSRPhn/rwKI60v8hGhzB0QM6ENIOv2?= =?us-ascii?q?rbrNHyNKcJS+y616jIwi7Eb/NLxDj96ZPIfws/rvGUU7JwddDdxlUvFw7ciFib?= =?us-ascii?q?tILrPzSQ1usXsmib6fJtVfm3i24jsQ5xuTivydsrionPnI4VzUrE9Sp/zY0oJt?= =?us-ascii?q?O4UFZ2bcO6HJZTrS2WKol7T8A4T212pio3xacKtYCmcCUO0Jgr2QLTZvidf4WL?= =?us-ascii?q?4h/vTvidLSpkiH5/d7+yiRC/+lW6xOLmTMm7ylNKozJFktbSsnAN0ATe6tOCSv?= =?us-ascii?q?th5kes1iyD2B7L6uFKJUA4j7bUK545zr4xkJocr1jDEzfrlEnoj6KabFgo9+qr?= =?us-ascii?q?5uj9fLnquJCRO5Vqhg3jNqkigsm/Dv45MggKUWib4+O81Lj78ELjT7VKgeM5kq?= =?us-ascii?q?3esJDBP8gUva+5DBRS0oY+9hm/Diym3c8GknkfIlJFfAiLgJTpO13WOvD3Ee+/?= =?us-ascii?q?g0iwkDds3/3JIqfuApDJLnTalLfhfK1961JHxQoozdFf4opUBasbLPLyXE/xrt?= =?us-ascii?q?3YAQUjPwy62ea0QOl6g4gXXGbKBq6CLIvTt0WJ76QhObqifogQ7R/yJPUh4OWm?= =?us-ascii?q?p34znkIRfLLhiZIYZ328Ge8gKUSTZmfgg8wpHH8Eukw1TLq52xW5TTdPaiPqDO?= =?us-ascii?q?oH7TYhBdf+VNuRdsWWmLWEmRyDMNhOfGkXWF2UH3OufIXWA65ROhLXGddol3k/?= =?us-ascii?q?bZbkS4Il0kjz5hT/16I7aOfM9ClevpKxjIEktd2Wrgk78HlPN+rY1miMS29umW?= =?us-ascii?q?ZZFTIu0qQ5qkwvk1o=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DVMgBkXNVch9vgsoBkGgEBAQEBHwIBA?= =?us-ascii?q?QEBAwEBAQGBToEoOAWBE1IyhDmTEoMLggoBl0UJAQMBDCMMAQGBS4UCGwcBBDQ?= =?us-ascii?q?TAQMBAQQBAQIBAQMBEwEBAQoLCQgpIwyCOiKDEgZFBQcrDwImAiQSAQUBPQwFA?= =?us-ascii?q?oI8SwGCCg+eJIMfPIsdgS+EMgEDBYQugUAGgQslAgEBAQEBAYtJgVc/gRGCXYF?= =?us-ascii?q?3AYZJglgEixoED5s+ZQcCgS9cVQSFRow6G5VpkwWOSA8hgUWBeE1SITEGgjaBF?= =?us-ascii?q?oEQAoEKAQGHXYVBPZETAQE?= X-IPAS-Result: =?us-ascii?q?A0DVMgBkXNVch9vgsoBkGgEBAQEBHwIBAQEBAwEBAQGBToE?= =?us-ascii?q?oOAWBE1IyhDmTEoMLggoBl0UJAQMBDCMMAQGBS4UCGwcBBDQTAQMBAQQBAQIBA?= =?us-ascii?q?QMBEwEBAQoLCQgpIwyCOiKDEgZFBQcrDwImAiQSAQUBPQwFAoI8SwGCCg+eJIM?= =?us-ascii?q?fPIsdgS+EMgEDBYQugUAGgQslAgEBAQEBAYtJgVc/gRGCXYF3AYZJglgEixoED?= =?us-ascii?q?5s+ZQcCgS9cVQSFRow6G5VpkwWOSA8hgUWBeE1SITEGgjaBFoEQAoEKAQGHXYV?= =?us-ascii?q?BPZETAQE?= X-IronPort-AV: E=Sophos;i="5.60,453,1549926000"; d="scan'208";a="382565156" X-MGA-submission: =?us-ascii?q?MDHIDoA82RuKaxqgNOzmCNVx0+lrdL6AXtBohf?= =?us-ascii?q?WZVWzMxuT8F94VIo4sAAs0211JE6XchRnFoqCsnN8ZtMgAcwB3v5VL0W?= =?us-ascii?q?iFynvEt0dwpnG2GF+uK5ItyLhi4r6E3c9YUtUEfmrogg6B6/i1S+WB4W?= =?us-ascii?q?ZZn4PwK8eaZAT3HXBrkmIO2A=3D=3D?= Received: from smtp4.epfl.ch ([128.178.224.219]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 10 May 2019 13:13:45 +0200 Received: (qmail 34330 invoked by uid 107); 10 May 2019 11:13:44 -0000 Received: from mail-ot1-f43.google.com (HELO mail-ot1-f43.google.com) (209.85.210.43) (TLS, ECDHE-RSA-AES256-GCM-SHA384 (X25519 curve) cipher) (authenticated) by mail.epfl.ch (AngelmatoPhylax SMTP proxy) with ESMTPSA; Fri, 10 May 2019 13:13:44 +0200 X-EPFL-Auth: GDZ/Ni3pBrOlW+X1ajCmDeTWZ0XCDTPGzINK9ZF1OfPQ/x2dMZY= Received: by mail-ot1-f43.google.com with SMTP id g24so667590otq.2 for ; Fri, 10 May 2019 04:13:44 -0700 (PDT) X-Gm-Message-State: APjAAAVbiGL2qKaIZsAjV++qXEG9uL+/+caAOOdlcQUmZS9VXDFTOteN YuKK+XKhfu/ECpRt892DbsYtjtq0Y9PbYbOJjwA= X-Google-Smtp-Source: APXvYqwqrtgN0yZznvbY8I05kepBbnbB2nfElzqfKWi/oQK0odx8vRuev6nREGn7645hw9d91CxqIRqtV2K41yQIi0E= X-Received: by 2002:a9d:6411:: with SMTP id h17mr6560960otl.290.1557486823706; Fri, 10 May 2019 04:13:43 -0700 (PDT) MIME-Version: 1.0 From: Aggelos Biboudis Date: Fri, 10 May 2019 13:13:33 +0200 X-Gmail-Original-Message-ID: Message-ID: To: caml-list@inria.fr Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Validation-by: aggelos.biboudis@epfl.ch Subject: [Caml-list] SPLASH 2019 Combined Call for Workshop Submissions Reply-To: Aggelos Biboudis X-Loop: caml-list@inria.fr X-Sequence: 17543 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: SPLASH 2019 Combined Call for Workshop Submissions =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Following its long-standing tradition, SPLASH will host a variety of worksh= ops, allowing their participants to meet and discuss research questions with pee= rs, to mature new and exciting ideas, and to build up communities and start new collaborations. SPLASH workshops complement the main tracks of the conferen= ce and provide meetings in a smaller and more specialized setting. The followi= ng workshops will be co-located with SPLASH 2019. * AGERE (Actors, Agents, and Decentralized Control) * AI-SEPS (AI-Inspired and Empirical Methods for Software Engineering on Parallel Computing Systems) * DSM (Domain-Specific Modeling) * IC (Incremental Computing) * LIVE (Live Programming) * META (Metaprogramming) * NJR (Normalized Java Resource) * REBLS (Reactive and Event-based Languages & Systems) * STOKED (Spatio-Temporal platforms for Observations and Knowledge of Eart= h Data) * VMIL (Virtual Machines and Intermediate Languages) *The submission deadline for all workshops is Fri 2 Aug 2019 (AoE).* AGERE (Actors, Agents, and Decentralized Control) ------------------------------------------------- Call: https://2019.splashcon.org/home/agere-2019 The AGERE! workshop focuses on programming systems, languages, and applicat= ions based on actors, active/concurrent objects, agents, and -- more generally -= - on high-level programming paradigms which promote decentralized control in sol= ving problems and developing software. AGERE covers both the theory and the prac= tice of design and programming, bringing together researchers working on models, languages and technologies, and practitioners developing real-world systems= and applications. AI-SEPS (AI-Inspired and Empirical Methods for SE on Parallel Computing Sys= tems) ---------------------------------------------------------------------------= ----- Call: https://2019.splashcon.org/home/seps-2019 The AI-SEPS workshop provides a stable forum for researchers and practition= ers addressing the challenges and issues of the software development life cycle= on modern parallel platforms and HPC systems. Emerging artificial intelligence technologies are promising approaches to tackle these issues, as well as approaches that use traditional empirical and experimental methods. The workshop title reflects a change from the previous editions, with emphasis placed on the trend of AI-inspired software engineering techniques for performance. We aim to advance the state of the art in all aspects of techniques on software engineering and parallel computing systems such as requirements engineering and software specification; design and implementat= ion; program analysis; performance analysis, profiling and tuning; testing and debugging. DSM (Domain-Specific Modeling) ------------------------------ Call: https://2019.splashcon.org/home/dsm-2019 Domain-Specific Modeling (DSM) languages provide a viable and time-tested solution for continuing to raise the level of abstraction, and thus productivity, beyond coding, making systems and software development faster= and easier. In DSM, the models are constructed using concepts that represent th= ings in the application domain, not concepts of a given programming language. Th= e modeling language follows the domain abstractions and semantics, allowing developers to perceive themselves as working directly with domain concepts. Some possible topics for submission to the workshop include: experience reports, creation of metamodel-based languages, novel approaches for code generation from domain-specific models, language evolution, metamodeling frameworks and languages, and tool support for DSMs. IC (Incremental Computing) ----------------------------- Call: https://2019.splashcon.org/home/ic-2019 The second Workshop on Incremental Computing (IC) will provide a space wher= e PL enthusiasts and researchers can discuss incremental computing problems and solutions. A good talk at IC probably consists of one or more of the follow= ing: explain an existing language or framework for incremental computing; outlin= e an incremental computing domain in detail, highlighting challenges; outline a = new incremental computing problem, or problem domain; or, propose a new languag= e or framework for incremental computing. This list is not exhaustive, but merel= y suggestive. LIVE (Live Programming) ----------------------- Call: https://2019.splashcon.org/home/live-2019 The LIVE workshop invites submissions of ideas for improving programming vi= a liveness. Live programming gives the programmer immediate feedback on the behavior of a program as it is edited, replacing the edit-compile-debug cyc= le with a fluid programming experience. The most commonly used live programmin= g environment is the spreadsheet, but there are many others. The study of liv= e programming is now a [re-]established area of research. This year we would = like to reflect on what has been achieved, what has been learnt, and what remain= s to be done, growing up from a nascent community into a discipline that can bui= ld on previous work. We especially welcome reflection upon prior work, includi= ng proposals to integrate, generalize, or theoretically frame them. We will do this whilst maintaining the shared spirit of LIVE, encouraging a focus on t= he human experience of programming. The LIVE workshop is a forum for early-sta= ge work to receive constructive criticism. We accept short papers, web essays = with embedded videos, and demo videos. META (Metaprogramming) ---------------------- Call: https://2019.splashcon.org/home/meta-2019 The changing hardware and software landscape along with the increased heterogeneity of systems make metaprogramming once more an important resear= ch topic to handle the associated complexity. This workshop aims to bring toge= ther researchers working on metaprogramming and reflection, as well as users building applications, language extensions, or software tools using them. The challenges which metaprogramming faces are manifold. They start with fo= rmal reasoning about reflective programs, continue with performance and tooling,= and reach into the empirical field to understand how metaprogramming is used an= d how it affects software maintainability. While industry accepted metaprogramming on a wide scale with Ruby, Scala, JavaScript and others, academia still needs to bring it to the same level of convenience, tooling,= and understanding as for direct programming styles. Contributions to the workshop are welcome on a wide range of topics related= to the design, implementation, and application of metaprogramming techniques, = as well as formal methods and empirical studies for such systems and languages= . NJR (Normalized Java Resource) ------------------------------ Call: https://2019.splashcon.org/home/njr-2019 Software researchers increasingly take advantage of large software reposito= ries when they design new tools. How do we make such repositories maximally usef= ul for research? In particular, how do we make them more searchable, make interaction scriptable, and ensure that we can run both static and dynamic analyses? Additionally, how do we make the results from tools reproducible,= how do we label programs with ground truth, and how do we measure whether a repository is representative of real-world applications? NJR 2019 will be t= he third workshop in a series that addresses these questions. The goal is for researchers in academia and industry to share new ideas, demonstrate recent tools, and discuss directions for research and development. REBLS (Reactive and Event-based Languages and Systems) ------------------------------------------------------ Call: https://2019.splashcon.org/home/rebls-2019 Reactive programming and event-based programming are two closely related programming styles that are becoming ever more important with the advent of advanced HPC technology and the ever increasing requirement for our applications to run on the web or on collaborating mobile devices. A number= of publications on middleware and language design -- so-called reactive and event-based languages and systems (REBLS) -- have already seen the light, b= ut the field still raises several questions. For example, the interaction with mainstream language concepts is poorly understood, implementation technolog= y is in its infancy and modularity mechanisms are almost totally lacking. Moreov= er, large applications are still to be developed and patterns and tools for developing reactive applications is an area that is vastly unexplored. This workshop will gather researchers in reactive and event-based languages and systems. The goal of the workshop is to exchange new technical research res= ults and to define better the field by coming up with taxonomies and overviews o= f the existing work. STOKED (Spatio-Temporal platforms for Observations and Knowledge of Earth D= ata) ---------------------------------------------------------------------------= ---- Call: https://2019.splashcon.org/home/stoked-2019 Global coverage and temporal resolutions of earth observation imagery data = is increasing at an unprecedented rate, generating trillions of new pixels of = data daily. The challenge with this "big data" is finding practical ways to extr= act knowledge and deliver it to end users at scale, both due to the complex nat= ure and the sheer volume of information. Detailed, standardized geographic information is required to enable a new e= ra of spatial temporal analytics=E2=80=94enabling insights to understand, moni= tor, and manage the earth=E2=80=99s resources in a sustainable manner. This can be a= ccomplished through massive aggregation of data from remote sensors coupled with novel approaches to preparing, analyzing, and interacting with data. Modern spatio-temporal platforms will soon be using 3D visual interactive m= aps with close to real-time deep learning algorithms. In addition to system infrastructure and UI/UX challenges, we also need to address the normalizat= ion problems of data, particularly with data generated from multiple sensors. U= se cases in climate change and emergency response in "extreme events" would se= e immediate benefit from this kind of platform. STOKED will provide an opportunity for researchers and stakeholders from th= is broad spectrum of applications and domains to start to design future platfo= rms from an interdisciplinary perspective. VMIL (Virtual Machines and Intermediate Languages) -------------------------------------------------- Call: https://2019.splashcon.org/home/vmil-2019 The concept of Virtual Machines is pervasive in the design and implementati= on of programming systems. Virtual Machines and the languages they implement a= re crucial in the specification, implementation and/or user-facing deployment = of most programming technologies. The VMIL workshop is a forum for researchers= and cutting-edge practitioners in language virtual machines, the intermediate languages they use, and related issues.