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› seeks for papers that advance knowledge of programming on any relevant topic, including programming practice and experience.

In order to present at ‹Programming› 2021, papers must be submitted to the first, second or third issue of Volume 5 of the ‹Programming› journal (see details of the timeline).

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

Wed 24 Mar

Displayed time zone: Belfast change

14:00 - 14:30
Session 1Research Papers at Virtual Space A
Chair(s): Luke Church University of Cambridge | Lund University | Lark Systems
14:00
30m
Live Q&A
Transparent Synchronous Dataflow
Research Papers
Steven Cheung University of Birmingham, UK, Dan Ghica University of Birmingham, Koko Muroya RIMS, Kyoto University, JP
DOI Media Attached
14:00 - 14:30
15:00 - 16:30
Session 3Research Papers at Virtual Space A
Chair(s): Jeremy Gibbons Department of Computer Science, University of Oxford
15:00
30m
Live Q&A
Using Relational Problems to Teach Property-Based Testing
Research Papers
John Wrenn Brown University, Tim Nelson Brown University, Shriram Krishnamurthi Brown University, United States
DOI Media Attached
15:30
30m
Live Q&A
Bacatá: Notebooks for DSLs, Almost for Free
Research Papers
Mauricio Verano Merino Technische Universiteit Eindhoven, Jurgen Vinju CWI, Netherlands, Tijs van der Storm CWI & University of Groningen, Netherlands
DOI Media Attached
16:00
30m
Live Q&A
Reusing Static Analysis across Different Domain-Specific Languages using Reference Attribute Grammars
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
DOI Media Attached
15:00 - 16:30
Session 4Research Papers at Virtual Space B
Chair(s): Ademar Aguiar FEUP, Universidade do Porto
15:00
30m
Live Q&A
Path-Sensitive Atomic Commit: Local Coordination Avoidance for Distributed Transactions
Research Papers
Tim Soethout ING Bank and Centrum Wiskunde & Informatica (CWI), Tijs van der Storm CWI & University of Groningen, Netherlands, Jurgen Vinju CWI, Netherlands
DOI Media Attached
15:30
30m
Live Q&A
Interactive Music and Synchronous Reactive Programming
Research Papers
Bertrand Petit INRIA, France, Manuel Serrano Inria, France
DOI Media Attached
16:00
30m
Live Q&A
Programming Paradigms, Turing Completeness and Computational Thinking
Research Papers
Greg Michaelson Heriot-Watt University
DOI Media Attached
17:30 - 19:00
Session 5Research Papers at Virtual Space A
Chair(s): Stefan Marr University of Kent
17:30
30m
Live Q&A
Did JHotDraw Respect the Law of Good Style?: A deep dive into the nature of false positives of bad code smells
Research Papers
Daniel Speicher Bonn-Aachen International Center for Information Technology, B-IT
DOI Media Attached
18:00
30m
Live Q&A
Advanced Join Patterns for the Actor Model based on CEP Techniques
Research Papers
Humberto Rodriguez Avila Vrije Universiteit Brussel, Joeri De Koster Vrije Universiteit Brussel, Belgium, Wolfgang De Meuter Vrije Universiteit Brussel
DOI Media Attached
18:30
30m
Live Q&A
Finding Bugs with Specification-Based Testing is Easy!
Research Papers
Janice Chin , David J. Pearce Victoria University of Wellington, New Zealand
DOI Media Attached
17:30 - 19:00
Session 6Research Papers at Virtual Space B
Chair(s): Ademar Aguiar FEUP, Universidade do Porto
17:30
30m
Live Q&A
Constructing Hybrid Incremental Compilers for Cross-Module Extensibility with an Internal Build System
Research Papers
Jeff Smits Delft University of Technology, Netherlands, Gabriël Konat Delft University of Technology, Eelco Visser Delft University of Technology
DOI Media Attached
18:00
30m
Live Q&A
Functional Programming in Pattern-Match-Oriented Programming Style
Research Papers
Satoshi Egi Rakuten Institute of Technology, Rakuten, Inc. / The University of Tokyo, Yuichi Nishiwaki The University of Tokyo
DOI Media Attached
18:30
30m
Live Q&A
Sthread: In-Vivo Model Checking of Multithreaded Programs
Research Papers
Gene Cooperman Northeastern University, Martin Quinson École Normale Supérieure Rennes
DOI Media Attached

