|
Parallel Prefix Scan
Date
November 17th, 2020 Speaker
Andrew Appel Department
COS Location
Princeton NJ
|
|
Seedling
Leaf Damage & Allocation to Growth
Date
October 13th, 2020 Speaker
Dayna Delacruz Department
Ecology & Evolutionary Biology Location
Zoom
|
|
Parallelism I
Date
September 3rd, 2020 Speaker
Andrew Appel Department
COS Location
Princeton NJ
|
|
Reasoning about Modular Programs: Part 1: Representation Invariants
Date
August 16th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
Uncomputability: What We Can't Compute
Date
August 16th, 2020 Speaker
Andrew Appel Department
COS Location
Princeton NJ
|
|
Generalizing Your Inductive Hypothesis
Date
August 16th, 2020 Speaker
Andrew Appel Department
COS Location
Princeton NJ
|
|
A Functional Space Model
Date
August 16th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
Did I Get it Right? Part 4: Induction for Datatypes
Date
August 12th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
Implementing Ocaml in Ocaml: Part 1: Representing Abstract Syntax
Date
August 12th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
Inductive Datatypes
Date
August 12th, 2020 Speaker
Andrew Appel Department
COS Location
Princeton NJ
|
|
|
|
|
|
|
|
|
|
PCTS "Bridging Mathematical Optimization, Information Theory and Data Science"
Date
May 16th, 2018 Speaker
Sebastian Bubeck Department
PCTS Location
407 Jadwin Hall
|