RENN: Efficient Reverse Execution with Neural-Network-Assisted Alias Analysis | IEEE Conference Publication | IEEE Xplore