A search system for mathematical expressions on software binaries.

Ridhi Jain, Sai Prathik, Venkatesh Vinayakarao, Rahul Purandare

Browse the full MSR paper archive.