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

Talk at FRIDA 2022

Posted on 11/08/2022 by Hagit Attiya

Slides for my talk about hyperproprties and abstraction in concurrent objects, given at FRIDA 2022.

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

News

  • Paper accepted to SIROCCO 2026 10/02/2026
  • Best paper award at OPODIS 2025! 05/12/2025
  • FRIDA talk is online 04/12/2025
  • POPL 2026 paper is online 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
Proudly powered by WordPress