Santosh Nagarakatte
AuthID: R-00J-TH9
1
TITLE: Provably correct peephole optimizations with alive
AUTHORS: Nuno P Lopes ; David Menendez; Santosh Nagarakatte; John Regehr;
PUBLISHED: 2015, SOURCE: Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, Portland, OR, USA, June 15-17, 2015
AUTHORS: Nuno P Lopes ; David Menendez; Santosh Nagarakatte; John Regehr;
PUBLISHED: 2015, SOURCE: Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, Portland, OR, USA, June 15-17, 2015
INDEXED IN: 
DBLP
DBLP