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.