Conference Reasoning about hierarchical storage 2003 • Proceedings - Symposium on Logic in Computer Science • 33-44 Ahmed A, Jia LM, Walker D
Journal Article Modal Crash Types for WAR-Aware Intermittent Computing • ACM Transactions on Programming Languages and Systems Dotzel M, Derakhshan F, Surbatovich M, Jia L
