Due to the untimely passing of Eelco Visser, members of his former
research communities TU Delft, CWI, OOPSLA, SLE, and IFIP Working
Groups 2.11 & 2.16 have joined in organizing the Eelco Visser
Commemorative Symposium. The event will be held on the occasion of the
first anniversary of his passing in April of next year. You are
cordially invited to contribute to this symposium, by writing a paper
and giving a presentation related to Eelco and his influential work,
or by just attending. Please see the CfP below.
Best regards,
The EVCS Organizing Committee
------------------------------------------------------------------------
------------------------------------------------------------------------
Eelco Visser Commemorative Symposium (EVCS)
5 April 2023
Delft, The Netherlands
https://symposium.eelcovisser.org
------------------------------------------------------------------------
Eelco Visser (1966–2022) was Antoni van Leeuwenhoek Professor of
Computer Science and Chair of the Programming Languages Group in the
Department of Software Technology at TU Delft. His research career
started with studies at the University of Amsterdam and CWI, followed
by appointments at Oregon Graduate Institute and Utrecht University.
He was highly influential in the software language engineering and
programming language design communities. His many scientific
contributions about meta-languages and domain-specific languages have
been of high importance in both the scientific and industrial
communities. He was a founding member of IFIP Working Groups 2.11
(Program Generation) and 2.16 (Programming Language Design).
Eelco Visser’s work on the cutting-edge language workbench Spoofax
started with a ground-breaking publication in 2010, for which he
received a Most Influential Paper award at OOPSLA 2020. As a strong
advocate of tool-supported programming education, he led the
development of WebLab, a learning management system that is in use for
a range of programming languages and courses at TU Delft. He also led
the design, implementation and use of conf.researchr.org, a content
management system for scientific events used by hundreds of
international events since 2011.
---------------------------
Call for Papers
---------------------------
A commemorative symposium for Eelco Visser is to be held on the first
anniversary of his untimely passing away in April 2022. It will bring
together colleagues from various communities, with presentations of
papers on topics related to his research and other academic
activities.
---------------------------
Topics of Interest
---------------------------
Topics of interest include, but are not limited to:
- Language engineering
- Program transformation
- Language workbenches
- Declarative language specification
- Name binding and scope graphs
- Type soundness and intrinsically-typed interpreters
- Language specification testing
- Language implementation generation
- Domain-specific programming languages
- DSLs for software deployment
- DSLs for web application development
- Tool-supported programming education
---------------------------
Important Dates
---------------------------
- Friday 30 September 2022: Declaration of intent to submit
- Friday 28 October 2022: Paper submission deadline
- Monday 28 November 2022: Notifications
- Wednesday 5 April 2023: Symposium
---------------------------
Types of Submissions
---------------------------
- **Unpublished research**: These are extended abstracts of novel
research contributions related to Eelco Visser’s work. Papers may
range from 4 to 8 pages in length, and may optionally include up to 2
further pages of bibliography. Papers will be reviewed by selected
members of the relevant research communities. Subsequent submission of
full papers including the same results to other venues is encouraged.
- **On the relationship between Eelco Visser's work and other
frameworks**: These are papers that present some framework and explain
its relationship to his work, but without novel research
contributions. Papers may range from 4 to 8 pages in length, and may
optionally include up to 2 further pages of bibliography. Papers will
be reviewed by an expert on the relevant topic.
- **Personal reflections on Eelco Visser's activities**: These are
short papers that recall and reflect upon personal experiences of his
contributions in academia or industry. Papers may range from 1 to 4
pages in length, including bibliography. Papers will be lightly
reviewed for relevance.
---------------------------
Submissions
---------------------------
Declaration of intent to submit is optional, but helpful for
allocation of appropriate reviewers. It is to include a provisional
title, the type of submission, and an indication of the topics
covered. The other details regarding submissions will be announced
later. The page ranges for submissions (see above) are assuming a
format such as Springer LNCS or Dagstuhl OASIcs.
---------------------------
Publication
---------------------------
All accepted papers are to be published in an open access volume by
the start of the symposium (publisher to be decided). Authors retain
copyright.
---------------------------
Presentations
---------------------------
All accepted papers are to be presented at the symposium. Presenters
may choose between 5, 10, and 15-minute slots (including questions)
subject to availability. Remote presentations are allowed.
---------------------------
Organising Committee
---------------------------
- Jonathan Aldrich, Carnegie Mellon University
- Benoit Combemale, University of Rennes, Inria, and IRISA
- Paul Klint, CWI and University of Amsterdam
- Ralf Lämmel, University of Koblenz
- Peter Mosses (chair), TU Delft and Swansea University
- Friedrich Steimann, Fernuniversität in Hagen
- Tijs van der Storm, CWI and University of Groningen
- Eric Van Wyk, University of Minnesota
---------------------------
Local Organisation Committee
---------------------------
- Arie van Deursen
- Jasper van Dijck
- Peter Mosses
- Roniet Sharabi
- Shémara van der Zwet
---------------------------
Contact
---------------------------
For all enquiries about the symposium, please use the contact form at
symposium.eelcovisser.org/contact or email symposium(a)eelcovisser.org
The 2022 Scheme and Functional Programming Workshop is calling for submissions.
We invite high-quality papers and talk proposals about novel research results, lessons learned from practical experience in an industrial or educational setting, and even new insights on old ideas. We welcome and encourage submissions that apply to any dynamic functional language, especially those that can be considered a Scheme: from strict subsets of RnRS to other "Scheme" implementations, to Racket, to Lisp dialects including Clojure, Emacs Lisp, Common Lisp, to functional languages with continuations and/or macros (or extended to have them) such as Dylan, ECMAScript, Hop, Lua, Scala, Rust, etc. The elegance of the paper and the relevance of its topic to the interests of Schemers will matter more than the surface syntax of the examples used.
Topics
Topics of interest include (but are not limited to):
Interaction: program-development environments, debugging, testing, refactoring
Implementation: interpreters, compilers, tools, garbage collectors, benchmarks
Extension: macros, hygiene, domain-specific languages, reflection, and how such extension affects interaction
Expression: control, modularity, ad hoc and parametric polymorphism, types, aspects, ownership models, concurrency, distribution, parallelism, non-determinism, probabilism, and other programming paradigms
Integration: build tools, deployment, interoperation with other languages and systems
Formal semantics: theory, analyses and transformations, partial evaluation
Human factors: past, present and future history, evolution and sociology of the language Scheme, its standard and its dialects
Education: approaches, experiences, curricula
Applications: industrial uses of Scheme
Scheme pearls: elegant, instructive uses of Scheme
Dates
Submission deadline is 2022-07-22 2022-07-29.
Authors will be notified by 2022-08-15.
Camera-ready versions are due 2022-09-02.
Workshop will be held in Ljubljana, Slovenia on 2022-09-16.
All deadlines are 23:59 UTC-12, anywhere on Earth.
Submission Information
We encourage all kinds of submissions, including full papers, experience reports, and lightning talks. Papers and experience reports are expected to be 10–24 pages in length using the single-column SIGPLAN acmart style. (For reference, this is about 5–12 pages of the older SIGPLAN 2-column 9pt style.) Abstracts submitted for lightning talks should be limited to 192 words.
Authors of each accepted submission are invited to attend and be available for the presentation of that paper at the conference. The schedule for presentations will be determined and shared with authors after the full program has been selected.
The size limits above exclude references and any optional appendices. There are no size limits on appendices, but the papers should stand without the need to read them, and reviewers are not required to read them.
Authors are encouraged to publish any code associated to their papers under an open source license, so that reviewers may try the code and verify the claims.
Proceedings will be uploaded to arXiv.org <https://arxiv.org/>.
Publication of a paper at this workshop is not intended to replace conference or journal publication, and does not preclude re-publication of a more complete or finished version of the paper at some later conference or in a journal.
Please submit papers through the workshop's HotCRP site <https://scheme2022.hotcrp.com/>.
Lightweight double-blind reviewing
Scheme 2022 will use lightweight double-blind reviewing. Submitted papers must omit author names and institutions and reference the authors’ own related work in the third person (e.g., not “we build on our previous work…” but rather “we build on the work of…”).
The purpose is to help the reviewers come to an initial judgment about the paper without bias, not to make it impossible for them to discover the authors if they were to try. Nothing should be done in the name of anonymity that weakens the submission or makes the job of reviewing the paper more difficult (e.g., important background references should not be omitted or anonymized).
Formatting Information
Full papers and experience reports should use the SIGPLAN acmsmall option to acmart. We recommend using the anonymous and review options to acmart when submitting a paper; these options hide the author names and enable line numbers for easy reference in review. LaTeX and Microsoft Word templates for this format are available through SIGPLAN <https://www.sigplan.org/Resources/Author/>.
Lightning talks can be submitted as either a text file or a PDF file.
International Conference on Functional Programming
The Scheme Workshop 2022 is being held as part of this year's International Conference on Functional Programming. Here is the ICFP site <https://icfp22.sigplan.org/home/scheme-2022> for the workshop.
Sincerely,
Andy Keep, General Co-chair
Arthur A. Gleckler, General Co-chair
------------------------------------------------------------------------
15th ACM SIGPLAN International Conference on Software Language
Engineering (SLE 2022)
December 5-10, 2022
Auckland, New Zealand
https://conf.researchr.org/home/sle-2022http://www.sleconf.org/2022
Follow us on twitter: https://twitter.com/sleconf
------------------------------------------------------------------------
We are pleased to invite you to submit papers to the 15th ACM SIGPLAN
International Conference on Software Language Engineering (SLE 2022),
held in conjunction with SPLASH, GPCE and SAS 2022. Based on the
future developments the conference will be hosted in Auckland, New
Zealand on December 5-10, 2022.
---------------------------
Topics of Interest
---------------------------
SLE covers software language engineering rather than engineering a
specific software language. Topics of interest include, but are not
limited to:
- Software Language Design and Implementation
- Approaches to and methods for language design
- Static semantics (e.g. design rules, well-formedness constraints)
- Techniques for specifying behavioral / executable semantics
- Generative approaches (incl. code synthesis, compilation)
- Meta-languages, meta-tools, language workbenches
- Software Language Validation
- Verification and formal methods for languages
- Testing techniques for languages
- Simulation techniques for languages
- Software Language Integration and Composition
- Coordination of heterogeneous languages and tools
- Mappings between languages (incl. transformation languages)
- Traceability between languages
- Deployment of languages to different platforms
- Software Language Maintenance
- Software language reuse
- Language evolution
- Language families and variability, language and software product lines
- Domain-specific approaches for any aspects of SLE (design,
implementation, validation, maintenance)
- Empirical evaluation and experience reports of language engineering tools
- User studies evaluating usability
- Performance benchmarks
- Industrial applications
- "Synergies between Language Engineering and emerging/promising research areas"
- AI and ML language engineering (e.g., ML compiler testing, code
classification) Quantum language engineering (e.g., language design
for quantum machines)
- Language engineering for physical systems (e.g., CPS, IoT, digital twins)
- Socio-technical systems and language engineering (e.g., language
evolution to adapt to social requirements)
- Etc.
---------------------------
Types of Submissions
---------------------------
SLE accepts the following types of papers:
- **Research papers**: These are "traditional" papers detailing
research contributions to SLE. Papers may range from 6 to 12 pages in
length, and may optionally include 2 further pages of
bibliography/appendices. Papers will be reviewed with an understanding
that some results do not need 12 full pages and may be fully described
in fewer pages.
- **New ideas / vision papers**: These are papers that may describe
new, unconventional software language engineering research positions
or approaches that depart from standard practice. They can describe
well-defined research ideas that are at an early stage of
investigation. They could also provide new evidence to challenge
common wisdom, present new unifying theories about existing SLE
research that provides novel insight or that can lead to the
development of new technologies or approaches, or apply SLE technology
to radically new application areas. New ideas / vision papers must not
exceed 5 pages, and may optionally include 1 further page of
bibliography / appendices.
- **SLE Body of Knowledge**: The SLE Body of Knowledge (SLEBoK) is a
community-wide effort to provide a unique and comprehensive
description of the concepts, best practices, tools and methods
developed by the SLE community. To this respect, the SLE conference
will accept surveys, essays, open challenges, empirical observations
and case study papers on the SLE topics. These can focus on but they
are not limited to methods, techniques, best practices and teaching
approaches. Papers in this category can have up to 20 pages, including
bibliography/appendices.
- **Tool papers**: These are papers which focus on the tooling aspects
which are often forgotten or neglected in research papers. A good tool
paper focuses on practical insights that are likely to be useful to
other implementers or users in the future. Any of the SLE topics of
interest are appropriate areas for tool demonstrations. Submissions
must not exceed 5 pages and may optionally include 1 further page of
bibliography / appendices. They may optionally come with an appendix
with a demo outline / screenshots and/or a short video/screencast
illustrating the tool.
**Workshops**: Workshops will be organized by SPLASH. Please inform us
and contact the SPLASH organizers if you would like to organize a
workshop of interest to the SLE audience. Information on how to submit
workshops can be found at the SPLASH 2022 Website.
---------------------------
Important Dates
---------------------------
All dates are Anywhere on Earth.
* Abstract submissions: August 8, 2022
* Paper submissions: August 12, 2022
* Review notification: September 18, 2022 (starting of the rebuttal)
* Author response period: September 28, 2022 (end of the rebuttal)
* Notification: September 30, 2022
* Artifact submissions: October 11, 2022
* Camera-ready (for both rounds): October 15, 2022
* Artifact kick-the-tires Author response: October 24, 2022
* Artifact notification: November 11, 2022
* Conference: December 5-10, 2022
---------------------------
Format
---------------------------
Submissions have to use the ACM SIGPLAN Conference Format
"acmart"(http://sigplan.org/Resources/Author/#acmart-format); please
make sure that you always use the latest ACM SIGPLAN acmart LaTeX
template(https://www.acm.org/binaries/content/assets/publications/consolida…,
and that the document class definition is
`\documentclass[sigplan,anonymous,review]{acmart}`. Do not make any
changes to this format!
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 in figures and tables are legible.
To increase fairness in reviewing, a double-blind review process has
become standard across SIGPLAN conferences. In this line, SLE will
follow the double-blind process. Author names and institutions should
be omitted from submitted papers, and references to the authors’ own
related work should be in the third person. No other changes are
necessary, and authors will not be penalized if reviewers are able to
infer their identities in implicit ways.
All submissions must be in PDF format. The submission website is:
https://sle22.hotcrp.com
---------------------------
Concurrent Submissions
---------------------------
Papers must describe unpublished work that is not currently submitted
for publication elsewhere as described by SIGPLAN’s Republication
Policy (http://www.sigplan.org/Resources/Policies/Republication).
Submitters should also be aware of ACM’s Policy and Procedures on
Plagiarism (http://www.acm.org/publications/policies/plagiarism_policy).
Submissions that violate these policies will be desk-rejected.
---------------------------
Policy on Human Participant and Subject Research
---------------------------
Authors conducting research involving human participants and subjects
must ensure that their research comply with their local governing laws
and regulations and the ACM’s general principles as stated in the
ACM’s Publications Policy on Research Involving Human Participants and
Subjects (https://www.acm.org/publications/policies/research-involving-human-particip…).
Submissions that violate this policy will be rejected.
---------------------------
Reviewing Process
---------------------------
All submitted papers will be reviewed by at least three members of the
program committee. Research papers and tool papers will be evaluated
concerning novelty, correctness, significance, readability, and
alignment with the conference call. New ideas/vision papers will be
evaluated primarily concerning novelty, significance, readability, and
alignment with the conference call. SLEBoK papers will be reviewed on
their significance, readability, topicality and capacity of
presenting/evaluating/demonstrating a piece of BoK about SLE.
For fairness reasons, all submitted papers must conform to the above
instructions. Submissions that violate these instructions may be
rejected without review, at the discretion of the PC chairs.
After each review round, authors will get a chance to respond before a
final decision is made.
---------------------------
Artifact Evaluation
---------------------------
For the seventh year, SLE will use an evaluation process for assessing
the quality of the artifacts on which papers are based to foster the
culture of experimental reproducibility. Authors of accepted research
papers are invited to submit artifacts. For more information, please
have a look at the Artifact Evaluation
(http://www.sleconf.org/2022/ArtifactEvaluation.html) page.
---------------------------
Special Issue
---------------------------
There will be a special issue on Software Language Engineering in the
Journal of Systems and Software (JSS). The best papers accepted at the
conference will be invited to submit an extended version of their
work.
---------------------------
Awards
---------------------------
- **Distinguished paper**: Award for most notable paper, as determined
by the PC chairs based on the recommendations of the programme
committee.
- **Distinguished artifact**: Award for the artifact most
significantly exceeding expectations, as determined by the AEC chairs
based on the recommendations of the artifact evaluation committee.
---------------------------
Publication
---------------------------
All accepted papers will be published in the ACM Digital Library.
**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.
---------------------------
SLE and Doctoral Students
---------------------------
SLE encourages students to submit to the SPLASH doctoral symposium.
Authors of accepted papers will have the chance to present their work
to the SLE audience, too.
---------------------------
Organisation
---------------------------
Chairs:
* General chair: Bernd Fischer, Stellenbosch University, South Africa
* PC co-chair: Lola Burgueño, Open University of Catalonia, Spain
* PC co-chair: Walter Cazzola, Università degli Studi di Milano, Italy
* Artefact Evaluation co-chair: Thomas Kühn, Karlsruhe Institute of
Technology, Germany
* Artefact Evaluation co-chair: Juliana A. Pereira, Pontifical
Catholic University of Rio de Janeiro, Brazil
Program committee:
Shaukat Ali, Simula Research Laboratory, Norway
Arvid Butting, Aachen University, Germany
Marsha Chechik, University of Toronto, Canada
Shigeru Chiba, University of Tokyo, Japan
Benoît Combemale, University of Rennes, France
Zhenjiang Hu, Peking University, China
Jörg Kienzle, McGill University, Canada
Dimitris Kolovos, University of York, UK
Thomas Kühn, Karlsruhe Institute of Technology, Germany
Juan de Lara, Universidad Autónoma de Madrid, Spain
Stefan Marr, University of Kent, UK
Marjan Mernik, University of Maribor, Slovenia
Natsuko Noda, Shibaura Institute of Technology, Japan
Juliana A. Pereira, Pontifical Catholic University of Rio de Janeiro, Brazil
Elizabeth Scott, University of London, UK
Marco Servetto, Victoria University of Wellington, New Zealand
Emma Söderberg, Lund University, Sweden
Walid Taha, Halmstad University , Sweden
Marco Tullio Valente, Universidade Federal de Minas Gerais, Brazil
Erik Van Wyk, University of Minnesota , USA
Alfonso de la Vega, University of Cantabria, Spain
Ran Wei, Dalian University of Technology, China
Andreas Wortmann, Stuttgart University, Germany
Vadim Zaytsev, University of Twente, Netherlands
Steffen Zschaler, King’s College London, UK
---------------------------
Contact
---------------------------
For additional information, clarification, or answers to questions,
please contact the Programme Chairs (Lola Burgueño and Walter Cazzola)
at sle22-chairs _at_ di.unimi.it.
The 2022 Scheme and Functional Programming Workshop is calling for submissions.
We invite high-quality papers and talk proposals about novel research results, lessons learned from practical experience in an industrial or educational setting, and even new insights on old ideas. We welcome and encourage submissions that apply to any dynamic functional language, especially those that can be considered a Scheme: from strict subsets of RnRS to other "Scheme" implementations, to Racket, to Lisp dialects including Clojure, Emacs Lisp, Common Lisp, to functional languages with continuations and/or macros (or extended to have them) such as Dylan, ECMAScript, Hop, Lua, Scala, Rust, etc. The elegance of the paper and the relevance of its topic to the interests of Schemers will matter more than the surface syntax of the examples used.
Topics
Topics of interest include (but are not limited to):
Interaction: program-development environments, debugging, testing, refactoring
Implementation: interpreters, compilers, tools, garbage collectors, benchmarks
Extension: macros, hygiene, domain-specific languages, reflection, and how such extension affects interaction
Expression: control, modularity, ad hoc and parametric polymorphism, types, aspects, ownership models, concurrency, distribution, parallelism, non-determinism, probabilism, and other programming paradigms
Integration: build tools, deployment, interoperation with other languages and systems
Formal semantics: theory, analyses and transformations, partial evaluation
Human factors: past, present and future history, evolution and sociology of the language Scheme, its standard and its dialects
Education: approaches, experiences, curricula
Applications: industrial uses of Scheme
Scheme pearls: elegant, instructive uses of Scheme
Dates
Submission deadline is 2022-07-22.
Authors will be notified by 2022-08-15.
Camera-ready versions are due 2022-09-02.
Workshop will be held in Ljubljana, Slovenia on 2022-09-16.
All deadlines are 23:59 UTC-12, anywhere on Earth.
Submission Information
We encourage all kinds of submissions, including full papers, experience reports, and lightning talks. Papers and experience reports are expected to be 10–24 pages in length using the single-column SIGPLAN acmart style. (For reference, this is about 5–12 pages of the older SIGPLAN 2-column 9pt style.) Abstracts submitted for lightning talks should be limited to 192 words.
Authors of each accepted submission are invited to attend and be available for the presentation of that paper at the conference. The schedule for presentations will be determined and shared with authors after the full program has been selected.
The size limits above exclude references and any optional appendices. There are no size limits on appendices, but the papers should stand without the need to read them, and reviewers are not required to read them.
Authors are encouraged to publish any code associated to their papers under an open source license, so that reviewers may try the code and verify the claims.
Proceedings will be uploaded to arXiv.org <https://arxiv.org/>.
Publication of a paper at this workshop is not intended to replace conference or journal publication, and does not preclude re-publication of a more complete or finished version of the paper at some later conference or in a journal.
Please submit papers through the workshop's HotCRP site <https://scheme2022.hotcrp.com/>.
Lightweight double-blind reviewing
Scheme 2022 will use lightweight double-blind reviewing. Submitted papers must omit author names and institutions and reference the authors’ own related work in the third person (e.g., not “we build on our previous work…” but rather “we build on the work of…”).
The purpose is to help the reviewers come to an initial judgment about the paper without bias, not to make it impossible for them to discover the authors if they were to try. Nothing should be done in the name of anonymity that weakens the submission or makes the job of reviewing the paper more difficult (e.g., important background references should not be omitted or anonymized).
Formatting Information
Full papers and experience reports should use the SIGPLAN acmsmall option to acmart. We recommend using the anonymous and review options to acmart when submitting a paper; these options hide the author names and enable line numbers for easy reference in review. LaTeX and Microsoft Word templates for this format are available through SIGPLAN <https://www.sigplan.org/Resources/Author/>.
Lightning talks can be submitted as either a text file or a PDF file.
International Conference on Functional Programming
The Scheme Workshop 2022 is being held as part of this year's International Conference on Functional Programming. Here is the ICFP site <https://icfp22.sigplan.org/home/scheme-2022> for the workshop.
Sincerely,
Andy Keep, General Co-chair
Arthur A. Gleckler, General Co-chair
The Gambit github repo’s README now contains a “Contributing” section that explains how individuals can contribute to Gambit’s development. Here’s the text:
We welcome contributions in the form of issues, bug reports, and pull-requests for enhancements, bug fixes, and entire modules of code (SRFIs, new modules or ports from other environments, etc). Thanks to Gambit's module system, individuals can also contribute modules and R7RS libraries on their own by simply creating a public git repository (on github.com, gitlab.com, etc) that hosts the module's source code (see https://github.com/gambit/hello and https://github.com/feeley/bonjour for simple public modules, which can be run with `gsi github.com/gambit/hello/demo` and `gsi -:whitelist=github.com/feeley github.com/feeley/bonjour` respectively).
For some issues a reward is offered for fixing the issue (enter the word "bounty" in the "Issues" tab search bar). Individuals may offer a bounty for fixing an issue by adding the word "bounty" in the description of the issue and giving details on the amount and payment method.
Please click the following button if you want to donate funds that will allow the Gambit maintainers to offer bug bounties and rewards to people who contribute to Gambit's development. As an example, a typical bug bounty is on the order of $100 CAD (about $80 USD and 75 euros at time of writing).
There has been a $2000 CAD bounty committment devoted to weeding out the bugs in the SMP scheduler to make it usable on a regular basis. Please search for "bounty" in the issues tab for details (the SMP bounties will appear soon, but basically it is $100 for finding and resolving a bug in the SMP version, which is built with `./configure --enable-single-host --enable-smp --enable-multiple-threaded-vms;make;make bootstrap;make bootclean;make`). Don’t hesitate to offer bounties for specific issues you care about!
Marc