[Haskell] SPLASH 2017: 1st Combined Call for Workshop Contributions

[SPLASH Publicity]

/***************************************************************************/

ACM SIGPLAN Conference on Systems, Programming, Languages, and
Applications: Software for Humanity (SPLASH'17)

Vancouver, British Columbia, Canada
Sunday 22nd October - Friday 27th October, 2017

http://2017.splashcon.org

Sponsored by ACM SIGPLAN

/***************************************************************************/

FIRST COMBINED CALL FOR WORKSHOP CONTRIBUTIONS:

SPLASH'17 will host the following 19 workshops:

AGERE! - Programming based on Actors, Agents, and Decentralized Control
CHESE - Coding and Human aspects of Educational Software Engineering
CoCoS - Comprehension of Complex Systems
DSLDI - Domain-Specific Languages Design and Implementation
Escaped - Escaped from the Lab
FOSD - Feature Oriented Software Development
NJR - National Java Resource
LIVE - Live Programming
Meta! - Meta-Programming Techniques and Reflection
NOOL - New Object-Oriented Languages
OCAP - Object-Capability Languages, Systems, and Applications
PLATEAU - Evaluation and Usability of Programming Languages and Tools
PX/17.2 - Programming Experience
PARSING - Parsing @ SLE
REBLS - Reactive and Event-based Languages & Systems
SAVR - Software for Augmented and Virtual Reality
SEPS - Software Engineering for Parallel Systems
VMIL - Virtual Machines and Intermediate Languages
WODA - Workshop on Dynamic Analysis

/***************************************************************************/

## AGERE! 2017 - The 7th International Workshop on Programming based
   on Actors, Agents, and Decentralized Control

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

Web: http://2017.splashcon.org/track/agere-2017
Submission: August 7, 2017


## CHESE 2017 - The 3rd International Workshop on Coding and Human
   aspects of Educational Software Engineering

Two of the backbones of software engineering are programming and
testing. Both of these require many hours of practice to acquire
mastery. To encourage students to put in these hours of practice,
educators often employ the element of tools and games. The 3rd
International CHESE 2017 (Coding and Human aspects of Educational
Software Engineering) focuses on technologies that assist in the
education process of software engineering, specifically coding and
testing. We look at how the technologies are built, how they are
evaluated, and how communities can be built around their use. Some of
topics that we are interested in are the relationship between testing
and gaming, analysis and visualization of student data, the challenges
of sharing and re-using such data, and the influence of different
programming languages. The aim of the workshop is not only to act as a
forum for the exchange of ideas, but also as a vehicle to stimulate,
deepen, and widen partnership between the software engineering and
education fields on an international scale.

Web: http://2017.splashcon.org/track/chese-2017
Submission: August 1, 2017


## CoCoS 2017 - Workshop on Comprehension of Complex Systems

The sheer complexity and emergent behaviors of large scale systems
make it impossible for people to completely understand them without
the aid of specific tools. This is especially the case as systems are
increasingly developed using advanced composition technologies such as
aspect-orientation and dynamic script languages. Those modularity
technologies enable the creation and application of powerful
abstractions, which yields significant benefits in terms of reuse and
separation of concerns. But those same abstractions, in languages,
middleware, and models, also hide important system properties.

This compounds the problem of comprehending run-time behavior in terms
of original design concepts that have been abstracted away (for
example debugging AO programs, or diagnosing violations of performance
service-level agreements). Wider adoption of advanced modularity
technologies depends on tools to assist developers in understanding
the run-time behavior of complex composed systems. This workshop aims
to create a dialog on the problem of program comprehension and its
relation to modularity in this wider context.

Web: http://2017.splashcon.org/track/cocos-2017
Submission: August 20, 2017


## DSLDI 2017 - The 5th International Workshop on Domain-Specific
   Language Design and Implementation

Domain-Specific Language Design and Implementation (DSLDI) is a
workshop intended to bring together researchers and practitioners
interested in discussing how DSLs should be designed, implemented,
supported by tools, and applied in realistic contexts. The focus of
the workshop is on all aspects 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. More
generally, we are interested in continuing to build a community that
can drive forward the development of modern DSLs.

Web: http://2017.splashcon.org/track/dsldi-2017
Submission: August 7, 2017


## Escaped 2017 - Escaped from the Lab Workshop

What are some of the practices for taking new ideas and converting
them into products?

Even large organizations have a difficult time sustaining the
innovation process. The all-to-common story: One part of the
organization over-commits (promises the earth, moon, and stars), and
another part of the organization is forced to deliver. The extravagant
promise of the Powerpoint presentation is converted into the trail of
tears of the Gantt chart. The grandiose project was originally
supposed to be feasible. There were some small technology trials that
proved out the basic ideas for low-volume transaction rates and
simplified user interfaces. The product was supposed to be delivered
in record time because of high rates of software reuse. So what went
wrong?

This workshop will explore the intersection of modern software
technology and tools, high reliability and performance requirements,
large organizations, and conflicts in the software development
process.

Web: http://2017.splashcon.org/track/escaped-2017
Submission: September 7, 2017


## FOSD 2017 - Workshop on Feature-Oriented Software Development

Feature-oriented software development (FOSD) is a paradigm for the
construction and customization of software systems. The key idea of
FOSD is to decompose a family of software systems into units of
functionality called features, with the goal of reusing software
artifacts among family members.

Features capture the similarities and differences among systems in the
family, and a particular software system can be produced by selecting
or composing its corresponding features. A feature is a unit of
functionality that satisfies a requirement, represents a design
decision, or provides a configuration option.

A challenge in FOSD is that a feature may not map cleanly to an
isolated module of code. Rather, its implementation may crosscut many
components and artifacts of the software system. Furthermore, the
decomposition of a software system into its features gives rise to a
combinatorial explosion of possible feature combinations and
interactions.

Web: http://2017.splashcon.org/track/fosd-2017
Submission: August 15, 2017


## LIVE 2017 - Workshop on Live Programming

Live programming systems abandon the traditional edit-compile-run
cycle in favor of fluid user experiences that encourages powerful new
ways of "thinking to code" and enables programmers to see and
understand their program executions. Programming today requires much
mental effort with broken stuttering feedback loops: programmers
carefully plan their abstractions, simulating program execution in
their heads; the computer is merely a receptacle for the resulting
code with a means of executing that code. Live programming aims to
create a tighter more fluid feedback loop between the programmer and
computer, allowing the computer to augment more of the programming
process by, for example, allowing programmers to progressively mine
abstractions from concrete examples and providing continuous feedback
about how their code will execute. Meanwhile, under the radar of the
PL community at-large, a nascent community has formed around the
related idea of "live coding" - live audiovisual performances which use
computers and algorithms as instruments and include live audiences in
their programming experiences. This workshop focuses on exploring
notions and degrees of live programming as they relate to development,
creative activities, learning, and performance. We are interested in
methodologies, tools, demos, infrastructures, language designs, and
questions that stimulate interest and understanding in live
programming.

Web: http://2017.splashcon.org/track/live-2017
Submission: August 1, 2017


## META 2017 - Workshop on Meta-Programming Techniques and Reflection

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

Contributions to the workshop are welcome on a wide range of topics
related to design, implementation, and application of metaprogramming
techniques, as well as empirical studies on and typing for such
systems and languages.

Web: http://2017.splashcon.org/track/meta-2017
Submission: August 7, 2017



## NJR 2017 - Workshop on Towards a National Java Resource

This workshop is the second in a series of workshops with the goal to
work towards the establishment of a National Java Resource (NJR). Our
vision is a collection of 10,000 Java projects, each of which builds
and runs, and for which popular tools succeed and have cached
outputs. NJR will lower the barrier to implementation of new tools,
speed up research, and ultimately help advance research frontiers. In
particular, NJR will enable tools that take advantage of Big Code in
such areas as code synthesis, error repair, and program
understanding. What do researchers need from NJR to make progress on
their tools? A common road block is that existing collections of Java
code are either small, without ability to build and run, or both. The
main goals of the workshops are to discuss the list of tools that
researchers commonly use as building blocks for their own tools,
debate what features of the National Java Resource that researchers
would like to see, and see how an early prototype of the National Java
Resource works.

Web: http://2017.splashcon.org/track/njr-2017
Submission: TBC



## NOOL 2017 - The -2th Workshop on New Object-Oriented Languages

NOOL-17 brings together users and implementors of new(ish)
object-oriented systems. Through presentations, discussions and demos,
NOOL-17 will provide a forum for sharing experience and knowledge
among experts and novices alike. We invite submissions in the
following areas:

Theory: Including object oriented programming, semantic models and
methodology.

Languages: New languages, extensions to conventional languages, and
existing languages.

Implementation: Including architectural support, compilation and
interpretation.

Tools and Environments: Including livecoding, user interfaces and
utilities.

Applications: Commercial, educational, and other applications that
exploit OO programming.

Web: http://2017.splashcon.org/track/nool-2017
Submission: September 1, 2017


## OCAP 2017 - Workshop on Object-Capability Languages, Systems, and
   Applications

The OCAP workshop seeks to bring together those interested in
object-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.

Web: http://2017.splashcon.org/track/ocap-2017
Submission: August 15, 2017


## PLATEAU 2017 - 8th International Workshop on Evaluation and
   Usability of Programming Languages and Tools

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.

Web: http://2017.splashcon.org/track/plateau-2017
Submission: August 1, 2017


## PX/17.2 2017 - The 3rd Edition of the Programming Experience
   Workshop

Imagine a software development task: some sort of requirements and
specification including performance goals and perhaps a platform and
programming language. A group of developers head into a vast
workroom. In that room they discover they need to explore the domain
and the nature of potential solutions—they need exploratory
programming.

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

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

Web: http://2017.splashcon.org/track/px-17-2
Submission: August 8, 2017


## Parsing at SLE 2017 - The 5th Annual Workshop on Parsing Programming
Languages

Parsing at SLE 2017 is the fifth annual workshop on parsing programming
languages. The intended participants are the authors of parser
generation tools and parsers for programming languages and other
software languages. For the purpose of this workshop "parsing" is a
computation that takes a sequence of characters as input and produces
a syntax tree or graph as output. This possibly includes tokenization
using regular expressions, deriving trees using context-free grammars,
and mapping to abstract syntax trees. The goal is to bring together
today's experts in the field of parsing, in order to explore open
questions and possibly forge new collaborations. The topics may
include algorithms, implementation and generation techniques, syntax
and semantics of meta formalisms (BNF), etc. We expect to attract
participants that have been or are developing theory, techniques and
tools in the broad area of parsing.

Web: http://2017.splashcon.org/track/parsing-2017
Submission: September 1, 2017


## REBLS 2017 - The 4th Workshop on Reactive and Event-based Languages
   & Systems

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.

This workshop will gather researchers in reactive and event-based
languages and systems. The goal of the workshop is to exchange new
technical research results and to define better the field by coming up
with taxonomies and overviews of the existing work.

Web: http://2017.splashcon.org/track/rebls-2017
Submission: August 1, 2017


## SAVR 2017 - Workshop on Software for Augmented and Virtual Reality

Even conservative forecasters predict the imminent wave of
Augmented/Virtual/Mixed Reality applications to extend far beyond
gaming. Education, health care, analytics, marketing—immersive
environments are poised to provide productivity gains in multiple
sectors, eventually replacing conventional interfaces with gestures,
gaze and natural language processing.

The Software Engineering and Programming Language communities have
only just begun to fully engage within this new paradigm. The Software
for Augmented and Virtual Reality (SAVR) workshop will be designed to
help bridge this gap. Participants will submit a position paper
outlining the SE/PL challenges they have either encountered or
anticipate in this space.

Web: http://2017.splashcon.org/track/savr-2017
Submission: August 8, 2017


## SEPS 2017 - The 4th International Workshop on Software Engineering
   for Parallel Systems

This workshop provides a stable forum for researchers and
practitioners dealing with compelling challenges of the software
development life cycle on modern parallel platforms. The increased
complexity of parallel applications on modern parallel platforms
(e.g. multicore/manycore, distributed or hybrid) requires more insight
into development processes, and necessitates the use of advanced
methods and techniques supporting developers in creating parallel
applications or parallelizing and re-engineering sequential legacy
applications. We aim to advance the state of the art in different
phases of parallel software development, covering software engineering
aspects such as requirements engineering and software specification;
design and implementation; program analysis; testing and debugging;
profiling and tuning.

Web: http://2017.splashcon.org/track/seps-2017
Submission: August 8, 2017


## VMIL 2017 - Workshop on Virtual Machines and Intermediate Languages

The VMIL workshop is a forum for research in virtual machines and
intermediate languages. It is dedicated to identifying programming
mechanisms and constructs that are currently realized as code
transformations or implemented in libraries but should rather be
supported at VM level. Candidates for such mechanisms and constructs
include modularity mechanisms (aspects, context-dependent layers),
concurrency (threads and locking, actors, capsules, processes,
software transactional memory), transactions, development tools
(profilers, runtime verification), etc. Topics of interest include the
investigation of which such mechanisms are worthwhile candidates for
integration with the run-time environment, how said mechanisms can be
elegantly (and reusably) expressed at the intermediate language level
(e.g., in bytecode), how their implementations can be optimized, and
how virtual machine architectures might be shaped to facilitate such
implementation efforts.

Web: http://2017.splashcon.org/track/vmil-2017
Submission: August 14, 2017


## WODA 2017 - The International Workshop on Dynamic Analysis

The International Workshop on Dynamic Analysis (WODA) is the place
where researchers interested in dynamic analysis and related topics
can meet and discuss current research, issues, and trends in the
field. WODA exists since 2003 and has been co-located with several
different SE/PL conferences in the past, including ICSE, ISSTA,
ASPLOS, and SPLASH.

Dynamic analysis is widely used in software development to understand
various run-time properties of a program. Dynamic analysis includes
both offline techniques, which operate on some captured representation
of the program's behavior (e.g., a trace), and run-time techniques,
which analyze the program on-the-fly as the system is
executing. Though inherently incomplete, dynamic analyses are
typically more precise than their static counterparts, and show
promise in aiding the understanding, development, and maintenance of
robust and reliable large-scale systems. Moreover, dynamic analyses
can generate quantitative data that is useful for statistical
inferences regarding the program's behavior.

Starting from these motivations, the goal of WODA is to bring together
researchers and practitioners working in all areas of dynamic analysis
to discuss new perspectives and observations, share results and
ongoing work, and establish collaborations. WODA serves as a forum for
researchers and practitioners interested in the intersection of (some
or all of) compilers, programming languages, architecture, software
engineering, systems, high-performance computing, performance
engineering, machine learning and data mining as tools to enable
software and system behavior analysis.

Web: http://2017.splashcon.org/track/woda-2017
Submission: August 15, 2017



## Information

Conference: Sunday 22nd October - Friday 27th October, 2017
Contact: info at splashcon.org
Website: http://2017.splashcon.org
Location: Vancouver, British Columbia, Canada


## Organization:

SPLASH General Chair:
 * Gail Murphy (University of British Columbia)
OOPSLA Papers Chair:
 * Jonathan Aldrich (Carnegie Mellon University)
Onward! Papers Co-Chairs:
 * Emina Torlak (University of Washington)
 * Tijs van der Storm (CWI)
Onward! Essays Chair:
 * Robert Biddle (Carleton University)
DLS PC Chair:
 * Davide Ancona (University of Genova)
SLE General Chair:
 * Benoit Combemale (University of Rennes)
GPCE General Chair:
 * Matthew Flatt (University of Utah)
Scala General Chair:
 * Heather Miller (Ecole Polytechnique Federale de Lausanne)
PLoP Program Chair:
 * Takashi Iba (Keio University)
Doctoral Symposium Chair:
 * Elisa Gonzalez Boix (Vrije Universiteit Brussel)
SPLASH-E Chair:
 * Joe Gibbs Politz (University of California, San Diego)
SPLASH-I Co-Chairs:
 * Gail Murphy (University of British Columbia)
 * Karim Ali (Unviersity of Alberta)
 * Avik Chaudhuri (Facebook)
Artifacts Co-Chairs:
 * Michael Bond (Ohio State University)
 * Sam Tobin-Hochstadt (Indiana University)
Workshops Co-Chairs:
 * Craig Anslow (Victoria University of Wellington)
 * Alex Potanin (Victoria University of Wellington)
Posters Co-Chairs:
 * Jonathan Bell (George Mason University)
 * Patrick Lam (University of Waterloo)
Student Research Competition Co-Chairs:
 * Shan Shan Huang (Logicblox)
 * Jennifer Sartor (Vrije Universiteit Brussel)
Student Volunteer Co-Chairs:
 * Daco Harkes (TU Delft)
 * Giovanni Viviani (University of British Columbia)
PLMW Co-Chairs:
 * Lori Pollock (University of Delaware)
 * Barbara Ryder (Virginia Tech)
Video Co-Chairs:
 * Michael Hilton (Oregon State University)
 * David Darais (University of Maryland)
Publications Co-Chairs:
 * Alex Potanin (Victoria University of Wellington)
 * Tijs van der Storm (CWI)
Sponsorship Co-Chairs:
 * Jurgen Vinju (Purdue University)
 * Tony Hosking (Australian National University, Data61, and Purdue University)
Publicity and Web Co-Chairs:
 * Ron Garcia (University of British Columbia)
 * Eric Walkingshaw (Oregon State University)
Local Arrangements Chair:
 * Peter Smith (ACL)

/***************************************************************************/