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.
ACM SIGPLAN-approved workshop
Accepted Papers
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.
Mon 23 OctDisplayed time zone: Tijuana, Baja California change
08:30 - 10:00 | |||
08:45 15mTalk | Welcome and opening SEPS | ||
09:00 60mTalk | SEPS Keynote: Taming Concurrent Programming with Domain-Specific Languages SEPS Media Attached |
10:30 - 12:00 | Session2: Software performance engineeringSEPS at Brighton Chair(s): Pablo de Oliveira Castro University of Versailles, France | ||
10:30 30mTalk | 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 30mTalk | 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 30mTalk | 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 | |||
13:30 30mTalk | 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 20mTalk | [Position paper] How to Test your Concurrent Software: An Approach for the Selection of Testing Techniques SEPS Silvana Morita Melo ICMC/USP, Simone do Rocio Senger de Souza ICMC/USP, Jeff Carver University of Alabama, Paulo Sergio Lopes de Souza ICMC/USP | ||
14:20 20mTalk | [Position paper] Declaring Lua Data Types for GPU Code Generation SEPS Paulo Motta Motta & SantAnna Pesquisa e Desenvolvimento | ||
14:40 20mTalk | [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 | |||
15:30 90mTalk | 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 |
Keynote
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.
Panel discussions
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
Instructions for Authors
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.