activity
20162026
most citedOn the Generalizability of Neural Program Models with respect to Semantic-Preserving Program Transformations

92 citations · 266 across the 32 of their papers we have counts for

collaborators
Showing cs.HCShow all

8 papers · 1 filter

cs.HC2026

Trust in AI among Middle Eastern CS Students: Investigating Students' Trust and Usage Patterns Across Saudi Arabia, Kuwait and Jordan

Saleh Alkhamees, Ali Alfageeh, Bader Alkhazi +2

Background and Context: Artificial intelligence (AI) tools have been reshaping computing and computer science education. Trust in AI is a determining factor in the adoption of thes…

cs.HC2025

From Prompts to Propositions: A Logic-Based Lens on Student-LLM Interactions

Ali Alfageeh, Sadegh AlMahdi Kazemi Zarkouei, Daye Nam +9

Background and Context. The increasing integration of large language models (LLMs) in computing education presents an emerging challenge in understanding how students use LLMs and…

cs.HC2025

To Google or To ChatGPT? A Comparison of CS2 Students' Information Gathering Approaches and Outcomes

Aayush Kumar, Daniel Prol, Amin Alipour +1

LLMs such as ChatGPT have been widely adopted by students in higher education as tools for learning programming and related concepts. However, it remains unclear how effective stud…

cs.HC2024

Student-AI Interaction: A Case Study of CS1 students

Matin Amoozadeh, Daye Nam, Daniel Prol +5

The new capabilities of generative artificial intelligence tools Generative AI, such as ChatGPT, allow users to interact with the system in intuitive ways, such as simple conversat…

cs.HC2024★ 1 cited

Revisiting Human Information Foraging: Adaptations for LLM-based Chatbots

Sruti Srinivasa Ragavan, Mohammad Amin Alipour

Information Foraging Theory's (IFT) framing of human information seeking choices as decision-theoretic cost-value judgments has successfully explained how people seek information a…

cs.HC2023★ 16 cited

Trust in Generative AI among students: An Exploratory Study

Matin Amoozadeh, David Daniels, Daye Nam +5

Generative artificial systems (GenAI) have experienced exponential growth in the past couple of years. These systems offer exciting capabilities, such as generating programs, that…

cs.HC2019

Topics of Concern: Identifying User Issues in Reviews of IoT Apps and Devices

Andrew Truelove, Farah Naz Chowdhury, Omprakash Gnawali +1

Internet of Things (IoT) systems are bundles of networked sensors and actuators that are deployed in an environment and act upon the sensory data that they receive. These systems,…

cs.HC2019★ 1 cited

An Automated Testing Framework for Conversational Agents

Soodeh Atefi, Mohammad Amin Alipour

Conversational agents are systems with a conversational interface that afford interaction in spoken language. These systems are becoming prevalent and are preferred in various cont…