CS 3110 (formerly CS 312) is the third programming course in the Cornell Computer Science curriculum. The goal of the course is to help students become excellent programmers and software designers who can design and implement software that is elegant, efficient, and correct, and whose code can be maintained and reused. CS 3110 covers a broad set of topics, including: alternative programming paradigms, especially functional and concurrent programming; writing and using specifications; modular programming and data abstraction; reasoning about program correctness; reasoning about system performance; and useful and efficient data structures and algorithms.
The course has often held a tournament at the end of the semester, in which student groups compete to produce the best program, usually one that played a game. This competition is not been a part of the official coursework, but students have nevertheless worked hard to win.
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.
This semester students were empowered to choose and build their own system. The course staff selected three projects as especially noteworthy:
This semester students competed to make the most exciting elective app for their map/reduce frameworks. Starting from an empty .ml file, our students constructed some fantastic distributed applications, including digital image and audio file comparison, dna sequencing computations, image asciifiers, and more. At the end of a fun-filled demo session, students and staff selected their favorites:
Gamers worldwide have been waiting for the third installment in the critically acclaimed PokéJouki series, and, thanks to the students of CS 3110, the release of PokéJouki Emerald was a resounding success! PokéJouki Emerald featured 135 new fantastical creatures, an assortment of new moves and techniques, and a completely rebalanced battle system that put your wits to the test.
Students submitted their bots to compete in a massive tournament to vie for the title of this semester's PokéJouki Master! Exceptions were thrown, Metapods wreaked havoc, and ultimately several trainers fought their way to the top:
Catan Gates Hall!
Bots competed for survival on a primitive island world (lovingly donated by a rich benefactor) divided into hexagonal segments.
With nothing but sheep, grain, and rocks for currency, participant bots created deep networks of roads, populated the island with cities, and conducted maritime trade with the local pirates.
Secret to success? Never accept a trade request!
Winning bots were:
Inspired by Touhou Project, Steammaku pits gorgeous opponents against one another on an open arena. Bullets are either directed bubbles, multi-pronged trails, or diffusing spreads, and players must avoid these yet remain close enough to danger to score graze points. Screen-cleaning bombs provided temporary relief, but the best bots had to navigate a dense field of missiles. Winning bots were submitted by:
Our version of Tron had bots manipulating teams of fast-moving SteamCycles which left trails of deadly red or blue steam on the playing field. Cycles could collect invincibility or shield powerups to temporarily survive the killer vapors. Winners were:
The long-awaited sequel to 2011's PokéJouki featured additional Steammon, more robust movesets, and a few easter eggs. The winning trainers were Michael Dougherty and Simon Li.[writeup]
Age of Upson (formally known as Age of Upson II: The Steam Age) bears a strong similarity to Age of Empires II, the major differences being no monks, no male villagers, and no spawn times for creating units. Many brave pikeman, archers, paladins, and villagers fought and died this day in the name of functional programming. Armies who reigned victorious were:
Honorable mention goes to the legendary natebotster.ml.[writeup]
Steamworms had little to do with the beloved Worms franchise. To quote one student: "This isn't worms! This is Halo except everyone looks like a worm." Worms crawled around firing rockets, lazors, and the all-powerful SteamBat™ in a real-time fight to the death. At the end of the night the survivors were Stuart Jackson and Ben Greenman.[writeup]
Contestants choose teams of five Steammon (our version of Pokémon) and do battle for supremacy.
The winners of this year's tournament were:
In this game, two bots controlling teams of fishes in a tank fight each other. The goal is to destroy the other team's fishes. There are four types of fishes, spawners, which create new fishes, carnivores, which grow by eating other fishes, petards, which can explode, and fishes that can create vacuum beams. The tournament winners were Hee Jung Ryu and Katie Lee Meusling.
Our version of Mario Kart! Up to four competing racers navigate a closed track, picking up various items with special properties that can help them or hinder opponents, such as Pressure Mines, Steam Shells, Turbo Encabulators, Tesla Coils, and Armor. Racers control their acceleration around the board to choose an optimal path, avoiding high-friction areas and obstacles.
The top contestants this year were:
Two teams fight for control of an area using steam-powered robots with a variety of weapons and abilities. The winning team was Kenneth Chu and Jun Hui Erh.
In this game, two steam-powered robot teams try in real time to capture each
other's flag. Robots control their acceleration around the board, using a
variable solar energy flux to recharge boiler pressure. Mines can be dropped
to temporarily disable unwary robots that get too close. Robots are programmed
using the CL language, which was made entirely functional this semester.
A mailbox abstraction was introduced for communication between robot
threads. The tournament was won by Lucas Waye and Ryan Musa.
[ Problem set handout] [ CL language fall 2008]
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.
[ Problem set handout](click to expand)
A two dimensional version of Quidditch. Teams of 5 try and score the quaffle in the goal and track down the snitch. The winning bot (named Tony) was written by Scott Rogoff and Rick Ducott.(click to expand)
The game was 20,000 λ's under the Sea, in which two underwater teams of squids and whales, controlled by RCL threads, 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)
(click to expand)
(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]
(click to expand)
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]
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]