Seminars

View all Seminars  |  Download ICal for this event

From Formal Verification to Correctly Rounded Math Libraries

Series: Department Seminar

Speaker: Santosh Nagarakatte, Professor and Undergraduate Program Director, Computer Science, Rutgers University

Date/Time: Jul 28 11:00:00

Location: CSA Auditorium, (Room No. 104, Ground Floor)

Abstract:
This talk will provide the (previously untold) stories of the origin and the evolution of various research projects in my group ranging from memory safety enforcement to automatic verification of the peephole optimizations in the LLVM compiler finally culminating with the RLIBM project where we are building correctly rounded math libraries.  In essence, audience will find instances of applying ideas from programming languages to build safe and secure computing systems.

Speaker Bio:
Santosh Nagarakatte is a Professor and Undergraduate Program Director of Computer Science at Rutgers University. He obtained his PhD from the University of Pennsylvania in 2012. His research interests are in Hardware-Software Interfaces spanning Programming Languages, Compilers, Software Engineering, and Computer Architecture. His papers have been selected as IEEE MICRO Top Picks papers of computer architecture conferences in 2010 and 2013. He received the NSF CAREER Award in 2015, ACM SIGPLAN PLDI 2015 Distinguished Paper Award, ACM SIGSOFT ICSE 2016 Distinguished Paper Award, and 2018 Communications of the ACM Research Highlights paper for his research on LLVM compiler verification. His PhD student David Menendezs dissertation on LLVM verification was awarded the 2018 ACM SIGPLAN John C Reynolds Outstanding Dissertation Award. His papers on correctly rounded elementary functions have been recognized with the ACM SIGPLAN PLDI 2021 Distinguished Paper Award and the ACM SIGPLAN POPL 2022 Distinguished Paper Award. His PhD student Jay Lims dissertation on correctly rounded elementary functions was awarded the 2022 ACM SIGPLAN John C Reynolds Outstanding Dissertation Award. He was selected as the ACM Distinguished Member in 2023.

Host Faculty: Prof. Vinod Ganapathy