Amit Vasudevan

4 Patents

• US123673282025

  Systems and Methods for Formal Verification of Computer Platforms

  UBERSPARK Inc.

  0 cites
• US122485582025

  System and Method for Providing Provable End-to-end Guarantees on Commodity Heterogeneous Interconnected Computing Platforms

  Carnegie Mellon University

  0 cites
• US122067292025

  Platform-agnostic Compute Instance Launches

  Oracle International Corporation

  0 cites
• US120933672024

  System and Method for Providing Provable End-to-end Guarantees on Commodity Heterogeneous Interconnected Computing Platforms

  Carnegie Mellon University

  0 cites