University of Illinois Urbana-Champaign

Submit an Item
Browse
About

Title

Author(s)

Contributor(s)

Issue Date

From:

To:

Keyword(s)

Abstract

Series/Report Name or Number

Type of Resource

Permalink

Full Text

Academic Unit

College of Engineering 176
Dept. of Computer Science 148
Graduate Dissertations and Theses at Illinois 134
Dept. of Electrical and Computer Engineering 14
College of Liberal Arts and Sciences 8
Summary of Engineering Research (1957-2008) 6
Universal Parallel Computing Research Center 6
Dept. of Chemical and Biomolecular Engineering 4
Dept. of Chemistry 4
Dept. of Physics 3

Collection

Graduate Dissertations and Theses at Illinois 134
Dissertations and Theses - Computer Science 96
Research and Tech Reports - Computer Science 50
Dissertations and Theses - Electrical and Computer Engineering 14
Research and Technical Reports - Universal Parallel Computing Research Center 6
Summary of Engineering Research (2003-2008) 6
Dissertations and Theses - Chemical and Biomolecular Engineering 4
Dissertations and Theses - Chemistry 4
Dissertations and Theses - Physics 3
Research publications from the University of Illinois at Urbana-Champaign 3

Author(s)

Adve, Vikram S. 12
Bocchino, Robert L., Jr. 7
Chen, Xiaohong 7
Vakilian, Mohsen 6
Roşu, Grigore 5
University of Illinois at Urbana-Champaign. College of Engineering 5
Dig, Danny 4
Kasampalis, Theodoros 4
Komuravelli, Rakesh 4
Adve, Sarita V. 3

Keyword(s)

Computer Science 34
computer science 11
Computer Architecture 6
Compilers 5
Research and publications sponsored in the College of Engineering 5
programming languages 5
LLVM 4
parallel systems 4
parallelism 4
Compiler 3

Type of Resource

text 130
Thesis 26
image 2
dataset / spreadsheet 1

↑ ↓

Showing 1–30 of 198 items

1 (current)
2
3
4
5

Thumbnail for Automatic Recovery For Request Oriented Systems

Automatic Recovery For Request Oriented Systems

Lenharth, Andrew D.

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

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.

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

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

Making Parallel Programming Easy: Research Contributions from Illinois

Submitter: David Padua

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

Thumbnail for Secure virtual architecture: security for commodity software systems

Secure virtual architecture: security for commodity software systems

Criswell, John

Thumbnail for SAFECode: A Platform for Developing Reliable Software in Unsafe Languages

SAFECode: A Platform for Developing Reliable Software in Unsafe Languages

Dhurjati, Dinakar

Thumbnail for Diverse partial memory replication

Diverse partial memory replication

Lefever, Ryan M.

Thumbnail for Protection in commodity monolithic operating systems

Protection in commodity monolithic operating systems

Dautenhahn, Nathan D

Thumbnail for Macroscopic Data Structure Analysis and Optimization

Macroscopic Data Structure Analysis and Optimization

Lattner, Christopher Arthur

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

Thumbnail for ApproxHPVM: A retargetable compiler framework for accuracy-aware optimizations

ApproxHPVM: A retargetable compiler framework for accuracy-aware optimizations

Sharif, Hashim

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

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.

Thumbnail for Compilers for portable programming of heterogeneous parallel & approximate computing systems

Compilers for portable programming of heterogeneous parallel & approximate computing systems

Srivastava, Prakalp

Thumbnail for Inferring Method Effect Summaries for Nested Heap Regions

Inferring Method Effect Summaries for Nested Heap Regions

Vakilian, Mohsen

Thumbnail for Hybrid Static/Dynamic Type Safety for C/C++ Programs

Hybrid Static/Dynamic Type Safety for C/C++ Programs

Aggarwal, Arushi

Thumbnail for Exploiting software information for an efficient memory hierarchy

Exploiting software information for an efficient memory hierarchy

Komuravelli, Rakesh

Thumbnail for Optimizing whole programs for code size

Optimizing whole programs for code size

Bartell, Sean

Thumbnail for Palloc: parallel dynamic memory allocation

Palloc: parallel dynamic memory allocation

Simmons, Patrick A.

1 (current)
2
3
4
5

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 0 + 6?

© 2023 University of Illinois Board of Trustees

Log In

I don't have an Illinois NetID

Use this login method if you don't have an @illinois.edu email address. (Oops, I do have one)

IDEALS migrated to a new platform on June 23, 2022. If you created your account prior to this date, you will have to reset your password using the forgot-password link below.

Email

Password

(I forgot my password)