People

Roy H. Campbell


Dr. Campbell received his Honours B.S. Degree in Mathematics, with a Minor in Physics from the University of Sussex in 1969 and his M.S. and Ph.D. Degrees in Computer Science from the University of Newcastle upon Tyne in 1972 and 1976, respectively. In 1976 he joined the faculty of the University of Illinois, where he is currently a Full Professor of Computer Science. During the past twenty years, he has supervised the completion of twenty five Ph.D. dissertations and over eighty M.S. theses. He is the author of over one hundred and eighteen research papers on programming languages, software engineering, operating systems, distributed systems, Multimedia on the Internet, security and networking.

parallax background

PhD Students

parallax background

MSc Students

Jigar Rudani


Jigar joined UIUC as a Professional Master’s Student in 2014. Prior to that, he worked in Hewlett Packard. He received his bachelors in Computer Science from Sardar Patel Institute of Technology, Mumbai. His work involved finding an optimal caching strategy for HDFS. He worked with Read Sprabery and Chaitanya Datye. Currently, he is working with Amazon AWS (S3) team.

Konstantin Evchenko


Konstantin received his BSc. (Hons) degree in Computer Science from Don State Technical University (DSTU), Russia in 2013. After graduating from DSTU, he worked as Software Developer in UgPA, Russia on automated systems for public transport infrastructure. In 2015, he joined UIUC as an MS Student in Computer Science. His current research involves Software Defined Networks, Distributed Systems, Security and Cyber Infrastructure.

BSc Students

Xianze Zhan


Xianze is currently an undergraduate student in Computer Engineering. In 2015 fall he joined SRG and did independent study about high availability NFS under the supervision of Prof. Campbell. His research interests include high performance distributed system, cloud computing and computer security.

parallax background

Alumni

PhD

2014

Cristina Abad

Big Data Storage Workload Characterization, Modeling and Synthetic Generation

2013

Mirko Montanari

Limiting Information Exposure in Multi-Domain Monitoring Systems

2012

Wucherl Yoo

Automated Performance Characterization of Applications Using Hardware Monitoring Events

2012

Abhishek Verma

Performance Modeling Framework for Slo-Driven Map-reduce Environments

2012

Shu Shi

A Low Latency Remote Rendering System for Interactive Mobile Graphics

2012

Reza Farivar

Adaptation of the MapReduce Programming Framework to Compute-Intensive Data Analytics Kernels

2011

Victor Kai Yuen Wu

Beyond Identification, Toward Continuous Pervasivity: Exploiting Tag Multiplicity for Passive RFID Distributed Physical Information Systems

2011

Ellick Chen

A Framework for Live Forensics

2009

Jeffrey Naisbitt

Reliable Location Sensing Through Multi-Sensor Fusion,Dynamic Weighting, and Confidence Mapping

2008

Suvda Myagmar

Secure Configuration for Software Defined Radio

2008

Francis David

Building a Reliable Operating System

2008

Zahid Anwar

Automatic Security Assessment of Control Systems for Critical Cyber-Infrastructures

2006

Chetan Shiva Shankar

Policy-Based Pervasive Systems Management Using Specification-Enhanced Rules

2005

Geetanjali Sampemane

Access Control for Active Spaces

2005

Anand Ranganathan

A Task Execution framework for Autonomic Ubiquitous Computing

2005

Robert McGrath

Semantic Infrastructure for a Ubiquitous Computing Environment

2005

Apu Kapadia

Models for Privacy in Ubiquitous Computing Environments

2005

Dulcineia Carvalho

A Software Environment for User Environments in Ubiquitous Systems

2005

Jalal Al-Muhtadi

An Intelligent Authentication Infrastructure for Ubiquitous Computing Environments

2004

Prasad Naldurg

Modeling Insecurity: Enabling Recovery-Oriented Security with Dynamic Policies

2003

Manuel Roman

An Application Framework for Active Space Applications

2003

Christopher Hess

The Design and Implementation of a Context-Aware File System for Ubiquitous Computing Application

2001

Zhaoyu Liu

Securing the Node of an Active Network

2001

Vijay Gupta

