Blogs (19) >>
Sat 18 Mar 2023 08:30 - 10:30 at Exhibit Hall G - In Person Posters 3 Chair(s): Meghan Allen, Jennifer Campbell

Rigorous, mathematical reasoning, i.e., proof, is the foundation of any undergraduate computer science education. However, students find mathematical proof exceedingly challenging, but also at the same time do not see its relevance to programming. We address these concerns with Snowflake, an educational proof assistant designed to help undergraduates overcome these difficulties when authoring mathematical proof. Snowflake does this by operating in a context where mathematical proof is introduced alongside programming in either a CS1 or CS2 context. The lens that we use to unite the two concepts is program correctness, a topic that immediately makes relevant the concept of formal reasoning as students are perpetually faced with the issue of whether their code is correct. Snowflake is a proof assistant designed for the needs of under- graduates in courses that closely time programming and proof. It is a web-based application that helps students author proofs not only in the context of program correctness in-the-small, but also other topics found in discrete mathematics courses. We report on the design of Snowflake, the kinds of reasoning it enables, and our plans to deploy Snowflake in the classroom.

Sat 18 Mar

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

08:30 - 10:30
In Person Posters 3Posters at Exhibit Hall G
Chair(s): Meghan Allen University of British Columbia, Jennifer Campbell University of Toronto
08:30
2h
Poster
Creating CS Advocates with In-Service High School TeachersK12In-Person
Posters
Michael Zawatski University of Texas at San Antonio, Priya Prasad University of Texas at San Antonio, Crystal Kalinec-Craig University of Texas at San Antonio, Amanda Fernandez University of Texas at San Antonio, Emily Bonner University of Texas at San Antonio, Maria Arreguin University of Texas at San Antonio, Jina Wilde University of Texas at San Antonio, Darean Wilde University of Texas at San Antonio, Timothy Yuen University of Texas at San Antonio
DOI
08:30
2h
Poster
Critiquing Computing Artifacts through Programming Satirical Python ScriptsK12In-Person
Posters
Aadarsh Padiyath University of Michigan, Ann Arbor, Barbara Ericson University of Michigan
DOI
08:30
2h
Poster
Booklet-Based Design Fiction to Support AI LiteracyK12In-Person
Posters
Shixian Xie Carnegie Mellon University, Jaemarie Solyst Carnegie Mellon University, Amy Ogan Carnegie Mellon University, Jessica Hammer Carnegie Mellon University
DOI
08:30
2h
Poster
Professional and Capacity Building in K-12 Computer Science Education: A Multi-Faceted ApproachK12In-Person
Posters
Katherine G. Herbert Montclair State University, Vaibhav Anu Montclair State University, Kaki Zakia Sultana Montclair State University, Stefan Robila Montclair State University, Jesse Ryan Miller Montclair State University, Sumi Hagiwara department of Teaching and Learning, Montclair State University, Rebecca Goldstein Montclair State University, Thomas Marlowe Seton Hall University
DOI
08:30
2h
Poster
Utilizing Professional Development to Improve Student Career Outcomes in Computer Science and Software EngineeringIn-Person
Posters
Clint Lovelace Auburn Univeristy Samuel Ginn College of Engineering, Michael Covington Auburn University Samuel Ginn College of Engineering, Matthew Morris Auburn University Samuel Ginn College of Engineering
DOI
08:30
2h
Poster
Project Sustainability through Teacher Autonomy in CT InfusionK12In-Person
Posters
Deepti Joshi Citadel, Robin Jocius University of Texas - Arlington, Melanie Blanton The Citadel, Jennifer Albert The Citadel, Ian O'Byrne College of Charleston
DOI
08:30
2h
Poster
Multiple Programming Languages for Improving Computational Thinking in CS1In-Person
Posters
Dongeun Lee Texas A&M University-Commerce, Kaoning Hu Texas A&M University-Commerce, Omar El Ariss Texas A&M University-Commerce, Kibum Kwon Texas A&M University-Commerce
DOI
08:30
2h
Poster
Teaching Database Security in an Undergraduate Database Administration Course Serving Computer Science, Information Technology and Cybersecurity StudentsIn-Person
Posters
Mir Hasan Austin Peay State University, Joseph Elarde Austin Peay State University, Barry Bruster Austin Peay State University
DOI
08:30
2h
Poster
Developing a Modular and Interactive Blockchain Learning Tool for Undergraduate Computer Science ProgramsIn-Person
Posters
Karol Lejmbach Marquette University, Debbie Perouli Marquette University
DOI
08:30
2h
Poster
How do Computing Students Perceive Social Presence in Synchronous Remote v. In-Person CoursesIn-Person
Posters
Noah Q. Cowit University of Colorado, Boulder, Christopher Lynnly Hovey NCWIT | University of Colorado Boulder, Lecia Barker University of Colorado Boulder
DOI
08:30
2h
Poster
Evaluating Solo vs Pair Programming in an Online Setting for Introductory Programming StudentsGlobalIn-Person
Posters
Mustafa Hafeez University of Toronto Scarborough, Anand Karki University of Toronto Scarborough, Yara Radwan University of Toronto Scarborough, Anis Saha University of Toronto Scarborough, Angela Zavaleta Bernuy University of Toronto, Brian Harrington University of Toronto Scarborough
DOI
08:30
2h
Poster
Project Based Learning : A Study on the Impact of IST&P on the Computer Science Students Learning and EngagementK12In-Person
Posters
Md Tajmilur Rahman Gannon University, Joshua Nwokeji Gannon University, Richard Matovu Gannon University, Stephen Frezza Franciscan University of Steubenville
DOI
08:30
2h
Poster
Co-Designing an AI Curriculum with University Researchers and Middle School TeachersK12In-Person
Posters
Christina Gardner-McCune Herbert Wertheim College of Engineering, University of Florida, Gainesville, FL, USA, David Touretzky Carnegie Mellon University, Bryan Cox Georgia Department of Edcuation, Judith Uchidiuno Carnegie Mellon University, Yerika Jimenez University of Florida, Betia Bentley Maxporeal, LLC, Bennett's Mill Middle School, Will Hanna Thomas County Middle School, Amber Jones Tuner Middle School
DOI
08:30
2h
Poster
A Framework for Declarative AutogradersIn-Person
Posters
David Hovemeyer Johns Hopkins University
DOI
08:30
2h
Poster
Broadening Participation: The Data Science Academy for K-12K12In-Person
Posters
Taneesha Sharma University of California, Riverside, Paea LePendu University of California, Riverside
DOI
08:30
2h
Poster
An Exploration of Elementary Students Debugging Behaviors in ScratchK12In-Person
Posters
Yerika Jimenez University of Florida, Christina Gardner-McCune Herbert Wertheim College of Engineering, University of Florida, Gainesville, FL, USA
DOI
08:30
2h
Poster
A Toolkit for Assessments in Introductory Programming CoursesIn-Person
Posters
Eric Xing Western Kentucky University, Guangming Xing Western Kentucky University
DOI
08:30
2h
Poster
Reference Guide for Teaching Programming with ComicsIn-Person
Posters
Sangho Suh University of California, San Diego
DOI
08:30
2h
Poster
Boosting Conceptual Thinking in a Programming Course - an Ontology-Based ApproachGlobalK12In-Person
Posters
João Paulo Barros Polytechnic Institute of Beja
DOI
08:30
2h
Poster
micro-PD: Professional Development by Teachers in a Culturally Relevant Computer Science RPPK12In-Person
Posters
Eric Bredder University of Virginia, Courtnee Austin Petersburg City Public Schools, Jennifer Chiu University of Virginia, Shanna Finklin Petersburg City Public Schools, Sarah Lilly University of Virginia, Sheila Mosby Petersburg City Public Schools, Dwayne Ray Cormier Virginia Commonwealth University, Anita Crowder CODE Virginia
DOI
08:30
2h
Poster
Towards an Adaptable Curriculum-Driven Block-based Learning EnvironmentK12In-Person
Posters
Christina Gardner-McCune Herbert Wertheim College of Engineering, University of Florida, Gainesville, FL, USA, Yerika Jimenez University of Florida, David Magda University of Florida, Abhishek Kulkarni University of Florida, Sharon Chu University of Florida
DOI
08:30
2h
Poster
Evaluation of a Progressive Web Application for Gamified Programming LearningGlobalK12In-Person
Posters
Rytis Maskeliūnas Kaunas University of Technology, Robertas Damaševičius Kaunas University of Technology, Tomas Blažauskas Kaunas University of Technology, Jakub Swacha University of Szczecin
DOI
08:30
2h
Poster
Discussing the History of Ideas in a Data Science SeminarIn-Person
Posters
Paul Anderson California Polytechnic State University, Kelly Bodwin California Polytechnic State University, Alex Dekhtyar Cal Poly, San Luis Obispo, Hunter Glanz California Polytechnic State University, Foaad Khosmood California Polytechnic State University, Lubomir Stanchev California Polytechnic State University, Dennis Sun California Polytechnic State University, Jonathan Ventura California Polytechnic State University
DOI
08:30
2h
Poster
Using a narrative-based gamified teaching approach to improve international students’ sense of belongingGlobalK12In-Person
Posters
Chen Cao The University of Sheffield, Laura Sbaffi The University of Sheffield, Xin Zhao The University of Sheffield, Frank Hopfgartner University of Koblenz-Landau
DOI
08:30
2h
Poster
Analysis of Student Grades After Switching to POGILIn-Person
Posters
Chris Mayfield James Madison University, Sean Raleigh Westminster College, Helen Hu Westminster College
DOI
08:30
2h
Poster
Snowflake: Supporting Programming and ProofsIn-Person
Posters
Oluwatobi Alabi Grinnell College, Anh Vu Grinnell College, Peter-Michael Osera Grinnell College
DOI
08:30
2h
Poster
Differences in Intention to Major in Computing Across CS1GlobalIn-Person
Posters
Giang Bui University of Toronto Mississauga, Bingcheng Wang University of Toronto, Naaz Sibia University of Toronto Mississauga, Angela Zavaleta Bernuy University of Toronto, Andrew Petersen University of Toronto
DOI
08:30
2h
Poster
Kahoot Interactive Lessons for AP CS Principles (WITHDRAWN)K12In-Person
Posters
Evelyn Zayas Rasmussen University
DOI
08:30
2h
Poster
The Early Research Scholars Program: Analyzing Correlation with Academic Outcomes in Computer Science StudentsK12In-Person
Posters
Kamen Redfield University of California, San Diego, Sukham Sidhu University of California, San Diego, Christine Alvarado University of California San Diego
DOI
08:30
2h
Poster
Managing an Army of Teaching Assistants: Rethinking the Organizational Structure of a Large Introductory CS CourseGlobalIn-Person
Posters
Ildar Akhmetov University of Alberta, Sadaf Ahmed University of Alberta
DOI
08:30
2h
Poster
Incremental TypeScript: Future free introductory programming textbookK12In-Person
Posters
Sol Boucher Sewickley Academy
DOI
08:30
2h
Poster
AAnim: an Animation Engine for Visualizing Algorithms and Data Structures for EducatorsK12In-Person
Posters
Zhuozhuo Liu San Francisco State University, Timothy Sun San Francisco State University
DOI
08:30
2h
Poster
Rethinking Circle Time: Development of K-2 CT Literacy Integrated CurriculumK12In-Person
Posters
Anne Leftwich Indiana University, Tamara Moore Purdue University, Kristina Tank Iowa State University, Jiyoung Kim Indiana University, Barbara Fagundes Purdue University, Lin Chu Indiana University, Zarina Wafula Iowa State University
DOI
08:30
2h
Poster
Supporting the Integration of Computer Science in Science in Rural Elementary SchoolsGlobalK12In-Person
Posters
Helen Hu Westminster College, Nicole Reitz-Larsen West High School, Carol Tate SRI International
DOI
08:30
2h
Poster
Promoting AI Education for Rural Middle Grades Students with Digital Game DesignK12In-Person
Posters
Jessica Vandenberg North Carolina State University, Wookhee Min North Carolina State University, Veronica Catete North Carolina State University, Danielle Boulden North Carolina State University, Bradford Mott North Carolina State University
DOI
08:30
2h
Poster
Computational Thinking and Attitudes Towards Computing: An Emerging Relationship in Elementary StudentsK12In-Person
Posters
Santiago Ojeda-Ramirez University of California, Irvine, Miranda Parker San Diego State University, Leiny Garcia University of California, Irvine, Tamara Tate University of California, Irvine, Jillian Rae Villa University of California, Irvine, Mark Warschauer University of California, Irvine
DOI
08:30
2h
Poster
Exploring the challenges of AI experts to inform AI curriculumIn-Person
Posters
Sanjana Gautam Pennsylvania State University, Mahir Akgun Pennsylvania State University, Prasenjit Mitra Pennsylvania State University
DOI
08:30
2h
Poster
Using Resource Theory to Understand How Students Think About IndexingIn-Person
Posters
Thomas Finzell Michigan State University, Marcos Caballero Michigan State University, Devin Silvia Department of Computational Mathematics, Science, and Engineering; Michigan State University
DOI
08:30
2h
Poster
Design Factors of Maestro: A Serious Game for Robust AI EducationIn-Person
Posters
Margarita Geleta University of California, Irvine, Jiacen Xu University of California, Irvine, Manikanta Loya University of California, Irvine, Junlin Wang University of California, Irvine, Sameer Singh University of California, Irvine, Zhou Li University of California, Irvine, Sergio Gago-Masague University of California, Irvine
DOI