Thu 25 Mar

Displayed time zone: Belfast change

13:00 - 14:30
Session 7Research Papers at Virtual Space A
Chair(s): Emma Söderberg Lund University
13:00
30m
Live Q&A
Transparent Synchronous Dataflow
Research Papers
Steven Cheung University of Birmingham, UK, Dan Ghica University of Birmingham, Koko Muroya RIMS, Kyoto University, JP
DOI Media Attached
13:30
30m
Live Q&A
Consistency types for replicated data in a higher-order distributed programming language
Research Papers
Xin Zhao KTH Royal Institute of Technology, Philipp Haller KTH
DOI Media Attached
14:00
30m
Live Q&A
Jupyter Notebooks on GitHub: Characteristics and Code Clones
Research Papers
Malin Källén Uppsala University, Tobias Wrigstad Uppsala University, Sweden
DOI Media Attached
13:00 - 14:30
Session 8Research Papers at Virtual Space B
Chair(s): Simon Fowler University of Glasgow
13:00
30m
Live Q&A
Sub-method, partial behavioral reflection with Reflectivity: Looking back on 10 years of use
Research Papers
Steven Costiou INRIA Lille, Vincent Aranega Université Lille, CNRS, Centrale Lille, Inria, UMR 9189 - CRIStAL, Marcus Denker INRIA Lille
DOI Media Attached
13:30
30m
Live Q&A
Reference Capabilities for Safe Parallel Array Programming
Research Papers
Beatrice Åkerblom Stockholm University, Elias Castegren KTH, Tobias Wrigstad Uppsala University, Sweden
DOI Media Attached
14:00
30m
Live Q&A
ReactiFi: Reactive Programming of Wi-Fi Firmware on Mobile Devices
Research Papers
Artur Sterz Philipps-Universität Marburg, Matthias Eichholz , Ragnar Mogk Technische Universität Darmstadt, Lars Baumgärtner Technische Universität Darmstadt, Pablo Graubner , Matthias Hollick , Mira Mezini TU Darmstadt, Germany, Bernd Freisleben Philipps-Universität Marburg
DOI Media Attached
15:00 - 16:30
Session 9Research Papers at Virtual Space A
Chair(s): Ademar Aguiar FEUP, Universidade do Porto
15:00
30m
Live Q&A
Bacatá: Notebooks for DSLs, Almost for Free
Research Papers
Mauricio Verano Merino Technische Universiteit Eindhoven, Jurgen Vinju CWI, Netherlands, Tijs van der Storm CWI & University of Groningen, Netherlands
DOI Media Attached
15:30
30m
Live Q&A
Prioritising Server Side Reachability via Inter-process Concolic Testing
Research Papers
Maarten Vandercammen Vrije Universiteit Brussel, Laurent Christophe VUB, Dario Di Nucci Tilburg University, Wolfgang De Meuter Vrije Universiteit Brussel, Coen De Roover Vrije Universiteit Brussel
Link to publication DOI Media Attached
16:00
30m
Live Q&A
Path-Sensitive Atomic Commit: Local Coordination Avoidance for Distributed Transactions
Research Papers
Tim Soethout ING Bank and Centrum Wiskunde & Informatica (CWI), Tijs van der Storm CWI & University of Groningen, Netherlands, Jurgen Vinju CWI, Netherlands
DOI Media Attached
15:00 - 16:30
Session 10Research Papers at Virtual Space B
Chair(s): Mariana Marasoiu University of Cambridge
15:00
30m
Live Q&A
Constructing Hybrid Incremental Compilers for Cross-Module Extensibility with an Internal Build System
Research Papers
Jeff Smits Delft University of Technology, Netherlands, Gabriël Konat Delft University of Technology, Eelco Visser Delft University of Technology
DOI Media Attached
15:30
30m
Live Q&A
Sthread: In-Vivo Model Checking of Multithreaded Programs
Research Papers
Gene Cooperman Northeastern University, Martin Quinson École Normale Supérieure Rennes
DOI Media Attached
15:00 - 16:30
Session 11Research Papers at Virtual Space C
Chair(s): Jeremy Gibbons Department of Computer Science, University of Oxford
15:00
30m
Live Q&A
Functional Programming in Pattern-Match-Oriented Programming Style
Research Papers
Satoshi Egi Rakuten Institute of Technology, Rakuten, Inc. / The University of Tokyo, Yuichi Nishiwaki The University of Tokyo
DOI Media Attached
15:30
30m
Live Q&A
Lake symbols for island parsing
Research Papers
Katsumi Okuda The University of Tokyo / Mitsubishi Electric Corporation, Shigeru Chiba The University of Tokyo
DOI Media Attached
16:00
30m
Live Q&A
Programming Paradigms, Turing Completeness and Computational Thinking
Research Papers
Greg Michaelson Heriot-Watt University
DOI Media Attached
17:30 - 19:00
Session 12Research Papers at Virtual Space A
Chair(s): Guido Salvaneschi University of St. Gallen
17:30
30m
Live Q&A
Reusing Static Analysis across Different Domain-Specific Languages using Reference Attribute Grammars
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
DOI Media Attached
18:00
30m
Live Q&A
Finding Bugs with Specification-Based Testing is Easy!
Research Papers
Janice Chin , David J. Pearce Victoria University of Wellington, New Zealand
DOI Media Attached
17:30 - 19:00
Session 13Research Papers at Virtual Space B
Chair(s): Jens Lincke Hasso Plattner Institute, University of Potsdam, Germany
17:30
30m
Live Q&A
Interactive Music and Synchronous Reactive Programming
Research Papers
Bertrand Petit INRIA, France, Manuel Serrano Inria, France
DOI Media Attached
18:00
30m
Live Q&A
Capturing High-level Nondeterminism in Concurrent Programs for Practical Concurrency Model Agnostic Record & Replay
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, Austria
DOI Media Attached
18:30
30m
Live Q&A
Transparent Compiler and Runtime Specializations for Accelerating Managed Languages on FPGAs
Research Papers
Michail Papadimitriou University of Manchester, UK, Juan Fumero University of Manchester, UK, Athanasios Stratikopoulos The University of Manchester, Foivos S. Zakkak Red Hat, Inc., Christos Kotselidis KTM Innovation / The University of Manchester
DOI Media Attached

