Foundations of Computation

Organization profile

What are the theories which underlie the analysis and design of computer systems? How can these foundational theories be implemented and applied practically?

Fingerprint

Dive into the research topics where Foundations of Computation is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.
View full fingerprint

Network

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Explore network further
View all 40 profiles

  • An Algebraic Theory for Shared-State Concurrency

    Dvir, Y., Kammar, O. & Lahav, O., 25 Nov 2022, Programming Languages and Systems: 20th Asian Symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022, Proceedings. Sergey, I. (ed.). Springer, Cham, p. 2-24 22 p. (Lecture Notes in Computer Science; vol. 13658).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Making Cache Monotonic and Consistent

    An, S. & Cao, Y., 18 Nov 2022, (Accepted/In press) Proceedings of the 49th International Conference on Very Large Data Bases. 14 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Minotaur: Multi-Resource Blockchain Consensus

    Fitzi, M., Wang, X., Kannan, S., Kiayias, A., Leonardos, N., Viswanath, P. & Wang, G., 7 Nov 2022, Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery (ACM), p. 1095-1108 17 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
View all 1052 research outputs
  • 5 Editorial activity
  • 3 Participation in conference
  • 1 Invited talk
View all 9 activities
View all 72 projects
View all 4 press / media