Conference paperCode motion of control structures in high-level languagesRon Cytron, Andy Lowry, et al.POPL 1986
Conference paperRestoring consistent global states of distributed computationsArthur P. Goldberg, Ajei Gopal, et al.WPADD 1991
PaperConsistent global checkpoints based on direct dependency trackingYi-Min Wang, Andy Lowry, et al.Information Processing Letters