CS UIUC SRG Alumni

MASTER OF SCIENCE THESES

Curriculum date of Degree Student's Name Title of Thesis

May 1978, Richard Conn "ARIAN--An Implementation of a Microcomputer Operating System"
May 1978, Thomas Miller "An Implementation of Path Expressions in Pascal"
August 1978, Thomas Schaefges "Estimating Execution Times of Path Pascal Programs"
October 1979, Kurt Horton "A Fault-tolerant Deadline Mechanism", SUN, Colorado Springs, CO
May 1980, Martin McKendry "Pathos: An Experiment to Evaluate Path Pascal"
May 1980, Richard Balocca "PP-11, A Path Pascal Compiler System" Former CEO Supersoft
August 1980, Thomas Macke "A Portable Pascal Optimizer for 16 Bit Machines"
October 1980, Philip Krause "Paili Pascal With Overlays" August 1981, Stephen Dever "A Multi-language Syntax Directed Editor"
August 1981, Bruce Szablak "The Implementation of Path Pascal on a MC68000 Based System"
January 1982, Gerard Wall "A File Server and Client System"
May 1982, Robert Terwilliger "Distributed High Level Languages on the IBM Series/I"
May 1982, Judith Grass "On TCode Generation in A Pascal Compiler"
August 1982, Lee Truchon "Inter-process Communication With Shared Memory"
January 1983, George Schmidt "The Recoverable Object As A Means of Software Fault Tolerance"
May 1983, Raymond Essick IV “NOTESFILES: A UNIX Communications Tool" January
1984, Pervaze Akhtar "A Code Generator and Runtime System For Pascal On the CDC Cyber 175”
May 1984, Steven Goering "SMILER-2 Parting a MODULA-2 Compiler Onto the IBM 9000"
May 1984, Wayne Badger. "MAKE: A Separate Compilation Facility For the Saga Environment"
August 1984, Paul Richards "A Prototype Symbol Table Manager For the Saga Environment", SUN, Colorado Springs, CO
October 1984, Andrew Schweig "A Source Code Level Implementation of Distributed Path Pascal"
January 1984, Phillip Magnuson "PPKERNEL: A Process Scheduler For Path Pascal Programs"
January 1985, Jeffrey Donnelly "Porting the Newcastle Connection to 4.2 Berkeley UNIX"
May 1985, Mark Tuomenoksa "The Loadable l1linois-newcastlc Connection", formerly Founder and Chairman, OpenReach, Inc.
May 1985, Robert Sum Jr. "An Approach To Operating System Testing With Application To the IBM System 9000"
May 1985, Dirk Grunwald "An Implementation of Path Pascal", Associate Professor, University of Colorado, Department of Computer Science
August 1985, Fred Bertram, III "The Use of Color in Text Presentation"
August 1985, Greg Eisenhauer "CHAROR: A Network Protocol Based in VMS"
August 1985, Joseph Kimball "PCG: A Prototype Incremental Compilation Facility For the Saga Environment"
August 1985, Michael Hohulin "View Manager: A Graphical Windowing System"
August 1985, George Wilder (WE) "A Microcomputer Two-dimensional, Interactive Graphics Package"
October 1985, Darius Dehghan "The Use of Auxiliary System Processors In A Dynamically Scheduled Distributed Hard-real-time System"
August 1986, Charles Kline "ARPA Headers for Spool File Interchange Between Heterogeneous Operating Systems"
August 1986, Craig Neth "Incremental Semantic Analysis in a Language Directed Editor"
January 1987, Infan Cheong "Porting Link to the 4.2BSD UNIX System"
January 1987, Vincent Russo "Link: A Kernel Based Distributed UNIX"
January 1987, Arch Robison "A Functional Programmming Interpreter"
January 1986, Robert Steigerwald "Reusable Software Components"
May 1986, Brendan Eich "An Object Oriented Graphics Library", Chief Architect Mozilla, Netscape, Created Javascript.Named Web Innovator of the Year1998
May 1986, Philip Roberts "Prolog Support Libraries For the Please Language"
October 1987, Ronna Ness-Cohen "A Performance Comparison of Two Multiprocessing UNIX System Kernels"
May 1988, Hal Render "Clemma: A Software Configuration Librarian"
May 1989, Patrick Conroy "An Internet Datagram Router For a V virtual Circuit Network"
May 1989, William Smith "Len: A Language-oriented Enhancement For a Conventional Text Editor"
October 1989, Gregory Downey "A Hierarchical Knowledge Manipulation System"
October 1989, Eric Hsiung "Packet Filter For the Choices Operating System"
January 1990, Daniel McCue "Generalization of Test Cases Across Multiple Versions of a Software System"
May 1990, David Martin "Design and Implementation of Divism; Distributed, Virtual Shared Memory For a Loosely-connected Network of Multi-tasking Processors"
January 1991, Jeffrey F. Mantei "Porting Choices To the HP 9000 Series 800 Workstation”
May 1991, William Brown "Filtering and Adaptive Super- sampling For Ray Traced Rendering"
May 1991, Bjorn Helgaas "Porting the Choices Object-oriented Operating System to the Motorola 68030" May 1991, Colleen O'Connor "Automated System Test Tools For Transmission and Switching Products"
May 1991, See-Moog Tan "An Architecture For Call Processing"
August 1991, Scott Cattanach "A Study of the Value of High Speed, High Latency Networks"
August 1991, Panagiotis Kougiouris "A Device Management Framework For An Object-oriented Operating System"
August 1991, SweeBoon Lim "Supercomputing Application Access Characteristics"
October 1991, Brian Hafner "An Implementation of Multiprocessor Path Pascal"
January 1992, Thomas Skibo "Using the High-performance Parallel Interface For Network Traffic"
January 1992, Mark Thomas (AT&T) "ALPS: A Model For Implementation OSI Application Layer Standards"
May 1992, David Raila "The Choices Object-oriented Operating System on the Sparc Architecture"
August 1992, Lup Lee "PC-Choices Object-oriented Operating System"
January1993, Sreedhar Sivakumaran "Hypercube Message Library Simulator Over a Network of Machines'
May 1993, Andrew Schmidt "Network Management of Asynchronous Transfer Mode Switching Systems", Co-Founder HexiSTOR, Research Associate, Northwestern, ICAIR, formerly Director of ISP Services at SBC, author 5 books on networks
January 1994, James Gleason "The Integration of Application Software In A Multi-level Secure Environment"
January 1994, James Reis "A Data Flow Coverage Tool For C"
May 1994, Theron Tock "An Extensible Framework For Authentication and Delegation", Chief Architect NetScreen, formerly Founder and Chief Technology Officer, Neoteris Inc.
May 1994, Yuanyuan Zhi "An Asynchronous Transfer Mode Host Interface Driver For Choices"
January 1995, Willy Shih-Yang Liao "Operating Systems Support For Embedding Network Subsystems"
May 1995, Mark Monnin "Simswitch-design and Implementation of an ATM Switch Simulator"
May 1995, David Putzolu "Software Architecture of the HIPPI to XUNET ATM Adapter"
May 1995, David Solt "Parallelizing A Path Integral Monte-Carlo Simulation Code"
May 1996, Bradley Lamont "A Guide To Networking A K-12 School District"
May 1996, Ronald Menelli "Experiences Using Digital Library And Simulation/Visualization Applications On High Speed Networks"
May 1996, David Pointer "A HIPPI To XUNET-ATM Adapter"
May 1996, Varna Puvvada "Handle Server - A Distributed Naming Server"
August 1996, Mark Osifchin "Dynamics of MPEG Traffic In ATM Networks"
October 1996, Rocky Mc Mahan "The Migration of Application Software To An X/Open Specification 1170 Environment"
January 1997, Timothy Fraser "An Object-oriented Framework For Security Policy Representation"
May 1997, Vijay Gupta "Interface Switching During Active TCP Connections in Mobile Computers"
May 1997, Mu Han "Content Database Supported Video Indexing and Playback on the Internet"
May 1997, Boon- Yuen Ng "Framework For Multimedia Presentation In Java"
May 1997, Ravi Talluri "A Scalable Synchronized Multicast of Web Pages Video and Audio"
August 1997, T .R. Venkataraghavan "Design and Implementation Of A Heuristic Based Scene Change Detector and Object Tracker"
October 1997, Vijendra Jaswal "Cavevis: Distributed Real-time Visualization of time-varying Scalar and Vector Fields In The Cave Virtual Reality Theater"
May 1998, V. Varadarajan "IP Multicast and Socket Extensions in C-Kerne1"
May 1998, Ganesan Venkatasubramanian "Remote Monitoring of Experimental Facilities"
August 1998, Christopher Hess "Media Streaming Protocol: An Adaptive Protocol For the Delivery of Audio and Video Over the Internet"
August 1998, Prashant Kumar "Optimal Deadlock Avoidance Policies For Resource Allocation Systems,
August 1998, Robert Moore "An Extensible Architecture For Distributed Object System Interoperability"
August 1998, Anil Thomas "The Design and Implementation of A Distributed Windowing System for Win 32 Platforms"
August 1998, Charles Willis "On the Design and Implementation of Security Services For Dynamic Security Systems"
October 1998, Roberto Melo "Asynchronous Collaboration Through the Internet Using Java: Application Design, Netrophy"
January 1999, Glenn Van Orden "Silverware an Object-oriented Restaurant Control System"
January 1999, Glenn Van Orden "Silverware an Object-oriented Restaurant Control System"May 1999, Muhammad Hydari "Design of the 2K Naming Service"
May 1999, Jina Mao "Monitoring and Analyzing Method Invocations in the 2K Operating System"
May 1999, James Wong "An Extensible Framework for RTSP Applications"
August 1999, Sudha Varadarajan "Dynamic, Distributed, Secure Multicast in Active Networks"
January 2000, Vijay Raghavan "On the Design and Implementation of a Policy Administrator for a Dynamic Security System"
May 2000, Tomonori Yamane "The Design and Evaluation of a CPU-aware Communication Broker for RSVP-based Networks"
May 2001, Binny Sher Gill "Dynamic Policy-Driven Role-Based Access Control for Active Spaces"
May 2001, Sarosh Havewala "Security Challenges in Mobile Systems and Fuzzy Logic Based Risk Model for Secure Handling of SMS Messages in Cellphones"
May 2001, Apu Kapadia "I-RBAC 2000: A Dynamic Role Translation Model for Secure Interoperability" May 2001, Jason D. Shah "Web Prefetching with Updates"
May 2001, Miguel Valdez "A Framework for Multimedia Processing: MPF
October 2001, Prashant Viswanathan "Security Architecture in GAIA"
May 2002, Dominique Kilman "Dynamic Access Policies in CORBA"
May 2002, Pradeep Madhavara "Monitoring People And Services In Gaia"
August 2002, Bhaskarjyoti Borthakur "Distributed And Persistent Event System For Active Spaces"
August 2002, Herbert Ho "Application Mobility In Active Spaces"
August 2002, Wei Xiao "Design And Implementation Of A Persistent Repository Module In The Gaia Os"
October 2002, Joel Hegg "Security Considerations for Home Active Spaces"
May 2003, Shiva Chetan, "User-Level Kernel Implementation On Llnux/Ia-64"
May 2003, Sugandha Kapoor "An Extensible Space Repository For Active Spaces"
May 2003, Gaurav Kumar "A Context Aware Scheduler For Active Spaces"
May 2003, Kaw-Yuan Lee "Security In Mobile Wireless Devices In Active Spaces"
May 2003, Vivek Sadanand "Secure Authentication In Active Spaces"
May 2003, Cristina Abad "Automated Load Balancing in Unstructured Peer-to-Peer File Sharing Systems"
August 2003, Vineet Gupta "Design, Implementation and Evaluation of TCP SYN- Flooding Attack Model in Javasim
August 2003, Pankaj Kamat "A Certificate Authority and PKI Service for Active Spaces"
August 2003, Vivek Sundaram "Using Reinforcement to Learn User Preferences in CTX Aware Environments"
December 2003, Ma Marvel "A Cryptographically Secure Architecture for Airport Security Using RBAC"
December 2003, Qian Frances Yi- Yun "Ubiquitous Computing Environment GAIA and People With Disabilities"
May 2004, Anand Kishnakumar “A Bluetooth Infrastructure For Automatic Active Space Discovery”
August 2004, Prachi Arvind Apte “A Path Planning And Resource Discovery Application For GAIA”
August 2004, Ellick Chan “A Micro Server Approach To Mobile Application Design”
August 2004, Kartik Santhanakrishnan “Everywhere Displays: Applications and Analysis”
October 2004, Michael Makstman “Examining Policy Language Research: A Policy Model For The Complete Organization”
May 2005, Zahid Anwar “Plethora: A Framework for Converting Generic Applications To Run In A Ubiquitous Environment”
August 2005, Suvda Myagmar “Threat Modeling Networked and Data-Centric Systems”
August 2005, Muhammad Awan “External Party Authentication and Key Exchange Protocols for Sensor Networks”
December 2005, William Donkervoet “Directed Search In An N-Dimensional Peer-to-Peer Network”
August 2006, Andrew Weiler “Clicky: User Input In Pervasive Systems”

