Presentation on LLVM 

Topic:  Heuristics for stateful flow-sensitive alias analysis in LLVM.
Abstract: In this talk, we discuss several techniques and heuristics to use flow sensitive information via the control flow graph and data flow information to sharpen alias analysis that provide more opportunities for optimizations to emit potentially better bitcode.