Write a Blog >>
SPLASH 2019
Sun 20 - Fri 25 October 2019 Athens, Greece
Fri 25 Oct 2019 15:15 - 15:30 at Room 1 - Session 2

We present the ChocoPy programming language. ChocoPy is designed for teaching an undergraduate course on programming languages and compilers. ChocoPy is a restricted subset of Python 3.6, using static type annotations to enforce compile-time type safety. ChocoPy is fully specified using formal grammar, typing rules, and operational semantics. Valid ChocoPy programs can be executed in a standard Python interpreter, producing results consistent with ChocoPy semantics. A major component of CS164 at UC Berkeley is the project: students develop a full compiler for ChocoPy, targeting RISC-V, in about twelve weeks. In other exercises, students extend the syntax, type system, and formal semantics to support additional features of Python. In this paper, we outline (1) the motivations for creating the ChocoPy project, (2) salient features of the language, (3) the resources provided to students to develop their compiler, (4) some insights gained from teaching two semesters of ChocoPy-based courses by different instructors. Our assignment resources are available for re-use by other instructors and institutions.

Fri 25 Oct

splash-2019-SPLASH-E
14:00 - 15:30: SPLASH-E - Session 2 at Room 1
splash-2019-SPLASH-E14:00 - 14:30
Full-paper
Molly FeldmanCornell University, Yiting WangCornell University, William E. ByrdUniversity of Alabama at Birmingham, USA, François GuimbretièreCornell University, Erik AndersenCornell University
splash-2019-SPLASH-E14:30 - 15:00
Full-paper
Quan DoWilliams College, Kiersten CampbellWilliams College, Emmie HineWilliams College, Dzung PhamWilliams College, Alex TaylorWilliams College, Iris HowleyWilliams College, Dan BarowyWilliams College
splash-2019-SPLASH-E15:00 - 15:15
Short-paper
Igor Moreno SantosUniversità della Svizzera italiana, Matthias HauswirthUniversità della Svizzera italiana, Nate NystromUniversità della Svizzera italiana
splash-2019-SPLASH-E15:15 - 15:30
Short-paper
Rohan PadhyeUniversity of California, Berkeley, Koushik SenUniversity of California, Berkeley, Paul N. HilfingerUniversity of California, Berkeley
Pre-print