COMS W4995 002 Parallel Functional Programming Fall 2022

General Information

Class meets Mondays, Wednesdays 5:40 - 6:55 PM in 451 CSB.

Staff

Overview

Prerequisites: COMS 3157 Advanced Programming or the equivalent. Knowledge of at least one programming language and related development tools/environments required. Functional programming experience not required.

Functional programming in Haskell, with an emphasis on parallel programs.

The goal of this class is to introduce you to the functional programming paradigm. You will learn to code in Haskell; this experience will also prepare you to code in other functional languages. The first half the the class will cover basic (single-threaded) functional programming; the second half will cover how to code parallel programs in a functional setting.

Schedule

Date	Lecture	Notes	Due
Wed Sep 7	Introduction Basic Haskell
Mon Sep 12	(Basics contd.)
Wed Sep 14	Types and Pattern Matching
Mon Sep 19	(Types contd.)
Wed Sep 21	Typeclasses and Polymorphism
Sun Sep 25	(no lecture; turn in homework)		Homework 1 .hs file
Mon Sep 26	(Typeclasses contd.)
Wed Sep 28	Recursion and Higher Order Functions
Mon Oct 3	(Recursion contd.)
Wed Oct 5	Using and Defining Modules
Sun Oct 9	(no lecture; turn in homework)		Homework 2 .hs file
Mon Oct 10	I/O
Wed Oct 12	Functors
Mon Oct 17	(Functors contd.)
Wed Oct 19	Monads
Sun Oct 23	(no lecture; turn in homework)		Homework 3 .hs file
Mon Oct 24	(Monads contd.)
Wed Oct 26	(Monads contd.)
Mon Oct 31	Lazy and Parallel Evaluation
Wed Nov 2	Strategies
Sun Nov 6	(no lecture; turn in homework)		Homework 4 .zip file
Mon Nov 7	Election Day Holiday
Wed Nov 9	(Strategies contd.)
Mon Nov 14	(Strategies contd.)
Wed Nov 16	The Par Monad The Haskell Tool Stack
Sun Nov 20	(no lecture; turn in homework)		Homework 5 .zip file
Mon Nov 21	Repa: Regular Parallel Arrays
Wed Nov 23	Thanksgiving Holiday
Mon Nov 28	Accelerate: GPU Arrays		Project Proposal
Wed Nov 30	The Lambda Calculus
Mon Dec 5	(Lambda contd.)
Wed Dec 7
Mon Dec 12
Wed Dec 21	Final Project Report and Presentations

Teams

connect4: Connect 4 AI Proposal Report Files Gregory Fu

PageRank: Map-Reduce applications Proposal Report Files Jeremy Carin

brandon: Brandon Cruz

AmazonSearch: Minimax search for Mancala (CY) Proposal Report Files Chance Onyiorah

Apriori1: ECLAT + Max-Miner (CY) Proposal Report Files Daniel Indictor

Apriori2: Data Mining: Frequent Itemset (CY) Proposal Report Files Yihan Yin

autocomplete2: Parallel Autocomplete (CY) Proposal Report Files Eugene Kim

BTree: Sudoku solver (CY) Proposal Report Files Ari An and Xinyao Peng

CollabFilter: Item-based Collaborative Filtering (Movie recommendations) (CY) Proposal Report Files Hsing-Wen Hsu

inf-max: Hascade: influence maximization problem (CY) Proposal Report Files Yiming Fang

N-GramAutoComplete: Predictive Text Autocomplete (CY) Proposal Report Files Sebastian Hereu and Elisa Luo

ParPriori: Apriori algorithm (CY) Proposal Report Files Evan Li and Claire Liu

ParWordle: Parallel Wordle (CY) Proposal Report Files Zachary Coeur and Sanjay Rajasekharan

WordHunt: (CY) Proposal Report Files Allison Liu

Wordle: Parallel Wordle Solver (CY) Proposal Report Files Jennifer Wang

WordSearch: Word search in a grid (CY) Proposal Report Files Swetha Shanmugam

6Degrees: 6 degrees of separation testing (ES) Proposal Report Files Casey Olsen and Jorge Raad

AStar: OSM Parallel A* Search (ES) Proposal Report tar.xz-Files Donghan Kim

BananaSolve: Bananagram solver (ES) Proposal Report Files Shai Goldman and Aaron Priven

ConvexHull: Parallel Convex Hull (ES) Proposal Report Files Andrei Coman

Fleet: Parallel N-Queens (ES) Proposal Report Files Martin Ristovski and Anastasija Tortevska

MazeSolver: A* Search Algorithm (ES) Proposal Report Files Reid Jesselson

PolInc: Political Inclination in Social Networks (ES) Proposal Report Files Sai Teja Reddy Moolamalla and Vikram Waradpande

