‹Programming› 2022
Mon 11 - Thu 14 April 2022

The International Conference on the Art, Science, and Engineering of Programming is a new conference focused on programming topics including the experience of programming. We have named it ‹Programming› for short. ‹Programming› 2022 is the sixth edition of the conference.
‹Programming› seeks for papers that advance knowledge of programming on any relevant topic, including programming practice and experience.

In order to present at ‹Programming› 2022, papers must be submitted to the first, second or third 2022 issue of that journal (timeline).

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

Mon 21 Mar

Displayed time zone: Lisbon change

08:30 - 09:00
Registration at OpenSpace
08:30
30m
Registration
Registration

Tue 22 Mar

Displayed time zone: Lisbon change

08:30 - 09:00
Registration at OpenSpace
08:30
30m
Registration
Registration

Wed 23 Mar

Displayed time zone: Lisbon change

08:30 - 09:00
Café & NataCatering at Coffee Lounge
08:30
30m
Café & Nata
Catering

08:30 - 09:00
Registration at OpenSpace
08:30
30m
Registration
Registration

08:45 - 09:00
08:45
15m
Other
Conference Opening
G: Ademar Aguiar FEUP, Universidade do Porto, A: Emma Söderberg Lund University, S: Guido Salvaneschi University of St. Gallen
09:00 - 10:00
Crista LopesKeynotes at Auditorium Nobre
Chair(s): Theo D'Hondt Vrije Universiteit Brussel
09:00
60m
Keynote
The Curious Case of Code Duplication in GitHub‹Programming› Keynote
Keynotes
K: Crista Lopes University of California, Irvine
10:00 - 10:30
Coffee breakCatering at Coffee Lounge
10:00
30m
Coffee break
Coffee break
Catering

10:30 - 12:00
Compiler ConstructionResearch Papers at Auditorium Nobre
Chair(s): Coen De Roover Vrije Universiteit Brussel
10:30
30m
Talk
Constructing Hybrid Incremental Compilers for Cross-Module Extensibility with an Internal Build SystemVol. 4
Research Papers
Jeff Smits Delft University of Technology, Netherlands, Gabriël Konat Delft University of Technology, Eelco Visser Delft University of Technology
Link to publication DOI Pre-print
11:00
30m
Talk
Reusing Static Analysis across Different Domain-Specific Languages using Reference Attribute GrammarsVol. 4
Research Papers
Johannes Mey Technische Universität Dresden, Thomas Kühn Karlsruhe Institute of Technology, René Schöne Technische Universität Dresden, Uwe Aßmann TU Dresden, Germany
Link to publication DOI Pre-print
12:00 - 13:30
12:00
90m
Lunch
Lunch
Catering

15:00 - 15:30
Coffee breakCatering at Coffee Lounge
15:00
30m
Coffee break
Coffee break
Catering

15:30 - 16:30
End-user ProgrammingResearch Papers at Auditorium Nobre
Chair(s): Jonathan Edwards
15:30
30m
Talk
Bacatá: Notebooks for DSLs, Almost for FreeVol. 4
Research Papers
Mauricio Verano Merino Vrije Universiteit Amsterdam, Jurgen Vinju CWI; Eindhoven University of Technology, Tijs van der Storm CWI; University of Groningen
Link to publication DOI Pre-print
16:00
30m
Talk
Foundations of a live data exploration environmentReviewers’ AwardVol. 4
Research Papers
Tomas Petricek University of Kent
Link to publication DOI Pre-print
16:30 - 17:00

Thu 24 Mar

Displayed time zone: Lisbon change

08:30 - 09:00
Café & NataCatering at Coffee Lounge
08:30
30m
Café & Nata
Catering

08:30 - 09:00
Registration at OpenSpace
08:30
30m
Registration
Registration

08:45 - 09:00
08:45
15m
Awards
Awards

10:00 - 10:30
Coffee breakCatering at Coffee Lounge
10:00
30m
Coffee break
Coffee break
Catering