Scalable Distribution of Data Across Autonomous Systems

2000

Fabio Kon

Automatic Configuration of Component-based Distributed Systems

1999

See-Mong Tan

Multimedia Network Subsystem Design

1999

Ashish Singhai

QUARTERWARE: A Middleware Toolkit of Software Risc Components

1998

Aamod Sane

Techniques for Developing Correct, Fast, and Robust Implementations of Distributed Protocols

1997

Hal Render

Gregor: A Model Object Base Supporting Software Configuration Management

1997

Zhigang Chen

Coding and Transmission of Digital Video on The Internet

1996

Sefika Mohlalefi

Design Conformance Management of Software Systems: An Architecture-oriented Approach

1996

Swee Boon Lim

Adaptive Caching In A Distributed File System

1995

Ellard Roush

The Freeze Free Algorithm For Process Migration

1995

Xiao Lun

An Object-oriented Extensible Transaction Management System

1995

F. X. Nursalim Hadi

Checkpointing In Distributed Virtual Memory By Using Local Virtual Memory

1994

Nayeem Islam

Customized Message Passing and Scheduling For Parallel and Distributed Applications

1992

Peter Madany

An Object-Oriented Framework for File Systems

1992

David Dykstra

Object-Oriented Hierarchies Across Protection Boundaries

1991

Robert Sum

An Object-Oriented Project Management Framework For Software Engineering Environments

1991

Vincent Russo

An Object-Oriented Operating System

1991

Gary Murakami

Non-Blocking Packet Switching With Shift-Register Rings

1990

Arch Douglas Robison

Optimistic Regulation of Concurrency

1989

Carol Sue Beckman-Davis

Finding Program Differences Based On Syntactic Tree Structure

1987

Robert Terwilliger

Encompass: An Environment for Incremental Software Development Using Executable, Large-Based Specifications

1987

Raymond Essick

The Cross-Architecture Procedure Call

1987

George Beshers

Regular Right Part Grammars and Maintained and Constructor Attributed in Language Base Editors

1986

Peter Kirslis

The Saga Editor: A Language- Oriented Editor Based On An Incremental LR( 1) Parser

1986

Judith E. Grass

Mediators: A High-Level Language Construct For Distributed Systems

1985

Pankaj Jalote

Atomic Actions in Concurrent Systems

1982

Martin McKendry

Language Mechanisms For Context Switching and Protection in Level Structured Operating Systems

1982

Robert Kolstad

Distributed Path Pascal: A Language for Programming Coupled Systems

1981

Anthony Yu-Wu Wei

Real- Time Programming With Fault-Tolerance

1981

Arthur Liestman

Fault-Tolerant Scheduling and Broadcast Problems

MSc

2015

Fangzhou Yao

Secure Framework for Virtualized Systems with Data Confidentiality Protection

2015

Mayank Pundir

Zorro: Zero-Cost Reactive Failure Recovery in Distributed Graph Processing

2015

Weijie Liu

Inter-Flow Consistency: Novel SDN Update Abstraction for Supporting Inter-Flow Constraints

2015

Kevin Larson

Exploring Application Memory

2015

Gourav Khaneja

An Experimental Study of Monolithic Scheduler Architecture in Cloud Computing Systems

2015

Xiao Cai

PHURTI: Application and Network-Aware Flow Scheduling for MapReduce

2015

John Bellessa

Implementing MPLS with Label Switching in Software-Defined Networks

2014

Maxie Schmidt

A Computer Algebra Package for Polynomial Sequence Recognition

2014

Anthony Lang

A New Portable Digital Forensics Curriculum

2014

Jonathan Chu

The Triple Pot and Techniques in Distributed System Call Intrusion Detection

2013

Robert Marsan

Android Behind the Scenes: Revealing Hidden Malware with Andromeda

2013

Harshit Kharbanda

Software Systems for Power and Energy Conservation

2011

Shivaram Venkataraman

Storage System Design for Non-Volatile Byte-Addressable Memory

2011

Nadia Tkach

MVIZION: Taking a Closer Look at Memory Utilization in C/C++ Programs

2010

Abhishek Verma

