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

Graduate Dissertations and Theses at Illinois 64
College of Engineering 55
Dept. of Computer Science 47
Research publications from UIUC 36
College of Liberal Arts and Sciences 19
Summary of Engineering Research (1957-2008) 7
Dept. of Germanic Languages and Literatures 6
College and Research Libraries 4
College of Education 4
College of Fine and Applied Arts 3

Collection

Graduate Dissertations and Theses at Illinois 64
Dissertations and Theses - Computer Science 37
Research publications from the University of Illinois at Urbana-Champaign 34
Research and Tech Reports - Computer Science 11
Dissertations and Theses - Germanic Languages and Literatures 6
Summary of Engineering Research (2003-2008) 6
Dissertations and Theses - Education 4
Dissertations and Theses - English 3
Dissertations and Theses - Political Science 3
College and Research Libraries 01 (3) June 1940 2

Author(s)

University of Illinois at Urbana-Champaign 26
University of Illinois at Urbana-Champaign. College of Engineering 7
Aktemur, T. Baris 4
Katelman, Michael 4
Kamin, Samuel 3
Peiper, Chad E. 3
Clausen, Lars Reder 2
Garrido, Alejandra 2
Hills, Mark 2
Sundresh, Sameer 2

Keyword(s)

Computer Science 23
Research and publications sponsored in the College of Engineering 7
University of Illinois at Urbana-Champaign Degrees. 4
Literature, Germanic 3
Literature, Modern 3
Political Science, General 3
computer science 3
"University of Illinois at Urbana-Champaign. The ""I"" Men's Association. Dir... 2
Engineering, Electronics and Electrical 2
Faculty Directories 2

Type of Resource

text 115
image 2
Thesis 1

↑ ↓

Showing 1–30 of 127 items

1 (current)
2
3
4
5

Thumbnail for Staging Static Analyses for Program Generation (Extended Version)

Staging Static Analyses for Program Generation (Extended Version)

Aktemur, T. Baris; Kamin, Samuel; Katelman, Michael

Thumbnail for Staging Static Analyses for Program Generation (Extended Version)

Staging Static Analyses for Program Generation (Extended Version)

Kamin, Samuel; Aktemur, T. Baris; Katelman, Michael

Thumbnail for Staging Static Analyses for Program Generation (Extended Version)

Staging Static Analyses for Program Generation (Extended Version)

Aktemur, T. Baris; Kamin, Samuel; Katelman, Michael

Thumbnail for Executing Quantifiers in FASE Specifications

Executing Quantifiers in FASE Specifications

Jefferson, Stanley Ted

Thumbnail for Modular Compilers and Their Correctness Proofs

Modular Compilers and Their Correctness Proofs

Harrison, William Lawrence

Thumbnail for Optimizations in Distributed Run -Time Compilation

Optimizations in Distributed Run -Time Compilation

Clausen, Lars Reder

Thumbnail for A Teacher's Dashboard: Monitoring Students in Tablet PC Classroom Settings

A Teacher's Dashboard: Monitoring Students in Tablet PC Classroom Settings

Peiper, Chad E.

Thumbnail for Sparse matrix-vector multiplication by specialization

Sparse matrix-vector multiplication by specialization

Black Silva, Edgar

Thumbnail for Implementation of functional languages with state

Implementation of functional languages with state

Springer, Jonathan Charles

Thumbnail for Partial Implementations of Abstract Data Types: Theory and Practice

Partial Implementations of Abstract Data Types: Theory and Practice

Archer, Myla Marguerite

Thumbnail for A Teacher's Dashboard: Monitoring Students in Tablet PC Classroom Settings

A Teacher's Dashboard: Monitoring Students in Tablet PC Classroom Settings

Peiper, Chad E.

Thumbnail for Annotating Mobile Code for Performance

Annotating Mobile Code for Performance

Jones, Joel

Thumbnail for Treemacs: An extensible tree editor

Treemacs: An extensible tree editor

Hammerslag, David Hugh

Thumbnail for Improving Efficiency and Safety of Program Generation

Improving Efficiency and Safety of Program Generation

Aktemur, T. Baris

Thumbnail for A framework developing cross-platform pen-based classroom applications with an automated measure of vocal participation

A framework developing cross-platform pen-based classroom applications with an automated measure of vocal participation

Fagen, Wade

Thumbnail for Efficient computation of fixpoints that arise in abstract interpretation

Efficient computation of fixpoints that arise in abstract interpretation

Chen, Li-Ling

Thumbnail for Towards a change-oriented programming environment

Towards a change-oriented programming environment

Negara, Stanislav

Thumbnail for A modular rewriting approach to language design, evolution and analysis

A modular rewriting approach to language design, evolution and analysis

Hills, Mark

Thumbnail for Request-Based Mediated Execution

Request-Based Mediated Execution

Sundresh, Sameer

Thumbnail for CoMoTo: the collaboration modeling toolkit

CoMoTo: the collaboration modeling toolkit

Meyer, Charles

Thumbnail for Educating a Diverse Student Population: A Principal in a Small Urban Setting

Educating a Diverse Student Population: A Principal in a Small Urban Setting

Souchet, Theresa A.

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 The Absorption of Free and Protein-Bound Amino Acids by The Chick: Methodand Application to Carbon-14-Lysine

The Absorption of Free and Protein-Bound Amino Acids by The Chick: Methodand Application to Carbon-14-Lysine

Amato, Samuel Valentino

Thumbnail for Mobile Learning Communities - Are We There Yet?

Mobile Learning Communities - Are We There Yet?

Nahrstedt, Klara; Campbell, Roy H.; Gupta, Indranil; Karahalios, Karrie G.; Kravets, Robin; Kamin, Sam; Sanders, William H.

Thumbnail for Type checking and type inference for object-oriented programming languages

Type checking and type inference for object-oriented programming languages

Graver, Justin Owen

Thumbnail for Explicit Software Speculation for Dynamic Language Runtimes

Explicit Software Speculation for Dynamic Language Runtimes

Riley, Nicholas J.

Thumbnail for A Teacher's Dashboard: Monitoring Students in Tablet PC Classroom Settings

A Teacher's Dashboard: Monitoring Students in Tablet PC Classroom Settings

Peiper, Chad E.

Thumbnail for ActorNet: An Actor Platform for Wireless Sensor Networks

ActorNet: An Actor Platform for Wireless Sensor Networks

Kwon, YoungMin; Sundresh, Sameer; Mechitov, Kirill; Agha, Gul A.

Thumbnail for Recent Publications

Recent Publications

Submitter: Howard Ding

Thumbnail for Potty Parity in Perspective: Gender and Family Issues in Planning and Designing Public Restrooms

Potty Parity in Perspective: Gender and Family Issues in Planning and Designing Public Restrooms

Anthony, Kathryn H.; Dufresne, Meghan

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 + 0?

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