Section: Highlights of the Year

Highlights of the Year

In 2018, the DELYS team published papers at major conferences in Systems, Distributed Systems, Theoretical Computer Science, Verification, and AI:

• Scheduling under Uncertainty: A Query-based Approach. L. Arantes, E. Bampis, A. Kononov, M. Letsios, G. Lucarelli, P. Sens. IJCAI, [19].

• Byzantine Gathering in Polynomial Time. S. Bouchard, Y. Dieudonné, A. Lamani. ICALP [22].

• The Battle of the Schedulers: FreeBSD ULE vs. Linux CFS. J. Bouron, S. Chevalley, B. Lepers, W. Zwaenepoel, R. Gouicem, J. Lawall, G. Muller, J. Sopena. ATC [24].

• Distributed transactional reads: the strong, the quick, the fresh & the impossible. A. Z. Tomsic, M. Bravo, M. Shapiro. Middleware [31].

• Co-design and verification of an available file system. M. Najafzadeh, M. Shapiro, P. Eugster. VMCAI [28].