Scaling Simple, Compact and Extended Compact Genetic Algorithms Using Mapreduce

2010

Rajinder Sodhi

Using Surface Particles to Interact with Complex Everyday Surfaces

2010

Muhammad Malik

Security Analysis of Inter Control Center Communication Protocol Using Model Checking

2009

Daniel Rebolledo Samper

Reverse-Compatible Object Mapping for Cloud-Based Web Applications

2007

Simha Sundeep Katasani

Theory and Logic For Security Assessment of Cyber Infrastructures

2006

Andrew Weiler

Clicky: User Input In Pervasive Systems

2006

Mark Brandyberry

Continuous Evaluation of Scientific Computer Codes Through Automated Build and Test

2005

Anwar Zahid

Plethora: A Framework for Converting Generic Applications To Run In A Ubiquitous Environment

2005

David Warden

Using Reinforcement to Learn User Preferences in CTX Aware Environments

2005

Suvda Myagmar

Threat Modelling Networked and Data-Centric Systems

2005

James Bresler

A Location Aware Virtual Communication System

2005

Muhammad Awan

External Party Authentication and Key Exchange Protocols for Sensor Networks

2004

Kartik Santhanakrishnan

Everywhere Displays: Applications and Analysis

2004

Michael Makstman

Examining Policy Language Research: A Policy Model for The Complete Organization

2004

Anand Krishnakumar

A Bluetooth Infrastructure For Automatic Active Space Discovery

2004

Ellick Chan

A Micro Server Approach to Mobile Application Design

2004

Prachi Arvind Apte

A Path Planning and Resource Discovery Application for GAIA

2003

Vivek Sundaram

Using Reinforcement to Learn User Preferences in CTX Aware Environments

2003

Kapoor Sugandha

An Extensible Space Repository For Active Spaces

2003

Vivek Sadanand

Secure Authentication In Active Spaces

2003

Francis Qian

Ubiquitous Computing Environment GAIA and People with Disabilities

2003

Marvel Ma

A Cryptographically Secure Architecture for Airport Security using RBAC

2003

Kaw-Yuan Lee

Security In Mobile Wireless Devices In Active Spaces

2003

Gaurav Kumar

A Context Aware Scheduler For Active Spaces

2003

Pankaj Kamat

A Certificate Authority and PKI Service for Active Spaces

2003

Vineet Gupta

Design, Implementation and Evaluation of, TCP Syn Flooding Attack Model in Javasim

2003

Shiva Chetan

User-Level Kernel Implementation On Llnux/Ia-64

2003

Cristina Abad

Automated Load Balancing in Unstructured Peer-to-Peer File Sharing Systems

2002

Wei Xiao

Design And Implementation Of A Persistent Repository Module In The Gaia Os

2002

Pradeep Madhavara

Monitoring People And Services In Gaia

2002

Dominique Kilman

Dynamic Access Policies in COBRA

2002

Herbert Ho

Application Mobility In Active Spaces

2002

Joel Hegg

Security Considerations for Home Active Spaces

2002

Bhaskarjyoti Borthakur

Distributed And Persistent Event System For Active Spaces

2001

Prashant Viswanathan

Security Architecture in GAIA

2001

Miguel Valdez

A Framework for Multimedia Processing: MPF

2001

Jason D. Shah

Web Prefetching with Updates

2001

Apu Kapadia

I-RBAC 2000: A Dynamic Role Translation Model for Secure Interoperability

2001

Sarosh Havewala

Security Challenges in Mobile Systems and Fuzzy Logic Based Risk Model for Secure Handling of SMS Messages in Cellphones

2001

Binny Sher Gill

Dynamic Policy-Driven Role-Based Access Control for Active Spaces

2000

Tomonori Yamane

The Design and Evaluation of a CPU-aware Communication Broker for RSVP-based Networks

2000

Vijay Raghavan

On the Design and Implementation of a Policy Administrator for a Dynamic Security System

1999

James Wong

An Extensible Framework for RTSP Applications

1999

Sudha Varadarajan

Dynamic Distributed Secure Multicast in Active Networks

1999

Glenn Van Orden

