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].