Vineeth Kumar Paleri Automatic Generation of Code Optimizers from Formal Specifications. 61-97 2002 The Compiler Design Handbook db/books/collections/CRCcompiler2002.html#Paleri02 books/aw/AhoSU86 ... ... journals/csur/BaconGS94 conf/pldi/BilardiP96 journals/toplas/CytronFRWZ91 ... journals/toplas/ClickC95 conf/sigplan/CooperK84 conf/pldi/DhamdhereRZ92 journals/toplas/FerranteOW87 conf/pldi/FraserW88 journals/acta/GanapathiF87 ... conf/sigplan/Kessler84 ... books/mk/Muchnick1997 journals/cacm/PaduaW86 ... journals/tse/PodgurskiC90 journals/csur/RyderP86 ... ... conf/pldi/TjiangH92 journals/sigplan/WilsonFWAATLTHLH94 ... ... conf/ppopp/WhitfieldS90 conf/pldi/WhitfieldS91 journals/spe/WhitfieldS94 journals/toplas/WhitfieldS97