Silverware an Object-oriented Restaurant Control System

1999

Jina Mao

Monitoring and Analyzing Method Invocations in the 2K Operating System

1999

Muhammad Hydari

Design of the 2K Naming Service

1998

Charles Willis

On the Design and Implementation of Security Services For Dynamic Security Systems

1998

Ganesan Venkatasubramanian

Remote Monitoring of Experimental Facilities

1998

V. Varadarajan

IP Multicast and Socket Extensions in C-Kerne1

1998

Anil Thomas

The Design and Implementation of A Distributed Windowing System for Win 32 Platforms

1998

Robert Moore

An Extensible Architecture For Distributed Object System Interoperability

1998

Roberto Melo

Netrophy, Asynchronous Collaboration Through the Internet Using Java: Application Design

1998

Prashant Kumar

Optimal Deadlock Avoidance Policies For Resource Allocation Systems

1998

Christopher Hess

Media Streaming Protocol: An Adaptive Protocol For the Delivery of Audio and Video Over the Internet

1997

T. R. Venkataraghavan

Design and Implementation Of A Heuristic Based Scene Change Detector and Object Tracker

1997

Ravi Talluri

A Scalable Synchronized Multicast of Web Pages Video and Audio

1997

Boon- Yuen Ng

Framework For Multimedia Presentation In Java

1997

Vijendra Jaswal

Cavevis: Distributed Real-time Visualization of time-varying Scalar and Vector Fields In The Cave Virtual Reality Theater

1997

Mu Han

Content Database Supported Video Indexing and Playback on the Internet

1997

Vijay Gupta

Interface Switching During Active TCP Connections in Mobile Computers

1997

Timothy Fraser

An Object-oriented Framework For Security Policy Representation

1996

Varna Puvvada

Handle Server - A Distributed Naming Server

1996

David Pointer

A HIPPI To XUNET-ATM Adapter

1996

Mark Osifchin

Dynamics of MPEG Traffic In ATM Networks

1996

Ronald Menelli

Experiences Using Digital Library And Simulation/Visualization Applications On High Speed Networks

1996

Rocky Mc Mahan

The Migration of Application Software To An X/Open Specification 1170 Environment

1996

Bradley Lamont

A Guide To Networking A K-12 School District

1995

David Solt

Parallelizing A Path Integral Monte-Carlo Simulation Code

1995

David Putzolu

Software Architecture of the HIPPI to XUNET ATM Adapter

1995

Mark Monnin

Simswitch-design and Implementation of an ATM Switch Simulator

1995

Willy Shih-Yang Liao

Operating Systems Support For Embedding Network Subsystems

1994

Yuanyuan Zhi

An Asynchronous Transfer Mode Host Interface Driver For Choices

1994

Theron Tock

An Extensible Framework For Authentication and Delegation

1994

James Reis

A Data Flow Coverage Tool For C

1994

James Gleason

The Integration of Application Software In A Multi-level Secure Environment

1993

Sreedhar Sivakumaran

Hypercube Message Library Simulator Over a Network of Machines

1993

Andrew Schmidt

Network Management of Asynchronous Transfer Mode Switching Systems

1992

Mark Thomas

ALPS: A Model For Implementation OSI Application Layer Standards

1992

Thomas Skibo

Using the High-performance Parallel Interface For Network Traffic

1992

David Raila

The Choices Object-oriented Operating System on the Sparc Architecture

1992

Lup Lee

PC-Choices Object-oriented Operating System

1991

See-Moog Tan

An Architecture For Call Processing

1991

Colleen O'Connor

Automated System Test Tools For Transmission and Switching Products

1991

Jeffrey F. Mantei

Porting Choices To the HP 9000 Series 800 Workstation

1991

SweeBoon Lim

Supercomputing Application Access Characteristics

1991

Panagiotis Kougiouris

A Device Management Framework For An Object-oriented Operating System

1991

Bjorn Helgaas

Porting the Choices Object-oriented Operating System to the Motorola 68030

1991

Brian Hafner

An Implementation of Multiprocessor Path Pascal

1991

Scott Cattanach

A Study of the Value of High Speed High Latency, Networks

