[Haskell] SPLASH 2018: Combined Call for Workshop Submissions

[SPLASH Publicity]

SPLASH 2018  Combined Call for Workshop Submissions
===================================================

Following its long-standing tradition, SPLASH 2018 will host a variety of
high-quality workshops, allowing their participants to meet and discuss
research questions with peers, to mature new and exciting ideas, and to build
up communities and start new collaborations. SPLASH workshops complement the
main tracks of the conference and provide meetings in a smaller and more
specialized setting. Workshops cultivate new ideas and concepts for the future,
optionally recorded in formal proceedings.

The paper submission deadline for all workshops in Aug 17 2018 AoE.

The following workshops are co-located with SPLASH 2018.

AGERE! - Programming based on Actors, Agents, and Decentralized Control
-----------------------------------------------------------------------

https://2018.splashcon.org/track/agere-2018-papers

The AGERE! workshop focuses on programming systems, languages and applications
based on actors, active/concurrent objects, agents and–more generally–on
high-level programming paradigms promoting a mindset of decentralized control
in solving problems and developing software. The workshop is intended to cover
both the theory and the practice of design and programming, bringing together
researchers working on models, languages and technologies, with practitioners
developing real-world systems and applications.


AI-SEPS - AI and Empirical Methods for Software Engineering and
Parallel Computing Systems
------------------------------------------------------------------------------------------

https://2018.splashcon.org/track/seps-2018-papers

The goal of the workshop is to present a stimulating environment where ideas,
experiences and topics relevant to parallel software engineering and software
analytics can be shared/exchanged among researchers and practitioners in the
fields of systems, programming, languages and software. The intention of the
workshop is to initiate collaborations focused on solving challenges introduced
by ongoing research in these topics. Through Q&A sessions, presenters have the
opportunity to receive feedback and opinions of other domain experts as well as
to discuss obstacles and promising approaches in current research. Both authors
and attendees can discover new ideas and new directions for parallel
programming research.

BLOCKS+
-------

https://2018.splashcon.org/track/blocks%2B-2018-papers

Blocks programming, in which program syntax trees are represented as visual
blocks, is popular in programming environments targeted at beginner programmers
and casual programmers (artists, scientists, hobbyists, etc.-for word count,
get rid of the parenthetical). The goal of this workshop is to bring together
language designers, educators, and researchers to (1) discuss the state of the
art of these environments, (2) assess the usability and effectiveness of these
environments and their associated pedagogies, and (3) brainstorm about future
directions. This workshop will not be a mini-conference. The focus will instead
be on engaging participants in discussions. There will be three kinds of
sessions:

DSLDI - Domain-Specific Language Design and Implementation
----------------------------------------------------------

https://2018.splashcon.org/track/dsldi-2018-talks

Well-designed and implemented domain-specific languages (DSLs) can achieve both
usability and performance benefits over general-purpose programming languages.
By raising the level of abstraction and exploiting domain knowledge, DSLs can
make programming more accessible, increase programmer productivity, and support
domain-specific optimizations.

The goal of the DSLDI workshop is to bring together researchers and
practitioners interested in sharing ideas on how DSLs should be designed,
implemented, supported by tools, and applied in realistic application contexts.
We encourage talks on any aspect of this process, from soliciting domain
knowledge from experts, through the design and implementation of the language,
to evaluating whether and how a DSL is successful.

GRACE
-----
https://2018.splashcon.org/track/grace-2018-papers

The Grace Object-Oriented Educational Programming Language design project was
started at ECOOP 2010 in Slovenia, with the goal of designing a new OO language
for teaching and research. Since then, the language design has progressed to
the point where Grace has been used for teaching at two universities for a
total of 10 courses, and has been the foundation for at least two PhD theses.
There are also at least 5 implementations in various stages of completion,
including an executable semantic definition.

