Technion Site
Hagit Attiya
The Harry W. Labov and Charlotte Ullman Labov Academic Chair

Main menu

  • Home
  • Publications
    • Talks
    • Distributed Computing (book)
    • Impossibility Results for Distributed Computing (book)
  • Group Members
    • Former Group Members
  • Courses
  • Contact
Homepage

FRIDA talk is online

Posted on 04/12/2025 by Hagit Attiya

My talk “Specifying binding and commitment with ghost outputs and strong refinement” in FRIDA 2025 is now on youtube.
(For some reason, only the audio was recorded.)

This entry was posted in Uncategorized by Hagit Attiya. Bookmark the permalink.

News

  • Best paper award at OPODIS 2025! 05/12/2025
  • FRIDA talk is online 04/12/2025
  • Paper accepted to POPL 2026 06/11/2025
  • Papers accepted to DISC 2025 23/08/2025
  • Paper on hyperproperties appeared in Acta Informatica 06/08/2025
  • Two papers accepted to PODC 2025 06/05/2025
  • Paper on “History-Independent Concurrent Hash Tables” accepted to STOC 2025 09/02/2025
Proudly powered by WordPress