Search

Author:

Tiu, Alwen Fernanto

Title:

A Logical Framework for Reasoning about Logical Specifications

Graduate Program:

Computer Science and Engineering

Keywords:

proof theory
operational semantics
co-induction
induction
logical framework
cut-elimination

File:

Download etd.pdf

Committee Members:

John Joseph Hannan, Committee Chair/Co-Chair
Mahmut Taylan Kandemir, Committee Member
Padma Raghavan, Committee Member
Stephen George Simpson, Committee Member
Frank Pfenning, Committee Member

Author:

Mishra, Asit Kumar

Title:

Design and Analysis of Heterogeneous Networks for Chip-Multiprocessors

Graduate Program:

Computer Science and Engineering

Keywords:

NoC
network-on-chip
router
heterogeneous NoC
heterogeneous networks
multicore
CMP
STT-RAM

File:

Download AsitMishra-Dissertation.pdf

Committee Members:

Chitaranjan Das, Dissertation Advisor/Co-Advisor
Chitaranjan Das, Committee Chair/Co-Chair
Vijaykrishnan Narayanan, Committee Member
Mahmut Taylan Kandemir, Committee Member
William Kenneth Jenkins, Committee Member
Onur Mutlu, Committee Member

Author:

Brown, Angeline M

Title:

AN ENGINEERING APPROACH TO PERL AND RUBY OBJECT ORIENTED PROGRAMMING LANGUAGES

Graduate Program:

Computer Science and Engineering

Keywords:

Catalyst
DTrace
Ruby
Perl
Ruby on Rails

File:

Download abrown_thesis_may2012.pdf

Committee Members:

Dr Yuan Xie, Thesis Advisor/Co-Advisor
Mahmut Taylan Kandemir, Thesis Advisor/Co-Advisor
Yuan Xie, Thesis Advisor/Co-Advisor

Author:

Yanamandra, Aditya

Title:

Exploring Power Reliability Tradeoffs in On-Chip Networks

Graduate Program:

Computer Science and Engineering

Keywords:

Electromigration
Soft Errors
Reliability
Network on chip
Router Cache
Iso-reliable

File:

Download AdityaYanamandra-dissertation.pdf

Committee Members:

Mary Jane Irwin, Dissertation Advisor/Co-Advisor
Mary Jane Irwin, Committee Chair/Co-Chair
Vijaykrishnan Narayanan, Committee Chair/Co-Chair
Mahmut Taylan Kandemir, Committee Member
Padma Raghavan, Committee Member
Vittaldas V Prabhu, Committee Member

Author:

Chatterjee, Anirban

Title:

Exploiting Sparsity, Structure, and Geometry for Knowledge Discovery

Graduate Program:

Computer Science and Engineering

Keywords:

sparse graph embedding
sparse graph partitioning
data mining
sparse linear solvers

File:

Download AnirbanChatterjeeDoctoralThesis.pdf

Committee Members:

Padma Raghavan, Dissertation Advisor/Co-Advisor
Padma Raghavan, Committee Chair/Co-Chair
Mahmut Taylan Kandemir, Committee Member
Suzanne Michelle Shontz, Committee Member
Kateryna Dmytrivna Makova, Committee Member

Author:

Gayasen, Aman

Title:

Implications of Future Technologies on the Design of FPGAs

Graduate Program:

Computer Science and Engineering

Keywords:

field programmable gate array
power
thermal
three-dimensional stacking
three-dimensional integration
nanotechnology
interconnect

File:

Download gayasen-thesis.pdf

Committee Members:

Mahmut Taylan Kandemir, Committee Chair/Co-Chair
Vijaykrishnan Narayanan, Committee Chair/Co-Chair
Mary Jane Irwin, Committee Member
Vittaldas V Prabhu, Committee Member

Author:

Patrick, Christina M

Title:

Minimizing End-To-End Interference in I/O Stacks Spanning Shared Multi-Level Buffer Caches

Graduate Program:

Computer Science and Engineering

