University of Illinois at Urbana-Champaign

Academic Unit
Author(s)
Keyword(s)
Type of Resource
Showing 1–25 of 196 items
Thumbnail for Automatic Recovery For Request Oriented Systems
Automatic Recovery For Request Oriented Systems
Lenharth, Andrew D. • 2010

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 Automatic Pool Allocation: Compile-Time Control of Data Structure Layout in the Heap
Automatic Pool Allocation: Compile-Time Control of Data Structure Layout in the Heap
Lattner, Chris A.; Adve, Vikram S. • 2004

Thumbnail for Types, Regions, and Effects for Safe Programming with Object-Oriented Parallel Frameworks
Types, Regions, and Effects for Safe Programming with Object-Oriented Parallel Frameworks
Bocchino, Robert L., Jr.; Adve, Vikram S. • 2009

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 An Empirical Study of Reported Bugs in Server Software with Implications for Automated Bug Diagnosis
An Empirical Study of Reported Bugs in Server Software with Implications for Automated Bug Diagnosis
Sahoo, Swarup K.; Criswell, John; Adve, Vikram S. • 2009

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 Making Parallel Programming Easy: Research Contributions from Illinois
Making Parallel Programming Easy: Research Contributions from Illinois
2013

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 Secure virtual architecture: security for commodity software systems
Secure virtual architecture: security for commodity software systems
Criswell, John • 2014

Thumbnail for SAFECode: A Platform for Developing Reliable Software in Unsafe Languages
SAFECode: A Platform for Developing Reliable Software in Unsafe Languages
Dhurjati, Dinakar • 2006

Thumbnail for Protection in commodity monolithic operating systems
Protection in commodity monolithic operating systems
Dautenhahn, Nathan D • 2016

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

Thumbnail for Heterogeneous parallel virtual machine: A portable program representation and compiler for performance and energy optimizations on heterogeneous parallel systems
Heterogeneous parallel virtual machine: A portable program representation and compiler for performance and energy optimizations on heterogeneous parallel systems
Kotsifakou, Maria • 2020

Thumbnail for ApproxHPVM: A retargetable compiler framework for accuracy-aware optimizations
ApproxHPVM: A retargetable compiler framework for accuracy-aware optimizations
Sharif, Hashim • 2021

Thumbnail for A novel invariants-based approach for automated software fault localization
A novel invariants-based approach for automated software fault localization
Sahoo, Swarup K. • 2013

Thumbnail for Aligning intent and behavior in software systems: how programs communicate & their distribution and organization
Aligning intent and behavior in software systems: how programs communicate & their distribution and organization
Dietz, William Barrett • 2020

Thumbnail for Compilers for portable programming of heterogeneous parallel & approximate computing systems
Compilers for portable programming of heterogeneous parallel & approximate computing systems
Srivastava, Prakalp • 2019