Copertina

Teaching Synchronous Dataflow Modelling with Learn-Heptagon

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Garoche, Pierre-Loïc, Pesin, Basile
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Reactive Semantics for User Interface Description Languages
di: Pesin, Basile, et al.
Pubblicazione: (2025)

Dataflow-Based Optimization for Quantum Intermediate Representation Programs
di: Luo, Junjie, et al.
Pubblicazione: (2024)

Learned Cost Model for Placement on Reconfigurable Dataflow Hardware
di: Guha, Etash, et al.
Pubblicazione: (2025)

Behavior Trees with Dataflow: Coordinating Reactive Tasks in Lingua Franca
di: Schulz-Rosengarten, Alexander, et al.
Pubblicazione: (2024)

TileLoom: Automatic Dataflow Planning for Tile-Based Languages on Spatial Dataflow Accelerators
di: Li, Wei, et al.
Pubblicazione: (2025)

Dato: A Task-Based Programming Model for Dataflow Accelerators
di: Fang, Shihan, et al.
Pubblicazione: (2025)

Suki: Choreographed Distributed Dataflow in Rust
di: Laddad, Shadaj, et al.
Pubblicazione: (2024)

Scaling Inter-procedural Dataflow Analysis on the Cloud
di: Sun, Zewen, et al.
Pubblicazione: (2024)

Recursive Function Definitions in Static Dataflow Graphs and their Implementation in TensorFlow
di: Kostopoulou, Kelly, et al.
Pubblicazione: (2024)

Benchmarking LLM Code Generation for Audio Programming with Visual Dataflow Languages
di: Zhang, William, et al.
Pubblicazione: (2024)

Failure Transparency in Stateful Dataflow Systems (Technical Report)
di: Veresov, Aleksey, et al.
Pubblicazione: (2024)

Static Program Slicing Using Language Models With Dataflow-Aware Pretraining and Constrained Decoding
di: He, Pengfei, et al.
Pubblicazione: (2026)

FuseFlow: A Fusion-Centric Compilation Framework for Sparse Deep Learning on Streaming Dataflow
di: Lacouture, Rubens, et al.
Pubblicazione: (2025)

WaveCert: Translation Validation for Asynchronous Dataflow Programs via Dynamic Fractional Permissions
di: Lin, Zhengyao, et al.
Pubblicazione: (2023)

Synchronous Programming with Refinement Types
di: Chen, Jiawei, et al.
Pubblicazione: (2024)

Synchron -- An API and Runtime for Embedded Systems
di: Sarkar, Abhiroop, et al.
Pubblicazione: (2022)

Tail Modulo Cons, OCaml, and Relational Separation Logic
di: Allain, Clément, et al.
Pubblicazione: (2024)

Quadratic Characterizations for Reachability Analysis of Neural Networks
di: Khalife, Elias, et al.
Pubblicazione: (2026)

Formally Proving Invariant Systemic Properties of Control Programs Using Ghost Code and Integral Quadratic Constraints
di: Khalife, Elias, et al.
Pubblicazione: (2025)

Towards Formal Verification of Hybrid Synchronous Programs with Refinement Types
di: Dane, Serra Z., et al.
Pubblicazione: (2026)

DeliverC: Teaching Pointers through GenAI-Powered Game-Based Learning
di: Petula, Wyatt, et al.
Pubblicazione: (2025)

Top-Down or Bottom-Up? Complexity Analyses of Synchronous Multiparty Session Types
di: Udomsrirungruang, Thien, et al.
Pubblicazione: (2024)

Using Code Snippets to Teach Programming Languages
di: Akingbade, Joshua, et al.
Pubblicazione: (2025)

SynQ: An Embedded DSL for Synchronous System Design with Quantitative Types
di: Chen, Rui, et al.
Pubblicazione: (2025)

A Systematic Mapping Study on Teaching of Security Concepts in Programming Courses
di: Torbunova, Alina, et al.
Pubblicazione: (2024)

NExT: Teaching Large Language Models to Reason about Code Execution
di: Ni, Ansong, et al.
Pubblicazione: (2024)

Polymorphic Records for Dynamic Languages
di: Castagna, Giuseppe, et al.
Pubblicazione: (2024)

An Empirical Study on Logging Evolution On Stack Overflow: Trends, Topics, and Challenges
di: Foalem, Patrick Loic, et al.
Pubblicazione: (2026)

Optimization with Temporal and Logical Specifications via Generalized Mean-based Smooth Robustness Measures
di: Uzun, Samet, et al.
Pubblicazione: (2024)

TAPA: A Scalable Task-Parallel Dataflow Programming Framework for Modern FPGAs with Co-Optimization of HLS and Physical Design
di: Guo, Licheng, et al.
Pubblicazione: (2022)

SpaDA: A Spatial Dataflow Architecture Programming Language
di: Gianinazzi, Lukas, et al.
Pubblicazione: (2025)

LLMDFA: Analyzing Dataflow in Code with Large Language Models
di: Wang, Chengpeng, et al.
Pubblicazione: (2024)

A Coq Library of Sets for Teaching Denotational Semantics
di: Cao, Qinxiang, et al.
Pubblicazione: (2024)

A Diagrammatic Calculus for a Functional Model of Natural Language Semantics
di: Boyer, Matthieu Pierre
Pubblicazione: (2025)

Pedagogy of Teaching Pointers in the C Programming Language using Graph Transformations
di: Donyina, Adwoa, et al.
Pubblicazione: (2025)

A System Level Compiler for Massively-Parallel, Spatial, Dataflow Architectures
di: Van Essendelft, Dirk, et al.
Pubblicazione: (2025)

Owi: Performant Parallel Symbolic Execution Made Easy, an Application to WebAssembly
di: Andrès, Léo, et al.
Pubblicazione: (2024)

AutoPyVerifier: Learning Compact Executable Verifiers for Large Language Model Outputs
di: Pezeshkpour, Pouya, et al.
Pubblicazione: (2026)

Learning Task Decomposition to Assist Humans in Competitive Programming
di: Wen, Jiaxin, et al.
Pubblicazione: (2024)

Numerical Superoptimization for Library Learning
di: Regehr, Jonas, et al.
Pubblicazione: (2026)