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.

Network

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • 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 proceedingConference 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 proceedingConference 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 proceedingConference contribution

    Open Access
    File