|
Abstract interpretation is a general framework for expressing static program analyses. It reduces the problem of extracting properties of a program to computing an approximation of the least fixpoint…
|
|
|
|
|
|
First club meeting; a brief overview of neuromorphic computing in comparison to both biological brains and Von Neumann computers. A short discussion of ABR's Nengo library and Intel's Loihi…
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Foundations of Computer and Information Security. This covers side channel attacks, entropy, and begins information flow. The class starts at 8:40 into the video.
|
|
PHY 255 Lecture 12 (Second Part) Lecture 13 (First Part)
|