Fri 26 Mar

Displayed time zone: Belfast change

13:30 - 14:30
Session 14Research Papers at Virtual Space A
Chair(s): Hidehiko Masuhara Tokyo Institute of Technology
13:30
30m
Live Q&A
Advanced Join Patterns for the Actor Model based on CEP Techniques
Research Papers
Humberto Rodriguez Avila Vrije Universiteit Brussel, Joeri De Koster Vrije Universiteit Brussel, Belgium, Wolfgang De Meuter Vrije Universiteit Brussel
DOI Media Attached
14:00
30m
Live Q&A
Consistency types for replicated data in a higher-order distributed programming language
Research Papers
Xin Zhao KTH Royal Institute of Technology, Philipp Haller KTH
DOI Media Attached
13:30 - 14:30
Session 15Research Papers at Virtual Space B
Chair(s): Stefan Marr University of Kent
13:30
30m
Live Q&A
Transparent Compiler and Runtime Specializations for Accelerating Managed Languages on FPGAs
Research Papers
Michail Papadimitriou University of Manchester, UK, Juan Fumero University of Manchester, UK, Athanasios Stratikopoulos The University of Manchester, Foivos S. Zakkak Red Hat, Inc., Christos Kotselidis KTM Innovation / The University of Manchester
DOI Media Attached
14:00
30m
Live Q&A
Sub-method, partial behavioral reflection with Reflectivity: Looking back on 10 years of use
Research Papers
Steven Costiou INRIA Lille, Vincent Aranega Université Lille, CNRS, Centrale Lille, Inria, UMR 9189 - CRIStAL, Marcus Denker INRIA Lille
DOI Media Attached
15:00 - 16:30
Session 16Research Papers at Virtual Space A
Chair(s): Theo D'Hondt Vrije Universiteit Brussel
15:00
30m
Live Q&A
Using Relational Problems to Teach Property-Based Testing
Research Papers
John Wrenn Brown University, Tim Nelson Brown University, Shriram Krishnamurthi Brown University, United States
DOI Media Attached
15:30
30m
Live Q&A
Reference Capabilities for Safe Parallel Array Programming
Research Papers
Beatrice Åkerblom Stockholm University, Elias Castegren KTH, Tobias Wrigstad Uppsala University, Sweden
DOI Media Attached
16:00
30m
Live Q&A
Lake symbols for island parsing
Research Papers
Katsumi Okuda The University of Tokyo / Mitsubishi Electric Corporation, Shigeru Chiba The University of Tokyo
DOI Media Attached
15:00 - 16:30
Session 17Research Papers at Virtual Space B
Chair(s): Elisa Gonzalez Boix Vrije Universiteit Brussel, Belgium
15:00
30m
Live Q&A
Capturing High-level Nondeterminism in Concurrent Programs for Practical Concurrency Model Agnostic Record & Replay
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, Austria
DOI Media Attached
15:30
30m
Live Q&A
Prioritising Server Side Reachability via Inter-process Concolic Testing
Research Papers
Maarten Vandercammen Vrije Universiteit Brussel, Laurent Christophe VUB, Dario Di Nucci Tilburg University, Wolfgang De Meuter Vrije Universiteit Brussel, Coen De Roover Vrije Universiteit Brussel
Link to publication DOI Media Attached
16:00
30m
Live Q&A
ReactiFi: Reactive Programming of Wi-Fi Firmware on Mobile Devices
Research Papers
Artur Sterz Philipps-Universität Marburg, Matthias Eichholz , Ragnar Mogk Technische Universität Darmstadt, Lars Baumgärtner Technische Universität Darmstadt, Pablo Graubner , Matthias Hollick , Mira Mezini TU Darmstadt, Germany, Bernd Freisleben Philipps-Universität Marburg
DOI Media Attached
17:00 - 17:30
Session 18Research Papers at Virtual Space A
Chair(s): Jens Lincke Hasso Plattner Institute, University of Potsdam, Germany
17:00
30m
Live Q&A
Jupyter Notebooks on GitHub: Characteristics and Code Clones
Research Papers
Malin Källén Uppsala University, Tobias Wrigstad Uppsala University, Sweden
DOI Media Attached
17:00 - 17:30
Session 19Research Papers at Virtual Space B
Chair(s): Mariana Marasoiu University of Cambridge
17:00
30m
Live Q&A
Did JHotDraw Respect the Law of Good Style?: A deep dive into the nature of false positives of bad code smells
Research Papers
Daniel Speicher Bonn-Aachen International Center for Information Technology, B-IT
DOI Media Attached

