Page 1 |
Save page Remove page | Previous | 1 of 137 | Next |
|
small (250x250 max)
medium (500x500 max)
Large (1000x1000 max)
Extra Large
large ( > 500x500)
Full Resolution
All (PDF)
|
This page
All
|
LANGUAGE ABSTRACTIONS AND PROGRAM ANALYSIS TECHNIQUES TO
BUILD RELIABLE, EFFICIENT, AND ROBUST NETWORKED SYSTEMS
by
Nupur Kothari
A Dissertation Presented to the
FACULTY OF THE USC GRADUATE SCHOOL
UNIVERSITY OF SOUTHERN CALIFORNIA
In Partial Fulfillment of the
Requirements for the Degree
DOCTOR OF PHILOSOPHY
(COMPUTER SCIENCE)
December 2010
Copyright 2010 Nupur Kothari
Object Description
| Title | Language abstractions and program analysis techniques to build reliable, efficient, and robust networked systems |
| Author | Kothari, Nupur |
| Author email | nkothari@usc.edu; nupurk@gmail.com |
| Degree | Doctor of Philosophy |
| Document type | Dissertation |
| Degree program | Computer Science |
| School | Viterbi School of Engineering |
| Date defended/completed | 2010-12 |
| Date submitted | 2010 |
| Restricted until | Unrestricted |
| Date published | 2010-11-29 |
| Advisor (committee chair) | Govindan, Ramesh |
| Advisor (committee member) |
Millstein, Todd Prasanna, Viktor K. Krishnamachari, Bhaskar |
| Abstract | Networked systems have an important role in our lives. Ranging from the Internet to new and upcoming domains like wireless sensor networks, smart-phones and data-centers, they are transforming the way we use computing. For networked systems to be of practical use, they need to be reliable, efficient, and robust. Building such systems poses a number of programming challenges.; In this dissertation, we show that it is possible to adapt analysis and design techniques from the programming languages community and combine them with domain knowledge and simple user insights to address the programming challenges for specific network domains.; We present tools and techniques to simplify the task of building reliable, efficient, and robust networked systems for the domains of wireless sensor networks and network protocols. We introduce Pleiades, a centralized programming framework for wireless sensor networks. We present FSMGen, a tool for wireless sensor networks, that automatically derives user-understandable and compact finite state machines from TinyOS programs. We also describe MAX, a tool that explores network protocol implementations written in C for vulnerability to manipulation attacks.; These tools and systems address various programming challenges faced by developers of wireless sensor networks and network protocols. We demonstrate their utility and benefits via detailed evaluation and experiments under realistic conditions. |
| Keyword | network protocols; program analysis; programming languages; wireless sensor network; symbolic execution |
| Language | English |
| Part of collection | University of Southern California dissertations and theses |
| Publisher (of the original version) | University of Southern California |
| Place of publication (of the original version) | Los Angeles, California |
| Publisher (of the digital version) | University of Southern California. Libraries |
| Provenance | Electronically uploaded by the author |
| Type | texts |
| Legacy record ID | usctheses-m3565 |
| Contributing entity | University of Southern California |
| Rights | Kothari, Nupur |
| Repository name | Libraries, University of Southern California |
| Repository address | Los Angeles, California |
| Repository email | cisadmin@lib.usc.edu |
| Filename | etd-Kothari-4055 |
| Archival file | uscthesesreloadpub_Volume44/etd-Kothari-4055.pdf |
Description
| Title | Page 1 |
| Contributing entity | University of Southern California |
| Repository email | cisadmin@lib.usc.edu |
| Full text | LANGUAGE ABSTRACTIONS AND PROGRAM ANALYSIS TECHNIQUES TO BUILD RELIABLE, EFFICIENT, AND ROBUST NETWORKED SYSTEMS by Nupur Kothari A Dissertation Presented to the FACULTY OF THE USC GRADUATE SCHOOL UNIVERSITY OF SOUTHERN CALIFORNIA In Partial Fulfillment of the Requirements for the Degree DOCTOR OF PHILOSOPHY (COMPUTER SCIENCE) December 2010 Copyright 2010 Nupur Kothari |
