4 papers:
SOSP-2015-HawblitzelHKLPR #distributed #named #proving- IronFleet: proving practical distributed systems correct (CH, JH, MK, JRL, BP, MLR, STVS, BZ), pp. 1–17.
CASE-2014-WangQ #collaboration #energy #enterprise #optimisation- Cost and energy consumption collaborative optimization for sintering burdening in iron and steel enterprise (JW, FQ), pp. 486–491.
- SOSP-2005-PrabhakaranBAGAA #file system
- IRON file systems (VP, LNB, NA, HSG, ACAD, RHAD), pp. 206–220.
ICML-1999-CadezMSM #modelling- Hierarchical Models for Screening of Iron Deficiency Anemia (IVC, CEM, PS, GJM), pp. 77–86.
