PLDI 2025
Mon 16 - Fri 20 June 2025 Seoul, South Korea
Tue 17 Jun 2025 11:05 - 12:00 at Grand Ball Room 2 - Session 2 Chair(s): Đorđe Žikelić

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. 

Tue 17 Jun

Displayed time zone: Seoul change

10:30 - 12:00
Session 2PLMW @ PLDI at Grand Ball Room 2
Chair(s): Đorđe Žikelić Singapore Management University, Singapore
10:30
35m
Talk
Graduate School Revisited: An Assistant Professor's Perspective
PLMW @ PLDI
Qirun Zhang Georgia Institute of Technology
11:05
55m
Talk
From Formal Verification to Correctly Rounded Math Libraries
PLMW @ PLDI
Santosh Nagarakatte Rutgers University