- CSCI-GA.3140-001, spring 2021, Abstract Interpretation, Online, Mondays 9:30—11:20 AM NYC time, email to the instructor to get a login
- CSCI-GA.3110-001, fall 2021, Honors Programming Languages, 60 Vth Ave, C15, TR 3:30—4:45 PM
(Radhia Cousot Award)
- Dagstuhl Seminar 16471, Concurrency with Weak Memory Models: Semantics, Languages, Compilation, Verification, Static Analysis, and Synthesis, co-organizer with Jade Alglave and Caterina Urban, Sunday, November 20, 2016 to Friday, November 25, 2016
Last modified:#echo var="LAST_MODIFIED"