Patent Assignment
Reel/Frame 057007/0897
Assignment of Assignor's Interest
Recorded: 2021-07-28
Pages: 5
Assignors
GU, RONGHUI
Executed: 2021-07-19
NIEH, JASON
Executed: 2021-07-19
TAO, RUNZHOU
Executed: 2021-07-19
Assignee
THE TRUSTEES OF COLUMBIA UNIVERSITY IN THE CITY OF NEW YORK
412 LOW MEMORIAL LIBRARY, 535 WEST 116TH STREET, NEW YORK, NEW YORK, 10027
Covered Property
(1)
Systems, Methods, and Media for Proving the Correctness of Software on Relaxed Memory Hardware
Related Assignments
(1)
Other recorded transfers of the patent in this record — the chain of ownership.