Write a Blog >>
SPLASH 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada

The 4th ACM SIGPLAN International Workshop on Software Engineering for Parallel Systems (SEPS 2017)

October 23, 2017, Vancouver, Canada.

SEPS 2017 is co-located with SPLASH 2017 as an ACM SIGPLAN-approved workshop.

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.

Workshop Goal

The purpose of the workshop is to present a stimulating environment where topics relevant to parallel software engineering can be discussed by members of the SPLASH community and software and languages researchers. The intention of the workshop is to initiate collaborations focused on solving challenges introduced by ongoing research and emerging ideas in the parallel programming field. 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 directions to solve software engineering issues related to parallel programming.

alt text

ACM SIGPLAN-approved workshop

Accepted Papers

Title
MALT, A Malloc Tracker
SEPS
Panel discussions: "Open source software and tools for engineering parallel software"
SEPS
Performance Analysis and Optimization of the RAMPAGE Metal Alloy Potential Generation Software
SEPS
[Position paper] Declaring Lua Data Types for GPU Code Generation
SEPS
[Position paper] Facilitating Collaboration in High Performance Computing Projects with an Interaction Room
SEPS
[Position paper] How to Test your Concurrent Software: An Approach for the Selection of Testing Techniques
SEPS
The Influence of HPCToolkit and Score-P on Hardware Performance Counters
SEPS
Transactional Actors: Communication in Transactions
SEPS
Link to publication DOI Pre-print
Welcome and opening
SEPS

Call for Papers

The workshop welcomes the following types of submissions:

  • “Work in progress” – abstract submissions (max. 800 words)
  • Position papers (max. 2 pages) including:
    • Industrial and practical experiences
    • Tool presentations/demonstration
    • Early results & novel ideas without a comprehensive/extensive evaluation
    • Preliminary and exploratory work with unconventional approaches or wild and crazy ideas
  • Original, unpublished regular papers on current research (max. 10 pages for regular papers; and 4 pages for short papers) [Deadline for regular/short papers: Aug 23, 2017]

Especially, we encourage work in progress or early-stage works as abstract submissions, which could be accepted for the presentation at the workshop without including in the proceedings publication. A concise and factual abstract is required. The abstract should state briefly the purpose of the research, the major results and conclusions (max. 800 words).

Also presentation of the position papers on ongoing research are central in SEPS 2017, and could be accepted for the formal proceeding publications in the ACM Digital Library by the peer-review process (in addition to short papers and long papers). [Deadline for position papers and abstracts: Sep 12, 2017]

Specific topics of interest include, but are not limited to:
  • Process models for parallel software development
  • Requirement engineering of parallel software
  • Design and build of parallel programs
  • Parallel design patterns
  • Structural and application patterns of parallel programs
  • Parallel software architectures
  • Modeling techniques for parallel software
  • Parallel programming models and paradigms
  • Profiling and program analysis
  • Dynamic and static analysis
  • Refactoring and reengineering for parallelism
  • Performance tuning and auto-tuning
  • Energy-efficient parallel computing
  • Testing and debugging of parallel applications
  • Tools and environments for parallel software development
  • Case studies and experience reports

Submission: Papers and abstracts submitted to SEPS 2017 must not have been published or simultaneously submitted anywhere else. Contributions should be submitted electronically in PDF format.

For further information, please check the format instructions for authors: https://2017.splashcon.org/track/seps-2017-papers#Instructions-for-Authors

All of paper submissions must be done using the submission site: https://seps17.hotcrp.com

We note that SEPS 2017 presenters are eligible to apply for the PAC Fund.

You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 23 Oct

Displayed time zone: Tijuana, Baja California change

08:30 - 10:00
Session 1SEPS at Brighton
Chair(s): Yukinori Sato Tokyo Institute of Technology
08:45
15m
Talk
Welcome and opening
SEPS