Keywords:

storage cache
interference
Multi-level buffer caches
performance
I/O
disk
cache

File:

Download Christina-Dissertation.pdf

Committee Members:

Mahmut Taylan Kandemir, Dissertation Advisor/Co-Advisor
Mahmut Taylan Kandemir, Committee Chair/Co-Chair
Mary Jane Irwin, Committee Member
Padma Raghavan, Committee Member
Brian Cameron, Committee Member
Raj Acharya, Committee Member

Author:

Liu, Chun

Title:

EXPLOITING MULTI-THREADED APPLICATION CHARACTERISTICS TO OPTIMIZE PERFORMANCE AND POWER OF CHIP-MULTIPROCESSORS

Graduate Program:

Computer Science and Engineering

Keywords:

multi-threaded characteristics performance power c

File:

Download thesis_chliu.pdf

Committee Members:

Anand Sivasubramaniam, Committee Chair/Co-Chair
Mahmut Taylan Kandemir, Committee Chair/Co-Chair
Mary Jane Irwin, Committee Member
Natarajan Gautam, Committee Member

Author:

Li, Feihui

Title:

SOFTWARE AND HARDWARE OPTIMIZATIONS FOR NOC-BASED CHIP MULTIPROCESSORS

Graduate Program:

Computer Science and Engineering

Keywords:

Network-on-Chip
Chip Multiprocessor
cache
optimization
power
performance

File:

Download feli-thesis.pdf

Committee Members:

Mahmut Taylan Kandemir, Committee Chair/Co-Chair
Mary Jane Irwin, Committee Member
Yuan Xie, Committee Member
Kenan Unlu, Committee Member

Author:

Kandiraju, Gokul B

Title:

Towards Self-Optimizing Memory Management

Graduate Program:

Computer Science and Engineering

Keywords:

Memory Management
Computer Architecture
Operating Systems
TLB

File:

Download mymain.pdf

Committee Members:

Anand Sivasubramaniam, Committee Chair/Co-Chair
Mary Jane Irwin, Committee Member
Mahmut Taylan Kandemir, Committee Member
Ekanadham Kattamuri, Committee Member
Gautam Natarajan, Committee Member

Author:

Giger, Gary Fred

Title:

An Operator-Centric Mission Planning Environment to Reduce Mission Complexity for heterogeneous Unmanned Vehicles

Graduate Program:

Computer Science and Engineering

Keywords:

Genetic Algorithms
Multi-Objective
unmanned vehicles
UUV
mission planning

File:

Download GaryGigerDissertation.pdf

Committee Members:

Mahmut Taylan Kandemir, Dissertation Advisor/Co-Advisor
Mahmut Taylan Kandemir, Committee Chair/Co-Chair
Mary Jane Irwin, Committee Member
Padma Raghavan, Committee Member
David J Cannon, Committee Member

Author:

Chen, Guangyu

Title:

Java Virtual Machine for Resource Constrained Environments

Graduate Program:

Computer Science and Engineering

Keywords:

Java Virtual Machine
Embedded Systems

File:

Download thesis-chen.pdf

Committee Members:

Mahmut Taylan Kandemir, Committee Chair/Co-Chair
Mary Jane Irwin, Committee Member
Vijaykrishnan Narayanan, Committee Member
Soundar R Kumara, Committee Member
Kenan Unlu, Committee Member

Author:

Kim, Hyun Suk

Title:

Energy-aware hardware and software optimizations for embedded systems

Graduate Program:

Computer Science and Engineering

Keywords:

compiler optimizations
embedded systems
dynamic power
leakage power
power optimiations
VLIW architectures
Presburger arithmetic
Polyhedran modeling
loop tiling
instruction level parallelism
Trimaran

File:

Download thesis.pdf

Committee Members:

Vijaykrishnan Narayanan, Committee Chair/Co-Chair
Mary Jane Irwin, Committee Chair/Co-Chair
Mahmut Taylan Kandemir, Committee Member
Richard Brooks, Committee Member

