Automating type-safe RPC | IEEE Conference Publication | IEEE Xplore