News

"From Prompts to Propositions: A Logic-Based Lens on Student-LLM Interactions" is accepted to Koli Calling 2025

Sep 07 2025

Our paper introducing Prompt2Constraints, a novel method that translates student prompts into logical constraints, has been accepted to Koli Calling 2025. The research analyzed 1,872 prompts from 203 students and provides new insights into how students interact with LLMs for programming tasks. Paper.

New preprint! 🚀

Apr 26 2025

In our recent paper, it was great to work with James Prather, Brent Reeves, Paul Denny, Juho Leinonen, Stephen MacNeil, Andrew Luxton-Reilly, João Orvalho, Amin Alipour, Thezyrie Amarouche, Bailey Kimmel, Jared Wright, Musa Blake, and Gweneth Barbre on investigating how people speaking different languages — including Arabic, Portuguese, and Mandarin — use prompts to solve programming problems. Paper.

Today Daniel presented our work at the Koli Calling 24 conference

Nov 15 2024

You can find the paper here.

A paper accepted to SIGCSE 2024!

Mar 01 2024

Our paper titled "Trust in Generative AI among students: An Exploratory Study" got accepted at the International Technical Symposium on Computer Science Education (SIGCSE TS) 2024