caml-list - the Caml user's mailing list
 help / Atom feed
From: hitesh sajnani <>
Cc: Hitesh Sajnani <>
Subject: [Caml-list] SPLASH 2020: Combined Call for Contributions
Date: Sun, 1 Mar 2020 22:47:43 -0800
Message-ID: <> (raw)

[-- Attachment #1: Type: text/plain, Size: 15080 bytes --]

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

       Chicago, USA
       Sun 15 - Fri 20 November 2020

       Sponsored by ACM SIGPLAN

Dynamic Languages Symposium (DLS)
Generative Programming: Concepts & Experiences (GPCE)
Software Language Engineering (SLE)
Static Analysis Symposium (SAS)

The ACM SIGPLAN Conference on Systems, Programming, Languages and
Applications: Software for Humanity (SPLASH) embraces all aspects of
software construction, to make it the premier conference at the
intersection of programming, languages, and software engineering. We
invite high quality submissions describing original and unpublished

Combined Call for Contributions:
 * SPLASH Workshops
 * Onward! Papers
 * Onward! Essays
 * Dynamic Languages Symposium (DLS)
 * Generative Programming: Concepts & Experiences (GPCE)
 * Software Language Engineering (SLE)
 * Static Analysis Symposium (SAS)
 * Rebase
 * Posters
 * Doctoral Symposium
 * Student Research Competition
 * Student Volunteers

## SPLASH Workshops

Following its long-standing tradition, SPLASH 2020 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. Submissions are currently
being accepted on a rolling basis.

The rolling call will close on Wed 1 Apr, 2020.


Papers may target any stage of software development, including
requirements, modeling, prototyping, design, implementation,
generation, analysis, verification, testing, evaluation, maintenance,
and reuse of software systems.  Contributions may include the
development of new tools (such as language front-ends, program
analyses, and runtime systems), new techniques (such as methodologies,
design processes, and code organization approaches), new principles
(such as formalisms, proofs, models, and paradigms), and new
evaluations (such as experiments, corpora analyses, user studies, and

Submissions due: Wed 15 Apr, 2020

## Onward! Papers

Onward! is a premier multidisciplinary conference focused on
everything to do with programming and software: including processes,
methods, languages, communities, and applications. Onward! is more
radical, more visionary, and more open than other conferences to ideas
that are well-argued but not yet proven. We welcome different ways of
thinking about, approaching, and reporting on programming language and
software engineering research.

Submissions due: Thu 23 Apr, 2020

## Onward! Essays

Onward! Essays is looking for clear and compelling pieces of writing
about topics important to the software community. An essay can be long
or short.  An essay can be an exploration of the topic and its impact,
or a story about the circumstances of its creation; it can present a
personal view of what is, explore a terrain, or lead the reader in an
act of discovery; it can be a philosophical digression or a deep
analysis. It can describe a personal journey, perhaps the one the
author took to reach an understanding of the topic. The subject
area—software, programming, and programming languages—should be
interpreted broadly and can include the relationship of software to
human endeavors, or its philosophical, sociological, psychological,
historical, or anthropological underpinnings.

Submissions due: Thu 23 April, 2020

## Dynamic Languages Symposium (DLS)

Dynamic Languages, from Lisp, Snobol, and Smalltalk to Python,
Racket, and Javascript, have been playing a fundamental role both in
programming research and practice. DLS is the premier forum for
researchers and practitioners to share research and experience on all
aspects of Dynamic Languages. DLS invites high quality papers
reporting original research and experience related to the design,
implementation, and applications of dynamic languages.

Submissions due: Thu 11 Jun, 2020

## Generative Programming: Concepts & Experiences (GPCE)

The International Conference on Generative Programming: Concepts &
Experience (GPCE) is a venue for researchers and practitioners
interested in techniques and tools for code generation, language
implementation, and metaprogramming.  GPCE seeks conceptual,
theoretical, empirical, and technical contributions to its topics of
interest, which include but are not limited to (i) program
transformation, staging, macro systems, preprocessors, program
synthesis, and code-recommendation systems, (ii) domain-specific
languages, language embedding, language design, and language
workbenches, (iii) feature-oriented programming, domain engineering,
and feature interactions, (iv) applications and properties of code
generation, language implementation, and product-line development.

Abstracts due: Sun 21 Jun, 2020
Submissions due: Sun 28 Jun, 2020

## Software Language Engineering (SLE)

Software Language Engineering (SLE) is the discipline of engineering
languages and their tools required for the creation of software. It
abstracts from the differences between programming languages,
modelling languages, and other software languages, and emphasizes the
engineering facet of the creation of such languages, that is, the
establishment of the scientific methods and practices that enable the
best results. SLE 2020 solicits high quality contributions in areas
ranging from theoretical and conceptual contributions, to tools,
techniques, and frameworks in the domain of software language

Abstracts due: Sun 21 Jun, 2020
Submissions due: Sun 28 Jun, 2020

## Static Analysis Symposium

Static analysis is widely recognized as a fundamental tool for program
verification, bug detection, compiler optimization, program understanding,
and software maintenance. The series of Static Analysis Symposia has served
as the primary venue for the presentation of theoretical, practical, and
application advances in the area.

Abstracts due: Wed 22 Apr, 2020
Submissions due: Fri 24 Apr, 2020

## Rebase

Rebase is a series of high-quality talks that highlight the challenges
that are on the forefront of both research and practice across the SPLASH
community's broad spectrum of domains and techniques. We invite the
community to propose speakers (including themselves) through our call for


SPLASH-E is a symposium, started in 2013, for software and languages
(SE/PL) researchers with activities and interests around computing
education. Some build pedagogically-oriented languages or tools; some think
about pedagogic challenges around SE/PL courses; some bring computing to
non-CS communities; some pursue human studies and educational research.

At SPLASH-E, we share our educational ideas and challenges centred in
software/languages, as well as our best ideas for advancing such work.
SPLASH-E strives to bring together researchers and those with educational
interests that arise from software ideas or concerns.

Submissions due: Fri 10 Jul, 2020

## Posters

The SPLASH Poster track provides an excellent forum for authors to
present their recent or ongoing projects in an interactive setting,
and receive feedback from the community. We invite submissions
covering any aspect of programming, systems, languages and
applications. The goal of the poster session is to encourage and
facilitate small groups of individuals interested in a technical area
to gather and interact at any desired level of detail.  The poster
session is held early in the conference to promote continued
discussion among interested parties.

Submissions due: Mon 10 Aug, 2020

## Doctoral Symposium

The SPLASH Doctoral Symposium provides students with useful guidance for
completing their dissertation research and beginning their research
careers. The symposium will provide an interactive forum for doctoral
students who have progressed far enough in their research to have a
structured proposal, but will not be defending their dissertation in the
next 12 months.

This year, the John Vlissides Award will be presented to a doctoral student
participating in the SPLASH Doctoral Symposium showing significant promise
in applied software research. All doctoral candidates participating in the
SPLASH Doctoral Symposium are eligible. The award includes a prize of

Submissions due:  Wed, Jul 15, 2020

## PL Mentoring Workshop (PLMW)

The SPLASH 2020 Programming Languages Mentoring Workshop encourages
graduate students (PhD and MSc) and senior undergraduate students to
pursue research in programming languages. This workshop will provide
mentoring sessions on how to prepare for and thrive in graduate school
and in a research career, focusing both on cutting-edge research topics
and practical advice, such as a panel of Ph.D. students discussing
topics like “What I wish I had known before attending graduate school.”
The workshop brings together leading researchers and junior students
in an inclusive environment in order to help welcome newcomers to our
field of programming languages research. The workshop will show students
the many paths that they might take to enter and contribute to our
research community.

We will provide travel grants that will fully support student attendance
to PLMW. Information on the application process will be available by July
2, 2020

Travel Grant Application due: Fri 7 Aug, 2020

## Student Research Competition

The ACM Student Research Competition (SRC), sponsored by Microsoft
Research, offers a unique forum for ACM student members at the
undergraduate and graduate levels to present their original research
at SPLASH before a panel of judges and conference attendees. The SRC
gives visibility to not only up-and-coming young researchers, but also
exposes them to the field of computer science research and its
community. This competition also gives students an opportunity to
discuss their research with experts in their field, get feedback, and
to help them sharpen their communication and networking skills.

Student Research Competition abstract due: Wed July 15, 2020

## Student Volunteers

The SPLASH Student Volunteers program provides an opportunity for
students from around the world to associate with some of the leading
personalities in industry and research in the following areas:
programming languages, object-oriented technology and software
development. Student volunteers contribute to the smooth running of
the conference by performing tasks such as: assisting with
registration, providing information about the conference to attendees,
assisting session organizers and monitoring sessions.

Application due: Tue Sep 1, 2020

## Information

Location: Renaissance Chicago Downtown Hotel, Chicago, USA

## Organization

SPLASH General Chair:
 * Hridesh Rajan (Iowa State University)
OOPSLA Review Committee Chair:
 * David Grove (IBM Research)
Onward! Papers Chair:
 * Stephen Kell (University of Kent)
Onward! Essays Chair:
 * Didier Verna (EPITA/LRDE)
DLS Program Chair:
 * Matthew Flat (University of Utah)
GPCE General Chair:
 * Martin Erwig (Oregon State University)
GPCE Program Chair:
 * Jeff Gray (University of Alabama)
SLE General Chair:
 * Ralf Lämmel (Facebook)
SLE Program Co-Chairs:
 * Laurence Tratt (King's College London)
 * Juan de Lara (Universidad Autónoma de Madrid)
SLE Publicity Chair:
 * Loli Burgueño (Open University of Catalonia & CEA LIST)
SLE AEC Co-Chairs:
 * Lukas Diekmann (King’s College London)
 * Antonio Garcia-Dominguez (Aston University)
SAS Program Co-Chairs:
 * David Pichardie (Univ Rennes, ENS Rennes, IRISA)
 * Mihaela Sighireanu (IRIF, Université Paris Diderot, France)
SAS AEC Chair:
 * Jyothi Vedurada (Microsoft Research)
Rebase Co-Chairs:
 * Satish Chandra (Facebook)
 * Yu David Liu (State University of New York (SUNY) Binghamton)
PLMW Co-Chairs:
 * Karim Ali (University of Alberta)
 * Jonathan Bell (George Mason University)
 * Malavika Samak (CSAIL, MIT)
Workshops Co-Chairs:
 * Neville Grech (University of Athens)
 * Ali Jannesari (Iowa State University)
 * Mehdi Bagherzadeh (Oakland University)
OOPSLA Artifact Evaluation Co-Chairs:
 * Colin S. Gordon (Drexel University)
 * Anders Møller (Aarhus University)
Posters Co-Chairs:
 * Christos Dimoulas (Northwestern University)
 * Murali Krishna Ramanathan(Uber Technologies Inc.)
Doctoral Symposium Chair:
 * Yvonne Coady (University of Victoria)
 * Matthias Hauswirth (Università della Svizzera italiana)
Student Research Competition Co-Chairs:
 * Sasa Misailovic (University of Illinois at Urbana-Champaign)
 * Julia Rubin (University of British Columbia)
Student Volunteers Co-Chairs:
 * Robert Dyer (Bowling Green State University)
 * Samantha Syeda Khairunnesa (Iowa State University)
SPLASH-E Co-Chairs:
 * Elisa Baniassad (University of British Columbia)
 * Charlie Curtsinger (Grinnell College)
Publicity Chair:
 * Hitesh Sajnani (Microsoft)
Publication Chair:
 * Saba Alimadadi (Simon Fraser University)
Local Arrangements Chair:
 * Ravi Chugh (University of Chicago)
Accessibility Chair:
 * Henrique Rebelo (Universidade Federal de Pernambuco)
Sponsorships Chair:
 * Ganesha Upadhyaya (Harmony.One)
Web Chair:
 * Rangeet Pan (Iowa State University)


[-- Attachment #2: Type: text/html, Size: 17099 bytes --]

             reply index

Thread overview: 2+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2020-03-02  6:50 hitesh sajnani [this message]
2020-05-15  8:02 hitesh sajnani

Reply instructions:

You may reply publically to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \ \ \ \ \

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link

caml-list - the Caml user's mailing list

Archives are clonable: git clone --mirror

AGPL code for this site: git clone public-inbox