A Mathematical View of Computer Systems
- Leslie Lamport
- Computing in the 21st Century 2015
Mathematics provides what I believe to be the simplest and most powerful way to describe computer systems.
-
-
Chengyun Qiu
-
-
Watch Next
-
-
Session on Compute & Trust (Security)
- Krishna Pillutla,
- Danish Pruthi
-
-
Session on Reasoning
- Hongxiang Fan,
- Nagarajan Natarajan
-
-
Session on Retrieval
- Lokesh Nagalapatti,
- Soumen Chakrabarti
-
-
-
-
Using Optimization and LLMs to Enhance Cloud Supply Chain Operations
- Beibin Li,
- Konstantina Mellou,
- Ishai Menache
