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 130
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 130
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 22
image 2
dataset / spreadsheet 1

↑ ↓

Showing 61–90 of 194 items

1
2
3 (current)
4
5

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

ApproxHPVM: A retargetable compiler framework for accuracy-aware optimizations

Sharif, Hashim

Thumbnail for Efficient Software Checking for Fault Tolerence

Efficient Software Checking for Fault Tolerence

Yu, Jing

Thumbnail for Efficient Software Checking for Fault Tolerance

Efficient Software Checking for Fault Tolerance

Yu, Jing

Thumbnail for Making Formal Verification Trustworthy via Proof Generation

Making Formal Verification Trustworthy via Proof Generation

Lin, Zhengyao; Chen, Xiaohong; Trinh, Minh-Thai; Wang, John; Rosu, Grigore

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 SWAT: Designing Resilient Hardware by Treating Software Anomalies

SWAT: Designing Resilient Hardware by Treating Software Anomalies

Li, Man-Lap

Thumbnail for Macroscopic Data Structure Analysis and Optimization

Macroscopic Data Structure Analysis and Optimization

Lattner, Christopher Arthur

Thumbnail for Guarded Matching Logic is Decidable

Guarded Matching Logic is Decidable

Rodrigues, Nishant; Chen, Xiaohong; Rosu, Grigore

Thumbnail for Performance Scalability Prediction on Multicomputers

Performance Scalability Prediction on Multicomputers

Mendes, Celso Luiz

Thumbnail for IELE: An Intermediate-Level Blockchain Language Designed and Implemented Using Formal Semantics

IELE: An Intermediate-Level Blockchain Language Designed and Implemented Using Formal Semantics

Kasampalis, Theodoros; Guth, Dwight; Moore, Brandon; Serbanuta, Traian; Serbanuta, Virgil; Filaretti, Daniele; Roşu, Grigore; Johnson, Ralph

Thumbnail for Understanding, detecting, and repairing performance bugs

Understanding, detecting, and repairing performance bugs

Nistor, Adrian

Thumbnail for Taming implicit synchronizations in concurrent programs

Taming implicit synchronizations in concurrent programs

Xiong, Weiwei

Thumbnail for Gas diffusion electrodes and operating conditions for electrochemical energy storage applications

Gas diffusion electrodes and operating conditions for electrochemical energy storage applications

Kim, Byoungsu

Thumbnail for An Interactive Theorem Prover for Matching Logic with Proof Object Generation

An Interactive Theorem Prover for Matching Logic with Proof Object Generation

Lin, Zhengyao; Chen, Xiaohong; Rosu, Grigore

Thumbnail for Jade: Compiler -Supported Multi-Paradigm Processor Virtualization-Based Parallel Programming

Jade: Compiler -Supported Multi-Paradigm Processor Virtualization-Based Parallel Programming

DeSouza, Jayant

Thumbnail for Practical static race detection for Java parallel loops

Practical static race detection for Java parallel loops

Radoi, Cosmin; Dig, Danny

Thumbnail for Trustworthy Program Verification via Proof Generation

Trustworthy Program Verification via Proof Generation

Lin, Zhengyao; Chen, Xiaohong; Trinh, Minh-Thai; Wang, John; Rosu, Grigore

Thumbnail for Explicit Software Speculation for Dynamic Language Runtimes

Explicit Software Speculation for Dynamic Language Runtimes

Riley, Nicholas J.

Thumbnail for Discovering roles and types from hierarchical information networks

Discovering roles and types from hierarchical information networks

Weninger, Timothy

Thumbnail for Specialization without complexity in heterogeneous memory systems

Specialization without complexity in heterogeneous memory systems

Alsop, Johnathan R.

Thumbnail for IELE: An Intermediate-Level Blockchain Language Designed and Implemented Using Formal Semantics

IELE: An Intermediate-Level Blockchain Language Designed and Implemented Using Formal Semantics

Kasampalis, Theodoros; Guth, Dwight; Moore, Brandon; Serbanuta, Traian; Serbanuta, Virgil; Filaretti, Daniele; Roşu, Grigore; Johnson, Ralph

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 Thread Contracts for Race-Freedom

Thread Contracts for Race-Freedom

Karmani, Rajesh Kumar; Madhusudan, P.; Moore, Brandon

Thumbnail for The tasks with effects model for safe concurrency

The tasks with effects model for safe concurrency

Heumann, Stephen T.

Thumbnail for Practical analyses and transformations for flow-based parallelism

Practical analyses and transformations for flow-based parallelism

Chen, Nicholas Chun Y.

Thumbnail for From detection to optimization: impact of soft errors on high-performance computing applications

From detection to optimization: impact of soft errors on high-performance computing applications

Calhoun, Jon Cameron

Thumbnail for Improving regression testing efficiency and reliability via test-suite transformations

Improving regression testing efficiency and reliability via test-suite transformations

Shi, August Wang

Thumbnail for Achieving High Performance on Extremely Large Parallel Machines: Performance Prediction and Load Balancing

Achieving High Performance on Extremely Large Parallel Machines: Performance Prediction and Load Balancing

Zheng, Gengbin

Thumbnail for Programming and Compiling for Distributed Architectures

Programming and Compiling for Distributed Architectures

Zhu, Jiajing

Thumbnail for Impact of the van der Waals interface on the mechanics of 2D nanoelectromechanical systems

Impact of the van der Waals interface on the mechanics of 2D nanoelectromechanical systems

Kim, Sunphil

1
2
3 (current)
4
5

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 2 + 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)