Document Open Access Logo

Linear Promises: Towards Safer Concurrent Programming (Artifact)

Authors Ohad Rau, Caleb Voss, Vivek Sarkar

PDF

Artifact Description

Thumbnail PDF
PDF
DARTS.7.2.15.pdf
  • Filesize: 423 kB
  • 3 pages

Document Identifiers

Subject Classification

ACM Subject Classification
  • Software and its engineering → Concurrent programming languages
  • Theory of computation → Operational semantics
  • Theory of computation → Type theory
Keywords
  • promises
  • type systems
  • linear typing
  • operational semantics
  • concurrency

Metrics

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

Abstract

We present a compiler for a concurrent programming language, which utilizes linear typing to create a safer promise abstraction. The compiler is implemented in OCaml and produces source-level Java code. We provide example programs to demonstrate use of the language, as well as translations of incorrect JavaScript code from StackOverflow to showcase the ability of our language to catch many classes of bugs. Finally, we provide a minimal runtime environment to allow the execution of compiled programs.

Cite As Get BibTex

Ohad Rau, Caleb Voss, and Vivek Sarkar. Linear Promises: Towards Safer Concurrent Programming (Artifact). In Special Issue of the 35th European Conference on Object-Oriented Programming (ECOOP 2021). Dagstuhl Artifacts Series (DARTS), Volume 7, Issue 2, pp. 15:1-15:3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021) https://doi.org/10.4230/DARTS.7.2.15

Author Details

Ohad Rau
  • Georgia Institute of Technology, Atlanta, GA, USA
Caleb Voss
  • Georgia Institute of Technology, Atlanta, GA, USA
Vivek Sarkar
  • Georgia Institute of Technology, Atlanta, GA, USA

Artifact

  MD5 Sum: f6ecd59c832dbe016d2bf78256bc96d9 (Get MD5 Sum)

Related Article

  • Ohad Rau, Caleb Voss, and Vivek Sarkar, "Linear Promises: Towards Safer Concurrent Programming", in 35th European Conference on Object-Oriented Programming (ECOOP 2021), LIPIcs, Vol. 194, pp. 13:1-13:27, 2021. https://doi.org/10.4230/LIPIcs.ECOOP.2021.13
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