Cover Image

Chorex: Restartable, Language-Integrated Choreographies

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Wiersdorf, Ashton, Greenman, Ben
Format:	Preprint
Published:	2025
Subjects:	Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

FlowFPX: Nimble Tools for Debugging Floating-Point Exceptions
by: Allred, Taylor, et al.
Published: (2024)

If-T: A Benchmark for Type Narrowing
by: Guo, Hanwen, et al.
Published: (2025)

A Probabilistic Choreography Language for PRISM
by: Carbone, Marco, et al.
Published: (2025)

Privacy-Respecting Type Error Telemetry at Scale
by: Greenman, Ben, et al.
Published: (2024)

Verified Parameterized Choreographies Technical Report
by: Rubbens, Robert, et al.
Published: (2025)

Ozone: Fully Out-of-Order Choreographies
by: Plyukhin, Dan, et al.
Published: (2024)

Choreographies as Macros
by: Bohosian, Alexander, et al.
Published: (2025)

Step in Tine: Forking Processes in Functional Choreographies
by: Samuelson, Ashley, et al.
Published: (2026)

Grounded Language Design for Lightweight Diagramming for Formal Methods
by: Prasad, Siddhartha, et al.
Published: (2024)

Conceptual Mutation Testing for Student Programming Misconceptions
by: Prasad, Siddhartha, et al.
Published: (2023)

Toward a Corpus Study of the Dynamic Gradual Type
by: Nsofor, Dibri, et al.
Published: (2025)

Nice to Meet You: Synthesizing Practical MLIR Abstract Transformers
by: Peng, Xuanyu, et al.
Published: (2025)

Language-Integrated Recursive Queries (Full Version)
by: Herlihy, Anna, et al.
Published: (2025)

MTP: A Meaning-Typed Language Abstraction for AI-Integrated Programming
by: Dantanarayana, Jayanaka L., et al.
Published: (2024)

Integrating Large Language Models and Reinforcement Learning for Non-Linear Reasoning
by: Alon, Yoav, et al.
Published: (2024)

APPL: A Prompt Programming Language for Harmonious Integration of Programs and Large Language Model Prompts
by: Dong, Honghua, et al.
Published: (2024)

VyZX: Formal Verification of a Graphical Quantum Language
by: Lehmann, Adrian, et al.
Published: (2023)

Accelerating Language Model Workflows with Prompt Choreography
by: Bai, TJ, et al.
Published: (2025)

Unboxing Virgil ADTs for Fun and Profit
by: Teo, Bradley Wei Jie, et al.
Published: (2024)

Structural Code Search using Natural Language Queries
by: Limpanukorn, Ben, et al.
Published: (2025)

Global Position Aware Group Choreography using Large Language Model
by: Pang, Haozhou, et al.
Published: (2025)

Smooth, Integrated Proofs of Cryptographic Constant Time for Nondeterministic Programs and Compilers
by: Conoly, Owen, et al.
Published: (2025)

VeriAgent: A Tool-Integrated Multi-Agent System with Evolving Memory for PPA-Aware RTL Code Generation
by: Wang, Yaoxiang, et al.
Published: (2026)

CktFormalizer: Autoformalization of Natural Language into Circuit Representations
by: Xiong, Jing, et al.
Published: (2026)

Extensibility in Programming Languages: An overview
by: Nicolajsen, Sebastian mateos
Published: (2025)

Compilation as Multi-Language Semantics
by: Bowman, William J.
Published: (2025)

Multi-Language Probabilistic Programming
by: Stites, Sam, et al.
Published: (2025)

Profiling Programming Language Learning
by: Crichton, Will, et al.
Published: (2024)

The Vienna Architecture Description Language
by: Freitag, Florian, et al.
Published: (2024)

Domain-Specific Tensor Languages
by: Bernardy, Jean-Philippe, et al.
Published: (2023)

Linguine: A Natural-Language Programming Language with Formal Semantics and a Clean Compiler Pipeline
by: Hu, Lifan
Published: (2025)

A Programming Language for Feasible Solutions
by: Chen, Weijun, et al.
Published: (2025)

SGL: A Structured Graphics Language
by: Chapman, Jon
Published: (2025)

Evolution Language Framework for Persistent Objects
by: Kamina, Tetsuo, et al.
Published: (2025)

A Multilingual Python Programming Language
by: Bazaz, Saad Ahmed, et al.
Published: (2025)

Language-Parametric Reference Synthesis (Extended)
by: Pelsmaeker, Daniel A. A., et al.
Published: (2025)

From Program Logics to Language Logics
by: Cimini, Matteo
Published: (2024)

A Natural Formalized Proof Language
by: Xie, Lihan, et al.
Published: (2024)

Compiling by Proving: Language-Agnostic Automatic Optimization from Formal Semantics
by: Zhao, Jianhong, et al.
Published: (2025)

LLM4Decompile: Decompiling Binary Code with Large Language Models
by: Tan, Hanzhuo, et al.
Published: (2024)