Cover Image

MappedTrace: Tracing Pointer Remotely with Compiler-generated Maps

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Ma, Zhiyao, Li, Caihua, Zhong, Lin
Format:	Preprint
Published:	2025
Subjects:	Programming Languages Computation and Language
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

MapReplay: Trace-Driven Benchmark Generation for Java HashMap
by: Schiavio, Filippo, et al.
Published: (2026)

A Lightweight Method for Generating Multi-Tier JIT Compilation Virtual Machine in a Meta-Tracing Compiler Framework
by: Izawa, Yusuke, et al.
Published: (2025)

Generating Compilers for Qubit Mapping and Routing
by: Molavi, Abtin, et al.
Published: (2025)

Iterating Pointers: Enabling Static Analysis for Loop-based Pointers
by: Lepori, Andrea, et al.
Published: (2025)

Counting and Sampling Traces in Regular Languages
by: de Colnet, Alexis, et al.
Published: (2025)

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

Duality-based Mode Operations and Pyramid Multilayer Mapping for Rhetorical Modes
by: Wu, Zi-Niu
Published: (2025)

Fully Randomized Pointers
by: Phaye, Sai Dhawal, et al.
Published: (2024)

Algorithmic Language Models with Neurally Compiled Libraries
by: Saldyt, Lucas, et al.
Published: (2024)

Ownership Refinement Types for Pointer Arithmetic and Nested Arrays
by: Fujiwara, Yusuke, et al.
Published: (2026)

Confidential Prompting: Privacy-preserving LLM Inference on Cloud
by: Li, Caihua, et al.
Published: (2024)

Checking Consistency of Event-driven Traces
by: Abdulla, Parosh Aziz, et al.
Published: (2025)

Program Synthesis from Partial Traces
by: Ferreira, Margarida, et al.
Published: (2025)

Predictive Monitoring with Strong Trace Prefixes
by: Ang, Zhendong, et al.
Published: (2024)

Literate Tracing
by: Sotoudeh, Matthew
Published: (2025)

Trace-Guided Synthesis of Effectful Test Generators
by: Zhou, Zhe, et al.
Published: (2026)

Critical Sections Are Not Per-Thread: A Trace Semantics for Lock-Based Concurrency
by: Sulzmann, Martin
Published: (2026)

Cacheback: Speculative Decoding With Nothing But Cache
by: Ma, Zhiyao, et al.
Published: (2025)

Phoenix: A Modular and Versatile Framework for C/C++ Pointer Analysis
by: Yao, Peisen, et al.
Published: (2026)

Higher-Order Specifications for Deductive Synthesis of Programs with Pointers (Extended Version)
by: Young, David, et al.
Published: (2024)

From Traces to Program Incorrectness: A Type-Theoretic Approach
by: Yuan, Yongwei, et al.
Published: (2025)

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

Pie: A Programmable Serving System for Emerging LLM Applications
by: Gim, In, et al.
Published: (2025)

AIOS Compiler: LLM as Interpreter for Natural Language Programming and Flow Programming of AI Agents
by: Xu, Shuyuan, et al.
Published: (2024)

Reinforcement Learning from Compiler and Language Server Feedback
by: Zhang, Yifan, et al.
Published: (2025)

TraceMem: Weaving Narrative Memory Schemata from User Conversational Traces
by: Shu, Yiming, et al.
Published: (2026)

Compiler generated feedback for Large Language Models
by: Grubisic, Dejan, et al.
Published: (2024)

Haskelite: A Tracing Interpreter Based on a Pattern-Matching Calculus
by: Vasconcelos, Pedro, et al.
Published: (2024)

The Map of Misbelief: Tracing Intrinsic and Extrinsic Hallucinations Through Attention Patterns
by: Hajji, Elyes, et al.
Published: (2025)

Semantic Subtyping for Maps in Erlang
by: Yildirim, Erdem, et al.
Published: (2025)

Developing a Modular Compiler for a Subset of a C-like Language
by: Dutta, Debasish, et al.
Published: (2025)

Designing Walrus: Relational Programming with Rich Types, On-Demand Laziness, and Structured Traces
by: Cuéllar, Santiago, et al.
Published: (2025)

CLMTracing: Black-box User-level Watermarking for Code Language Model Tracing
by: Zhang, Boyu, et al.
Published: (2025)

The CoCompiler: DSL Lifting via Relational Compilation
by: Spargo, Naomi, et al.
Published: (2025)

Efficient Cost Bounds with Linear Maps
by: Kahn, David M, et al.
Published: (2025)

Multi-Threaded Software Model Checking via Parallel Trace Abstraction Refinement
by: Barth, Max, et al.
Published: (2025)

Compiling with Arrays
by: Richter, David, et al.
Published: (2024)

Verifying Peephole Rewriting In SSA Compiler IRs
by: Bhat, Siddharth, et al.
Published: (2024)

Scaling Code-Assisted Chain-of-Thoughts and Instructions for Model Reasoning
by: Lin, Honglin, et al.
Published: (2025)

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