- This event has passed.
Designing Self-Certifying Compilers
February 25, 2019 @ 10:45 am - 11:10 am
Kedar Namjoshi (Bell Labs, Nokia)
(slides)
New York Seminar on Programming Languages and Software Engineering
February 25, 2019, CUNY Hunter College (sponsored by JSPS US Alumni Association)
Kedar Namjoshi (Bell Labs, Nokia)
(slides)