Spring semester, Fri 6-9pm, classroom E
Instructor: Yannis Smaragdakis
Piazza signup link
Background:
The course will cover topics in program analysis, focusing on smart contracts. We will be using logic-based specifications, in the Datalog language, to express static analyses over an intermediate language. Our platform of experimentation will be an IR for Ethereum smart contracts. This is a critical modern domain that greatly benefits from static analysis.
The course is a seminar and requires active participation. The last hour of every meeting will be hands-on coding and support on the currently active assignment. You will need to bring a laptop (or pair productively with someone who brings one).
Policies:
Submission by email, by midnight of the deadline.