Author:

Lee, Ingyu

Title:

Sparse Scientific Applications: Improving Performance and Energy Characteristics on Advanced Architectures

Graduate Program:

Computer Science and Engineering

Keywords:

Performance
Scientific Application
Sparse
Energy

File:

Download mythesis.pdf

Committee Members:

Padma Raghavan, Committee Chair/Co-Chair
Mary Jane Irwin, Committee Member
Mahmut Taylan Kandemir, Committee Member
Zi Kui Liu, Committee Member

Author:

Fischbach, Joseph Adam

Title:

Reasoning About Higher-Order Functions and Parameters

Graduate Program:

Computer Science and Engineering

Keywords:

programming languages
functional programming
program transformation
type-based analysis

File:

Download thesis.pdf

Committee Members:

John Joseph Hannan, Committee Chair/Co-Chair
Ali Hurson, Committee Member
Mahmut Taylan Kandemir, Committee Member
Stephen George Simpson, Committee Member

Author:

Barton, Jonathan Lee

Title:

Scientific Server Simulation with Admission Control

Graduate Program:

Computer Science and Engineering

Keywords:

cluster simulation
system optimization
admission control

File:

Download JLB889_Final_Thesis.pdf

Committee Members:

Mahmut Taylan Kandemir, Thesis Advisor/Co-Advisor
Mahmut Taylan Kandemir, Thesis Advisor/Co-Advisor

Author:

Sustersic, John Phillip

Title:

The Control, Communication, and Computation Language (C3L): Completing the Design Cycle in Complex Distributed System Development

Graduate Program:

Computer Science and Engineering

Keywords:

Parallelizing Compiler
Distributed Systems Programming
Formal Semantics
Embedded Systems
Computer Languages
Mine Counter Measures

File:

Download sustersic_thesis.pdf

Committee Members:

Mahmut Taylan Kandemir, Dissertation Advisor/Co-Advisor
Mahmut Taylan Kandemir, Committee Chair/Co-Chair
Shashi Phoha, Committee Member
Mary Jane Irwin, Committee Member
Robert Nickel, Committee Member

Author:

Kancherlapalli, Jithendra Srinivas

Title:

Reacting to OS/System Resource Partitioning Decisions: Tiling Example

Graduate Program:

Computer Science and Engineering

Keywords:

Runtime systems
Auto-tuning
Compilers
Reactive applications

File:

Download JithendraMS-Thesis.pdf

Committee Members:

Mahmut Taylan Kandemir, Thesis Advisor/Co-Advisor
Mahmut Taylan Kandemir, Thesis Advisor/Co-Advisor

Author:

Kim, Jung Sub

Title:

HIGH-PERFORMANCE SIGNAL PROCESSING ON RECONFIGURABLE PLATFORMS

Graduate Program:

Electrical Engineering

Keywords:

Two Dimensional Decomposition
Field Programmable Gate Array
Fast Fourier Transform
Numerical algorithms
System Generator
Hierarchical Memory Controller

File:

Download JungSubKim-Dissertation.pdf

Committee Members:

Vijaykrishnan Narayanan, Committee Chair/Co-Chair
William Kenneth Jenkins, Committee Chair/Co-Chair
Mary Jane Irwin, Committee Member
Ram Mohan Narayanan, Committee Member
Mahmut Taylan Kandemir, Committee Member
M Jeya Chandra, Committee Member

Author:

Zhang, Jianyong

Title:

SELF-TUNING STORAGE SYSTEMS FOR PERFORMANCE VIRTUALIZATION

Graduate Program:

Computer Science and Engineering

Keywords:

storage systems
self-managing and self-tuning
I/O scheduling
quality of service
data migration
feedback control

File:

Download jzhang_thesis.pdf

Committee Members:

Anand Sivasubramaniam, Committee Chair/Co-Chair
Mahmut Taylan Kandemir, Committee Member
Wang Chien Lee, Committee Member
Qian Wang, Committee Member
Hubertus Franke, Committee Member