|
|
Parallel Prefix Scan
Date
November 17th, 2020 Speaker
Andrew Appel Department
COS Location
Princeton NJ
|
|
|
The Turing Machine Test: module proof for…
Date
November 15th, 2020 Speaker
Andrew Appel Department
COS Location
Princeton NJ
|
|
|
Proving the Equivalence of Two Modules
Date
November 3rd, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
|
COS510 preview - Software Verification
Date
September 16th, 2020 Speaker
Andrew Appel Department
COS Location
Princeton NJ
|
|
|
Parallel Sequences
Date
September 3rd, 2020 Speaker
Andrew Appel Department
COS Location
Princeton NJ
|
|
|
Parallelism I
Date
September 3rd, 2020 Speaker
Andrew Appel Department
COS Location
Princeton NJ
|
|
|
Lazy Evaluation and Infinite Data
Date
August 21st, 2020 Speaker
Andrew Appel Department
COS Location
Princeton NJ
|
|
|
Mutation
Date
August 21st, 2020 Speaker
Andrew Appel Department
COS Location
Princeton NJ
|
|
|
Type Checking: Part 4: Type Inference…
Date
August 16th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
|
Type Checking: Part 3: Type Inference (Simple…
Date
August 16th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
|
Type Checking: Part 2: Ocaml Implementation
Date
August 16th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
|
Type Checking: Part 1: Formal Rules
Date
August 16th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
|
Reasoning About Modular Programs: Part 3: More…
Date
August 16th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
|
Reasoning About Modular Programs: Part 2: Proving…
Date
August 16th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
|
Reasoning about Modular Programs: Part 1:…
Date
August 16th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
|
Ocaml Modules: Part 4: Module Evaluations
Date
August 16th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|