December 2019

“Proving the safety of highly-available distributed objects” at ESOP 2020

Marc Shapiro 2019/12/25 2019/12/25Uncategorized

The paper “Proving the safety of highly-available distributed objects,” authored by Sreeja Nair, Gustavo Petri and Marc Shapiro, is accepted for publication at the 29th European Symposium on Programming (ESOP), in Dublin Ireland, April 2020.

Alejandro Tomsic awarded Best PhD in Systems and Networking 2019

Marc Shapiro 2019/12/24 2019/12/24Uncategorized

Alejandro Tomsic, former PhD student of the Delys group, was awarded the Prize for Best French PhD in Systems and Networking 2019 for his thesis titled “Exploring the design space of highly-available distributed transactions”. The prize is awarded yearly by ASF (the French chapter of ACM Sigops) and by RSD (the…

M	T	W	T	F	S	S
						1
2	3	4	5	6	7	8
9	10	11	12	13	14	15
16	17	18	19	20	21	22
23	24	25	26	27	28	29
30	31

Month: December 2019

“Proving the safety of highly-available distributed objects” at ESOP 2020

Alejandro Tomsic awarded Best PhD in Systems and Networking 2019

Recent Posts