Document Open Access Logo

Incremental Computing by Differential Execution (Artifact)

Authors Prashant Kumar , André Pacak , Sebastian Erdweg

PDF

Artifact Description

Thumbnail PDF
PDF
DARTS.11.2.13.pdf
  • Filesize: 0.56 MB
  • 8 pages

Document Identifiers

Subject Classification

ACM Subject Classification
  • Theory of computation → Operational semantics
  • Software and its engineering → Formal language definitions
  • Software and its engineering → Formal methods
  • Software and its engineering → Incremental compilers
Keywords
  • Incremental computing
  • differential semantics
  • programming language design
  • formal verification
  • big-step semantics

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
    0
    Metadata Views

Abstract

This artifact supports the paper titled "Incremental Computing by Differential Execution" accepted at ECOOP 2025. It provides a mechanized formalization in Rocq of the differential semantics and optimizations presented in the paper, along with a reference implementation of the differential interpreter in Scala. The artifact includes the Bellman-Ford benchmark used for the performance evaluation in Section 7. Both components are packaged as Docker images for ease of use and reproducibility, enabling verification of all claims made in the paper.

Cite As Get BibTex

Prashant Kumar, André Pacak, and Sebastian Erdweg. Incremental Computing by Differential Execution (Artifact). In Special Issue of the 39th European Conference on Object-Oriented Programming (ECOOP 2025). Dagstuhl Artifacts Series (DARTS), Volume 11, Issue 2, pp. 13:1-13:8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025) https://doi.org/10.4230/DARTS.11.2.13

Author Details

Prashant Kumar
  • JGU Mainz, Germany
André Pacak
  • JGU Mainz, Germany
Sebastian Erdweg
  • JGU Mainz, Germany

Acknowledgements

This work is supported by ERC grant AutoInc (https://doi.org/10.3030/101125325).

Artifact

  MD5 Sum: 8700e93eb87a4a3a80a6d3cb9024c7dc (Get MD5 Sum)

Artifact Evaluation Policy

The artifact has been evaluated as described in the ECOOP 2025 Call for Artifacts and the ACM Artifact Review and Badging Policy.

Related Article

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2025 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact