Multi-Mode Debugging for FRP-Based Embedded Systems

• URL: http://arxiv.org/abs/2608.04264v1
• Date: Tue, 04 Aug 2026 22:51:25 GMT
• Title: Multi-Mode Debugging for FRP-Based Embedded Systems
• Abstract summary: Emfrp is a functional reactive programming language designed for small-scale embedded systems.<n>In practice, Emfrp programs are compiled into C and combined with platform-dependent input/output components written in C or C++.<n>This paper presents a multi-mode debug framework for Emfrp-based embedded applications.
• Score: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Emfrp is a functional reactive programming (FRP) language designed for small-scale embedded systems. Time-varying values are the primary abstraction mechanism in FRP and enable concise descriptions of reactive behavior. In practice, however, Emfrp programs are compiled into C and combined with platform-dependent input/output components written in C or C++. Consequently, developers must debug the resulting mixed C/C++ program using conventional debuggers such as GDB, even though the application logic is written in Emfrp. This situation creates an abstraction gap between the source-level FRP program and the executable system. This paper presents a multi-mode debugging framework for Emfrp-based embedded applications. The framework supports debugging at the level of Emfrp abstractions while also allowing inspection of platform-specific C/C++ I/O code. Our approach uses a source code mapping technique that relates Emfrp constructs to corresponding locations in the compiled program. A case study on an ESP32 microcontroller using representative debugging scenarios demonstrates improved debugging efficiency.

Related papers

• Accelerated Decoding of Centroid Positional Encoding for Instance Segmentation [49.97373153077311]
  We investigate the decoding overhead associated with a centroid encoding for Instance, in which each pixel regresses a positional embedding of its instance centroid.<n>Our solution significantly reduces decoding overhead and improves Endto-End latency, outperforming both CPU-based approaches and naive GPU implementations.
  arXiv  Detail & Related papers  (2026-09-15T09:05:17Z)
• The Model Is Not the Product: A Dual-Pillar Architecture for Local-First Psychological Coaching [51.56484100374058]
  This report introduces Psych LM, an iOS application that validates the thesis that, for such applications, the surrounding architecture is paramount.<n>Psych LM runs a local, on-device language model within a purpose-built, local-first runtime designed for behavioral and life-coaching applications.
  arXiv  Detail & Related papers  (2026-05-23T05:49:11Z)
• RSE of a Quantum Transport Code and its Effects [0.0]
  We describe practical approaches to code quality assurance with libNEGF.<n>We show how continuous benchmarking exposed performance regressions caused by HPC system configuration changes.<n>Most recommendations are applicable to scientific software regardless of implementation language.
  arXiv  Detail & Related papers  (2026-05-20T16:00:36Z)
• InfCode-C++: Intent-Guided Semantic Retrieval and AST-Structured Search for C++ Issue Resolution [31.437457217953835]
  We introduce INFCODE-C++, the first C++-aware autonomous system for end-to-end issue resolution.<n>The system combines two complementary retrieval mechanisms -- semantic code-intent retrieval and deterministic AST-structured querying.<n>It achieves a resolution rate of 25.58%, outperforming the strongest prior agent by 10.85 percentage points and more than doubling the performance of MSWE-agent.
  arXiv  Detail & Related papers  (2025-11-20T03:05:26Z)
• MIO: Multiverse Debugging in the Face of Input/Output -- Extended Version with Additional Appendices [0.0]
  We present a novel approach to multiverse debug, which can accommodate a broad spectrum of input/output operations.<n>We have developed a prototype, called MIO, leveraging the WARDuino WebAssembly virtual machine to demonstrate the feasibility and efficiency of our techniques.
  arXiv  Detail & Related papers  (2025-09-08T16:15:18Z)
• ReF Decompile: Relabeling and Function Call Enhanced Decompile [50.86228893636785]
  The goal of decompilation is to convert compiled low-level code (e.g., assembly code) back into high-level programming languages.<n>This task supports various reverse engineering applications, such as vulnerability identification, malware analysis, and legacy software migration.
  arXiv  Detail & Related papers  (2025-02-17T12:38:57Z)
• Moldable Exceptions [0.840358257755792]
  We introduce "moldable exceptions", a lightweight mechanism to adapt a debugger's interface based on contextual information. We present, through a series of examples, how moldable exceptions can enhance a live programming environment.
  arXiv  Detail & Related papers  (2024-08-31T14:14:22Z)
• Designing and Implementing a Generator Framework for a SIMD Abstraction Library [53.84310825081338]
  We present TSLGen, a novel end-to-end framework for generating an SIMD abstraction library. We show that our framework is comparable to existing libraries, and we achieve the same performance results.
  arXiv  Detail & Related papers  (2024-07-26T13:25:38Z)
• Harnessing Deep Learning and HPC Kernels via High-Level Loop and Tensor Abstractions on CPU Architectures [67.47328776279204]
  This work introduces a framework to develop efficient, portable Deep Learning and High Performance Computing kernels. We decompose the kernel development in two steps: 1) Expressing the computational core using Processing Primitives (TPPs) and 2) Expressing the logical loops around TPPs in a high-level, declarative fashion. We demonstrate the efficacy of our approach using standalone kernels and end-to-end workloads that outperform state-of-the-art implementations on diverse CPU platforms.
  arXiv  Detail & Related papers  (2023-04-25T05:04:44Z)
• QParallel: Explicit Parallelism for Programming Quantum Computers [62.10004571940546]
  We present a language extension for parallel quantum programming. QParallel removes ambiguities concerning parallelism in current quantum programming languages. We introduce a tool that guides programmers in the placement of parallel regions by identifying the subroutines that profit most from parallelization.
  arXiv  Detail & Related papers  (2022-10-07T16:35:16Z)
• Hailstorm : A Statically-Typed, Purely Functional Language for IoT Applications [0.0]
  We present Hailstorm, a statically-typed, purely functional programming language. It supports features like higher-order functions, tail-recursion, and automatic memory management. We have evaluated Hailstorm by writing standard examples and running examples on the GRiSP embedded systems board.
  arXiv  Detail & Related papers  (2021-05-27T22:09:15Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.