Not scheduled yet

Not scheduled yet
Live Q&A
Programming Metamorphic Algorithms: An Experiment in Type-Driven Algorithm Design
Research Papers
Hsiang-Shang ‘Josh’ Ko Institute of Information Science, Academia Sinica
DOI
Not scheduled yet
Live Q&A
Lightweight Lexical Test Prioritization for Immediate Feedback
Research Papers
Toni Mattis Hasso Plattner Institute, University of Potsdam, Robert Hirschfeld Hasso Plattner Institute (HPI), University of Potsdam, Germany
DOI
Not scheduled yet
Live Q&A
Implementing a Language for Distributed Systems: Choices and Experiences with Type Level and Macro Programming in Scala
Research Papers
Pascal Weisenburger TU Darmstadt, Guido Salvaneschi University of St. Gallen
DOI
Not scheduled yet
Live Q&A
Robust Contract Evolution in a TypeSafe MicroServices Architecture
Research Papers
João Costa Seco NOVA LINCS -- Universidade Nova de Lisboa, Paulo Ferreira OutSystems SA, Hugo Lourenço OutSystems SA, Carla Ferreira Universidade Nova Lisboa, Lucio Ferrao OutSystems
DOI
Not scheduled yet
Live Q&A
Generating a Generic Fluent API in Java
Research Papers
Tomoki Nakamaru The University of Tokyo, Shigeru Chiba The University of Tokyo
DOI
Not scheduled yet
Live Q&A
Fine-Grained, Language-Based Access Control for Database-Backed Applications
Research Papers
Ezra Zigmond Harvard University, Stephen Chong Harvard University, Christos Dimoulas PLT @ Northwestern University, Scott Moore Harvard University
DOI
Not scheduled yet
Live Q&A
SMIE: Weakness is Power!: Auto-indentation with incomplete information
Research Papers
Stefan Monnier Université de Montréal
DOI
Not scheduled yet
Live Q&A
Gavial: Programming the web with multi-tier FRP
Research Papers
Bob Reynders Chonnam National University, Frank Piessens KU Leuven, Dominique Devriese Vrije Universiteit Brussel
DOI
Not scheduled yet
Live Q&A
Foundations of a live data exploration environment
Research Papers
Tomas Petricek University of Kent
DOI
Not scheduled yet
Live Q&A
Automatically Tracing Imprecision Causes in JavaScript Static Analysis
Research Papers
Hongki Lee Korea Advanced Institute of Science and Technology, Changhee Park KAIST, Sukyoung Ryu KAIST
DOI