Scrabble: Word Search (ES) Proposal Report Files Helen Chu and Alexander Lindenbaum

TSK: Traveling Salesman with K-Means (ES) Proposal Report Files Matthew Goodman and Ashar Nadeem

TSP: Traveling Salesman (ES) Proposal Report Files Trikay Nalamada and Joseph Parker IV

WordLadder: Parallel Word Ladder Search (ES) Proposal Report Files Aruj Jain and Benjamin Magid

Chess: Chess Position Evaluator (LQ) Proposal Report Files Michael Lee

Connect4: Minimax solver for the Connect4 game (LQ) Proposal Report Files Beza Amsalu and Miira Efrem

Gomoku: Gomoku solver (LQ) Proposal Report Files Danny Hou

Go: The Game of Gomoku (LQ) Proposal Report Files Matthew Retchin

Kalah: Min-Max Kalah Game AI (LQ) Proposal Report Files David Cendejas and Haruki Gonai

MCTS: A Library for General Game Playing (LQ) Proposal Report Files Jose Ramos

ParBoids: Bird Flight Simulator (LQ) Proposal Report Files Catelen Wu and Ethan Wu

ParVarys: Coflow Scheduling (LQ) Proposal Report Files Etesam Ansari and Yunlan Li

qiang: Boolean SAT Solver (LQ) Proposal Report Files Wei Qiang

Vigenere: Crypto (LQ) Proposal Report Files Alex Nicita

WebScraper: (LQ) Proposal Report Files Jack Wang

YTM: Yield to Maturity Calculations (LQ) Proposal tgz-Report Anjali Smith

FordFulkerson: Max-flow Min-cut algorithm (SE) Proposal Report Files Jiayuan Li

GRNPar: Gene Regulation Network Inference (SE) Proposal Report Files William Das and Anushka Gupta

ParBnC: Integer Linear Program Solver (SE) Proposal Report Files Weixi Zhuo

Joins: Parallel Database Joins (SE) Proposal Report tar.xz-Files Amery Chang

Nonollel: Nonogram Solver (SE) Proposal Report Files Jason Eriksen and Xurxo Riesco Perez

ParBag: Bootstrap Aggregation/Bagging learning algorithm (SE) Proposal Report Files Joshua Hahn

ParticleTrack: Particle Collider Track Detection (SE) Proposal Report Files Lukas Arnold and Brendan Cunnie

RandomForest: ID3 Decision Trees (SE) Proposal Shaun Kim

SubsetConstruction: Subset Construction: NFA to DFA (SE) Proposal Report Files Alexis Gadonneix and Nikhil Mehta

My favorites

The Project

The project should be a parallel implementation of some algorithm/technique in Haskell. Marlow parallelizes a Sudoku solver and a K-means clustering algorithm in his book; these are baseline projects. I am looking for something more sophisticated than these, but not dramatically more complicated.

Do the project alone or in pairs. List all your names and UNIs in the proposal and final report

There are three deliverables:

1. A one- or two-page proposal that gives the TAs and me an inda of what you plan to do so we can give you feedback about restricting or increasing the scope. Upload a PDF file to Courseworks describing your project and team members, if any.
2. A report describing your project: what you implemented and how, some performance figures indicating how much better your solution runs in parallel (e.g., time its execution on one core and compare that to running it on multiple cores), and a full listing of the code you wrote. Upload a multi-page PDF file to Courseworks; due during Finals Week.
3. Along with your report, submit a .tar.gz file including the code and test cases for your project. Make it so I can compile and run it, perhaps by including a README file with instructions for running it with the Haskell Stack. Due with the repot.

Strive for a little well-written, well-tested program that handles everything gracefully rather than a large, feature-filled system. If you're short on time, drop a feature in preference to improving the code you have.

Other project ideas include any sort of map/reduce application, graphics rendering, physical simulation (e.g., particles), parallel grep or word count, a Boolean satisfiability solver, or your favorite NP-complete problem. If your program is algorithmically simple (e.g., word count or word frequency count), it need to scale to huge inputs. AI (as opposed to machine learning) applications, such as game playing algorithms, are generally a good idea. Algorithms that have a lot of matrix multiplication at their core (e.g., deep learning) are less suitable.

Feel free to ask the instructor or TAs for project advice or criticism

Resources

• Miran Lipovaca. Learn You a Haskell for Great Good! No Starch Press, 2011.
• Bryan O'Sullivan, Don Stewart, and John Goerzen. Real World Haskell. O'Reilly, 2008.
• Simon Marlow. Parallel and Concurrent Programming in Haskell. O'Reilly, 2013.

Links

• PFP from Fall 2021

• PFP from Fall 2020

• PFP from Fall 2019