University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–30 of 198 items
Thumbnail for A Translation Validation Algorithm for LLVM Register Allocators
A Translation Validation Algorithm for LLVM Register Allocators
Lin, Zhengyao; Kasampalis, Theodoros; Adve, Vikram

Thumbnail for Parallel Programming Must Be Deterministic By Default
Parallel Programming Must Be Deterministic By Default
Bocchino, Robert L., Jr.; Adve, Vikram S.; Adve, Sarita V.; Snir, Marc

Thumbnail for Parallel Programming Must Be Deterministic By Default
Parallel Programming Must Be Deterministic By Default
Bocchino, Robert L., Jr.; Adve, Vikram S.; Adve, Sarita V.; Snir, Marc

Thumbnail for Understanding the Propagation of Hard Errors to Software and its Implications for Resilient System Design
Understanding the Propagation of Hard Errors to Software and its Implications for Resilient System Design
Li, Man-Lap; Ramachandran, Pradeep; Adve, Sarita V.; Adve, Vikram S.; Zhou, YuanYuan

Thumbnail for Technical Report: Region and Effect Inference for Safe Parallelism
Technical Report: Region and Effect Inference for Safe Parallelism
Tzannes, Alexandros; Han, Michael; Adve, Vikram S.; Vakilian, Mohsen; Eloussi, Lamyaa; Heumann, Stephen T.

Thumbnail for Enforcing Alias Analysis for Weakly Typed Languages
Enforcing Alias Analysis for Weakly Typed Languages
Dhurjati, Dinakar; Kowshik, Sumant J.; Adve, Vikram S.

Thumbnail for How Successful Is Data Structure Analysis in Isolating and Analyzing Linked Data Structures?
How Successful Is Data Structure Analysis in Isolating and Analyzing Linked Data Structures?
Meredith, Patrick O'Neil; Pankaj, Balpreet; Sahoo, Swarup K.; Lattner, Chris A.; Adve, Vikram S.

Thumbnail for Inferring Method Effect Summaries for Nested Heap Regions
Inferring Method Effect Summaries for Nested Heap Regions
Vakilian, Mohsen; Dig, Danny; Bocchino, Robert L., Jr.; Overbey, Jeffrey; Adve, Vikram S.; Johnson, Ralph

Thumbnail for A Type and Effect System for Deterministic Parallelism in Object-Oriented Languages
A Type and Effect System for Deterministic Parallelism in Object-Oriented Languages
Bocchino, Robert L., Jr.; Adve, Vikram S.; Dig, Danny; Heumann, Stephen; Komuravelli, Rakesh; Overbey, Jeffrey; Simmons, Patrick; Sung, Hyojin; Vakilian, Mohsen

Thumbnail for A Type and Effect System for Deterministic Parallelism in Object-Oriented Languages
A Type and Effect System for Deterministic Parallelism in Object-Oriented Languages
Bocchino, Robert L., Jr.; Adve, Vikram S.; Dig, Danny; Heumann, Stephen; Komuravelli, Rakesh; Overbey, Jeffrey; Simmons, Patrick; Sung, Hyojin; Vakilian, Mohsen