Snowflake: Supporting Programming and Proofs (SIGCSE TS 2023 - Posters)

Who

Oluwatobi Alabi, Anh Vu, Peter-Michael Osera

Track

SIGCSE TS 2023 Posters

Time Zone

The program is currently displayed in (GMT-04:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

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

Abstract

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.

DOI

https://doi.org/10.1145/3545947.3576342

Oluwatobi Alabi

Grinnell College

United States

Anh Vu

Grinnell College

United States

Peter-Michael Osera

Grinnell College

United States

Time Zone

The program is currently displayed in (GMT-04:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

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