10:30 - 12:00
Functional ProgrammingResearch Papers at Auditorium Nobre
Chair(s): Stefan Marr University of Kent
10:30
30m
Research paper
The Art of the Meta Stream Protocol: Torrents of StreamsVol. 6
Research Papers
Christophe De Troyer Vrije Universiteit Brussel, Jens Nicolay Vrije Universiteit Brussel, Wolfgang De Meuter Vrije Universiteit Brussel
Link to publication
11:00
30m
Research paper
Topology-level Reactivity in Distributed Reactive Programs: Reactive Acquaintance Management using Proximity SetsVol. 6
Research Papers
Sam Van den Vonder Vrije Universiteit Brussel, Thierry Renaux Vrije Universiteit Brussel, Wolfgang De Meuter Vrije Universiteit Brussel
Link to publication DOI
11:30
30m
Research paper
United Monoids: Finding Simplicial Sets and Labelled Algebraic Graphs in TreesVol. 6
Research Papers
Andrey Mokhov Jane Street
Link to publication
12:00 - 13:30
12:00
90m
Lunch
Lunch
Catering

13:30 - 15:00
Concurrency & SynchronizationResearch Papers at Auditorium Nobre
Chair(s): Ademar Aguiar FEUP, Universidade do Porto
13:30
30m
Talk
Capturing High-level Nondeterminism in Concurrent Programs for Practical Concurrency Model Agnostic Record & ReplayVol. 5
Research Papers
Dominik Aumayr Johannes Kepler University Linz, Austria, Stefan Marr University of Kent, Sophie Kaleba University of Kent, Elisa Gonzalez Boix Vrije Universiteit Brussel, Belgium, Hanspeter Mössenböck JKU Linz
Link to publication DOI
14:00
30m
Talk
Path-Sensitive Atomic Commit: Local Coordination Avoidance for Distributed TransactionsVol. 5
Research Papers
Tim Soethout ING Bank; CWI, Tijs van der Storm CWI; University of Groningen, Jurgen Vinju CWI; Eindhoven University of Technology
Link to publication DOI
14:30
30m
Research paper
An Optimised Flow for Futures: From Theory to PracticeVol. 6
Research Papers
Link to publication
15:00 - 15:30
Coffee breakCatering at Coffee Lounge
15:00
30m
Coffee break
Coffee break
Catering

15:30 - 16:15
15:30
45m
Other
Conference Closing
G: Ademar Aguiar FEUP, Universidade do Porto, G: Shigeru Chiba The University of Tokyo

Fri 25 Mar

Displayed time zone: Lisbon change

08:30 - 09:00
Registration at OpenSpace
08:30
30m
Registration
Registration

Mon 11 Apr

Displayed time zone: Lisbon change

06:00 - 09:00
‹Programming› Online Monday / Research Papers at Virtual Space
Chair(s): Jonathan Edwards
06:00
15m
Other
Conference Opening
G: Ademar Aguiar FEUP, Universidade do Porto, A: Emma Söderberg Lund University, S: Guido Salvaneschi University of St. Gallen
06:15
25m
Research paper
Type Checking Extracted MethodsVol. 6
Research Papers
Yuquan FU , Sam Tobin-Hochstadt Indiana University
Link to publication
06:40
25m
Research paper
Types for Tables: A Language Design BenchmarkEditors’ AwardVol. 6
Research Papers
Kuang-Chen Lu Brown University, USA, Ben Greenman Brown University, Shriram Krishnamurthi Brown University, United States
Link to publication
07:05
25m
Research paper
Continuation-Passing Style, Defunctionalization, Accumulations, and AssociativityReviewers’ AwardVol. 6
Research Papers
Jeremy Gibbons Department of Computer Science, University of Oxford
Link to publication
07:30
25m
Research paper
The Art of the Meta Stream Protocol: Torrents of StreamsVol. 6
Research Papers
Christophe De Troyer Vrije Universiteit Brussel, Jens Nicolay Vrije Universiteit Brussel, Wolfgang De Meuter Vrije Universiteit Brussel
Link to publication

Tue 12 Apr

Displayed time zone: Lisbon change

