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 61–90 of 198 items

1
2
3 (current)
4
5

Thumbnail for Record and deterministic replay of parallel programs on multiprocessors

Record and deterministic replay of parallel programs on multiprocessors

Honarmand, Nima

Thumbnail for Incompleteness + interoperability: a multi-paradigm approach to parallel programming for science and engineering applications

Incompleteness + interoperability: a multi-paradigm approach to parallel programming for science and engineering applications

Jetley, Pritish

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 Compiler techniques for enabling general-purpose hardware-agnostic FPGA programming

Compiler techniques for enabling general-purpose hardware-agnostic FPGA programming

Ejjeh, Adel • 2023

Thumbnail for Eliminating on-chip traffic waste: are we there yet?

Eliminating on-chip traffic waste: are we there yet?

Smolinski, Robert

Thumbnail for A framework for intelligence augmented computing systems

A framework for intelligence augmented computing systems

Banerjee, Subho Sankar • 2022

Thumbnail for Just in time compilation for high performance computing

Just in time compilation for high performance computing

Prabhu, Tarun • 2022

Thumbnail for Specifying and verifying program transformations with PTRANS

Specifying and verifying program transformations with PTRANS

Mansky, William

Thumbnail for Verification and Performance of the DeNovo cache coherence protocol

Verification and Performance of the DeNovo cache coherence protocol

Komuravelli, Rakesh

Thumbnail for Intelligent scheduling for simultaneous CPU-GPU applications

Intelligent scheduling for simultaneous CPU-GPU applications

Cheng, Lin

Thumbnail for Macroscopic Data Structure Analysis and Optimization

Macroscopic Data Structure Analysis and Optimization

Lattner, Chris A.

Thumbnail for Efficient Software Checking for Fault Tolerence

Efficient Software Checking for Fault Tolerence

Yu, Jing

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

SWAT: Designing Resilient Hardware by Treating Software Anomalies

Li, Man-Lap

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 Randomness-aware testing of machine learning-based systems

Randomness-aware testing of machine learning-based systems

Dutta, Saikat • 2023

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 Attack surface reduction in contemporary operating systems via practical kernel debloating

Attack surface reduction in contemporary operating systems via practical kernel debloating

Kuo, Hsuan-Chi • 2022

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 Jade: Compiler -Supported Multi-Paradigm Processor Virtualization-Based Parallel Programming

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

DeSouza, Jayant

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 Practical static race detection for Java parallel loops

Practical static race detection for Java parallel loops

Radoi, Cosmin; Dig, Danny

Thumbnail for Explicit Software Speculation for Dynamic Language Runtimes

Explicit Software Speculation for Dynamic Language Runtimes

Riley, Nicholas J.

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 Specialization without complexity in heterogeneous memory systems

Specialization without complexity in heterogeneous memory systems

Alsop, Johnathan R.

1
2
3 (current)
4
5

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 0 + 7?

© 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)