P
Patrick Simmons
Researcher at University of Illinois at Urbana–Champaign
Publications - 4
Citations - 507
Patrick Simmons is an academic researcher from University of Illinois at Urbana–Champaign. The author has contributed to research in topics: Parallel algorithm & Effect system. The author has an hindex of 3, co-authored 4 publications receiving 490 citations.
Papers
More filters
Journal ArticleDOI
A type and effect system for deterministic parallel Java
Robert L. Bocchino,Vikram Adve,Danny Dig,Sarita V. Adve,Stephen T. Heumann,Rakesh Komuravelli,Jeffrey Overbey,Patrick Simmons,Hyojin Sung,Mohsen Vakilian +9 more
TL;DR: It is demonstrated that a practical type and effect system can simplify parallel programming by guaranteeing deterministic semantics with modular, compile-time type checking even in a rich, concurrent object-oriented language such as Java.
Proceedings ArticleDOI
Security through amnesia: a software-based solution to the cold boot attack on disk encryption
TL;DR: Loop-Amnesia as discussed by the authors is a kernel-based disk encryption mechanism implementing a novel technique to eliminate vulnerability to the cold boot attack, which is relatively simple to perform for an attacker with even rudimentary technical knowledge and training, and is applicable to exactly the scenario against which disk encryption is primarily supposed to defend.
Posted Content
Security Through Amnesia: A Software-Based Solution to the Cold Boot Attack on Disk Encryption
TL;DR: Loop-Amnesia, a kernel-based disk encryption mechanism implementing a novel technique to eliminate vulnerability to the cold boot attack is presented, and a novel techniques for shielding multiple encryption keys from RAM and a mechanism for storing encryption keys inside the CPU that does not interfere with the use of SSE are contributed.
A Type and Effect System for Deterministic Parallelism in Object-Oriented Languages
Robert L. Bocchino,Vikram Adve,Danny Dig,Stephen T. Heumann,Rakesh Komuravelli,Jeffrey Overbey,Patrick Simmons,Hyojin Sung,Mohsen Vakilian +8 more
TL;DR: This work describes a type and effect system for ensuring deterministic semantics in a concurrent object-oriented language and provides several new capabilities, including support for linear arrays, flexible effect specifications and subtyping, and a novel invocation effect for handling higher-level commutative operations such as set insert.