06:00 - 09:00
‹Programming› Online TuesdayResearch Papers / at Virtual Space
Chair(s): Theo D'Hondt Vrije Universiteit Brussel
06:00
25m
Talk
Day 2 Opening | Bitrot Revisited: Local First Software and Orthogonal Synchronization
06:25
25m
Research paper
A Transient Semantics for Typed RacketVol. 6
Research Papers
Ben Greenman Brown University, Lukas Lazarek Northwestern University, Christos Dimoulas PLT @ Northwestern University, Matthias Felleisen Northeastern University
Link to publication
06:50
25m
Research paper
A Functional Programming Language with VersionsVol. 6
Research Papers
Yudai Tanabe Tokyo Institute of Technology, Luthfan Anshar Lubis , Tomoyuki Aotani Tokyo Institute of Technology, Hidehiko Masuhara Tokyo Institute of Technology
Link to publication
07:15
25m
Research paper
An Optimised Flow for Futures: From Theory to PracticeVol. 6
Research Papers
Link to publication

Wed 13 Apr

Displayed time zone: Lisbon change

06:00 - 09:00
‹Programming› Online WednesdayResearch Papers / at Virtual Space
Chair(s): Emma Söderberg Lund University
06:00
25m
Other
Day 3 Opening | Games & Social
Eva Krebs Hasso Plattner Institute, University of Potsdam, Robert Hirschfeld HPI, University of Potsdam
06:25
25m
Research paper
Figuring and Drawing: a visual approach to principled programmingVol. 6
Research Papers
Elpida Keravnou-Papailiou University of Cyprus
06:50
25m
Research paper
Automated, Targeted Testing of Property-Based Testing PredicatesVol. 6
Research Papers
Tim Nelson Brown University, Elijah Rivera , Sam Soucie Indiana University, Thomas Del Vecchio Brown University, John Wrenn Brown University, Shriram Krishnamurthi Brown University, United States
Link to publication
07:15
25m
Research paper
Deriving Static Security Testing from Runtime Security Protection for Web ApplicationsVol. 6
Research Papers
Angel Luis Scull Pupo Sofware Languages Lab, Vrije Universiteit Brussel, Jens Nicolay Vrije Universiteit Brussel, Elisa Gonzalez Boix Vrije Universiteit Brussel, Belgium
Link to publication

Thu 14 Apr

Displayed time zone: Lisbon change

06:00 - 09:00
‹Programming› Online ThursdayResearch Papers / at Virtual Space
Chair(s): Jeremy Gibbons Department of Computer Science, University of Oxford
06:00
25m
Talk
Day 4 Opening | N Things I Hate About \nu*
James Noble Creative Research & Programming
06:25
25m
Research paper
Topology-level Reactivity in Distributed Reactive Programs: Reactive Acquaintance Management using Proximity SetsVol. 6
Research Papers
Sam Van den Vonder Vrije Universiteit Brussel, Thierry Renaux Vrije Universiteit Brussel, Wolfgang De Meuter Vrije Universiteit Brussel
Link to publication DOI
06:50
25m
Research paper
Sham: A DSL for Fast DSLsVol. 6
Research Papers
Rajan Walia Indiana University, Chung-chieh Shan Indiana University, USA, Sam Tobin-Hochstadt Indiana University
Link to publication
07:15
25m
Research paper
Debootstrapping without archeology: Stacked implementations in CamlbootVol. 6
Research Papers
Nathanaëlle Courant INRIA, Julien Lepiller Yale University, Gabriel Scherer INRIA Saclay
07:40
25m
Other
Conference Closing
G: Ademar Aguiar FEUP, Universidade do Porto, G: Shigeru Chiba The University of Tokyo

Not scheduled yet

Not scheduled yet
Talk
Transparent Synchronous DataflowVol. 5
Research Papers
Steven Cheung University of Birmingham, UK, Dan Ghica University of Birmingham, Koko Muroya RIMS, Kyoto University
Link to publication DOI

Call for Papers

Scope

The Art, Science, and Engineering of Programming accepts papers that advance knowledge of programming. Almost anything about programming is in scope, but in each case there should be a clear relevance to the act and experience of programming. Additionally, papers must be written in a scholarly form. Scholarly works are those that describe ideas in the context of other ideas that are already known, so to contribute to the systematic and long-standing chaining of knowledge. Papers that fail to properly contextualize the work will not be considered.

