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 41
Dept. of Computer Science 34
Graduate Dissertations and Theses at Illinois 23
Research publications from UIUC 10
Summary of Engineering Research (1957-2008) 6
Dept. of Electrical and Computer Engineering 1

Collection

Dissertations and Theses - Computer Science 24
Graduate Dissertations and Theses at Illinois 23
Research publications from the University of Illinois at Urbana-Champaign 10
Research and Tech Reports - Computer Science 8
Summary of Engineering Research (2003-2008) 6
Whitepapers - Computer Science 2
Dissertations and Theses - Electrical and Computer Engineering 1

Author(s)

University of Illinois at Urbana-Champaign 7
University of Illinois at Urbana-Champaign. College of Engineering 6
Lattner, Chris A. 3
Yu, Jing 3
Adve, Vikram S. 2
Dhurjati, Dinakar 2
Filaretti, Daniele 2
Guth, Dwight 2
Johnson, Ralph 2
Kasampalis, Theodoros 2

Keyword(s)

Computer Science 6
Research and publications sponsored in the College of Engineering 6
Computer Architecture 4
compilers 3
computer science 3
Compiler 2
Fighting Illini (Football team) 2
Parallel Performance Tools 2
Performance Analysis 2
University of Illinois at Urbana-Champaign Degrees. 2

Type of Resource

text 38
Thesis 2
image 1

↑ ↓

Showing 1–30 of 51 items

1 (current)
2

Thumbnail for Macroscopic Data Structure Analysis and Optimization

Macroscopic Data Structure Analysis and Optimization

Lattner, Chris A.

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 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 SAFECode: A Platform for Developing Reliable Software in Unsafe Languages

SAFECode: A Platform for Developing Reliable Software in Unsafe Languages

Dhurjati, Dinakar

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 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 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 Palloc: parallel dynamic memory allocation

Palloc: parallel dynamic memory allocation

Simmons, Patrick A.

Thumbnail for Macroscopic Data Structure Analysis and Optimization

Macroscopic Data Structure Analysis and Optimization

Lattner, Christopher Arthur

Thumbnail for Software and architecture support for the bulk multicore

Software and architecture support for the bulk multicore

Ahn, Daniel

Thumbnail for Protection in commodity monolithic operating systems

Protection in commodity monolithic operating systems

Dautenhahn, Nathan D

Thumbnail for Static analysis for architecture-implementation conformance in robust embedded systems

Static analysis for architecture-implementation conformance in robust embedded systems

Kowshik, Sumant J.

Thumbnail for Capabilities for cross-layer micro-service security

Capabilities for cross-layer micro-service security

Sprabery, Read

Thumbnail for Toward performance portability for CPUS and GPUS through algorithmic compositions

Toward performance portability for CPUS and GPUS through algorithmic compositions

Chang, Li-Wen

Thumbnail for Separation of distributed coordination and control for programming reliable robotics

Separation of distributed coordination and control for programming reliable robotics

Ghosh, Ritwika

Thumbnail for A formal semantics of C with applications

A formal semantics of C with applications

Ellison, Charles

Thumbnail for Compiling Vector Programs for SIMD Devices

Compiling Vector Programs for SIMD Devices

Ren, Gang

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 Request-Based Mediated Execution

Request-Based Mediated Execution

Sundresh, Sameer

Thumbnail for Request-Based Mediated Execution

Request-Based Mediated Execution

Sundresh, Sameer

Thumbnail for Understanding, detecting, and repairing performance bugs

Understanding, detecting, and repairing performance bugs

Nistor, Adrian

Thumbnail for Efficient Software Checking for Fault Tolerence

Efficient Software Checking for Fault Tolerence

Yu, Jing

Thumbnail for Taming implicit synchronizations in concurrent programs

Taming implicit synchronizations in concurrent programs

Xiong, Weiwei

Thumbnail for Compiling Vector Programs for SIMD Devices

Compiling Vector Programs for SIMD Devices

Ren, Gang

Thumbnail for Illinois ... football guide. 1990

Illinois ... football guide. 1990

Submitter: Howard Ding

Thumbnail for Techniques in scalable and effective parallel performance analysis

Techniques in scalable and effective parallel performance analysis

Lee, Chee Wai

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 Techniques In Scalable And Effective Parallel Performance Analysis

Techniques In Scalable And Effective Parallel Performance Analysis

Lee, Chee Wai

1 (current)
2

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

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