09:00
60m
Talk
SEPS Keynote: Taming Concurrent Programming with Domain-Specific Languages
SEPS
S: Philipp Haller KTH Royal Institute of Technology
Media Attached
10:30 - 12:00
Session2: Software performance engineeringSEPS at Brighton
Chair(s): Pablo de Oliveira Castro University of Versailles, France
10:30
30m
Talk
MALT, A Malloc Tracker
SEPS
Sébastien Valat CERN, Andres S. Charif-Rubial Université de Versailles Saint-Quentin, William Jalby Université de Versalles
11:00
30m
Talk
Performance Analysis and Optimization of the RAMPAGE Metal Alloy Potential Generation Software
SEPS
Philip C. Roth Oak Ridge National Laboratory, Hongzhang Shan Lawrence Berkeley National Laboratory, David Riegner The Ohio State University, Nikolas Antolin The Ohio State University, Sarat Sreepathi Oak Ridge National Laboratory, Leonid Oliker Lawrence Berkeley National Laboratory, Samuel Williams Lawrence Berkeley National Laboratory, Shirley Moore Oak Ridge National Laboratory, Wolfgang Windl The Ohio State University
11:30
30m
Talk
The Influence of HPCToolkit and Score-P on Hardware Performance Counters
SEPS
Jan-Patrick Lehr Graduate School of Computational Engineering, TU Darmstadt, Christian Iwainsky Competence Center for High-Performance Computing in Hessian, TU Darmstadt, Christian Bischof Scientific Computing, TU Darmstadt
13:30 - 15:00
Session 3: Software concurrency and heterogeneitySEPS at Brighton
Chair(s): Sébastien Valat CERN
13:30
30m
Talk
Transactional Actors: Communication in Transactions
SEPS
Janwillem Swalens Vrije Universiteit Brussel, Belgium, Joeri De Koster Vrije Universiteit Brussel, Belgium, Wolfgang De Meuter Vrije Universiteit Brussel
Link to publication DOI Pre-print
14:00
20m
Talk
[Position paper] How to Test your Concurrent Software: An Approach for the Selection of Testing Techniques
SEPS
14:20
20m
Talk
[Position paper] Declaring Lua Data Types for GPU Code Generation
SEPS
Paulo Motta Motta & SantAnna Pesquisa e Desenvolvimento
14:40
20m
Talk
[Position paper] Facilitating Collaboration in High Performance Computing Projects with an Interaction Room
SEPS
Matthias Book University of Iceland, Morris Riedel Jülich Supercomputing Centre, Helmut Neukirchen University of Iceland, Markus Götz Jülich Supercomputing Centre
15:30 - 17:00
Session 4SEPS at Brighton
Chair(s): Yukinori Sato Tokyo Institute of Technology
15:30
90m
Talk
Panel discussions: "Open source software and tools for engineering parallel software"
SEPS
Yukinori Sato Tokyo Institute of Technology, Pablo de Oliveira Castro University of Versailles, France, Philipp Haller KTH Royal Institute of Technology

Taming Concurrent Programming with Domain-Specific Languages

Philipp Haller, KTH Royal Institute of Technology

Abstract: Parallel and concurrent programming is infamous for its difficulty. Many hazards await the concurrent software engineer: data races, deadlocks, livelocks, etc. The programming languages community has proposed a possible remedy against these hazards: domain-specific languages. A domain-specific language (DSL) simplifies expressing safe and efficient program patterns via high-level domain-specific constructs. Moreover, embedding a DSL in a general-purpose programming language enables reusing compilers, tools, libraries, and runtime environments for the development of DSL programs. Scala has been used successfully as a host language for a variety of concurrency DSLs, some of which have been widely used in industry. This talk shows how to design and implement DSLs in Scala to make concurrent programming simpler and more reliable. Language evolution proposals to further improve the embedding of concurrency DSLs are also discussed.

Open source software and tools for engineering parallel software


Panel organizer: Yukinori Sato (Tokyo Institute of Technology)
Panelists: Philipp Haller (KTH Royal Institute of Technology), Pablo Oliveira (University of Versailles)

Supporting developers in creating parallel applications, re-engineering code from sequential ones, or factoring code for concurrency, scalability and fault-tolerance is essential for achieving sustainable performance improvement for upcoming heterogeneous and massively parallel computing systems. Here, the power of open source in parallel software development process is a strong driving force for developing modern parallel code and forms a core of the parallel software eco-system. Tools such as interpreters, translators, compilers and runtimes for parallel and concurrent platforms are now mostly linked to open source and community based development. Also, open source approaches are very important to enable reproducibility in parallel systems research. In this panel, we demonstrate the potential of open source software and seek its further roles for constructing and engineering parallel software toward upcoming computer systems.


Schedule

15:30-15:35 Introduction of panel from panel organizer

15:35-16:45 Position talks from:

  • Pablo Oliveira. "Collaborating through open-source and open-research to assess the accuracy of HPC numerical simulation software”.
  • Yukinori Sato. "Engineering software performance of hardware accelerators using open source compilers and tools”.
  • Philipp Haller. "Challenges of Sustainable Development of Open Source Software Projects”.

16:45-17:00 Interactive discussions

For fairness reasons, all submitted papers should conform to the formatting instructions. Submissions that violate these instructions may be rejected without review.

Submission Site

Please take a moment to read the instructions below before using the submission site.

Concurrent Submissions

Papers must describe unpublished work that is not currently submitted for publication elsewhere as described by SIGPLAN’s Republication Policy. Submitters should also be aware of ACM’s Policy and Procedures on Plagiarism.

Format

Submissions should use the ACM SIGPLAN Conference acmart Format with ‘sigplan’ Subformat, 10 point font, using the font family Times New Roman. All submissions should be in PDF format. If you use LaTeX or Word, please use the provided ACM SIGPLAN acmart Templates provided here. Otherwise, follow the author instructions.

If you are formatting your paper using LaTeX, you will need to set the 10pt option in the \documentclass command. If you are formatting your paper using Word, you may wish to use the provided Word template that supports this font size. Please include page numbers in your submission with the LaTeX \settopmatter{printfolios=true} command. Please also ensure that your submission is legible when printed on a black and white printer. In particular, please check that colors remain distinct and font sizes are legible.

Publication (Digital Library Early Access Warning)

AUTHORS TAKE NOTE: The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of the conference. The official publication date affects the deadline for any patent filings related to published work.