Computer Science Ph.Ds by Year
2024
User-centered Data Access Control Techniques for Secure and Privacy-aware Mobile Systems
Advisor: Berkay Celik
High-performance Domain-specific Systems for Graph and Machine Learning Workloads
Advisor: Xuehai Qian
Co-design of Quantum Software and Hardware
Advisor: Xuehai Qian
Towards Secure and Robust 3D Perception in the Real World: An Adversarial Approach
Advisor: Xiangyu Zhang
Techniques to Secure and Monitor Client Database Applications
Advisor: Elisa Bertino
Garbled Computation: Hiding Software, Data and Computer Values
Advisor: Mikhail J. Atallah
Achieving Compositional Security and Privacy in IoT Environments
Advisor: Berkay Celik
Towards Secure and Safe AI-enabled Systems Through Optimizations
Advisor: Xiangyu Zhang
Towards Reverse Engineering Deep Neural Networks on Edge Devices
Advisors: Antonio Bianchi and Dongyan Xu
Compiler and Architecture Co-design for Reliable Computing
Advisor: Changhee Jung
Secure Authentication and Privacy-preserving Techinques In Vehicular Ad-hoc Networks
Advisor: Bharat Bhargava
Privacy and Security Enhancements for Tor
Advisor: Christina Garman
Towards Novelty-resilient AI: Learning in the Open World
Advisor: Bharat Bhargava
Matrix Sketching in Optimization
Advisors: Petros Drineas and Rajiv Khanna
Identifying Induced Bias in Machine Learning
Advisor: Christopher W. Clifton
Applications of Combinatorial Graph Theory to the Classical and Post-Quantum Security Analysis of Memory-Hard Functions and Proofs of Sequential Work
Advisor: Jeremiah Blocki
Membership Inference Attacks and Defenses in Classification Models
Advisor: Ninghui Li
New Theoretical Techniques for Analyzing and Mitigating Password Cracking Attacks
Advisor: Jeremiah Blocki
Deep Synthesis of Distortion-freed 3D Omnidirectioal Imagery From 2D Images
Advisor: Daniel Aliaga
Unveiling Patterns in Data: Harnessing Computational Topology in Machine Learning
Advisor: Tamal K. Dey
Complexity Bounds for Search Problems
Advisor: Simina Branzei
Controllable 3D Effects Synthesis in Image Editing
Advisor: Bedrich Benes
Discovery of Novel Disease Biomarkers and Therapeutics Using Machine Learning Models
Advisor: Majid Kazemian
Language-based Techniques for Policy-agnostic Oblivious Computation
Advisor: Benjamin Delaware
2023
Trace Data-driven Defense Against Cyber and Cyber-physical Attacks
Advisor: Dongyan Xu
Pipelined Byzantine Fault Tolerance and Applications
Advisor: Aniket Kate
Flexible and Data-driven Modeling of 3D Protein Complex Structures
Advisor: Daisuke Kihara
Securing Resource Constrained Platforms with Low-cost Solutions
Advisors: Jing (Dave) Tian and Dongyan Xu
Defeating Cyber and Physical Attacks in Robotic Vehicles
Advisors: Antonio Bianchi and Dongyan Xu
Efficient LSM Secondary Indexing for Update-intensive Workloads
Advisor: Walid G. Aref
Compilation Techniques, Algorithms, and Data Structures for Efficient and Expressive Data Processing Systems
Advisor: Tiark Rompf
Analyzing and Improving Security-enhanced Communication Protocols
Advisor: Ninghui Li
Highly Accurate Macromolecular Structure Complex Detection, Determination, and Evaluation by Deep Learning
Advisor: Daisuke Kihara
On the Neural Representation for Adversarial Attack and Defense
Advisor: Xiangyu Zhang
Mechanism Design in Defense against Offline Password Attacks
Advisor: Jeremiah Blocki
A Data-driven Approach to Genetics
Advisor: Petros Drineas
Leveraging Multimodal Sensing for Enhancing the Security and Privacy of Mobile Systems
Advisor: Berkay Celik
Efficient in-situ Workflows for Time-critical Applications on Heterogeneous Ecosystems
Advisors: Fengguang Song and Zhiyuan Li
System Support for Next-Gen Mobile Applications
Advisor: Y. Charlie Hu
Differentially Private Sublinear Algorithms
Advisors: Jeremiah Blocki and Elena Grigorescu
A Deep Learning Based Framework for Novelty Aware Explainable Multimodal Emotion Recognition with Situational Knowledge
Advisor: Bharat Bhargava
Weakly Supervised Characterization of Discourses on Social and Political Movements on Online Media
Advisor: Dan Goldwasser
Proactive Vulnerability Identification and Defense Construction - The Case for CAN
Advisors: Dongyan Xu and Berkay Celik
Multimodal Data Management in Open-World Environment
Advisor: Bharat Bhargava
Metaprogramming Program Analyzers
Advisor: Tiark Rompf
Securing Bluetooth Protocols through Formal Analysis and Debloating
Advisors: Dongyan Xu and Antonio Bianchi
Decomposition and Stability of Multiparameter Persistence Modules
Advisor: Tamal K. Dey
Dynamic Network Modeling from Temporal Motifs and Attributed Node Activity
Advisor: Jennifer L. Neville
Revamping Binary Analysis with Sampling and Probabilistic Inference
Advisor: Xiangyu Zhang
Machine Learning-based Approaches for Accurate Protein Structure Classification and Assembly
Advisor: Daisuke Kihara
Continuous Relaxation for Combinatorial Problems - A Study of Convex and Invex Programs
Advisor: Jean Honorio
Out-of-Distribution Representation Learning for Network System Forecasting
Advisor: Bruno Ribeiro
MPC for the Real World: Improving Performance and Usability via Program Analysis, and Applications to Decentralized Finance
Advisor: Vasileios Zikas
A Systematic Framework for Analyzing the Security and Privacy of Wireless Communication Protocol Implementations
Advisor: Elisa Bertino
Provable Guarantees of Learning with Incomplete and Latent Data
Advisor: Jean Honorio
Identification of Web Security Threats to Online Business Models
Advisor: Xiangyu Zhang
Practical Methods for Fuzzing Real-World Systems
Advisors: Mathias Payer and Antonio Bianchi
Reducing Image Artifacts in Motion Blur Prevention
Advisor: Daniel Aliaga
Reconstruction and Local Recovery of Data from Synchronization Errors
Advisor: Elena Grigorescu
2022
Clinical Anayltics and Personalized Medicine
Advisor: Ananth Y. Grama
3D Reconstruction of Sorghum Plants for High-Throughput Phenotyping
Advisor: Bedrich Benes
Using Randomness to Defend Against Adversarial Examples in Computer Vision
Advisor: Ninghui Li
Causal Reasoning in Equivalence Classes
Advisors: Elias Bareinboim and Bruno Ribeiro
Securing System and Embedded Software via Fuzzing
Advisor: Jing (Dave) Tian
Differential Privacy in Distributed Settings
Advisor: Ninghui Li
Nonlinear Diffusions on Graphs for Clustering, Semi-supervised Learning and Analyzing Predictions
Advisor: David Gleich
Trojan Attacks and Defenses on Deep Neural Networks
Advisor: Xiangyu Zhang
Feasibility, Efficiency, and Robustness of Secure Computation
Advisor: Hemanta K. Maji
Machine Learning-based Mobile Device In-air Signature Authentication
Advisor: Pan Li
Models and Representation Learning Mechanisms for Graph Data
Advisor: Jennifer L. Neville
Scalable Parallel Machine Learning on High Performance Computing Systems - Clustering and Reinforcement Learning
Advisors: Zhiyuan Li and Fengguang Song
Defeating Critical Threats to Cloud User Data in Trusted Execution Environments
Advisors: Pedro Jose Sousa Da Fonseca and Byoungyoung Lee
Protein Structural Modeling Using Electron Microscopy Maps
Advisor: Daisuke Kihara
Exploring the Composition of Coding Theory and Cryptography through Secure Computation, Succinct Arguments, and Local Codes
Advisor: Jeremiah Blocki
Towards Secure and Reliable Robotic Vehicles with Holistic Modeling and Program Analysis
Advisor: Xiangyu Zhang
High-Performance and Reliable Intermittent Computation
Advisor: Changhee Jung
Higher-order Reasoning with Graph Data
Advisor: Bruno Ribeiro
Deep Learning Based Models for Novelty Adaptation in Autonomous Multi-Agent Systems
Advisor: Bharat Bhargava
Online Covering: Efficient and Learning-Augmented Algorithms
Advisors: Elena Grigorescu and Thanh Nguyen
Efficient Building Blocks for Secure Multiparty Computation and Their Applications
Advisor: Aniket Kate
Deep Learning Enabled 3D Protein Structure Modeling
Advisor: Daisuke Kihara
Performance and Cost Optimization for Distributed Cloud-native Systems
Advisors: Saurabh Bagchi and Ananth Y. Grama
Realizing Information Escrows and Efficient Key-management Using Threshold Cryptography
Advisor: Aniket Kate
Novel System Compartmentalization and Reverse Engineering Methods
Advisors: Mathias Payer and Sonia Fahmy
Deep Neural networks for Detection of Rare Events, Novelties, and Data Augmentation in Multimodal Data Streams
Advisor: Bharat Bhargava
Symbolic Analysis of Weak Concurrency Semantics in Modern Database Programs
Advisors: Benjamin Delaware and Suresh Jagannathan
Computational Methods to Analyze Functional Connectomes
Advisor: Ananth Y. Grama
Homological Representatives in Topological Persistence
Advisor: Tamal K. Dey
Efficient and Scalable Subgraph Statistics using Regenerative Markov Chain Monte Carlo
Advisor: Bruno Ribeiro
Applied Topology and Algorithmic Semi-Algebraic Geometry
Advisor: Saugata Basu
Efficient Algorithms for Causal Linear Identification and Sequential Imitation Learning
Advisors: Jennifer L. Neville and Christopher W. Clifton
Software-defined Buffer Management and Robust Congestion Control for Modern Datacenter Networks
Advisors: Sonia Fahmy and Patrick T. Eugster
Neural-Symbolic Modeling for Natural Language Discourse
Advisor: Dan Goldwasser
Capturing Changes in Combinatorial Dynamical Systems via Presistent Homology
Advisor: Tamal K. Dey
On Higher Order Graph Representation Learning
Advisor: Bruno Ribeiro
Using Structural Regularities for a Procedural Reconstruction of Urban Environments from Satellite Imagery
Advisor: Daniel Aliaga
2021
Fine-Grained Bayesian Zero-Shot Object Recognition
Advisors: Christopher W. Clifton and Murat Dundar
Dependable Wearable Systems
Advisor: Saurabh Bagchi
Accurate Approximation of Unstructured Grid Into Regular Grid with Complex Boundary Handling
Advisor: Xavier M. Tricoche
Bottom-Up, Context-Driven Visual Object Understanding
Advisors: Xavier M. Tricoche and Gavriil Tsechpenakis
Algorithms for Degree-Constrained Subgraphs and Applications
Advisor: Alex Pothen
Graph Representation Learning for Unsupervised and Semi-Supervised Learning Tasks
Advisor: Jennifer L. Neville
Privacy in Complex Sample Based Surveys
Advisor: Christopher W. Clifton
Building the Intelligent IoT-Edge: Balancing Security and Functionality Using Deep Reinforcement Learning
Advisor: Elisa Bertino
Forensics and Formalized Protocol Customization for Enhancing Networking Security
Advisor: Xiangyu Zhang
On the Efficiency of Cryptographic Constructions
Advisor: Hemanta K. Maji
An Effective Framework of Autonomous Driving by Sensing Road/Motion Profiles
Advisor: Jiang Yu Zheng
Structured Prediction: Statistical and Computational Guarantees in Learning and Inference
Advisor: Jean Honorio
Efficient and Secure Equality-based Two-party Computation
Advisor: Mikhail J. Atallah
Fundamental Constraints and Provably Secure Constructions of Anonymous Communication Protocols
Advisor: Aniket Kate
Privacy Enhancing Techniques for Digital Identity Management
Advisor: Elisa Bertino
Modelling Rational Adversaries: Predicting Behavior and Developing Deterrents
Advisor: Jeremiah Blocki
Machine Learning Approaches Towards Protein Structure and Function Prediction
Advisor: Daisuke Kihara
Efficient Cryptographic Constructions for Resource-Constrained Blockchain Clients
Advisors: Aniket Kate and Mikhail J. Atallah
Towards a Traffic-aware Cloud-native Cellular Core
Advisor: Sonia Fahmy
Efficient Distributed Processing over Micro-batched Data Streams
Advisor: Walid G. Aref
Accelerated In-situ Workflow of Memory-aware Lattice Boltzmann Simulation and Analysis
Advisors: Mathias Payer and Fengguang Song
Relational Representation Learning Incorporating Textual Communication for Social Networks
Advisor: Jennifer L. Neville
Practical Cloud Computing Infrastructure
Advisors: Patrick T. Eugster and Kihong Park
Improving Stance and Bias Detection in Text by Modeling Social Context
Advisor: Dan Goldwasser
Controlling and Enabling Improved Crowd Simulation
Advisor: Daniel Aliaga
Forced Execution for Security Analysis of Software without Source Code
Advisor: Xiangyu Zhang
Fuzzing Hard-To-Cover Code
Advisors: Mathias Payer and Jing (Dave) Tian
Analyzing Sensitive Data with Local Differential Privacy
Advisor: Ninghui Li
2020
Usage of Dynamic Analysis to Strengthen Control-Flow
Advisors: Christina Garman and Mathias Payer
Enhancing Mobility Support in Cellular Networks With Device-Side Intelligence
Advisor: Chunyi Peng
Social Reinforcement Learning
Advisor: Jennifer L. Neville
Exploiting the Spatial Dimension of Big Data Jobs for Efficient Cluster Job Scheduling
Advisor: Y. Charlie Hu
Practical Type and Memory Safety Violation Detection Mechanisms
Advisors: Changhee Jung and Mathias Payer
Commonsense Knowledge Representation and Reasoning in Statistical Script Learning
Advisor: Dan Goldwasser
Privacy Preserving Systems with Crowd Blending
Advisor: Aniket Kate
Efficient Knot Optimization for Accurate B-spline-based Data Approximation
Advisor: Xavier M. Tricoche
Applying Multimodal Sensing to Human Motion Tracking in Mobile Systems
Advisor: He Wang
Randomized Numerical Linear Algebra Approaches for Approximating Matrix Functions
Advisor: Petros Drineas
Fine-grained Anomaly Detection for in Depth Data Protection
Advisor: Elisa Bertino
Auditable Computations on (Un)Encrypted Graph-Structured Data
Advisor: Bharat Bhargava
Neural Representation Learning for Semi-Supervised Node Classification and Explainability
Advisor: Jennifer L. Neville
Programming Support for Scalable, Serializable and Elastic Cloud Applications
Advisors: Xiangyu Zhang and Patrick T. Eugster
Practical Confidentiality-Preserving Data Analytics in Untrusted Clouds
Advisors: Xiangyu Zhang and Patrick T. Eugster
Anomaly Detection and Security Deep Learning Methods Under Adversarial Situtation
Advisor: Bharat Bhargava
Digital Provenance Techniques and Applications
Advisor: Elisa Bertino
Effective User Guidance through Augmented Reality Interfaces: Advances and Applications
Advisor: Voicu Popescu
Generation of Topological Interlocking Configurations from a Geometric Approach
Advisor: Christoph M. Hoffmann
Dual Execution and its Applications
Advisor: Xiangyu Zhang
Spectral Approach to Modern Algorithm Design
Advisor: Saugata Basu
Improving Stability and Parameter Selection of Data Processing Programs
Advisor: Xiangyu Zhang
Lightweight and Sufficient Two Viewpoint Connections for Augmented Reality
Advisor: Voicu Popescu
Deep Learning Based Models for Cognitive Autonomy and Cybersecurity Intelligence in Autonomous Systems
Advisor: Bharat Bhargava
Scalable Representation Learning with Invariances
Advisors: Bruno Ribeiro and Jennifer L. Neville
Betti Numbers of Deterministic and Random Sets in Semi-Algebraic and O-Minimal Geometry
Advisors: Saugata Basu and Elena Grigorescu
Flexible Structured Prediction in Natural Language Processing with Partially Labeled Corpora
Advisor: Dan Goldwasser
2019
On Cyber-physical Forensics, Attacks, and Defenses
Advisor: Dongyan Xu
Computational Methods in Population Genetics
Advisors: Peristera Paschou and Petros Drineas
Improving Performance of Data-centric Systems Through Fine-grained Code Generation
Advisor: Tiark Rompf
Deep Learning Based User Models for Interactive Optimization of Watershed Designs
Advisors: Ananth Y. Grama and Snehasis Mukhopadhyay
Assessment of Disaggregating the SDN Control Plane
Advisor: Douglas E. Comer
Unsupervised Visual Knowledge Discovery and Accumulation in Dynamic Environment
Advisors: Gavriil Tsechpenakis and Voicu Popescu
Adversarial Anomaly Detection
Advisors: Christopher W. Clifton and Shimon Nof
Systematic Evaluations of Security Mechanism Deployments
Advisors: Aniket Kate and Ninghui Li
Solving Time Prediction Problems in Networks Using Graphlets and Embedding Based Local Features
Advisors: David Gleich and Mohammad Al Hasan
Statistical Steganalysis of Images
Advisor: Vernon J. Rego
Generating Evidence for COPD Clinical Guidelines Using EHRS
Advisor: Bharat Bhargava
Modeling Language, Social, and Behavioral Abstractions for Microblog Political Discourse Classification
Advisor: Dan Goldwasser
Automatic Reasoning Techniques for Non-Serializable Data-Intensive Applications
Advisor: Suresh Jagannathan
Effective and Efficient Computation System Provenance Tracking
Advisor: Xiangyu Zhang
Low Rank Methods for Network Alignment
Advisor: David Gleich
Building Fast, Scalable, Low-cost, and Safe RDMA Systems in Data Centers
Advisor: Yiying Zhang
Occlusion Management in Conventional and Head-Mounted Display Visualization through the Relaxation of the Single Viewpoint/Timepoint Constraint
Advisor: Voicu Popescu
A Systems Approach to Rule-Based Data Cleaning
Advisors: Walid G. Aref and Ahmed K. Elmagarmid
Efficient Algorithms for Learning Combinatorial Structures from Limited Data
Advisor: Jean Honorio
Inference of Residual Attack Surface Under Mitigations
Advisor: Mathias Payer
Exploring Node Attributes for Data Mining in Attributed Graphs
Advisor: Sunil K. Prabhakar
Privacy-Enhancing Techniques for Data Analytics
Advisor: Elisa Bertino
Anomaly Detection Techniques for the Protection of Database Systems Against Insider Threats
Advisor: Elisa Bertino
Architecting Query Compilers for Diverse Workloads
Advisor: Tiark Rompf
Data Protection in Transit and at Rest with Leakage Detection
Advisor: Bharat Bhargava
Security Techniques for Drones
Advisor: Elisa Bertino
2018
Taking Back Control: Closing the Gap Between C/C++ and Machine Semantics
Advisor: Mathias Payer
A Systematic Framework for Analyzing the Security and Privacy of Cellular Networks
Advisor: Elisa Bertino
Fault Tolerance in Linear Algebraic Methods Using Erasure Coded Computations
Advisor: Ananth Y. Grama
Efficient Query Processing Over Web-Scale RDF Data
Advisor: Walid G. Aref
Efficient Matrix-Aware Relational Query Processing in Big Data Systems
Advisor: Walid G. Aref
Data-Driven Resource Allocation in Virtualized Environments
Advisor: Sonia Fahmy
Native Graph Support in Relational Data Systems
Advisor: Walid G. Aref
Quantum Annealing for Solving Optimization Problems
Advisors: Mikhail J. Atallah and Sabre Kais
Assessment of DCNET: A New Data Center Network Architecture
Advisor: Douglas E. Comer
Combatting Advanced Persistent Threat Via Causality Inference and Program Analysis
Advisor: Xiangyu Zhang
Efficient Support of Text and Time in Spatial Data Systems
Advisor: Walid G. Aref
Credit Network Payment Systems: Security, Privacy, and Decentralization
Advisor: Aniket Kate
Interactive Sketching Framework for Static and Dynamic 3D Content Creation
Advisor: Daniel Aliaga
Guided Data Fusion
Advisor: Sunil K. Prabhakar
Online Data Cleaning
Advisor: Walid G. Aref
Program Transformation for Secure and Sustainable WebApplications
Advisors: Patrick T. Eugster and Xiangyu Zhang
Efficient Markov Chain Monte Carlo Methods
Advisor: Robert Skeel
Memory Subsystems for Security, Consistency, and Scalability
Advisors: Patrick T. Eugster and Mathias Payer
Analysis and Automated Discovery of Attacks in Transport Protocols
Advisors: Sonia Fahmy and Cristina Nita-Rotaru
Applications of Secure Context-Aware Systems in Enterprise Environments
Advisor: Elisa Bertino
Lightweight Programming Abstractions for Increased Safety and Performance
Advisor: Tiark Rompf
Bayesian Nonparametrics to Model Content, User, and Latent Structure in Hawkes Processes
Advisor: Jennifer L. Neville
Higher-order Random Walk Methods for Data Analysis
Advisor: David Gleich
Approximating Properties of Data Streams
Advisors: Greg N. Frederickson and Elena Grigorescu
2017
Improving the Policy Specification for Practical Access Control Systems
Advisors: Elisa Bertino and Ninghui Li
Deceptive Memory Systems
Advisors: Saurabh Bagchi and Eugene H. Spafford
Static Analysis of Android Apps with Text Analysis and Bi-directional Propagation
Advisor: Xiangyu Zhang
Data Classification for L-Diversity
Advisor: Christopher W. Clifton
Generating Attributed Networks: Modeling, Learning, and Sampling
Advisor: Jennifer L. Neville
Augmented Matrix Solvers for Dynamic System of Equations
Advisor: Alex Pothen
Scalable Bayesian Nonparametrics and Sparse Learning for Hidden Relationship Discovery
Advisor: Jennifer L. Neville
The Application of Deception to Software Security Patching
Advisor: Eugene H. Spafford
Practical Differential Privacy for High=dimensional and Graph Data
Advisor: Ninghui Li
Local and Global Computation on Algebraic Data
Advisor: Elena Grigorescu
Towards Automated Energy Debugging on Smartphones
Advisors: Sonia Fahmy and Y. Charlie Hu
Parallel Graph Algorithms through Approximation
Advisor: Alex Pothen
Protecting Production Systems from Performance Anomalies
Advisor: Dongyan Xu
Rethinking Cloud Storage System Software under Multi-Tenancy
Advisor: Dongyan Xu
Improving Failure Management through Cooperation between Mobile Devices and Cellular Network
Advisors: Saurabh Bagchi and Yuan (Alan) Qi
High Order Reverse Mode of Automatic Differentiation
Advisor: Alex Pothen
Beyond Simple Relevance: Balancing Heterogeneous Criteria in Information Retrieval Applications
Advisors: Christopher W. Clifton and Luo Si
Privacy-Preserving Analysis with Applications to Textual Data
Advisor: Christopher W. Clifton
Free Space Computation for a Polyhedron with Two Translations and One Rotation
Advisor: Elisha P. Sacks
Compiler-based Mitigations of Vulnerabilities in Systems Software
Advisor: Mathias Payer
Increasing the Effectiveness of Educational Technologies with the Use of Machine Learning Methods
Advisors: Buster Dunsmore and Luo Si
A Generalized Proceduralization Framework for Urban Models with Applications in Procedural Modeling, Synthesis, and Reconstruction
Advisor: Daniel Aliaga
Efficient Bayesian Machine Learning with Gaussian Processes
Advisor: Ninghui Li
2016
Combinatorial Algorithms for Perturbation Theory and Application on Quantum Computing
Advisors: Mikhail J. Atallah and Sabre Kais
Hybrid STM/HTM for Nested Transactions in Java
Advisor: Antony L. Hosking
Lagrangian Analysis of Vector and Tensor Fields: Algorithmic Foundations and Applications in Medical Imaging and Computational Fluid
Advisor: Xavier M. Tricoche
Low Rank Methods for Optimizing Clustering
Advisor: David Gleich
Effective Memory Management for Mobile Environments
Advisors: Antony L. Hosking and Mathias Payer
Securing Cloud-Based Data Analytics: A Practical Approach
Advisors: Patrick T. Eugster and Aniket Kate
Methods to Improve Applicability and Efficiency of Distributed Data-Centric Compute Frameworks
Advisor: Ananth Y. Grama
Protein Function, Diversity and Functional Interplay
Advisor: Daisuke Kihara
Security Techniques for Sensor Systems and the Internet of Things
Advisor: Elisa Bertino
Cell Type-specific Analysis of Human Interactome and Transcriptome
Advisors: Ananth Y. Grama and Wojciech Szpankowski
Automatically Recovering Spatial-Temporal Evidence from Memory Images
Advisor: Dongyan Xu
Differentially Private Data Publishing for Data Analysis
Advisor: Ninghui Li
Efficient Processing of Similarity Queries with Applications
Advisor: Walid G. Aref
A Study of Security Issues of Mobile Apps in the Android Platform Using Machine Learning Approaches
Advisor: Luo Si
Controlling for Confounding Network Properties in Hypothesis Testing and Anomaly Detection
Advisor: Jennifer L. Neville
Improving the Eco-System of Passwords
Advisor: Ninghui Li
Learning Program Specifications from Sample Runs
Advisor: Suresh Jagannathan
Attack-Resilient Framework for Distributed Systems
Advisor: Bharat Bhargava
End-to-End Security in Service-Oriented Architecture
Advisor: Bharat Bhargava
Sequential Pattern Mining with Uncertain Data
Advisors: Yuni Xia and Sunil K. Prabhakar
Efficient Sparse Bayesian Learning Using Spike and Slab Priors
Advisor: Yuan (Alan) Qi
Energy Efficiency in Data Collection Wireless Sensor Networks
Advisors: Yao Liang and Zhiyuan Li
Information Overload in Structured Data
Advisors: Jennifer L. Neville and Vishwanathan Swaminathan
2015
Scaling Up Network Analysis and Mining: Statistical Sampling, Estimation, and Pattern Discovery
Advisor: Jennifer L. Neville
Towards Efficient Processing of Big Spatial Data
Advisor: Walid G. Aref
Smart Cities: Inverse Procedural, Traffic, and Weather for 3D Urban Models
Advisor: Daniel Aliaga
Ensuring Specification Compliance, Robustness, and Security of Wireless Network Protocols
Advisors: Sonia Fahmy and Cristina Nita-Rotaru
Profiles of PATRICIA Tries
Advisor: Wojciech Szpankowski
Efficient Aggregated Deliveries with Strong Guarantees in Event-Based Distributed Systems
Advisor: Patrick T. Eugster
Scheduling and Functionality Offloading
Advisor: Dongyan Xu
Using Deception to Enhance Security: A Taxonomy, Model and Novel Uses
Advisors: Eugene H. Spafford and Mikhail J. Atallah
A Programming Framework to Ease Development of Tightly-Coupled Cloud Applications
Advisors: Dongyan Xu and Charles Killian
Binary Instrumentation and Transformation for Software Security Applications
Advisor: Dongyan Xu
Securing Virtualized System via Active Protection
Advisor: Dongyan Xu
Cross-Domain Data Dissemination and Policy Enforcement
Advisor: Bharat Bhargava
Improving Relational Machine Learning by Modeling Temporal
Advisor: Sunil K. Prabhakar
Parallel Hybrid Sparse Linear System Solvers with Applications
Advisors: Ahmed H. Sameh and David Gleich
Visibility Computation through Image Generalization
Advisor: Voicu Popescu
Optimal "Big Data" Aggregation Systems - From Theory to Practical Application
Advisor: Patrick T. Eugster
Parallel Symmetric Eigenvalue Problem Solvers
Advisor: Ahmed H. Sameh
On Several Problems Regarding the Application of Opportunistic Proximate Links in Smartphone Networks
Advisors: Xukai Zou, Feng Li, and Ninghui Li
Overcoming Uncertainty for Within-Network Relational Machine Learning
Advisor: Jennifer L. Neville
Dynamic Re-Optimization Techniques for Stream Processing Engines and Object Stores
Advisor: Ananth Y. Grama
Synthetic Steganography: Methods for Generating and Detecting Covert Channels in Generated Media
Advisor: Vernon J. Rego
Privacy-Preserving Social Network Analysis
Advisor: Christopher W. Clifton
Learning Compact Hashing Codes with Complex Objectives from Multiple Sources for Large Scale Similarity Search
Advisor: Luo Si
2014
Reliable Data Processing Enabled by Program Analysis
Advisor: Xiangyu Zhang
Techniques for Improving the Scalability of Data Center Networks
Advisor: Ramana Kompella
Secure Platforms for Enforcing Contextual Access Control
Advisor: Elisa Bertino
Trustworthy Data from Untrusted Databases
Advisor: Sunil K. Prabhakar
Functional Programming Abstractions for Weakly Consistent Systems
Advisor: Suresh Jagannathan
Automated Performance Attack Discovery in Distributed System Implementations
Advisors: Charles Killian and Cristina Nita-Rotaru
Relation Among Images: Modeling, Optimization, and Applications
Advisors: Jan Allebach and Mikhail J. Atallah
Scaling Finite Difference Methods in Large Eddy Simulation of Jet Engine Noise to the Petascale: Numerical Methods and Their Efficient and Automated Implementation
Advisors: Zhiyuan Li and Ahmed H. Sameh
Rational Multiparty Computation
Advisor: Christopher W. Clifton
Computational Modeling of Macomolecular Structures
Advisor: Daisuke Kihara
Privacy in Social Messaging and Identity Management
Advisor: Bharat Bhargava
Leveraging Machine Learning to Detect Abnormal Behavior and Communication Risk
Advisor: Ninghui Li
Achieving Practical Differential Privacy
Advisor: Christopher W. Clifton
Advisors: Xiangyu Zhang and Dongyan Xu
Network Hypothesis Testing for Relational Data
Advisor: Jennifer L. Neville
Resilient Network Design with Network Coding and Diversity
Advisor: Cristina Nita-Rotaru
Gradual Typing of Real-World Languages: Enabling Assurance while Retaining Dynamism
Advisor: Jan Vitek
Secure and Private Outsourcing to Untrusted Cloud Servers
Advisor: Mikhail J. Atallah
Path Sensitive Static Program Analysis for Web Applications
Advisor: Xiangyu Zhang
Techniques for Detecting Scalability Bugs
Advisor: Xiangyu Zhang
An Algorithmic Pipeline for Analyzing Multi-parametric Flow Cytometry Data
Advisor: Alex Pothen
Quantum Circuit Design Methods and Application
Advisor: Ananth Y. Grama
A Learning Approach for Relevance and Diversity in Federated Search
Advisor: Luo Si
Geo-Distributed Big Data Processing
Advisor: Patrick T. Eugster
Data-Driven Approaches to Improve Dependability of Cloud Services
Advisor: Cristina Nita-Rotaru
A Unified Framework for Transparent Concurrency and Fault-Tolerance in Distributed Systems
Advisor: Dongyan Xu
2013
Autonomous Agents-Based Mobile-Cloud Computing
Advisor: Bharat Bhargava
Improving Virtual Machine I/O Performance in Cloud Environments via I/O Functionality Offloading
Advisor: Dongyan Xu
Ribbons: A Partially Shared Memory Programming Model
Advisor: Patrick T. Eugster
Control-Theoretic Decision Support for Mitigation of Modeled Software Project Cost Overruns
Advisor: Aditya P. Mathur
Enabling Richer Insight into Runtime Executions of Systems
Advisor: Charles Killian
Impact of Network Protocols on Data Center Applications
Advisor: Ramana Kompella
Improved Kernel Security through Code Verification, Diversification, and Minimization
Advisor: Eugene H. Spafford
Automated Debugging through Comparing Executions
Advisor: Xiangyu Zhang
Dependence-Based Source Level Tracing and Replay for Networked Embedded Systems
Advisor: Zhiyuan Li
High Performance Structure Extraction for Visualization
Advisor: Xavier M. Tricoche
Binary Classification with Adiabatic Quantum Optimization
Advisor: S. V. N. Vishwanathan
High Accuracy, Lightweight Methods for Network Measurement Services
Advisor: Sonia Fahmy
Enhancing Scalability in Network Simulation and Testbed Experiments
Advisor: Sonia Fahmy
Functional Profiling of Protein Sequences and Application of Functional Associations for Missing Enzyme Prediction
Advisor: Daisuke Kihara
Statistical Machine Learning in T-Exponential Family of Distributions
Advisor: S. V. N. Vishwanathan
Methods for Safe, Flexible and Secure Policy Based Routing
Advisor: Sonia Fahmy
Differentially Private Data Publishing: From Histograms to Transaction Sets
Advisor: Ninghui Li
Dynamic Program Analyses for Debugging Concurrency Bugs in Large Multi-threads Programs
Advisors: Xiangyu Zhang and Suresh Jagannathan
Time Varying Network Reservation for Cloud Data Centers
Advisors: Ramana Kompella and Y. Charlie Hu
2012
Effective and Efficient User and Content Modeling for Intelligent Tutoring Systems
Advisor: Luo Si
Engineering Efficient Event-Based Distribution Systems
Advisor: Patrick T. Eugster
Private Data Outsourcing Using Anonymization
Advisor: Christopher W. Clifton
Statistical Relational Learning for Single Network Domains
Advisor: Jennifer L. Neville
Efficient Learning Algorithms for Gaussian Processes
Advisor: Yuan (Alan) Qi
Dealing with Ambiguous and Partial Supervision in Complex Information Retrieval Applications
Advisor: Luo Si
Probabilistic Approaches to Entity Retrieval
Advisor: Luo Si
Privacy Risk and Scalability of Differentially-Private Anonymization
Advisor: Elisa Bertino
Privacy Preserving Access Control on Third-Party Data Management Systems
Advisor: Elisa Bertino
Guided Data Cleaning
Advisor: Ahmed K. Elmagarmid
Ensemble Classification Techniques for Relational Domains
Advisor: Jennifer L. Neville
Security and Economic Implication of Localizing Traffic in Overlay Networks
Advisor: Cristina Nita-Rotaru
Modeling the Appearance and Behavior of Urban Spaces
Advisor: Daniel Aliaga
2011
Controlling the Cost and Increasing the Utility of Network Mesurement Infrastructures
Advisor: Sonia Fahmy
Practical Automatic Determination of Causal Relationships in Software Execution Traces
Advisor: Mikhail J. Atallah
Geometrical Analysis of Interaction Sites of Proteins
Advisor: Daisuke Kihara
Accomodative Mandatory Access Control
Advisors: Jan Vitek and Patrick T. Eugster
Data Structures for Efficient Analysis of Large-Scale Unstructured Datasets
Advisor: Xavier M. Tricoche
Improving the Reliability and Performance of Virtual Cloud Infrastructures
Advisor: Dongyan Xu
Trusted Enforcement of Contextual Access Control
Advisor: Elisa Bertino
Compensation Compliant Appearance Editing of Physical Objects with Arbitrary Shape and Color
Advisor: Daniel Aliaga
Reverse Engineering of Data Structures from Binary
Advisor: Dongyan Xu
Statstical Inference and Data Cleaning in Relational Database Systems
Advisors: Sunil K. Prabhakar and Jennifer L. Neville
Efficient Query Processing for Uncertain Data
Advisor: Sunil K. Prabhakar
Data-Centric Approaches to Kernel Malware Defense
Advisor: Dongyan Xu
The Semantics and Analysis of Safe Futures
Advisor: Suresh Jagannathan
Abstractions for Robust Higher-Order Message-Based Communication
Advisor: Suresh Jagannathan
2010
Leveraging External User-Generated Information for Large-Scale Data Integration
Advisor: Ahmed K. Elmagarmid
Data in the Cloud: Authentication without Leaking
Advisor: Elisa Bertino
Effective Performance Analysis and Optimizations for Memory Intensive Programs on Multicore
Advisor: Zhiyuan Li
Mobility in Mobile Sensor Networks - A Study of Sensing Performance and Privacy
Advisor: David K. Y. Yau
Algorithmic and Numerical Techniques for Atomistic Modeling
Advisors: Ahmed H. Sameh and Ananth Y. Grama
Efficient and Robust Solutions for Sensor Network Detection and Localization
Advisor: David K. Y. Yau
Characterizing and Aggregating Attach Graph-based Security Metrics
Advisor: Bharat Bhargava
High Throughput Screening of Global and Local Protein Surfaces
Advisor: Daisuke Kihara
Privacy Preservation in Data Publishing and Sharing
Advisor: Ninghui Li
Automatic Inference of Access Control Policies and Migration to Role Based Access Control
Advisor: Ninghui Li
Privacy through Deniable Search
Advisor: Christopher W. Clifton
EXAM: An Environment for XACML Policy Analysis and Management
Advisor: Elisa Bertino
Improved 3-D Scene Sampling by Camera Model Design
Advisor: Christoph M. Hoffmann
Similarity-aware Query Processing and Optimization
Advisor: Walid G. Aref
Structural Information in Strings and Graphs
Advisor: Wojciech Szpankowski
Database Server for Next-Generation Scientific Data Management
Advisors: Walid G. Aref and Ahmed K. Elmagarmid
Transparent Distribution for Java Applications
Advisor: Antony L. Hosking
Privacy-aware Role Based Access Control
Advisor: Elisa Bertino
Capturing Real-World Dynamic Objects Using Temporally-Coded Photography
Advisor: Daniel Aliaga
Security and Privacy Techniques for Outsourced and Distributed Databases
Advisor: Mikhail J. Atallah
A Platform for Creating Efficient, Robust, and Resilient Peer-to-Peer Systems
Advisor: Cristina Nita-Rotaru
2009
Analysis of Access Control Policies in Operating Systems
Advisor: Ninghui Li
Secure and Robust Communication in Wireless Mesh Networks
Advisor: Cristina Nita-Rotaru
Rank Aggregation Techniques for Context-Aware Database Management Systems
Advisor: Walid G. Aref
Improving Real-World Access Control Systems by Indentifying the True Origins of a Request
Advisor: Ninghui Li
Parallel Algorithms for Large Sparse Linear Systems
Analysis of Port Scanning Attacks
Advisor: Bharat Bhargava
Efficient Query Processing for Rich and Diverse Real-Time Data
Advisors: Elisa Bertino and Elke A. Rundensteiner
Architectural Approaches for Code Injection Defense at the User and Kernal Levels
Advisors: Dongyan Xu and Xuxian Jiang
Parallel Hybrid Sparse System Solvers
Advisors: Ahmed H. Sameh and Ananth Y. Grama
Database Support for Uncertain Data
Advisor: Sunil K. Prabhakar
Access Control Policy Management
Advisor: Ninghui Li
2008
Memory Balancing for Large-scale Network Simulation in Power-law Networks
Advisor: Kihong Park
Anonymization-based Privacy Protection
Advisor: Christopher W. Clifton
Approximation Algorithms for Time-Constrained Vehicle Routing Problems
Advisor: Greg N. Frederickson
Probabilistic Path Planning with Extended Local Planners
Advisor: Elisha P. Sacks
Incentive-Driven and Privacy-Preserving Collaborative Computing
Advisor: Christopher W. Clifton
Macroprogramming Scalable Sensor Networks
Advisor: Ananth Y. Grama
A Device Independent Router Model: From Measurements to Simulations
Advisor: Sonia Fahmy
Efficient and Versitile 3D Scene Modeling by Sparse-Depth Dense-Viewpoint Acquisition
Advisor: Voicu Popescu
Path-Aware Analysis of Program Invariants
Advisors: Suresh Jagannathan and Ananth Y. Grama
Self-Configuration Algorithms for Mobile Ad-Hoc Networks
Advisor: Bharat Bhargava
Collaborative Power Management between Operating Systems and Applications
Advisors: Yung-Hsiang Lu and Zhiyuan Li
Supporting Fine-Grained Database Lineage Tracking
Advisors: Sunil K. Prabhakar and Xiangyu Zhang
2007
Protocols and Systems for Privacy Preserving Protection of Digital Identity
Advisor: Elisa Bertino
Supporting Views in Data Stream Management Systems
Advisors: Ahmed K. Elmagarmid and Walid G. Aref
Distributed Approximation Algorithms for Minimum Spanning Trees and Other Related Problems with Applications to Wireless Ad Hoc Networks
Advisor: Gopal Pandurangan
Design and Implementation of Hybrid Packet Scheduling Algorithms for High Speed Networks
Advisor: Douglas E. Comer
Interactive Visualization of Three-Dimensional Confocal Microscopy Data
Advisor: Yinlong Sun
Key Management in Hierarchical Access Control Systems
Advisor: Mikhail J. Atallah
Improving the Performance of Highly Reliable Storage Systems
Advisor: Suresh Jagannathan
Trust and Anonymity in Peer-to-peer Systems
Advisor: Bharat Bhargava
Adaptive Virtual Distributed Environments for Shared Cyber Infrastructures
Advisor: Dongyan Xu
Natural Language Watermarking
Advisors: Mikhail J. Atallah and Cristina Nita-Rotaru
Information Security Applications of Natural Language Processing Techniques
Advisor: Mikhail J. Atallah
Quality-Aware Adaptation in Database Systems
Advisor: Sunil K. Prabhakar
Energy Management in Sensor Networks for Continuous Monitoring Applications
Advisors: Sonia Fahmy and Ness Shroff
Phenomenon-aware Data Stream Management Systems
Advisor: Walid G. Aref
Toward Privacy-Preserving Database Management Systems -- Access Control and Data Anonymization
Advisors: Ninghui Li and Elisa Bertino
Dynamic Covert Channels in Finance
Advisor: Vernon J. Rego
Dynamic Cryptographic Hash Functions
Advisor: Samuel Wagstaff
Development and Application of Volume Illustration Techniques for Medical Illustration and Flow Visualization
Advisor: David Ebert
Computational Methods for Mapping the Human Cerebral Cortex
Advisor: Yinlong Sun
Scalability in Spatio-temporal Data Management Systems
Advisor: Walid G. Aref
Modeling of Light Reflection, Transmission, and Subsurface Scattering for Realistic Image Synthesis
Advisor: Yinlong Sun
2006
Efficient Large Scale Acquistion of Building Interiors
Advisor: Voicu Popescu
Energy Efficiency and Surveillance in Mobile Sensor Networks
Advisor: David K. Y. Yau
Distributed Algorithms for Peer-to-Peer Systems
Advisors: Ananth Y. Grama and Suresh Jagannathan
Security Mechanisms for Content Distribution Networks
Advisor: Elisa Bertino
Comparative Analysis of Biological Networks
Advisor: Ananth Y. Grama
Enabling Internet Worms and Malware Investigation and Defense Using Virtualization
Advisor: Dongyan Xu
Ownership and Decentralization in Distributed Systems Allocation Mechanisms
Advisor: Vernon J. Rego
A Hypothesis-based Approach to Digital Forensic Investigations
Advisor: Eugene H. Spafford
Improving Software Assurance Using Lightweight Static Analysis
Advisors: Eugene H. Spafford and Jan Vitek
Privacy Enhanced Automated Trust Negotiation
Advisors: Mikhail J. Atallah and Ninghui Li
Profile of Tries
Advisor: Wojciech Szpankowski
Concurrenty Abstractions for Programming Languages Using Optimistic Protocols
Advisors: Antony L. Hosking and Suresh Jagannathan
2005
Reliable Identification of Significant Sets of Episodes in Event Sequences
Advisors: Wojciech Szpankowski and Mikhail J. Atallah
A Theory Based on Security Analysis for Comparing the Expressive Power of Access Control Models
Advisor: Ninghui Li
Pervasive Binding of Labels to System Processes
Advisor: Eugene H. Spafford
Behavioral Feature Extraction for Network Anomaly Detection
Advisors: Carla E. Brodley and Eugene H. Spafford
Secure and Private Online Collaboration
Advisor: Mikhail J. Atallah
Privacy-Preserving Distributed Data Mining and Processing on Horizontally Partitioned Data
Advisor: Christopher W. Clifton
Scalable Continuous Query Processing in Location-Aware Database Servers
Advisor: Walid G. Aref
Securing Wireless Network Topology and Routing
Advisor: Bharat Bhargava
CuPIDS: Increasing Information System Security through the Use of Dedicated Co-processing
Advisor: Eugene H. Spafford
Efficient Indexing Techniques for the Update-Intensive Environment
Advisor: Sunil K. Prabhakar
Improving Cache Performance by Smart Page Mapping in Application Programs
Advisor: Zhiyuan Li
An Energy-Efficient Architecture for Wireless Sensor Networks
Advisor: Sonia Fahmy
Coverage Problems in Wireless Sensor and RFID Systems
Advisors: Jan Vitek, Ananth Y. Grama, and Cristina Nita-Rotaru
Managing Uncertainty in Constantly-Evolving environments
Advisor: Sunil K. Prabhakar
Online Periodicy Mining
Advisors: Ahmed K. Elmagarmid and Walid G. Aref
Algorthims and Data Structures for IP Lookup
Advisor: Ananth Y. Grama
Formalization of Dynamic Trust and Uncertain Evidence for User Authorization
Advisor: Bharat Bhargava
2004
Compiler-Based Computation Reuse Schemes for Handheld Devices
Advisor: Zhiyuan Li
Crusoe -- Towards a Multicomputer Execution Environment for Java
Advisor: Jan Vitek
Query Processing in Stream Database Systems
Advisors: Ahmed K. Elmagarmid and Walid G. Aref
A Framework for Cost-Effective Peer-to-Peer Content Distribution
Advisor: Bharat Bhargava
Rank-aware Query Processing and Optimization
Advisors: Ahmed K. Elmagarmid and Walid G. Aref
A Categorization of Computer Security Monitoring Systems and the Impact on the Design of Audit Sources
Advisor: Eugene H. Spafford
Designing and Characterizing Overlay Networks
Advisor: Sonia Fahmy
Adaptive and Heterogeneous Mobile Wireless Networks
Advisor: Bharat Bhargava
Bounding the Stack Size of Interrupt-driven Programs
Advisor: Jens Palsberg
Rights Assessment for Discrete Digital Data
Advisors: Mikhail J. Atallah and Sunil K. Prabhakar
Privacy Preserving Data Mining over Vertically Partitioned Data
Advisor: Christopher W. Clifton
Partial Redundancy Elimination for Global Value Numbering
Advisor: Antony L. Hosking
Program Analysis and Scheduling for Distributed Computing on Handheld Devices
Advisor: Zhiyuan Li
2003
Static Checking of Interrupt-Driven Software
Advisor: Jens Palsberg
Building Self-Protecting Software with Active and Passive Defenses
Advisor: Mikhail J. Atallah
Monitoring and Controlling QoS Network Domains: An Edge-to-Edge Approach
Advisor: Bharat Bhargava
Enforcing Safety in Pervasive Computing Environments
Advisor: Aditya P. Mathur
Efficient Querying of Constantly Evolving Data
Advisor: Sunil K. Prabhakar
Abstractions and Efficient Implementation of Automatically Reconfigurable Network Testbeds
Advisor: Douglas E. Comer
2002
Reference Models for the Concealment and Observation of Origin Identity in Store-and-Forward Networks
Advisor: Eugene H. Spafford
Aggregate-Flow Scheduling: Theory and Practice
Advisor: Kihong Park
A Mathematical Foundation for Software Process Control
Advisor: Aditya P. Mathur
Broadcasting and Blocking Large Data Sets with an Index Tree
Advisor: Susanne E. Hambrusch
Type Matching and Type Inference for Object-Oriented Systems
Advisor: Jens Palsberg
2001
Interactive Surface Modeling and Analysis
Advisor: Chandrajit Bajaj
A Study of Several Specific Secure Two-Party Computation Problems
Advisors: Mikhail J. Atallah and Eugene H. Spafford
Computer-Aided Kinematic Synthesis of Mechanical Systems Using Configuration Space
Advisor: Elisha P. Sacks
Global Detectors of Unusual Words: Design, Implementation, and Applications to Pattern Discovery in Biosequences
Advisor: Alberto Apostolico
Using Internal Sensors for Computer Intrusion Detection
Advisor: Eugene H. Spafford
Monitoring and Control of Networked Systems with Mobile Agents: Algorithms and Applications
Advisor: Dan C. Marinescu
2000
Access and Method Execution on Distributed Complex Objects
Advisor: Bharat Bhargava
Parallel Simulation of Particulate Flow
Advisor: Ahmed H. Sameh
Compiler Algorithms for Efficient Use of Memory Systems
Advisor: Zhiyuan Li
Convergence Analysis of a Domain Decomposition Method for Separable PDEs
Advisor: John R. Rice
Refactoring Design Models for Compositional Verification, Conformance Testing, and Inductive Verification
Advisor: Michal Young
Flexible User Interface Coupling with Operation Transformation
Advisor: Chandrajit Bajaj
Testing Component-Based Distributed Applications
Advisor: Aditya P. Mathur
Visualization and Animation for Situation Awareness in the Battlefield
Advisor: Christoph M. Hoffmann
Contributions to Distributed Object and Agent Systems
Advisor: Dan C. Marinescu
Envelopes of Nonlinear Geometry
Advisor: Jorg Peters
Multidimensional And Multiresolution Geometric Data Structures For Scientific Visualization
Advisor: Chandrajit Bajaj
Approaches to Multimedia Traffic Management and Control
Advisor: Bharat Bhargava
1999
Automated Test Data Generation Using Iterative Relaxation Methods
Advisor: Aditya P. Mathur
Software Reuse Methodologies for Parallel and Netcentric Scientific Computing
Advisor: Elias N. Houstis
Algorithms for Improving the Performance of Optimistic Parallel Simulation
Advisor: Vernon J. Rego
Parallel Algorithms for Large Sparse Generalized Eigenproblems
Advisor: Ahmed H. Sameh
Knowledge Discovery in Scientific Databases
Advisor: Elias N. Houstis
Interactive Modeling Using Surface Splines
Advisor: Jorg Peters
Compression and Progressive Transmission of Three-dimensional Models
Advisor: Chandrajit Bajaj
1998
Symbolic and Numerical Techniques for Constraint Solving
Advisor: Christoph M. Hoffmann
Semantic Content-based Access to Hypervideo Databases
Advisor: Ahmed K. Elmagarmid
Cyclic Distributed Garbage Collection Without Global Synchronization
Advisor: Vincent F. Russo
A Software Architecture for Multithreaded and Multiprotocol Distributed Applications
Advisor: Vernon J. Rego
Computer Vulnerability Analysis
Advisor: Eugene H. Spafford
Numerical Methods and Software for Pricing American Financial Derivatives
Advisor: Elias N. Houstis
1997
Designing an Efficient Distributed Digital Library Database for Image Data
Advisor: Bharat Bhargava
Quality of Service Control for Distributed Multimedia Systems
Advisor: Bharat Bhargava
On the Modeling, Design, and Implementation of Firewall Technology
Advisor: Eugene H. Spafford
Recommender Systems for Problem Solving Environments
Advisor: Elias N. Houstis
Interactive Visualization of Multidimensional Scientific Data
Advisor: Chandrajit Bajaj
The Design of a Metacomputing Environment
Advisor: Dan C. Marinescu
Robustness and Approximation in Combinatorial Optimization
Advisor: Greg N. Frederickson
1996
Automatic Reconstruction of CAD Models and Properties from Digital Scans
Advisor: Chandrajit Bajaj
An Agent-Based Approach to Building Multidisciplinary Problem Solving Environments
Advisor: John R. Rice
Techniques for Synchronous Retrieval of Concurrent Multimedia I/O Streams
Advisors: Arif Ghafoor and Ahmed K. Elmagarmid
An Architecture for a Campus-sized Wireless Mobile Network
Advisor: Douglas E. Comer
Brokered Collaborative Systems for CSCW
Advisor: Chandrajit Bajaj
Modularization Constructs for Object-Oriented and Functional Languages
Advisor: Vincent F. Russo
Software Architectures for Fault-Tolerant Replications and Multithreaded Decompositions: Experiments with Practical Parallel Simulation
Advisor: Vernon J. Rego
Scientific Data Visualization and Image Processing Data with Applications to Structural Biology
Advisor: Dan C. Marinescu
A System for Multithreaded Parallel Simulation and Computation with Migrant Threads and Objects
Advisor: Vernon J. Rego
Hiding the Latency of Paging and Input/Output Operations on Massively Parallel Systems
Advisor: Dan C. Marinescu
Interactive Modeling with A-patches
Advisor: Chandrajit Bajaj
Data Management in Wireless Client-Server Information Systems
Advisor: Ahmed K. Elmagarmid
Structural Subtyping in a Distributed Object System
Advisor: Vincent F. Russo
1995
Adequacy Assessment of Tests for Fault-tolerance
Advisor: Aditya P. Mathur
Data Replication and Communication for Topologically Scaled Distributed Systems
Advisor: Bharat Bhargava
Two Dimensional Concurrent Program Debugging
Advisor: Michal Young
Representation, Evaluation and Editing of Feature-Based and Constraint-Based Design
Advisor: Christoph M. Hoffmann
Constraint Solving for Computer Aided Design
Advisor: Christoph M. Hoffmann
Classification and Detection of Computer Intrusions
Advisor: Eugene H. Spafford
Transaction Management for Mobile Heterogeneous Computing
Advisor: Bharat Bhargava
Parallel Electronic Prototyping of Physical Objects
Advisor: Elias N. Houstis
1994
Communication Experiments for Distributed Transaction Processing -- From Lan to Wan
Advisor: Bharat Bhargava
Collaborative Multimedia Environments for Problem Solving
Advisor: Chandrajit Bajaj
Tools and Techniques for Testing Based Software Reliability Estimation
Advisors: Vernon J. Rego and Aditya P. Mathur
Enhancing Functionality of Relational Database Systems
Advisor: Bharat Bhargava
Management of an Internet of Routers
Advisor: Douglas E. Comer
Multi-Threading in Distributed-Memory Systems and Simulation: Design, Implementation, and Experiments
Advisor: Vernon J. Rego
Access Control for Collaborative Environments
Advisor: Prasun Dewan
Problem Solving Environments for Partial Differential Equations
Advisor: Elias N. Houstis
Advanced Transaction Management for Supporting Interoperability in Multidatabase Systems
Advisor: Bharat Bhargava
Neurocomputing on Distributed Memory Machines
Advisor: Elias N. Houstis
Determination of Biological Macromolecular Structures Using Distributed Memory MIMD Systems
Advisor: Dan C. Marinescu
Reliable Message Transport For Network Communication
Advisor: Douglas E. Comer
Concurrency Control and Scheduling for Hard Real-Time Systems
Advisor: Michal Young
The Medial Axis Transform to Boundary Representation Conversion
Advisor: Christoph M. Hoffmann
Enhancing Debugging Technology
Advisor: Eugene H. Spafford
1993
Scheduling Support Mechanisms for Autonomous, Heterogeneous, Distributed Systems
Advisor: Eugene H. Spafford
Concurrency Enhancement through Program Unification: Design, Techniques, and Experiments
Advisor: Vernon J. Rego
Atomic Commitment in Multidatabase Systems
Advisor: Ahmed K. Elmagarmid
On Mutation and Data Flow
Advisor: Aditya P. Mathur
Controlling State Explosion in Reachability Analysis
Advisor: Michal Young
A Systematic Approach for the Specification and the Execution of Global Transactions in Multidatabase Systems
Advisor: Ahmed K. Elmagarmid
Concurrent Composite Computational Model for Stochastic Simulation
Advisor: Vernon J. Rego
On Connectionism and the Problem of Correspondence
Advisors: Chia-Hoang Lee and Vernon J. Rego
Software Debugging with Dynamic Instrumentation and Test-Based Knowledge
Advisors: Richard A. DeMillo and Eugene H. Spafford
New Approaches for VLSI Layout Compaction
Advisor: Susanne E. Hambrusch
Computational Problems in Feature Research
Advisor: David C. Anderson
1992
Symbolic Methods in Computer Graphics and Geometric Modeling
Advisor: Chandrajit Bajaj
Parallel Techniques for Paths, Visibility, and Related Problems
Advisor: Mikhail J. Atallah
The Euclidian Distance Transform
Advisor: Christoph M. Hoffmann
On the Mapping of Partial Differential Equation Computations onto Distributed Memory MIMD Parallel Machines
Advisor: Elias N. Houstis
An Object-based Problem Solving Environment for Collaborating PDE Solvers and Editors
Advisor: John R. Rice
Replication and Fragmentation of Composite Objects in Distributed Database Systems
Advisor: Bharat Bhargava
Analysis of Some Trie Parameters Under Probabilistic Models
Advisor: Wojciech Szpankowski
An Alternative Computational Model for Artificial Intelligence
Advisor: Chia-Hoang Lee
1991
Compiler-Integrated Software Testing
Advisor: Richard A. DeMillo
Exact Arithmetic Solid Modeling
Advisor: Christoph M. Hoffmann
Visualization of Four Dimensional Space and Its Applications
Advisor: Christoph M. Hoffmann
Towards Automatic Debugging of Computer Programs
Advisors: Richard A. DeMillo and Eugene H. Spafford
Distributed Scientific Software Systems
Advisor: Wayne R. Dyksen
Decompositions of Polyhedra in Three Dimensions
Advisor: Chandrajit Bajaj
Remote Memory Backing Storage for Distributed Virtual Memory Operating Systems
Advisor: Douglas E. Comer
On Surface Design with Implicit Algebraic Surfaces
Advisor: Chandrajit Bajaj
Flexible Transaction Management in the InterBase Project
Advisor: Ahmed K. Elmagarmid
Mesh Algorithms for Problems in Image Processing
Advisor: Susanne E. Hambrusch
Maintaining Multidatabase Consistency: The Quasi Serializability Approach
Advisor: Ahmed K. Elmagarmid
Adaptability to Failures in Distributed Systems
Advisor: Bharat Bhargava
Route Adaptation and Persistence in Networks
Advisor: Douglas E. Comer
Intelligent Program Optimization and Parallelization for Parallel Computers
Advisor: Piyush Mehrotra
1990
Design Format Transformations
Advisor: Buster Dunsmore
Software Testing Using High Performance Computers
Advisor: Aditya P. Mathur
Compiling Programs for Distributed Memory Machines
Advisor: Piyush Mehrotra
On Increasing Reliability and Availability in Distributed Database Systems
Advisor: Bharat Bhargava
Experimental Studies in Distributed Transaction Processing Systems
Advisor: Bharat Bhargava
Geometric Symmetry in Graphs
Advisor: Mikhail J. Atallah
Type Reconstruction Algorithms for Object-Oriented Languages
Advisor: Ryan D. Stansifer
Surface Approximations in Geometric Modeling
Advisor: Christoph M. Hoffmann
Techniques for Solving Geometric Problems on Mesh-Connected Computers
Advisor: Mikhail J. Atallah
Quorum-based Recovery in Replicated Database Systems
Advisor: Bharat Bhargava
Adaptable Distributed Transaction Systems
Advisor: Bharat Bhargava
1989
Parallel Job Scheduling Algorithms
Advisor: Greg N. Frederickson
Parallel Iterative Techniques for the Solution of Elliptic Partial Differential Equations
Advisor: Wayne R. Dyksen
Vehicle Routing in Simple Graphs
Advisor: Greg N. Frederickson
On the Relationship Between Parallel Computation and Graph Embeddings
Advisor: Susanne E. Hambrusch
An Architecture for High-Speed Packet Switched Networks
Advisor: Douglas E. Comer
1988
Motion Planning with Geometric Models
Advisor: Chandrajit Bajaj
Consistent State Detection and Recovery for Concurrent Processing
Advisor: Bharat Bhargava
Best Effort Delivery in Connectionless Networks
Advisor: Douglas E. Comer
Semlog: Multiparadigm Programming Language for Knowledge Engineering
Advisor: Andrew B. Whinston
Parallel Algorithms and Architectures for the Numerical Solution of Partial Differential Equations
Advisor: Elias N. Houstis
An Objective Methodology for Early Software Size Estimation
Advisor: Samuel D. Conte
Designing Efficient Parallel Algorithms: Techniques and Applications
Advisor: Greg N. Frederickson
A Distributed Program Composition System
Advisors: Douglas E. Comer and Peter J. Denning
Service Execution in a Distributed Environment
Advisor: J. Timothy Korb
1987
A Uniform Model of Interaction in Interactive Systems
Advisor: J. Timothy Korb
Efficient Parallel Techniques for Computational Geometry
Advisor: Mikhail J. Atallah
Space-efficient Schemes for Message Routing in Distributed Networks
Advisor: Greg N. Frederickson
Dynamic Memory Allocation Techniques based on the Lifetime of Objects
Advisor: Thomas P. Murtagh
1986
Naming of Files in Distributed Systems
Advisor: Douglas E. Comer
Cache Coherence in Distributed Systems
Advisor: Douglas E. Comer
Domain Mappings: A Tool for the Development of Vector Algorithms for Numerical Solutions of Partial Differential Equations
Advisor: John R. Rice
File Replication in Distributed Systems
Advisor: Walter F. Tichy
Recognition of 3-Dimensional Objects by Rendering Function Matching
Advisor: Andrew B. Whinston
An Equational Approach to Decision Support Systems
Advisor: Andrew B. Whinston
1985
Pringle: A Test Bed for Parallel Computer and Parallel I/O Architectures
Advisor: Dennis B. Gannon
Primitive Parallel Operations for Computational Linear Algebra
Advisor: Dennis B. Gannon
The Static and Dynamic Models of Software Defects and Reliability
Advisor: Buster Dunsmore
Graph Based Data Flow Programming of Parallel Machines
Advisor: Dennis B. Gannon
Parallel Processing Image Synthesis
Advisor: Dennis B. Gannon
Approximate and Exact Solutions for Multiple Class Queueing Network Models
Advisor: Herbert D. Schwetman
Defining and Naming the Fundamental Objects in a Distributed Message System
Advisor: Douglas E. Comer
1984
Vector C - A Programming Language for Vector Processing
Advisor: Herbert D. Schwetman
The Estimation of Software Size and Effort: An Approach Based on the Evaluation of Software Metrics
Advisor: Buster Dunsmore
Practical Take-Grant Systems: Do They Exist?
Advisor: Dorothy E. Denning
Incorporating Open Queueing Models into Closed Queueing Network Algorithms
Advisor: Peter J. Denning
1983
The Nondeterministic Computation of Functions
Advisor: Paul R. Young
Metamodeling: A Study of Approximations in Queueing Models
Advisor: Peter J. Denning
OMNI: An Interactive Environment for Tool Selection, Specification, and Composition
Advisor: Douglas E. Comer
Optimal Difference Formulas
Advisor: John R. Rice
Graph Spectra and Isomorphism Testing
Advisor: Christoph M. Hoffmann
Performance Based Design and Analysis of Multimicrocomputer Networks
Advisor: Herbert D. Schwetman
Concurrency Control in Distributed Ring Computer Systems
Advisor: Peter J. Denning
The Saturation Effect in Large-Scale Software Development: Its Impact and Control
Advisor: Vincent Y. Shen
1982
Operational Analysis of Queueing Phenomena
Advisor: Peter J. Denning
On the Complexity of Retrieving Information Associated with Data Keys
Advisor: Michael J. O'Donnell
Tensor Product Generalized Alternating Direction Implicit Methods for Solving Separable Second Order Linear Elliptic Partial Differential Equations
Advisor: John R. Rice
Wafer Scale Integration of Configurable, Highly Parallel Processors
Advisor: Lawrence Snyder
Highly Parallel Processing of Relational Databases
Advisor: Lawrence Snyder
A Methodology and System for Logical Data Base Design
Advisor: Andrew B. Whinston
Finite Difference Methods for Nearly Singular Problems
Advisor: John R. Rice
1981
Normal Forms in Term Rewriting Systems
Advisor: Michael J. O'Donnell
On the Power of Formal Systems for Analyzing Linear and Polynomial Time Program Behavior
Advisor: Paul R. Young
On Modeling Local Paging Algorithms for Virtual Memory Systems
Advisor: Herbert D. Schwetman
1980
Enhanced Effort Estimation by Extending Basic Programming Models to Include Modularity Factors
Advisor: Vincent Y. Shen
Programming Languages as Abstract Data Types -- Definition and Implementation
Advisor: Peter J. Denning
A Capability Based Machine
Advisor: Peter J. Denning
1979
Approximate Methods in Computer Performance Evaluation
Advisor: Peter J. Denning
The Optimization of Query Processing on Distributed Database Systems
Advisor: S. Bing Yao
Computer Graphics in Macromolecular Crystallography
Advisor: David C. Anderson
High Order Finite Difference Techniques for Elliptic Boundary Value Problems
Advisor: John R. Rice
Functionality and Performance in Capability-Based Operating Systems
Advisor: Herbert D. Schwetman
Modeling of Virtual Memory Systems
Advisor: Peter J. Denning
1978
On Single and Multiple Job Class Queueing Network Models of Computer Systems
Advisor: Herbert D. Schwetman
On the Modeling of Resource Demands in a Multiprogrammed Computer System
Advisor: Herbert D. Schwetman
Some Polynomial Time Reducibilities
Advisor: Paul R. Young
Data-Flow Graphs as an Intermediate Program Form
Advisor: Maurice H. Halstead
Predicting Parameters of the Software Validation Effort
Advisor: Maurice H. Halstead
Error Recovery for Extended LL-Regular Parsers
Advisor: Christoph M. Hoffmann
1977
A Measure of Mental Effort Related to Program Clarity
Advisor: Maurice H. Halstead
Inference From Statistical Data Bases
Advisor: Peter J. Denning
A Theoretical Study of Some Aspects of Parameter Passing in ALGOL 60 and in Similar Programming Languages
Advisor: Paul R. Young
1976
A Study of Program and Memory Policy Behaviour
Advisor: Peter J. Denning
Computer Aided Logical Applications Software Design
Advisor: Jay F. Nunamaker
Theoretical Description of an Access Language for a General Decision Support System
Advisor: Andrew B. Whinston
A Quasi-Interactive Approach to Computer Assisted Instruction
Advisor: Herbert D. Schwetman
Program Behavior and Load Dependent System Performance
Advisor: Peter J. Denning
An Automatic System for Application Software Generation and Portability
Advisor: Jay F. Nunamaker
Speedup in Parallel Algorithms for Adaptive Quadrature
Advisor: John R. Rice
The Optimal Distribution of Device-Dependent Graphics Functions
Advisor: Richard E. Garrett
A Micro-program Mini-computer for the Efficient Execution of High-level Language Program
Advisor: Victor B. Schneider
1975
Portability and Adaptability in Operating System Design
Advisor: Victor B. Schneider
Factors Affecting the Program Size of Control Functions of Operating Systems
Advisor: Maurice H. Halstead
Semantic and Syntactic Specification and Extension of Languages
Advisor: Victor B. Schneider
Secure Information Flow in Computer Systems
Advisor: Herbert D. Schwetman
1974
Computational Aspects of the Busy Period for the Single-Server Queue in Discrete Time
Advisor: Marcel F. Neuts
Collocation Solutions of Systems of Boundary Value Problems
Advisor: John R. Rice
A Non-Procedural High-Level Language for Automated Design of Application Systems
Advisor: Jay F. Nunamaker
Analysis of Scheduling Algorithms for a Model of a Multiprocessor Computer System
Advisor: Vincent Y. Shen
Planning and Management Systems for Small Colleges
Advisor: Jay F. Nunamaker
Optimal Chebyshev-Type Quadrature Formulas for Various Weight Functions
Advisor: Walter Gautschi
An Interactive Information Systems Optimization and Design Algorithm
Advisor: Jay F. Nunamaker
Decompilation and the Transfer of Mini Computer Operating Systems
Advisor: Victor B. Schneider
Semantic Decomposition of Computer Programs: A Program Test Aid
Advisor: Maurice H. Halstead
Provably Recursive Analysis
Advisor: Paul R. Young
Finite Element Methods for Solving Initial Boundary Value Problems
Advisor: John R. Rice
The Value of Dynamic Algebra Operators for Sequential Computers
Advisor: Maurice H. Halstead
The Internal Structure of Algorithms
Advisor: Maurice H. Halstead
1973
A Scheduling Model for Computer Systems with Two Classes of Processors
Advisor: Vincent Y. Shen
Analysis of Computer Scheduling with Memory Constraints
Advisor: Vincent Y. Shen
Performance Measures for a Data Base Management System
Advisor: Andrew B. Whinston
Invariant Properties of Algorithms
Advisor: Maurice H. Halstead
A Study of Decompiling Machine Languages into High-Level Machine Independent Languages
Advisor: Maurice H. Halstead
Magnetic Tape Portability
Advisor: Jay F. Nunamaker
Design Considerations for Interactive, Application Oriented, Transportable Subsystems
Advisor: John R. Rice
Computational Solution of Global Nonlinear Least Squares Problems
Advisor: John R. Rice
GPLAN-WPC: A Generalized Data Base Planning System for Water Pollution Control
Advisor: Jay F. Nunamaker
A Formal Model of Interacting Learning Machines
Advisor: Terry J. Frederick
On the Relationship Between Prefix Codes, Trees, and Automata
Advisor: J. Richard Buchi
Techniques for Compressing Bounded Context Acceptors
Advisor: Victor B. Schneider
The Structure of an Environment for an Experimental, Interactive, Mathematical Problem Solving System
Advisor: Samuel D. Conte
1972
Semantic Primitives for Quick Implementation of a Family of Procedural Languages
Advisor: Victor B. Schneider
Some Galerkin Methods for a Semilinear Hyperbolic Mixed Boundary Value Problem
Advisor: Robert E. Lynch
The Design and Implementation of TUNA, A High Level Graphical Programming Language
Advisor: Maurice H. Halstead
Optimal Order Approximation by Polynomial Spline Functions
Advisor: Carl deBoor
Topological Reorganization as an Aid to Program Simplification
Advisor: Maurice H. Halstead
A Methodology for the Analysis of Auxiliary Storage Systems
Advisor: Maurice H. Halstead
An Algorithm for Grammatical Inference of Programming Languages
Advisor: Maurice H. Halstead
Structural Reorganization of Multipass Computer Programs
Advisor: Maurice H. Halstead
A SNOBOL Machine: Functional Architectural Concepts of a String Processor
Advisor: Maurice H. Halstead
1971
An Extendible Interactive Debugging System
Advisor: Saul Rosen
Computer Programming with a Dynamic Algebra
Advisor: Maurice H. Halstead
A Study of Code Optimization Using a General Purpose Optimizer
Advisor: Maurice H. Halstead
Linear Closure Spaces and Matroids, Convex Closure Spaces and Paramatroids
Advisor: J. Richard Buchi
1970
Hierarchies Based on Computational Complexity and Irregularities of Class Determining Measured Sets
Advisor: Paul R. Young
Aspen -- An Automatic Partial Differential Equation Solver
Advisor: Samuel D. Conte
A Computer System to Teach Computational Mathematics
Advisor: Samuel D. Conte
Estimating the Eigenvalues of Sturm-Liouville Problems by Approximating the Differential Equation
Advisor: Carl deBoor
1969
Approximation of Bessel's Differential Operator of Fractional Order by Finite-Difference Operators
Advisor: Robert E. Lynch
Collocation as a Projection Method for Solving Integral and Other Operator Equations
Advisor: Walter Gautschi
A Dynamic Component Suppression Algorithm for the Acceleration of Vector Sequences
Advisor: L. Duane Pyle
A System for the Construction of Variable Model Compilers and Schedulers
Advisor: Saul Rosen
The PUFFT Time Sharing System -- Design, Implementation and Performance
Advisor: Saul Rosen
The Bandwidth of Graphs
Advisor: Robert R. Korfhage
A Mathematical Problem Solving Language and Its Interpreter
Advisor: John R. Rice
1968
Interpolation and Approximation by Generalized Convex Functions
Advisor: John R. Rice
Approximation with Kernels of Finite Oscillations
Advisor: John R. Rice
Certain Extended Post Canonical Systems Related to Context-Sensitive Languages
Advisor: J. Richard Buchi
Computational Algorithms for Linear Difference Equations
Advisor: Walter Gautschi
1967
Explicit Asymmetric Difference Algorithms for the Approximate Solution of Parabolic Partial Differential Equations
Advisor: Samuel D. Conte
On Some Iterative Methods for Solving a Class of Nonlinear Boundary Value Problems
Advisor: Samuel D. Conte
A Design Algorithm for Sequential Machines and Definability in Monadic Second-Order Arithmetic
Advisor: J. Richard Buchi
Properties of a Semi-Discrete Approximation to the Beam Equation
Advisor: John S. Maybee
Tree Generating Systems and Tree Automata
Advisor: J. Richard Buchi
Some Results on Amplitude Damped Vibrations
Advisor: John S. Maybee
1966
A Quadratically Convergent Method for Solving Simultaneous Non-linear Equations
Advisor: Samuel D. Conte
Computational Aspects of Approximation in the L\d1\u Metric
Advisor: John R. Rice