|
|
|
| e-Pub |
Previous | 
Home
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].