We accept descriptions of work under different perspectives:

  • Art: knowledge and technical skills acquired through practice and personal experiences. Examples include libraries, frameworks, languages, APIs, programming models and styles, programming pearls, and essays about programming.

  • Science (Theoretical): knowledge and technical skills acquired through mathematical formalisms. Examples include formal programming models and proofs.

  • Science (Empirical): knowledge and technical skills acquired through experiments and systematic observations. Examples include user studies and programming-related data mining.

  • Engineering: knowledge and technical skills acquired through designing and building large systems and through calculated application of principles in building those systems. Examples include measurements of artifacts’ properties, development processes and tools, and quality assurance methods.

Independent of the type of work, the journal accepts submissions covering several areas of expertise, including but not limited to:

  • General-purpose programming
  • Distributed systems programming
  • Parallel and multi-core programming
  • Graphics and GPU programming
  • Security programming
  • User interface programming
  • Database programming
  • Visual and live programming
  • Data mining and machine learning programming, and for programming
  • Interpreters, virtual machines, and compilers
  • Modularity and separation of concerns
  • Model-based development
  • Metaprogramming and reflection
  • Testing and debugging
  • Program verification
  • Programming education
  • Programming environments
  • Social coding

Upon submission, authors are requested to state what type of paper they are submitting and what areas of expertise are covered by the paper. These two classifications, combined, are used to select reviewers and to apply suitable assessment criteria for the papers. They are not used beyond that purpose. Misclassification by the authors may lead to negative assessments from reviewers.

Paper Selection

The following criteria are used when evaluating submitted papers:

  • Novelty and Importance: The paper presents new insights or results, and contributes significantly to the advancement, analysis, or synthesis of knowledge in the field.
  • Scholarship and Clarity: The paper places its ideas and results appropriately and clearly within the context established by previous research in the field.

More specific criteria for assessing papers depends on the type of the paper:

  • Papers submitted as “The Art” should include a very solid contextualization of the work, and, when applicable, they should include the artifacts themselves.
  • Papers submitted as “Science” should describe the methods or formalisms in detail, as well as any data and scripts used to analyze it.
  • Papers submitted as “Engineering” should present the methods in detail, unveil results that are clearly better than some accepted baseline, and include the artifacts used to reach the conclusions.

Artifacts are recommended, but not required, for the initial submission. Depending on the papers, reviewers may take the existence of artifacts as a positive signal about the work. Also depending on the papers, artifacts may be required as a condition for publication.

Reviewing and Selection Process

There are two rounds of review. The first round assesses the papers according to the quality criteria stated above, and results in the selection of a subset of submissions that are either accepted as-is or are deemed potentially acceptable. All other papers are rejected. Authors of potentially acceptable papers are requested to improve specific aspects of the research and the paper. Authors are given a specified period of time to perform the revisions and re-submit the paper. During the second and final reviewing round, the same reviewers assess how well the revision requests have been addressed by the authors, and whether the final paper maintains or improves the level of contribution of the original submission. Revisions that significantly lessen the contribution of the work or that fail to adequately address the reviewers’ original concerns will result in the paper’s rejection.

Papers rejected in either the first or second phases may be resubmitted one more time to the journal. The resubmission will be treated as a new submission, and the paper may be assigned to new reviewers. After a second rejection, subsequent submissions of the same paper will be desk-rejected.

Accepted Papers

