Buchumschlag

Tracers for debugging and program exploration

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Chiplunkar, Shardul, Pit-Claudel, Clément
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Programming Languages Human-Computer Interaction
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Automatic layout of railroad diagrams
von: Chiplunkar, Shardul, et al.
Veröffentlicht: (2025)

WatChat: Explaining perplexing programs by debugging mental models
von: Chandra, Kartik, et al.
Veröffentlicht: (2024)

Incremental Proof Development in Dafny with Module-Based Induction
von: Ho, Son, et al.
Veröffentlicht: (2024)

Linear Matching of JavaScript Regular Expressions
von: Barrière, Aurèle, et al.
Veröffentlicht: (2023)

FlowBook: Enforcing Reproducibility in Computational Notebooks
von: Freund, Stephen N., et al.
Veröffentlicht: (2026)

Getting into the Flow: Towards Better Type Error Messages for Constraint-Based Type Inference
von: Bhanuka, Ishan, et al.
Veröffentlicht: (2024)

Making Hybrid Languages: A Recipe
von: Andersen, Leif, et al.
Veröffentlicht: (2024)

Goanna: Resolving Haskell Type Errors With Minimal Correction Subsets
von: Fu, Shuai, et al.
Veröffentlicht: (2024)

Validating AI-Generated Code with Live Programming
von: Ferdowsi, Kasra, et al.
Veröffentlicht: (2023)

Code Style Sheets: CSS for Code
von: Cohen, Sam, et al.
Veröffentlicht: (2025)

GeckoGraph: A Visual Language for Polymorphic Types
von: Fu, Shuai, et al.
Veröffentlicht: (2024)

Guided Optimization for Image Processing Pipelines
von: Ikarashi, Yuka, et al.
Veröffentlicht: (2021)

ReDemon UI: Reactive Synthesis by Demonstration for Web UI
von: Lee, Jay, et al.
Veröffentlicht: (2025)

"What Are You Really Trying to Do?": Co-Creating Life Goals from Everyday Computer Use
von: Sapkota, Shardul, et al.
Veröffentlicht: (2026)

Creating General User Models from Computer Use
von: Shaikh, Omar, et al.
Veröffentlicht: (2025)

Bluefish: Composing Diagrams with Declarative Relations
von: Pollock, Josh, et al.
Veröffentlicht: (2023)

On the computational complexity of JavaScript regex matching
von: Deng, Victor, et al.
Veröffentlicht: (2026)

Formal Verification for JavaScript Regular Expressions: a Proven Semantics and its Applications (Extended Version)
von: Barrière, Aurèle, et al.
Veröffentlicht: (2025)

Prompt Decorators: A Declarative and Composable Syntax for Reasoning, Formatting, and Control in LLMs
von: Heris, Mostapha Kalami
Veröffentlicht: (2025)

Prompt Orchestration Markup Language
von: Zhang, Yuge, et al.
Veröffentlicht: (2025)

Precise Reasoning About Container-Internal Pointers with Logical Pinning
von: Guan, Yawen, et al.
Veröffentlicht: (2025)

Explorable Theorems: Making Written Theorems Explorable by Grounding Them in Formal Representations
von: Kambhamettu, Hita, et al.
Veröffentlicht: (2026)

Statistics 101, 201, and 202: Three Shiny Apps for Teaching Probability Distributions, Inferential Statistics, and Simple Linear Regression
von: Soetewey, Antoine
Veröffentlicht: (2026)

From State Changes to Creative Decisions: Documenting and Interpreting Traces Across Creative Domains
von: Peng, Xiaohan, et al.
Veröffentlicht: (2026)

Aptly: Making Mobile Apps from Natural Language
von: Patton, Evan W., et al.
Veröffentlicht: (2024)

HiLDe: Intentional Code Generation via Human-in-the-Loop Decoding
von: González, Emmanuel Anaya, et al.
Veröffentlicht: (2025)

Reactive Semantics for User Interface Description Languages
von: Pesin, Basile, et al.
Veröffentlicht: (2025)

ChatScratch: An AI-Augmented System Toward Autonomous Visual Programming Learning for Children Aged 6-12
von: Chen, Liuqing, et al.
Veröffentlicht: (2024)

When Are Reactive Notebooks Not Reactive?
von: Zheng, Megan, et al.
Veröffentlicht: (2025)

ProgramAlly: Creating Custom Visual Access Programs via Multi-Modal End-User Programming
von: Herskovitz, Jaylin, et al.
Veröffentlicht: (2024)

Flowco: Rethinking Data Analysis in the Age of LLMs
von: Freund, Stephen N., et al.
Veröffentlicht: (2025)

A Coq Mechanization of JavaScript Regular Expression Semantics
von: De Santo, Noé, et al.
Veröffentlicht: (2024)

Empowering Children to Create AI-Enabled Augmented Reality Experiences
von: Zhang, Lei, et al.
Veröffentlicht: (2025)

QRtree -- Decision Tree dialect specification of QRscript
von: Scanzio, Stefano, et al.
Veröffentlicht: (2024)

QRscript specification
von: Scanzio, Stefano, et al.
Veröffentlicht: (2024)

From Uncertainty to Innovation: Wearable Prototyping with ProtoBot
von: Yıldırım, İhsan Ozan, et al.
Veröffentlicht: (2024)

Conversation Routines: A Prompt Engineering Framework for Task-Oriented Dialog Systems
von: Robino, Giorgio
Veröffentlicht: (2025)

Finite-State Automaton To/From Regular Expression Visualization
von: Morazán, Marco T., et al.
Veröffentlicht: (2024)

Reinforcement learning for question answering in programming domain using public community scoring as a human feedback
von: Gorbatovski, Alexey, et al.
Veröffentlicht: (2024)

GPTCoach: Towards LLM-Based Physical Activity Coaching
von: Jörke, Matthew, et al.
Veröffentlicht: (2024)