1991

William Brown

Filtering and Adaptive Super- sampling For Ray Traced Rendering

1990

Daniel McCue

Generalization of Test Cases Across Multiple Versions of a Software System

1990

David Martin

Design and Implementation of Divism; Distributed Virtual Shared Memory For a Loosely-connected Network of Multi-tasking, Processors

1989

William Smith

Len: A Language-oriented Enhancement For a Conventional Text Editor

1989

Eric Hsiung

Packet Filter For the Choices Operating System

1989

Gregory Downey

A Hierarchical Knowledge Manipulation System

1989

Patrick Conroy

An Internet Datagram Router For a V virtual Circuit Network

1988

Hal Render

Clemma: A Software Configuration Librarian

1987

Vincent Russo

Link: A Kernel Based Distributed UNIX

1987

Arch Robison

A Functional Programmming Interpreter

1987

Ronna Ness-Cohen

A Performance Comparison of Two Multiprocessing UNIX System Kernels

1987

Infan Cheong

Porting Link to the 4.2BSD UNIX System

1986

Robert Steigerwald

Reusable Software Components

1986

Philip Roberts

Prolog Support Libraries For the Please Language

1986

Craig Neth

Incremental Semantic Analysis in a Language Directed Editor

1986

Charles Kline

ARPA Headers for Spool File Interchange Between Heterogeneous Operating Systems

1986

Brendan Eich

An Object Oriented Graphics Library

1985

George Wilder and Package Interactive Graphics

A Microcomputer Two-dimensional

1985

Mark Tuomenoksa

The Loadable Illinois-newcastle Connection

1985

Robert Sum

An Approach To Operating System Testing With Application To the IBM System 9000

1985

Joseph Kimball

PCG: A Prototype Incremental Compilation Facility For the Saga Environment

1985

Michael Hohulin

View Manager: A Graphical Windowing System

1985

Dirk Grunwald

An Implementation of Path Pascal

1985

Greg Eisenhauer

CHAROR: A Network Protocol Based in VMS

1985

Jeffrey Donnelly

Porting the Newcastle Connection to 4.2 Berkeley UNIX

1985

Darius Dehghan

The Use of Auxiliary System Processors In A Dynamically Scheduled Distributed Hard-real-time System

1985

Fred Bertram

The Use of Color in Text Presentation

1984

Andrew Schweig

A Source Code Level Implementation of Distributed Path Pascal

1984

Paul Richards

A Prototype Symbol Table Manager For the Saga Environment

1984

Phillip Magnuson

PPKERNEL: A Process Scheduler For Path Pascal Programs

1984

Steven Goering

SMILER-2 Parting a MODULA-2 Compiler Onto the IBM 9000

1984

Wayne Badger

MAKE: A Separate Compilation Facility For the Saga Environment

1984

Pervaze Akhtar

A Code Generator and Runtime System For Pascal On the CDC Cyber 175

1983

George Schmidt

The Recoverable Object As A Means of Software Fault Tolerance

1983

Raymond Essick

NOTESFILES: A UNIX Communications Tool

1982

Gerard Wall

A File Server and Client System

1982

Lee Truchon

Inter-process Communication With Shared Memory

1982

Robert Terwilliger

Distributed High Level Languages on the IBM Series/I

1982

Judith Grass

On TCode Generation in A Pascal Compiler

1981

Bruce Szablak

The Implementation of Path Pascal on a MC68000 Based System

1981

Stephen Dever

A Multi-language Syntax Directed Editor

1980

Martin McKendry

Pathos: An Experiment to Evaluate Path Pascal

1980

Thomas Macke

A Portable Pascal Optimizer for 16 Bit Machines

1980

Philip Krause

Path Pascal With Overlays

1980

Richard Balocca and A. Path Pascal Compiler System

PP-11

1979

Kurt Horton

A Fault-tolerant Deadline Mechanism

1978

Thomas Schaefges

Estimating Execution Times of Path Pascal Programs

1978

Thomas Miller

An Implementation of Path Expressions in Pascal

1978

Richard Conn

ARIAN--An Implementation of a Microcomputer Operating System