University of Illinois at Urbana-Champaign

Academic Unit
Author(s)
Keyword(s)
Type of Resource
Showing 1–25 of 196 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 • 2021

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 • 2008

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 • 2008

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 • 2007

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. • 2015

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

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. • 2005

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 • 2009

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 • 2009

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 • 2009

Thumbnail for Diverse partial memory replication
Diverse partial memory replication
Lefever, Ryan M. • 2011

Thumbnail for Macroscopic Data Structure Analysis and Optimization
Macroscopic Data Structure Analysis and Optimization
Lattner, Christopher Arthur • 2005