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 24
Graduate Dissertations and Theses at Illinois 22
Dept. of Computer Science 17
College of Liberal Arts and Sciences 3
Dept. of Physics 3
Dept. of Aerospace Engineering 2
Dept. of Mechanical Science and Engineering 2
Program in Comparative and World Literature 2
College of Agricultural, Consumer and Environmental Sciences (ACES) 1
Dept. of Chemical and Biomolecular Engineering 1

Collection

Graduate Dissertations and Theses at Illinois 22
Dissertations and Theses - Computer Science 9
Research and Tech Reports - Computer Science 8
Dissertations and Theses - Physics 3
Dissertations and Theses - Aerospace Engineering 2
Dissertations and Theses - Comparative and World Literature 2
Dissertations and Theses - Mechanical Science and Engineering 2
Dissertations and Theses - Chemical and Biomolecular Engineering 1
Dissertations and Theses - Natural Resources and Environmental Sciences 1
XSEDE Planning Documents and Reports 1

Author(s)

Chen, Xiaohong 7
Rosu, Grigore 4
Lin, Zhengyao 3
Roşu, Grigore 3
Basu Thakur, Gautam 2
Sarangi, Smruti R. 2
Trinh, Minh-Thai 2
Wang, John 2
Ahsan, Shegufta Bakht 1
Busemeyer, Brian M. 1

Keyword(s)

LLVM 3
Quantum Monte Carlo 3
Compilers 2
Computer Science 2
K Framework 2
Program verification 2
Proof generation 2
Translation Validation 2
electronic structure 2
matching logic 2

Type of Resource

text 17
Thesis 11

↑ ↓

Showing 1–30 of 31 items

1 (current)
2

Thumbnail for Scalable validation of binary lifters

Scalable validation of binary lifters

Dasgupta, Sandeep

Thumbnail for Semantics of low-level languages

Semantics of low-level languages

Miranti, Andrew

Thumbnail for Accurately computing excited states and lattice dependent tight-binding models from first principles simulations

Accurately computing excited states and lattice dependent tight-binding models from first principles simulations

Pathak, Shivesh Ananda

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 Understanding and extending the role of first-principles quantum Monte Carlo

Understanding and extending the role of first-principles quantum Monte Carlo

Williams, Kiel Troy

Thumbnail for Guarded Matching Logic is Decidable

Guarded Matching Logic is Decidable

Rodrigues, Nishant; Chen, Xiaohong; Rosu, Grigore

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 Scripting Anxiety/scripting Identity: Indian Mutiny, History, and the Colonial Imaginary, 1857--1911

Scripting Anxiety/scripting Identity: Indian Mutiny, History, and the Colonial Imaginary, 1857--1911

Basu Thakur, Gautam

Thumbnail for Reduced order extended kalman filter incorporating dynamics of an autonomous underwater vehicle for motion prediction

Reduced order extended kalman filter incorporating dynamics of an autonomous underwater vehicle for motion prediction

Hascaryo, Rodra Wikan

Thumbnail for Scripting anxiety/scripting identity: Indian mutiny, history, and the colonial imaginary, 1857-1911

Scripting anxiety/scripting identity: Indian mutiny, history, and the colonial imaginary, 1857-1911

Basu Thakur, Gautam

Thumbnail for Initial Algebra Semantics in Matching Logic

Initial Algebra Semantics in Matching Logic

Chen, Xiaohong; Lucanu, Dorel; Roşu, Grigore

Thumbnail for Translation validation for compilation verification

Translation validation for compilation verification

Kasampalis, Theodoros

Thumbnail for Automatic test generation for the detection of performance bugs in code optimization

Automatic test generation for the detection of performance bugs in code optimization

Phaosawasdi, Amarin

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 Induction of growth and pigmentation changes by hexahydro-1,3,5-trinitro-1,3,5-triazine (RDX) in angiosperms

Induction of growth and pigmentation changes by hexahydro-1,3,5-trinitro-1,3,5-triazine (RDX) in angiosperms

Hagen, Frank

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 Applicative matching logic

Applicative matching logic

Chen, Xiaohong; Roşu, Grigore

Thumbnail for A general approach to define binders using matching logic

A general approach to define binders using matching logic

Chen, Xiaohong; Roşu, Grigore

Thumbnail for Insights into correlated electron systems from first-principles quantum Monte Carlo

Insights into correlated electron systems from first-principles quantum Monte Carlo

Busemeyer, Brian M.

Thumbnail for First principles quantum Monte Carlo study of correlated electronic systems

First principles quantum Monte Carlo study of correlated electronic systems

Zheng, Huihuo

Thumbnail for A persuasive approach to designing interactive tools around the promises and perils of social platforms

A persuasive approach to designing interactive tools around the promises and perils of social platforms

Dey, Sanorita

Thumbnail for Structural Behavior of Nitinol Microflaps

Structural Behavior of Nitinol Microflaps

Li, Qingzhong

Thumbnail for Thermo-mechanical behavior of silicon at nanoscale — an in situ investigation

Thermo-mechanical behavior of silicon at nanoscale — an in situ investigation

Kang, Won Mo

Thumbnail for Techniques to Mitigate the Effects of Congenital Faults in Processors

Techniques to Mitigate the Effects of Congenital Faults in Processors

Sarangi, Smruti R.

Thumbnail for Quarterware: A Middleware Toolkit of Software RISC Components

Quarterware: A Middleware Toolkit of Software RISC Components

Singhai, Ashish

Thumbnail for New consistency orchestrators for emerging distributed systems

New consistency orchestrators for emerging distributed systems

Ahsan, Shegufta Bakht

Thumbnail for Reinforcement learning with supervision beyond environmental rewards

Reinforcement learning with supervision beyond environmental rewards

Gangwani, Tanmay

Thumbnail for Techniques to Mitigate the Effects of Congenital Faults in Processors

Techniques to Mitigate the Effects of Congenital Faults in Processors

Sarangi, Smruti R.

Thumbnail for Shape dynamics of anisotropic lipid vesicles using automated flow control

Shape dynamics of anisotropic lipid vesicles using automated flow control

Kumar, Dinesh

Thumbnail for Low Reynolds number biohybrid swimming

Low Reynolds number biohybrid swimming

Williams, Brian Joseph

1 (current)
2

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

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