This workshop will allow those with experience using or implementing Grace to
share these experiences with the community. The workshop will also provide a
forum in which the Grace project can receive feedback on the current design and
implementation, and to plan for the future.

HILT - High Integrity Language Technology for Cybersecurity in
Real-Time and Safety-Critical Systems
----------------------------------------------------------------------------------------------------

https://2018.splashcon.org/track/hilt-2018-papers

This is the fifth in the HILT series of conferences and workshops focused on
the use of High Integrity Language Technology to address challenging issues in
the engineering of software-intensive critical systems. HILT 2018 will focus on
addressing cybersecurity and cyber-resilience issues that arise in real-time,
embedded, and/or safety-critical systems. Submissions are encouraged describing
theoretical and practical efforts related to the use of safe languages, formal
methods, model-based development, and advanced static analysis to identify and
mitigate cybersecurity vulnerabilities in software-intensive systems. The
workshop will bring together academic, industrial, and government researchers
and practitioners focused on the use of these advanced language technology and
tools, with a particular focus on addressing the growing cybersecurity threats.

LIVE
----

https://2018.splashcon.org/track/live-2018-papers

The LIVE Programming Workshop invites submissions of new ideas for improving
the immediacy, usability, and learnability of programming. Live programming
gives the programmer immediate feedback on the behavior of a program as it is
edited, replacing the edit compile-debug cycle with a fluid programming
experience. The best-known example of live programming is the spreadsheet. The
LIVE workshop is a forum for research on live programming as well as work on
fundamentally improving the usability of programming, whether through language
design or assistive environments and tools. This year we are reaching out to
the CS Education community to include ideas on making programming more
learnable and teachable.

META - Meta-Programming Techniques and Reflection
-------------------------------------------------

https://2018.splashcon.org/track/meta-2018

The Meta’18 workshop aims to bring together researchers working on
metaprogramming and reflection, as well as users building applications,
language extensions, or software tools using them. The changing hardware and
software landscape, and the increased heterogeneity of systems make
metaprogramming once more an important research topic to handle the associate
complexity.

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 empirical studies on typing models for such systems and languages

NJR - Normalized Java Resource
------------------------------

https://2018.splashcon.org/track/njr-2018-papers

We are working on creating a Normalized Java Resource (NJR) that will speed up
innovation in the area of software tools. Those tools include security
enhancers, bug finders, and code synthesizers, all of which can benefit greatly
from access to Big Code. Our vision is a diverse collection of 100,000
normalized Java projects that is executable, scriptable, and searchable. The
Java projects stem from the Sourcerer collection and we normalize their
representation to enable large-scale processing with reproducible results. Such
processing includes execution, static and dynamic analysis, scriptable
interaction, and search for projects with specific dynamic characteristics. For
each search of the collection, NJR returns both a file with Java projects and a
container for a cloud service such as Amazon EC2. Thus, a researcher can run
tools on those projects both locally and on a cloud service. Researchers will
be both beneficiaries and contributors to NJR. They benefit from searching for
Java projects that fit their need, and once their tools run on NJR, they
contribute to an ever-increasing collection of measurements. Notice the
powerful network effect: the more people run tools on NJR, the more data we get
for search, and the more data we get for search, the more people will want to
search and run on NJR.

NOOL - New Object-Oriented Languages
------------------------------------

https://2018.splashcon.org/track/nool-2018-papers

The NOOL workshop series is a platform for discussing new research, novel ideas
and experimental designs in object-oriented languages and systems. Previous
NOOLs (2017–2015) have included talks on a variety of topics, such as novel
languages and language features, type systems, OO fundamentals, tools and
environments, as well as discussions on language security.

NOOL is discussion-oriented, rather than publication-oriented, and
presentations will be selected with an aim of fostering interesting
discussions. Work-in-progress submissions, provocative ideas that may not be
ready for formal publications, and work adapting old ideas to new purposes are
welcome. See the CfP for submission details.

