A list of papers that are worth a second or even third round of reading [ATC'02] Cyclone: A safe dialect of C [Oakland'13] SoK: Eternal War in Memory