ETH ZurichのComputer Science Department、Software Reliability Labは「Statistical renaming, Type inference and ...