Title
A Functional Programming Language with VersionsVol. 6
Research Papers
Link to publication
An Optimised Flow for Futures: From Theory to PracticeVol. 6
Research Papers
Link to publication
A Transient Semantics for Typed RacketVol. 6
Research Papers
Link to publication
Automated, Targeted Testing of Property-Based Testing PredicatesVol. 6
Research Papers
Link to publication
Bacatá: Notebooks for DSLs, Almost for FreeVol. 4
Research Papers
Link to publication DOI Pre-print
Capturing High-level Nondeterminism in Concurrent Programs for Practical Concurrency Model Agnostic Record & ReplayVol. 5
Research Papers
Link to publication DOI
Constructing Hybrid Incremental Compilers for Cross-Module Extensibility with an Internal Build SystemVol. 4
Research Papers
Link to publication DOI Pre-print
Continuation-Passing Style, Defunctionalization, Accumulations, and AssociativityReviewers’ AwardVol. 6
Research Papers
Link to publication
Debootstrapping without archeology: Stacked implementations in CamlbootVol. 6
Research Papers
Deriving Static Security Testing from Runtime Security Protection for Web ApplicationsVol. 6
Research Papers
Link to publication
Did JHotDraw respect the Law of Good Style? - A deep dive into the nature of false positives of bad code smellsVol. 4Editors’ Award
Research Papers
Link to publication DOI Pre-print
Figuring and Drawing: a visual approach to principled programmingVol. 6
Research Papers
Foundations of a live data exploration environmentReviewers’ AwardVol. 4
Research Papers
Link to publication DOI Pre-print
Path-Sensitive Atomic Commit: Local Coordination Avoidance for Distributed TransactionsVol. 5
Research Papers
Link to publication DOI
Prioritising Server Side Reachability via Inter-process Concolic TestingVol. 5
Research Papers
Link to publication DOI
Reusing Static Analysis across Different Domain-Specific Languages using Reference Attribute GrammarsVol. 4
Research Papers
Link to publication DOI Pre-print
Sham: A DSL for Fast DSLsVol. 6
Research Papers
Link to publication
The Art of the Meta Stream Protocol: Torrents of StreamsVol. 6
Research Papers
Link to publication
Topology-level Reactivity in Distributed Reactive Programs: Reactive Acquaintance Management using Proximity SetsVol. 6
Research Papers
Link to publication DOI
Transparent Synchronous DataflowVol. 5
Research Papers
Link to publication DOI
Type Checking Extracted MethodsVol. 6
Research Papers
Link to publication
Types for Tables: A Language Design BenchmarkEditors’ AwardVol. 6
Research Papers
Link to publication
United Monoids: Finding Simplicial Sets and Labelled Algebraic Graphs in TreesVol. 6
Research Papers
Link to publication

Submission

Use the the online submission system at EasyChair.

Typesetting

Submissions must use the LaTeX template of the journal. Please download the template package; a manual is included.

The template is also available in Overleaf.

Language and Page Limits

Papers must be written in English using high standards of writing. Papers that show poor mastery of the English language will be rejected without review.

The main part of the paper should not exceed 22 pages (in the provided style), but there is no limit for bibliography and appendices. The page limit for the main part of the paper is in place in order to keep the paper on focus and to avoid overloading the reviewers. Authors are encouraged to move important details to appendices, which may be consulted by the reviewers. In some cases, if authors feel that the main part requires substantially more pages, they should explain the reasons why in the additional comments field of the submission form; examples of these cases may include papers with substantial source code listings, and essays. Papers whose length is incommensurate with their contribution will be rejected.

The submission is required to contain an ACM subject classification.

Abstract

Each submission must be accompanied by a plain-language abstract of up to 500 words that presents the key points in the paper in a manner understandable by experienced practitioners and researchers in nearby disciplines. The abstract should avoid mathematical symbols whenever possible, and it must address the following:

  • Context: What is the broad context of the work? What is the importance of the general research area?
  • Inquiry: What problem or question does the paper address? How has this problem or question been addressed by others (if at all)?
  • Approach: What was done that unveiled new knowledge?
  • Knowledge: What new facts were uncovered? If the research was not results oriented, what new capabilities are enabled by the work?
  • Grounding: What argument, feasibility proof, artifacts, or results and evaluation support this work?
  • Importance: Why does this work matter?

NOTE: The absence of an abstract conforming to this specification is grounds for the rejection of the paper without review.

Attribution, Prior Papers, and Concurrent Submissions

Submitted papers must present original work made by the authors, must not overlap significantly with the authors’ previously published work, and must not be under review on another journal or conference.

Single-Blind Review

Currently, review uses a traditional process where author names are visible to reviewers. Submissions do not need to be anonymized to hide author names.