SySEPL 2020

Software Engineering and Programming Languages research have many commonalities. Both are interested in how computational tasks are formulated, and how to assist developers in express those tasks into correct and efficient code. Yet, the two communities have somewhat different approaches to the same problems.

This workshop aims to bring practitioners together and explore synergies between the programming languages and software engineering communities. The goal is to enrich both sides with ideas, problems, and approaches that can be applied across communities.

This workshop is interested in any topics that intersect the SE and PL communities, such as (but not limited to):

• Software testing (property-based testing, design by contracts, languages with built-in support for testing)
• (Automated) Software refactoring
• Static and dynamic analysis for general purpose
• Secure coding and software engineering
• Code quality for specific programming languages
• Empirical studies
• Reproduction studies

The workshop will consist of invited talks, presentations based on the papers submissions, and a panel discussion, where all participants are invited to share their insights and ideas.

Call for Papers

Submissions We have three paper categories:

• 6 to 8-page full papers.
• 4-page short papers.
• 2-page notes.

These different categories offer researchers who are at different stages in their research maturity the opportunity to benefit from workshop participation. Page limits include references. All paper and notes submissions will be reviewed by 3 program committee members. The authors of accepted submissions will be asked to join the workshop. We will encourage all participants to submit at least a 2-pages note, but the workshop will be open to anyone. All interested parties are welcome to register, even without a paper.