DOCTORAL THESES

Curriculum Date of Degree Student's Name Title of Thesis

January 1981, Arthur Liestman "Fault-Tolerant Scheduling and Broadcast Problems", Prof. Of Computer Science, Simon Fraser University, former Head of Department
May 1981, Anthony Yu-Wu Wei "Real- Time Programming With Fault-Tolerance", Vice President, R&D of Photonic Bridges Inc., Shanghai
January 1982, Martin McKendry "Language Mechanisms For Context Switching and Protection in Level Structured Operating Systems", Founder, SoloPoint Communications, Los Gatos, CA
October 1982, Robert Kolstad "Distributed Path Pascal: A Language for Programming Coupled Systems", Executive Director, USENIX SAGE (Systems Administrators Guide, formerly Director of BSDI)
October 1985, Pankaj Jalote "Atomic Actions in Concurrent Systems", Professor, Department of Computer Science and Engineering at IIT Kanpur, formerly Head of Department 1998-2002. Author of five text books and on Editorial Board of of IEEE Transactions on Software Engineering
January 1986, Peter Kirslis "The Saga Editor: A Language- Oriented Editor Based On An Incremental LR( 1) Parser", Consultant, Formerly with Bell Labs retired, Boulder, CO
May 1986, Judith E. Grass "Mediators" A High-Level Language Construct For Distributed Systems"
May 1987, George Beshers "Regular Right Part Grammars and Maintained and Constructor Attributed in Language Base Editors"
May 1987, Raymond Essick "The Cross-Architecture Procedure Call", Motorola Labs
October 1987, Robert Terwilliger "Encompass: An Environment for Incremental Software Development Using Executable, Large-Based Specifications"
May 1989, Carol Sue Beckman-Davis "Finding Program Differences Based On Syntactic Tree Structure"
May 1990, Arch Douglas Robison "Optimistic Regulation of Concurrency", Intel Labs, Champaign, IL January 1991, Vincent Russo "An Object-Oriented Operating System"
January 1991, Robert Sum "An Object-Oriented Project Management Framework For Software Engineering Environments"
October 1991, Gary Murakami "Non-Blocking Packet Switching With Shift-Register Rings"
May 1992, David Dykstra "Object-Oriented Hierarchies Across Protection Boundaries"
May 1992, Peter Madany "An Object-Oriented Framework for File Systems", Consultant, former SUN JavaOS
October 1994, Nayeem Islam "Customized Message Passing and Scheduling For Parallel and Distributed Applications", Vice President, Director, Seamless Experience Environment Lab,
May 1995, F .X. Nursalim Hadi "Checkpointing In Distributed Virtual Memory By Using Local Virtual Memory"
May 1995, Lun Xiao "An Object-oriented Extensible Transaction Management System"
October 1995, Ellard Roush "The Freeze Free Algorithm For Process Migration" January 1996, Swee Boon Lim "Adaptive Caching In A Distributed File System"
October 1996, Mohlalefi Sefika "Design Conformance Management of Software Systems: An Architecture-oriented Approach", Lecturer, The National University of Lesotho May 1997,
Hal Render "Gregor: A Model Object Base Supporting Software Configuration Management"
October 1997, Zhigang Chen "Coding and Transmission of Digital Video on The Internet" CEO of Xinlab.
May 1998, Aamod Sane "Techniques for Developing Correct, Fast, and Robust Implementations of Distributed Protocols"
May 1999, See-Mong Tan "Multimedia Network Subsystem Design", Strategist, Microsoft, formerly Director of Quicktime, Apple Computer, and Chief Technology Officer at atstream.com
October 2000, Fabio Kon "Automatic Configuration of Component-based Distributed Systems", Assistant Professor, Distributed Systems Group, Department of Computer Science, University of Sao Paulo, Brazil
October 200l, Vijay Gupta "Scalable Distribution of Data Across Autonomous Systems"
October 200l, Zhaoyu Liu "Securing the Node of an Active Network", Assistant Professor, University of North Carolina, Charlotte, NC
May 2003, Manuel Roman “An Application Framework for Active Space Applications,
October 2003, Christopher Hess “The Design and Implementation of a Context-Aware File System for Ubiquitous Computing Application” Siemens
May 2004 P. Naldurg, "Modeling Insecurity: Enabling Recovery-Oriented Security with Dynamic Policies," Microsoft Research
October 2005, Geta Sampemane, "Access Control for Active Spaces," GoogleOctober
2005, Anand Ranganathan, "A Task Execution framework for Autonomic Ubiquitous Computing," IBM ResearchOctober
2005, Robert McGrath, "Semantic Infrastructure for a Ubiquitous Computing Environment," NCSAOctober
2005, Apu Kapadia, "Models for Privacy in Ubiquitous Computing Environments," PostDoc Dartmouth CollegeOctober
2005, Dulcinea Carvaldo, "A Software Environment for User Environments in Ubiquitous Systems," Asst. ProfessorOctober
2005, Jalal Almutadi, "An Intelligent Authentication Infrastructure for Ubiquitous Computing Environments," Asst Professor, College of Computer & Information Sciences, King Saud University, Saudi ArabiaMay
2006, C. S. Shankar, "Policy based Pervasive Systems Management Using Specification-Enhanced Rules," Microsoft
May 2008, Suvda Myagmar,

Postgraduate/Visiting Scholars

Yoshiaki Shibata, 9/1/97-8/31/98, Sony Corporation, Tokyo, Japan
Hideaki Okamura, 8/1/99-8/31/00, Sony Corporation, Tokyo, Japan
Sebastian Preito, 11/1/99-5/31/00
Hans Ole Rafaelsen, Summer 2000 with Campbell
Hyeon Lee – 9/7/00-8/30/01, Korea Telecom
Cristina Ururahy Cerqueira, 1/10/01-11/30/01, CNPq, Brazil
Renato Cerqueira, 1/10/01- 11/30/01, CNPq, Brazil
Koichi Mouri, 9/05-9/06, Ritsumeikan University, Japan
Joon Sung Hong (Justin), 11/01/06 – 12/31/07, Samsung, Korea