Blogs (19) >>

Constraint satisfaction problems, found in many areas and domains of computer science, return solutions that satisfy given constraints. When given a single solution out of the solution space from a general-purpose solver users may want to further explore other alternatives to find ones that better meet their aims or to verify the believability of the existing result. However, users attempting to examine the solution space are often confronted with a state explosion problem, leaving them with the unrealistic task of manually sifting through each state. We aimed to assist users in exploring state spaces more efficiently. Using the concrete semantics of requirements modeling in the Evolving Intentions framework, we contribute two visualization techniques: (1) valuation-based coloring to assist users in interpreting the results of the path-based analysis and selecting states from the solution space more efficiently, and (2) valuation-based filtering to reduce the number of states in the solution space. Using a motivating example, we demonstrate the need for state space visualization and we provide an initial validation of our results. These visualization techniques can be used beyond the Evolving Intentions framework, to be adapted to other areas in software engineering.

Thu 16 Mar

Displayed time zone: Eastern Time (US & Canada) change

13:45 - 17:00
Student Research Competition PostersACM Student Research Competition at Exhibit Hall G
Chair(s): Ashish Aggarwal University of Florida, Mohammed Seyam Virginia Tech
13:45
3h15m
Poster
Malware Classification and Detection using Quantum Neural Network (QNN)Online
ACM Student Research Competition
Md Jobair Hossain Faruk Kennesaw State University
DOI
13:45
3h15m
Talk
Exploring the Influence of Hour of Code on Students’ CS Interest and PerceptionsIn-Person
ACM Student Research Competition
Jessica Yauney Brigham Young University
DOI
13:45
3h15m
Poster
CodeVisions: Static Code Analysis for Creating Education- Oriented ApplicationsOnlineGlobal
ACM Student Research Competition
Zeyad Ahmed Assiut University, Mostafa Mohammed Assiut Uniersity
DOI
13:45
3h15m
Talk
A Framework to Develop Automatic Speech Recognition for Low Resource LanguagesIn-PersonGlobal
ACM Student Research Competition
Nardos Alemu Simmons University, Chelsea Hua Simmons University, Phuc H. Le Fulbright University Vietnam, Khoi P. N. Nguyen Fulbright University Vietnam, Melat Ali Simmons University, Nanette Veilleux Simmons University
DOI
13:45
3h15m
Poster
Understanding the Challenges of Addressing the Digital Divide through Telecentres: A Case Study of the Constituency Innovation Hub in Rural KenyaOnlineGlobal
ACM Student Research Competition
Cynthia Oguna Northumbria University
DOI
13:45
3h15m
Poster
Demystifying Complex Algorithms Through Interactive VisualizationsIn-Person
ACM Student Research Competition
Nkemdi Anyiam Texas A&M University
DOI
13:45
3h15m
Talk
A General Concept Inventory for Introductory Computer Science - a Work in ProgressIn-Person
ACM Student Research Competition
DOI
13:45
3h15m
Poster
Intersectional Data Analysis of Gun Violence in Boston: Teaching Data Activism to Mitigate Systemic OppressionIn-Person
ACM Student Research Competition
Zeynep Yalcin Wellesley College, Raechel Walker MIT Media Lab, Cynthia Breazeal Massachusetts Institute of Technology
DOI
13:45
3h15m
Poster
Promoting AI Literacy for the PublicOnlineGlobal
ACM Student Research Competition
Maria Kasinidou Open University of Cyprus
DOI
13:45
3h15m
Poster
Exploring AI Techniques on Game of Thrones: Hand of the KingIn-Person
ACM Student Research Competition
Andrea Morris Florida Southern College
DOI
13:45
3h15m
Poster
OP-CLUStR: An Observation Protocol for Cooperative Learning Using Structured RolesIn-Person
ACM Student Research Competition
Morgan Fong University of Illinois, Urbana-Champaign
DOI
13:45
3h15m
Poster
Visualizations and Filtering to Help People Find their PathIn-Person
ACM Student Research Competition
Yesugen Baatartogtokh Smith College, Irene Foster Smith College
DOI
13:45
3h15m
Talk
Employing Knowledge Distillation To Create Light-Weight Lane Detection Machine Learning Models for Low-Cost Computing EnvironmentsIn-Person
ACM Student Research Competition
Leann Mendoza Northeastern University
DOI
13:45
3h15m
Talk
Building Curricular Supports Through Undergraduate Teaching Assistants to Scale Individualized Instruction in CS1In-Person
ACM Student Research Competition
Megan Englert University of Delaware
DOI
13:45
3h15m
Talk
Point or Time: Motivating Quality Coding SubmissionsIn-Person
ACM Student Research Competition
Liia Butler University of Illinois at Urbana-Champaign
DOI
13:45
3h15m
Poster
Multi-Agent System Perception with Stereovision∗Online
ACM Student Research Competition
Grace Vincent Fayetteville State University, Ethan Patten Fayetteville State University, Gabriel Leo Ohmes Fayetteville State University
DOI
13:45
3h15m
Poster
Automatic Labeling of Insect Legs for DeepLabCut Using Computer Vision TechniquesIn-Person
ACM Student Research Competition
Ilana-Mahmea Siegel Northeastern University
DOI
13:45
3h15m
Talk
Leveraging Emotional Learning and Programming Process Data to Promote Positive Learning Environments in Computing Education Through Help Giving and Help Seeking Interventions In-Person
ACM Student Research Competition
Carla De Lira Washington State University, Pullman
DOI
13:45
3h15m
Poster
Diagrammatic Question Framework: Studying Effectiveness in First-Year Computing CoursesIn-PersonGlobal
ACM Student Research Competition
Lauren Himbeault University of Manitoba
DOI
13:45
3h15m
Poster
Teaching an Intersectional Data Analysis on Affirmative ActionIn-Person
ACM Student Research Competition
Olivia Dias MIT, Raechel Walker MIT Media Lab, Cynthia Breazeal Massachusetts Institute of Technology
DOI
13:45
3h15m
Poster
Does Musical Context Improve Computational Thinking Skills?In-PersonK12
ACM Student Research Competition
Harsh Padhye University of Virginia, Rachel Gibson University of Virginia, Glen Bull University of Virginia, N. Rich Nguyen University of Virginia
DOI
13:45
3h15m
Talk
Enhancing feedback messages for debugging runtime errors in an Introductory Java programming courseIn-Person
ACM Student Research Competition
Nigel Newby University of Pennsylvania, Claire Zhang University of Pennsylvania, Jacob Chidawaya University of Pennsylvania, Madelyn Dempsey University of Pennsylvania
DOI
13:45
3h15m
Poster
How Do Students Envision Good Programmers? Investigating CS1 Students' Perceptions of Professional ProgrammersIn-Person
ACM Student Research Competition
Yaurie Hwang Northwestern University, Elise Lee Northwestern University
DOI
13:45
3h15m
Poster
Systemic Justice Capstone Project: Enabling Students to Mitigate Systemic Oppression Through Data ActivismIn-PersonK12
ACM Student Research Competition
DOI
13:45
3h15m
Poster
Affective Reporting: Improving Student Programming Self-assessments in CS0In-Person
ACM Student Research Competition
Ally Limke North Carolina State University
DOI
13:45
3h15m
Poster
Improving the Educational Efficacy of Beginner-friendly Cybersecurity CompetitionsIn-PersonK12
ACM Student Research Competition
Skyler Austen University of Central Arkansas, Stephen Addison University of Central Arkansas
DOI
13:45
3h15m
Poster
The Creation, Use, and Impact of Block-Based Programming CurriculumIn-PersonK12
ACM Student Research Competition
Janvi Nandwani University of North Carolina at Charlotte
DOI