CS 312 is the Cornell computer science course on data structures and functional programming. It teaches a principled approach to constructing and reasoning about programs, including topics such as (1) alternative programming paradigms (beyond imperative and object-oriented programming), (2) key data structures and algorithms, (3) reasoning about program behavior and complexity, (4) type systems and data abstraction, and (5) the design and implementation of programming languages.
The course has often held tournaments at the end of the semester, in which student groups compete to produce the best program, usually one that played a game. The competition has not been a part of the official coursework, but students have nevertheless worked hard to win and achieve glory.
Many of the games have involved teams of robots running a program written in a concurrent programming language, called variously RCL or CL. In an earlier programming assignment, the students made the interpreter for the concurrent programming language work.
The game was a robot version of the board game Abalone, in which each piece was a separate bot. Bots could push the opponents around and off the board if they coordinated with each other. The winning bot team was by Jerzy Hausknecht.
(click to expand)
The game was 20,000 λ's under the Sea, in which two underwater teams of squids and whales tried to collect as much treasure as possible. Teams could spend treasure to buy more bots. Squids could squirt ink to temporarily immobilize opponents. Whales could eat squid but had to surface to breathe. The winning team was Mohan Zhang and Vincent Chan.
[ Problem set handout] [Java-based game viewer]
(click to expand)
As in Spring 2003, the goal was to implement a set of robots using
RCL. This time the robots played a capture-the-flag game. The robots
were actually robotic sharks packing lasers that they could use to shoot
at each other. The board contained a maze that the robots had to find
their way through. Picking up star powerups enabled the team to add more robots.
The winning team was Justin Pease and Elliot Bäck.
[Problem
set handout]
The goal was to implement a team of robots that could play a
soccer-like game called "Lambda Ball". In addition to the
ball, which robots could carry or kick, powerups would randomly appear
on the board, enabling teams to create more robots or to go into
overload mode. The board was a hexagonal grid with an interesting
coordinate system. Robots were implemented in a special "Robot
Control Language" programming language (RCL).
In a previous problem set, student groups had finished the
implementation of the RCL interpreter. The winning team was Sanjeev
Kapur and Ian Hall.
[Problem
set handout]
(click to expand)
The tournament game was the board game Pente. The goal was to produce
a Pente player. Strong competitors implemented search algorithms that
used alpha-beta pruning to search several moves ahead. The winning team
was Oren Yeshua and Asher Walkover.
[Problem
set handout]