Presented Papers

Title
Advanced Join Patterns for the Actor Model based on CEP Techniques
Research Papers
DOI Media Attached
Bacatá: Notebooks for DSLs, Almost for Free
Research Papers
DOI Media Attached
Capturing High-level Nondeterminism in Concurrent Programs for Practical Concurrency Model Agnostic Record & Replay
Research Papers
DOI Media Attached
Consistency types for replicated data in a higher-order distributed programming language
Research Papers
DOI Media Attached
Constructing Hybrid Incremental Compilers for Cross-Module Extensibility with an Internal Build System
Research Papers
DOI Media Attached
Did JHotDraw Respect the Law of Good Style?: A deep dive into the nature of false positives of bad code smells
Research Papers
DOI Media Attached
Finding Bugs with Specification-Based Testing is Easy!
Research Papers
DOI Media Attached
Functional Programming in Pattern-Match-Oriented Programming Style
Research Papers
DOI Media Attached
Implementing a Language for Distributed Systems: Choices and Experiences with Type Level and Macro Programming in Scala
Research Papers
DOI
Interactive Music and Synchronous Reactive Programming
Research Papers
DOI Media Attached
Jupyter Notebooks on GitHub: Characteristics and Code Clones
Research Papers
DOI Media Attached
Lake symbols for island parsing
Research Papers
DOI Media Attached
Path-Sensitive Atomic Commit: Local Coordination Avoidance for Distributed Transactions
Research Papers
DOI Media Attached
Prioritising Server Side Reachability via Inter-process Concolic Testing
Research Papers
Link to publication DOI Media Attached
Programming Paradigms, Turing Completeness and Computational Thinking
Research Papers
DOI Media Attached
ReactiFi: Reactive Programming of Wi-Fi Firmware on Mobile Devices
Research Papers
DOI Media Attached
Reference Capabilities for Safe Parallel Array Programming
Research Papers
DOI Media Attached
Reusing Static Analysis across Different Domain-Specific Languages using Reference Attribute Grammars
Research Papers
DOI Media Attached
Sthread: In-Vivo Model Checking of Multithreaded Programs
Research Papers
DOI Media Attached
Sub-method, partial behavioral reflection with Reflectivity: Looking back on 10 years of use
Research Papers
DOI Media Attached
Transparent Compiler and Runtime Specializations for Accelerating Managed Languages on FPGAs
Research Papers
DOI Media Attached
Transparent Synchronous Dataflow
Research Papers
DOI Media Attached
Using Relational Problems to Teach Property-Based Testing
Research Papers
DOI Media Attached

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.

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.

Questions? Use the ‹Programming› Research Papers contact form.