OCAP - Object-Capability Languages, Systems, and Applications
-------------------------------------------------------------

https://2018.splashcon.org/track/ocap-2018-papers

The OCAP workshop seeks to bring together those interested in capability
languages, systems, and applications. Object-capabilities offer a distinct
approach to building robust, distributed systems that pose many interesting
research and practical challenges. The workshop is designed to explore the
latest developments in the theory and practice of the object-capability
approach, and provide a forum for knowledge exchange and collaboration.
Researchers working on object-capability and related methods, models,
languages, and tools, as well as practitioners developing real-world systems
and applications are welcome.

PLATEAU - Evaluation and Usability of Programming Languages and Tools
---------------------------------------------------------------------

https://2018.splashcon.org/track/plateau-2018-papers

Programming languages exist to enable programmers to develop software
effectively. But programmer efficiency depends on the usability of the
languages and tools with which they develop software. The aim of this workshop
is to discuss methods, metrics and techniques for evaluating the usability of
languages and language tools. The supposed benefits of such languages and tools
cover a large space, including making programs easier to read, write, and
maintain; allowing programmers to write more flexible and powerful programs;
and restricting programs to make them more safe and secure.

PLATEAU gathers the intersection of researchers in the programming language,
programming tool, and human-computer interaction communities to share their
research and discuss the future of evaluation and usability of programming
languages and tools.

REBLS - Reactive and Event-based Languages & Systems
----------------------------------------------------

https://2018.splashcon.org/track/rebls-2018-papers

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, but
the field still raises several questions. For example, the interaction with
mainstream language concepts is poorly understood, implementation technology is
in its infancy and modularity mechanisms are almost totally lacking. Moreover,
large applications are still to be developed and patterns and tools for
developing reactive applications is an area that is vastly unexplored.

SLEBoK - Software Language Engineering Body of Knowledge
--------------------------------------------------------

https://2018.splashcon.org/track/slebok-2018

The field of software language engineering (SLE) has emerged based on a strong
motivation to connect and integrate different research disciplines such as
compiler construction, reverse engineering, software transformation,
model-driven engineering, and ontologies. SLE is defined as the application of
systematic, disciplined, and measurable approaches to the development,
deployment, use, and maintenance of software languages.

The Software Language Engineering Body of Knowledge (SLEBoK) is a
community-wide effort to provide a unique and comprehensive description of the
concepts, tools and methods developed by the SLE community. It features
artifacts, definitions, methods, techniques, best practices, open challenges,
case studies, teaching material, and other components that would help students,
researchers, teachers, and practitioners to learn from, to better leverage, to
better contribute to, and to better disseminate the intellectual contributions
and practical tools and techniques coming from the SLE field.

TURBO - Tutorial on Language Runtimes Built With Eclipse OMR
------------------------------------------------------------

https://2018.splashcon.org/track/turbo-2018-tutorial

As software demands evolve and grow, new programming languages emerge and rise
to popularity. However, supporting more advanced language runtime features such
as just-in-time (JIT) compilation and garbage collection (GC) for a new
language is no easy feat. Writing your own full-featured JIT and GC usually
requires reading profusely on the subjects and implementing everything from
scratch over a long period of time, or poring over hundreds of thousands of
lines of code. The open-source Eclipse OMR runtime toolkit is striving to make
this process much simpler for language runtime developers and researchers.

This workshop will introduce the Eclipse OMR framework, present ongoing
research projects leveraging OMR technologies, deliver a hands-on tutorial
using an educational virtual machine (VM) called base9 to demonstrate how OMR
components can easily be integrated into an existing runtime, and conclude with
a discussion on the needs and challenges facing language runtimes development
and research communities.

VMIL - Virtual Machines and Language Implementations
----------------------------------------------------

https://2018.splashcon.org/track/vmil-2018

The concept of virtual machines is pervasive in the design and implementation
of programming systems. Virtual machines and the languages they implement are
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.