SPARK: Real-Time Monitoring of Multi-Faceted Programming Exercises
Fuente:
arXiv
Salvato in:
| Autori principali: | Yang, Yinuo, Zhang, Ashley Ge, Oney, Steve, Wang, April Yi |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2026
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi
Verifying User Interfaces using SPARK Ada: A Case Study of the T34 Syringe Driver
di: Jean, Peterson
Pubblicazione: (2025)
di: Jean, Peterson
Pubblicazione: (2025)
Git Takes Two: Split-View Awareness for Collaborative Learning of Distributed Workflows in Git
di: Bucher, Joel, et al.
Pubblicazione: (2026)
di: Bucher, Joel, et al.
Pubblicazione: (2026)
From Junior to Senior: Allocating Agency and Navigating Professional Growth in Agentic AI-Mediated Software Engineering
di: Feng, Dana, et al.
Pubblicazione: (2026)
di: Feng, Dana, et al.
Pubblicazione: (2026)
Show Me Why It's Correct: Saving 1/3 of Debugging Time in Program Repair with Interactive Runtime Comparison
di: Wang, Ruixin, et al.
Pubblicazione: (2025)
di: Wang, Ruixin, et al.
Pubblicazione: (2025)
"Don't Step on My Toes": Resolving Editing Conflicts in Real-Time Collaboration in Computational Notebooks
di: Wang, April Yi, et al.
Pubblicazione: (2024)
di: Wang, April Yi, et al.
Pubblicazione: (2024)
SPROUT: an Interactive Authoring Tool for Generating Programming Tutorials with the Visualization of Large Language Models
di: Liu, Yihan, et al.
Pubblicazione: (2023)
di: Liu, Yihan, et al.
Pubblicazione: (2023)
Programming by Chat: A Large-Scale Behavioral Analysis of 11,579 Real-World AI-Assisted IDE Sessions
di: Tang, Ningzhi, et al.
Pubblicazione: (2026)
di: Tang, Ningzhi, et al.
Pubblicazione: (2026)
A Picture Is Worth a Thousand Words: Exploring Diagram and Video-Based OOP Exercises to Counter LLM Over-Reliance
di: Cipriano, Bruno Pereira, et al.
Pubblicazione: (2024)
di: Cipriano, Bruno Pereira, et al.
Pubblicazione: (2024)
In-IDE Programming Courses: Learning Software Development in a Real-World Setting
di: Birillo, Anastasiia, et al.
Pubblicazione: (2025)
di: Birillo, Anastasiia, et al.
Pubblicazione: (2025)
Anteater: Interactive Visualization of Program Execution Values in Context
di: Faust, Rebecca, et al.
Pubblicazione: (2019)
di: Faust, Rebecca, et al.
Pubblicazione: (2019)
How Scientists Use Large Language Models to Program
di: O'Brien, Gabrielle
Pubblicazione: (2025)
di: O'Brien, Gabrielle
Pubblicazione: (2025)
A Systematic Mapping Study on Chatbots in Programming Education
di: Garcia, Marcelino, et al.
Pubblicazione: (2025)
di: Garcia, Marcelino, et al.
Pubblicazione: (2025)
Evolution of Programmers' Trust in Generative AI Programming Assistants
di: Shah, Anshul, et al.
Pubblicazione: (2025)
di: Shah, Anshul, et al.
Pubblicazione: (2025)
CFlow: Supporting Semantic Flow Analysis of Students' Code in Programming Problems at Scale
di: Zhang, Ashley Ge, et al.
Pubblicazione: (2024)
di: Zhang, Ashley Ge, et al.
Pubblicazione: (2024)
Codetations: Intelligent, Persistent Notes and UIs for Programs and Other Documents
di: Misback, Edward, et al.
Pubblicazione: (2025)
di: Misback, Edward, et al.
Pubblicazione: (2025)
Vibe Coding: Toward an AI-Native Paradigm for Semantic and Intent-Driven Programming
di: Bamil, Vinay
Pubblicazione: (2025)
di: Bamil, Vinay
Pubblicazione: (2025)
How Do Developers Interact with AI? An Exploratory Study on Modeling Developer Programming Behavior
di: Wu, Yinan, et al.
Pubblicazione: (2026)
di: Wu, Yinan, et al.
Pubblicazione: (2026)
Understanding the Human-LLM Dynamic: A Literature Survey of LLM Use in Programming Tasks
di: Etsenake, Deborah, et al.
Pubblicazione: (2024)
di: Etsenake, Deborah, et al.
Pubblicazione: (2024)
How to Teach Programming in the AI Era? Using LLMs as a Teachable Agent for Debugging
di: Ma, Qianou, et al.
Pubblicazione: (2023)
di: Ma, Qianou, et al.
Pubblicazione: (2023)
Diversity's Double-Edged Sword: Analyzing Race's Effect on Remote Pair Programming Interactions
di: Mason, Shandler A., et al.
Pubblicazione: (2024)
di: Mason, Shandler A., et al.
Pubblicazione: (2024)
Navigating Compiler Errors with AI Assistance -- A Study of GPT Hints in an Introductory Programming Course
di: Pankiewicz, Maciej, et al.
Pubblicazione: (2024)
di: Pankiewicz, Maciej, et al.
Pubblicazione: (2024)
Debugging Without Error Messages: How LLM Prompting Strategy Affects Programming Error Explanation Effectiveness
di: Salmon, Audrey, et al.
Pubblicazione: (2025)
di: Salmon, Audrey, et al.
Pubblicazione: (2025)
Learning Programming in Informal Spaces: Using Emotion as a Lens to Understand Novice Struggles on r/learnprogramming
di: Hasan, Alif Al, et al.
Pubblicazione: (2025)
di: Hasan, Alif Al, et al.
Pubblicazione: (2025)
Investigating VR Accessibility Reviews for Users with Disabilities: A Qualitative Analysis
di: Wang, Yi, et al.
Pubblicazione: (2025)
di: Wang, Yi, et al.
Pubblicazione: (2025)
Usable-by-Construction: a formal framework
di: Reeves, Steve
Pubblicazione: (2024)
di: Reeves, Steve
Pubblicazione: (2024)
Auto-Generating Personas from User Reviews in VR App Stores
di: Wang, Yi, et al.
Pubblicazione: (2026)
di: Wang, Yi, et al.
Pubblicazione: (2026)
Story Arena: A Multi-Agent Environment for Envisioning the Future of Software Engineering
di: Weisz, Justin D., et al.
Pubblicazione: (2025)
di: Weisz, Justin D., et al.
Pubblicazione: (2025)
I Felt Pressured to Give 100% All the Time: How Are Neurodivergent Professionals Being Included in Software Development Teams?
di: Menezes, Nicoly da Silva, et al.
Pubblicazione: (2025)
di: Menezes, Nicoly da Silva, et al.
Pubblicazione: (2025)
StartFlow: From Method Conception to Multi-Perspective Evaluation in UX Prototyping for Software Startups
di: Guerino, Guilherme Corredato, et al.
Pubblicazione: (2026)
di: Guerino, Guilherme Corredato, et al.
Pubblicazione: (2026)
Meflex: A Multi-agent Scaffolding System for Entrepreneurial Ideation Iteration via Nonlinear Business Plan Writing
di: Luo, Lan, et al.
Pubblicazione: (2026)
di: Luo, Lan, et al.
Pubblicazione: (2026)
CodeA11y: Making AI Coding Assistants Useful for Accessible Web Development
di: Mowar, Peya, et al.
Pubblicazione: (2025)
di: Mowar, Peya, et al.
Pubblicazione: (2025)
"So Am I Dr. Frankenstein? Or Were You a Monster the Whole Time?": Mitigating Software Project Failure With Loss-Aversion-Aware Development Methodologies
di: Ali, Junade
Pubblicazione: (2024)
di: Ali, Junade
Pubblicazione: (2024)
EmoTrack: An application to Facilitate User Reflection on Their Online Behaviours
di: Zhang, Ruiyong
Pubblicazione: (2026)
di: Zhang, Ruiyong
Pubblicazione: (2026)
Beyond Banning AI: A First Look at GenAI Governance in Open Source Software Communities
di: Yang, Wenhao, et al.
Pubblicazione: (2026)
di: Yang, Wenhao, et al.
Pubblicazione: (2026)
Understanding Prompt Programming Tasks and Questions
di: Liang, Jenny T., et al.
Pubblicazione: (2025)
di: Liang, Jenny T., et al.
Pubblicazione: (2025)
Who is to Blame: A Comprehensive Review of Challenges and Opportunities in Designer-Developer Collaboration
di: Zhang, Shutong, et al.
Pubblicazione: (2025)
di: Zhang, Shutong, et al.
Pubblicazione: (2025)
Considering Visualization Example Galleries
di: Yang, Junran, et al.
Pubblicazione: (2024)
di: Yang, Junran, et al.
Pubblicazione: (2024)
Investigating and Designing for Trust in AI-powered Code Generation Tools
di: Wang, Ruotong, et al.
Pubblicazione: (2023)
di: Wang, Ruotong, et al.
Pubblicazione: (2023)
User-Driven Adaptation: Tailoring Autonomous Driving Systems with Dynamic Preferences
di: Zhang, Mingyue, et al.
Pubblicazione: (2024)
di: Zhang, Mingyue, et al.
Pubblicazione: (2024)
Bridging the Interpretation Gap in Accessibility Testing: Empathetic and Legal-Aware Bug Report Generation via Large Language Models
di: Koyama, Ryoya, et al.
Pubblicazione: (2026)
di: Koyama, Ryoya, et al.
Pubblicazione: (2026)
Documenti analoghi
-
Verifying User Interfaces using SPARK Ada: A Case Study of the T34 Syringe Driver
di: Jean, Peterson
Pubblicazione: (2025) -
Git Takes Two: Split-View Awareness for Collaborative Learning of Distributed Workflows in Git
di: Bucher, Joel, et al.
Pubblicazione: (2026) -
From Junior to Senior: Allocating Agency and Navigating Professional Growth in Agentic AI-Mediated Software Engineering
di: Feng, Dana, et al.
Pubblicazione: (2026) -
Show Me Why It's Correct: Saving 1/3 of Debugging Time in Program Repair with Interactive Runtime Comparison
di: Wang, Ruixin, et al.
Pubblicazione: (2025) -
"Don't Step on My Toes": Resolving Editing Conflicts in Real-Time Collaboration in Computational Notebooks
di: Wang, April Yi, et al.
Pubblicazione: (2024)