Generation of Verified Programs for In-Memory Computing | IEEE Conference Publication | IEEE Xplore