Cover Image

Validating AI-Generated Code with Live Programming

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Ferdowsi, Kasra, Huang, Ruanqianqian, James, Michael B., Polikarpova, Nadia, Lerner, Sorin
Format:	Preprint
Published:	2023
Subjects:	Human-Computer Interaction Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Professional Software Developers Don't Vibe, They Control: AI Agent Use for Coding in 2025
by: Huang, Ruanqianqian, et al.
Published: (2025)

Decision-Oriented Programming with Aporia
by: Kasibatla, Saketh Ram, et al.
Published: (2026)

Tidynote: Always-Clear Notebook Authoring
by: Huang, Ruanqianqian, et al.
Published: (2026)

How Scientists Use Jupyter Notebooks: Goals, Quality Attributes, and Opportunities
by: Huang, Ruanqianqian, et al.
Published: (2025)

Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling
by: Huang, Ruanqianqian, et al.
Published: (2025)

Code Style Sheets: CSS for Code
by: Cohen, Sam, et al.
Published: (2025)

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

ProgramAlly: Creating Custom Visual Access Programs via Multi-Modal End-User Programming
by: Herskovitz, Jaylin, et al.
Published: (2024)

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

Making Hybrid Languages: A Recipe
by: Andersen, Leif, et al.
Published: (2024)

Goanna: Resolving Haskell Type Errors With Minimal Correction Subsets
by: Fu, Shuai, et al.
Published: (2024)

Tracers for debugging and program exploration
by: Chiplunkar, Shardul, et al.
Published: (2026)

GeckoGraph: A Visual Language for Polymorphic Types
by: Fu, Shuai, et al.
Published: (2024)

FlowBook: Enforcing Reproducibility in Computational Notebooks
by: Freund, Stephen N., et al.
Published: (2026)

Guided Optimization for Image Processing Pipelines
by: Ikarashi, Yuka, et al.
Published: (2021)

ReDemon UI: Reactive Synthesis by Demonstration for Web UI
by: Lee, Jay, et al.
Published: (2025)

Bluefish: Composing Diagrams with Declarative Relations
by: Pollock, Josh, et al.
Published: (2023)

Product vs. Process: Exploring EFL Students' Editing of AI-Generated Text for Expository Writing
by: Woo, David James, et al.
Published: (2025)

Living the Novel: A System for Generating Self-Training Timeline-Aware Conversational Agents from Novels
by: Huang, Yifei, et al.
Published: (2025)

Sketch Then Generate: Providing Incremental User Feedback and Guiding LLM Code Generation through Language-Oriented Code Sketches
by: Zhu-Tian, Chen, et al.
Published: (2024)

Generate-Then-Validate: A Novel Question Generation Approach Using Small Language Models
by: Wei, Yumou, et al.
Published: (2025)

Don't Vibe Code, Do Skele-Code: Interactive No-Code Notebooks for Subject Matter Experts to Build Lower-Cost Agentic Workflows
by: Gopalakrishnan, Sriram
Published: (2026)

Empowering Children to Create AI-Enabled Augmented Reality Experiences
by: Zhang, Lei, et al.
Published: (2025)

Wink: Recovering from Misbehaviors in Coding Agents
by: Nanda, Rahul, et al.
Published: (2026)

Visual Execution and Validation of Finite-State Machines and Pushdown Automata
by: Morazán, Marco T., et al.
Published: (2025)

The Impact of Prompt Programming on Function-Level Code Generation
by: Khojah, Ranim, et al.
Published: (2024)

The Command Line GUIde: Graphical Interfaces from Man Pages via AI
by: Kasibatla, Saketh Ram, et al.
Published: (2025)

Bridging Dictionary: AI-Generated Dictionary of Partisan Language Use
by: Jiang, Hang, et al.
Published: (2024)

Prompt Decorators: A Declarative and Composable Syntax for Reasoning, Formatting, and Control in LLMs
by: Heris, Mostapha Kalami
Published: (2025)

Prompt Orchestration Markup Language
by: Zhang, Yuge, et al.
Published: (2025)

Automated Coding of Communications in Collaborative Problem-solving Tasks Using ChatGPT
by: Hao, Jiangang, et al.
Published: (2024)

"Newspaper Eat" Means "Not Tasty": A Taxonomy and Benchmark for Coded Language in Real-World Chinese Online Reviews
by: Wan, Ruyuan, et al.
Published: (2026)

Kwame 2.0: Human-in-the-Loop Generative AI Teaching Assistant for Large Scale Online Coding Education in Africa
by: Boateng, George, et al.
Published: (2026)

Just-In-Time Objectives: A General Approach for Specialized AI Interactions
by: Lam, Michelle S., et al.
Published: (2025)

Towards Valid Student Simulation with Large Language Models
by: Yuan, Zhihao, et al.
Published: (2026)

Automated Bias Assessment in AI-Generated Educational Content Using CEAT Framework
by: Peng, Jingyang, et al.
Published: (2025)

Vibe Coding, Interface Flattening
by: Jin, Hongrui
Published: (2025)

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

Aptly: Making Mobile Apps from Natural Language
by: Patton, Evan W., et al.
Published: (2024)