Princeton University

Parakinetics Inc.

David I August

Soumyadeep Ghosh

Neil A Vachharajani

Scott Mahlke

Mojtaba Mehrara

Matthew J Bridges

Stephen Beard

Jordan Fix

Kevin C Fan

Jae Wook Lee

A pluggable trust architecture addresses the problem of establishing trust in hardware. The architecture has low impact on system performance and comprises a simple, user-supplied, and pluggable hardware element. The hardware element physically separates the untrusted components of a system from peripheral components that communicate with the external world. The invention only allows results of correct execution of software to be communicated externally.

Pluggable trust architecture

Trust architecture and related methods

Cooperative program code transformation includes receiving a transformation hint request, obtaining a suitable transformation hint, and providing the suitable transformation hint such that it is used to transform at least a portion of the program code and generate optimized code.

Cooperative program code transformation

A system that supports multi-threaded transactions includes one or more processors configured to speculatively execute a first thread in a first transaction and speculatively execute a second thread concurrently with the first thread in a comparable transaction with respect to the first transaction. It further includes one or more memories coupled to the one or more processors, configured to provide the one or more processors with data storage. An uncommitted value written by the first thread while executing in the first transaction is visible to the second thread executing in the comparable transaction.

System and method for supporting multi-threaded transactions

Growing community of inventors

Princeton, NJ, United States of America

David I August