The following results match your query:

• 2024
• Precisely Tracking Floating-Point Error with a Step-Function Abstract Domain(DRP-202403-Dario)
  Anthony DarioDirected Research Project(Mar 2024)
  Abstract
  BibTeX
• MCBench: A Multi-Cloud Benchmarking System(MS-202403-Alabduljalil)
  Abdulaziz AlabduljalilMasters Thesis(Mar 2024)
  Abstract
  BibTeX
• 2023
• A Distributed-Memory Parallel Approach for Volume Rendering with Shadows(DRP-202312-Mathai)
  Manish MathaiDirected Research Project(Dec 2023)
  Abstract
  BibTeX
• Reflections of Closures(PHD-202311-Sullivan)
  Zachary J. SullivanDissertation Defense(Nov 2023)
  Abstract
  BibTeX
• A high-performance characterization of hybridized PDEs(DRP-202311-McLaughlin)
  Joseph McLaughlinDirected Research Project(Nov 2023)
  Abstract
  BibTeX
• Using Bus Factor Analysis to Guide Effort Allocation in Open-Source Software Projects(DRP-202311-Lisan)
  Aliza LisanDirected Research Project(Nov 2023)
  Abstract
  BibTeX
• Learning-Based Landmark Estimation of 3D Body Scans(MS-202311-Baruwa)
  Ahmed BaruwaMasters Thesis(Nov 2023)
  Abstract
  BibTeX
• Certified and Forensic Defenses against Poisoning and Backdoor Attacks(PHD-202310-Hammoudeh)
  Zayd HammoudehDissertation Defense(Oct 2023)
  Abstract
  BibTeX
• Backdoor Attacks and Defenses in Natural Language Processing(AREA-202309-You)
  Wencong YouArea Exam(Sep 2023)
  Abstract
  BibTeX
• Large-scale Graph Analytics and Frameworks (AREA-202309-Srinivasan)
  Sudharshan SrinivasanArea Exam(Sep 2023)
  Abstract
  BibTeX
• Coupling Parallel and Distributed Programs for Sparse Data(AREA-202309-Anderson)
  S. Isaac Geronimo AndersonArea Exam(Sep 2023)
  Abstract
  BibTeX
• Zero-shot Cross-lingual Transfer Learning with Multiple Source and Target Languages for Information Extraction: Language Selection and(DRP-202308-Ngo)
  Nghia Trung NgoDirected Research Project(Aug 2023)
  Abstract
  BibTeX
• Advancing Clinical Natural Language Processing through Knowledge-Infused Language Models(PHD-202308-Lu)
  Qiuhao LuDissertation Defense(Aug 2023)
  Abstract
  BibTeX
• Low-Resource Event Extraction(PHD-202308-Lai)
  Viet Dac LaiDissertation Defense(Aug 2023)
  Abstract
  BibTeX
• Isomorphism, Normalizing Flows, and Density Estimation: Preserving Relationships Between Data(AREA-202307-Walton)
  Steven WaltonArea Exam(Jul 2023)
  Abstract
  BibTeX
• Neighborhood Attention: dynamic restriction of self attention(AREA-202307-Hassani)
  Ali HassaniArea Exam(Jul 2023)
  Abstract
  BibTeX
• Foundations of LEO Satellite Edge Computing: An Empirical Study Based on the Hypatia Simulator(MS-202307-Dinh)
  Tien DinhMasters Thesis(Jul 2023)
  Abstract
  BibTeX
• Multilingual Information Extraction: Challenges and Solutions(AREA-202306-Nguyen)
  Minh NguyenArea Exam(Jun 2023)
  Abstract
  BibTeX
• Improving Cross-Lingual Transfer Learning for Event Detection(PHD-202306-Nateras)
  Luis Fernando Guzman NaterasDissertation Defense(Jun 2023)
  Abstract
  BibTeX
• Extending Text2Video-Zero for Multi-ControlNet(UG-202306-Backen)
  Ben BackenHonors Bachelors Thesis(Jun 2023)
  Abstract
  BibTeX
• SecDeLP : Secure Decentralized Lending Platforms against Oracle Manipulation Attacks(DRP-202306-Arora)
  Sanidhay Arora, Yingjiu Li, Yebo Feng, Jiahua XuDirected Research Project(Jun 2023)
  Abstract
  BibTeX
• M-EDESE: Multi-Domain, Easily Deployable, and Efficiently Searchable Encryption(DRP-202305-Yuan)
  Jiaming Yuan, Yingjiu Li, Jianting Ning, Robert H. DengDirected Research Project(May 2023)
  Abstract
  BibTeX
• Structure-based Models for Neural Information Extraction(PHD-202305-Veyseh)
  Amir Pouran Ben VeysehDissertation Defense(May 2023)
  Abstract
  BibTeX
• A Journey to Build a Dog Walking Web Application(UG-202305-Pelky)
  Angela PelkyHonors Bachelors Thesis(May 2023)
  Abstract
  BibTeX
• Vision Transformers under Data Poisoning Attacks(UG-202305-Peery)
  Gabriel PeeryHonors Bachelors Thesis(May 2023)
  Abstract
  BibTeX
• An Exploration of Decision Making Models in the Face of Untrusted Data(AREA-202305-Kinsey)
  Sarah KinseyArea Exam(May 2023)
  Abstract
  BibTeX
• The Intersection of Technology and Everyday Life(UG-202305-Horn)
  Lauren Van HornHonors Bachelors Thesis(May 2023)
  Abstract
  BibTeX
• Automating User-Preferred Camera Placement for Volume Rendered Scientific Visualization(UG-202305-Gallagher)
  Ginni GallagherHonors Bachelors Thesis(May 2023)
  Abstract
  BibTeX
• Fine-grained, Content-agnostic Network Traffic Analysis for Malicious Activity Detection(PHD-202305-Feng)
  Yebo FengDissertation Defense(May 2023)
  Abstract
  BibTeX
• Cryptography, Dependability and Privacy in Decentralized Systems(PHD-202304-Hu)
  Zhangxiang HuDissertation Defense(Apr 2023)
  Abstract
  BibTeX
• Forget-Me-Not: Learning to Forget in Text-to-Image Diffusion Models(DRP-202303-Zhang)
  Gong ZhangDirected Research Project(Mar 2023)
  Abstract
  BibTeX
• A Five-Year Survey of Literature in Software Engineering and Repository Mining Research(AREA-202303-Schwartz)
  Samuel David SchwartzArea Exam(Mar 2023)
  Abstract
  BibTeX
• Personalizing Public Health: Using Deep Q-Learning to Lower Type II Diabetes Risk in India(UG-202303-Reis)
  Sabrina ReisHonors Bachelors Thesis(Mar 2023)
  Abstract
  BibTeX
• On the Multi-Fractal Nature of Observed IP Addresses in Measured Internet Traffic(MS-202303-OConnor)
  Walton O'ConnorMasters Thesis(Mar 2023)
  Abstract
  BibTeX
• Accelerating Sparse Matricized Tensor Times Khatri Rao Product on Massively Parallel Architectures(UG-202303-Nguyen)
  Andy NguyenHonors Bachelors Thesis(Mar 2023)
  Abstract
  BibTeX
• Traffic Monitoring Using Programmable Switch Hardware for In-Network Aggregation(AREA-202303-Misa)
  Chris MisaArea Exam(Mar 2023)
  Abstract
  BibTeX
• Exploring Clinical NLP with Pre-trained Language Models(AREA-202302-Lu)
  Qiuhao LuArea Exam(Feb 2023)
  Abstract
  BibTeX
• 2022
• General Purpose Flow Visualization at the Exascale(PHD-202212-Yenpure)
  Abhishek YenpureDissertation Defense(Dec 2022)
  Abstract
  BibTeX
• Physics-Informed Deep Learning Frameworks for Solving Partial Differential Equations(AREA-202212-Rucker)
  Cody RuckerArea Exam(Dec 2022)
  Abstract
  BibTeX
• Understanding and Adapting Tree Ensembles: A Training Data Perspective(PHD-202212-Brophy)
  Jonathan BrophyDissertation Defense(Dec 2022)
  Abstract
  BibTeX
• Modern Cross-Lingual Information Extraction(AREA-202211-Nateras)
  Luis Fernando Guzman NaterasArea Exam(Nov 2022)
  Abstract
  BibTeX
• On Operational Policy Conflict Detection and Resolution in CPS-IoT systems(AREA-202211-Hall)
  Jared HallArea Exam(Nov 2022)
  Abstract
  BibTeX
• Towards Illuminating the I/O Optimization Path(DRP-202211-Ather)
  Hammad AtherDirected Research Project(Nov 2022)
  Abstract
  BibTeX
• Low Resource Event Extraction: A Survey(AREA-202210-Lai)
  Viet Dac LaiArea Exam(Oct 2022)
  Abstract
  BibTeX
• Gradient Temporal Difference-Difference Q-Learning for Control(DRP-202209-Trappett)
  Matthew TrappettDirected Research Project(Sep 2022)
  Abstract
  BibTeX
• Using the AVL Algorithm to Evaluate the Bus Factor of Research Software Projects(UG-202209-Kobak)
  Ellie KobakHonors Bachelors Thesis(Sep 2022)
  Abstract
  BibTeX
• Iterative Methods for Earthquake Cycle Simulations with HPC Applications(AREA-202208-Chen)
  Alexandre ChenArea Exam(Aug 2022)
  Abstract
  BibTeX
• In Situ Visualization of Performance Data for High-Performance Computing Applications(AREA-202206-Yokelson)
  Dewi YokelsonArea Exam(Jun 2022)
  Abstract
  BibTeX
• On the Multifractal Structure of Observed Internet Addresses(UG-202206-Walter)
  Megan WalterHonors Bachelors Thesis(Jun 2022)
  Abstract
  BibTeX
• Visualizing the Structure of Network Traffic Features Across the IP Address Space(UG-202206-Tan)
  Eugene TanHonors Bachelors Thesis(Jun 2022)
  Abstract
  BibTeX
• Defending Against IoT-Enabled DDoS Attacks at Critical Vantage Points on the Internet(PHD-202206-Sisodia)
  Devkishen SisodiaDissertation Defense(Jun 2022)
  Abstract
  BibTeX
• Efficient Sparse Neural Network Training(MS-202206-Shvedov)
  Konstantin ShvedovMasters Thesis(Jun 2022)
  Abstract
  BibTeX
• The Time Slice Selection Bake-off(MS-202206-Kawakami)
  Yuya KawakamiMasters Thesis(Jun 2022)
  Abstract
  BibTeX
• Performance Observability and Monitoring of High Performance Computing With Microservices(PHD-202205-Ramesh)
  Srinivasan RameshDissertation Defense(May 2022)
  Abstract
  BibTeX
• Escaping the Big Data Paradigm with Compact Transformers(DRP-202205-Hassani)
  Ali HassaniDirected Research Project(May 2022)
  Abstract
  BibTeX
• Empirical Performance Analysis of HPC Applications with Portable Hardware Counter Metrics(PHD-202205-Gravelle)
  Brian J GravelleDissertation Defense(May 2022)
  Abstract
  BibTeX
• Understanding and Advancing the Status Quo of DDoS Defense(PHD-202203-Shi)
  Lumin ShiDissertation Defense(Mar 2022)
  Abstract
  BibTeX
• Toward Finer Granularity Analysis of Network Traffic(AREA-202203-Feng)
  Yebo FengArea Exam(Mar 2022)
  Abstract
  BibTeX
• Performance Portability of Sparse Tensor Decomposition Operations(DRP-202203-Anderson)
  Sean Isaac Geronimo Anderson, Jee ChoiDirected Research Project(Mar 2022)
  Abstract
  BibTeX
• Automating Camera Placement for In Situ Visualization(PHD-202202-Marsaglia)
  Nicole MarsagliaDissertation Defense(Feb 2022)
  Abstract
  BibTeX
• 2021
• Analyzing the Code Quality of Large Scale Software Packages(DRP-202112-Ndemeye)
  Bosco NdemeyeDirected Research Project(Dec 2021)
  Abstract
  BibTeX
• FLAMENCO: A Programmatic Labeling and Sharing Framework for Internet Data Science(DRP-202112-Lavinia)
  Yukhe LaviniaDirected Research Project(Dec 2021)
  Abstract
  BibTeX
• Modeling the Impact of Memory Architecture for Dynamic Adaptation in HPC Runtimes(PHD-202111-Monil)
  Mohammad Alaul Haque MonilDissertation Defense(Nov 2021)
  Abstract
  BibTeX
• Compiler-Assisted Program Modeling for Performance Tuning of Scientific Applications(PHD-202109-Meng)
  Kewen MengDissertation Defense(Sep 2021)
  Abstract
  BibTeX
• Accelerating Machine Learning via Multi-Objective Optimization(PHD-202109-Lim)
  Robert LimDissertation Defense(Sep 2021)
  Abstract
  BibTeX
• A Non-stiff Summation-By-Parts Finite Difference Method for Earthquake Cycle Simulations with Full Dynamic Effects(DRP-202109-Harvey)
  Tobias HarveyDirected Research Project(Sep 2021)
  Abstract
  BibTeX
• Compiling a New Kind of Faster Curry(MS-202108-Hairapetian)
  Shant HairapetianMasters Thesis(Aug 2021)
  Abstract
  BibTeX
• Localized Embeddings (LocEm): A multi-task model for localization, classification, and retrieval of multiple objects in images(DRP-202107-Kale)
  Shravan KaleDirected Research Project(Jul 2021)
  Abstract
  BibTeX
• Particle Advection Workloads: Performance Characteristics and Optimizations(AREA-202106-Yenpure)
  Abhishek YenpureArea Exam(Jun 2021)
  Abstract
  BibTeX
• Evaluating a Joint Neural Model with Global Features for Document-Level End-to-End Information Extraction(MS-202106-Wang)
  Haoran WangMasters Thesis(Jun 2021)
  Abstract
  BibTeX
• Identifying Strongly Connected Components onDistributed Networks(DRP-202106-Srinivasan)
  Sudharshan SrinivasanDirected Research Project(Jun 2021)
  Abstract
  BibTeX
• High Performance Streaming Tensor Decomposition(DRP-202106-Soh)
  Yongseok Paul SohDirected Research Project(Jun 2021)
  Abstract
  BibTeX
• When Does a Bit Matter? Techniques for Verifying the Correctness of Assembly Languages and Floating-Point Programs(PHD-202106-Pollard)
  Samuel D. PollardDissertation Defense(Jun 2021)
  Abstract
  BibTeX
• Ranking Cryptocurrency Exchanges by Trustworthiness(UG-202106-Perkins)
  Carter PerkinsHonors Bachelors Thesis(Jun 2021)
  Abstract
  BibTeX
• Analysis of a Mobile Computing System For Indoor Environmental Monitoring(MS-202106-McLaughlin)
  Joseph McLaughlinMasters Thesis(Jun 2021)
  Abstract
  BibTeX
• Accelerating Science with Directive-Based Programming on Heterogeneous Machines and Future Technologies(PHD-202106-Lambert)
  Jacob LambertDissertation Defense(Jun 2021)
  Abstract
  BibTeX
• Abstracting Injustice: An Analysis of the Use of Artificial Intelligence in Criminal Justice(UG-202106-Huynh-Watkins)
  Vincent Huynh-WatkinsHonors Bachelors Thesis(Jun 2021)
  Abstract
  BibTeX
• Using Remote Sensing Data and Machine Learning Methods to Predict Wildfire Severity(UG-202106-Dorrell)
  Genevieve DorrellHonors Bachelors Thesis(Jun 2021)
  Abstract
  BibTeX
• A Computational Framework for Characterizing Viscoelastic Effects Surrounding a Buried Magma Reservoir(DRP-202105-Rucker)
  Cody RuckerDirected Research Project(May 2021)
  Abstract
  BibTeX
• Evolution of HPC Software Development and Accompanying Changes in Performance Tools(AREA-202105-Ramesh)
  Srinivasan RameshArea Exam(May 2021)
  Abstract
  BibTeX
• Multilingual Natural Language Processing: From Upstream to Downstream Tasks(DRP-202105-Nguyen)
  Minh NguyenDirected Research Project(May 2021)
  Abstract
  BibTeX
• Countering Attacker Data Manipulation in Security Games(DRP-202105-Butler)
  Andrew Ryan Butler, Thanh Nguyen, Arunesh SinhaDirected Research Project(May 2021)
  Abstract
  BibTeX
• The Design and Implementation of a Real-Time Complex Event Processing Framework for CPS/IoT Systems(DRP-202104-Hall)
  Jared HallDirected Research Project(Apr 2021)
  Abstract
  BibTeX
• Utilizing Text Structure for Information Extraction(AREA-202103-Veyseh)
  Amir Pouran Ben VeysehArea Exam(Mar 2021)
  Abstract
  BibTeX
• Dynamic Adaptation Techniques and Opportunities to Improve HPC Runtimes(AREA-202103-Monil)
  Mohammad Alaul Haque MonilArea Exam(Mar 2021)
  Abstract
  BibTeX
• On the Resiliance of Internet Infrastructures in Pacific Northwest to Earthquakes(UG-202103-Mayer)
  Juno MayerHonors Bachelors Thesis(Mar 2021)
  Abstract
  BibTeX
• Enhancing Monte Carlo Particle Transport for Modern Many-Core Architectures(PHD-202103-Bleile)
  Ryan BleileDissertation Defense(Mar 2021)
  Abstract
  BibTeX
• Online Monitoring for High-Performance Computing Systems(AREA-202102-Wood)
  Chad Daniel WoodArea Exam(Feb 2021)
  Abstract
  BibTeX
• Deriving Practical Implementations from First-Class Functions(AREA-202102-Sullivan)
  Zachary J. SullivanArea Exam(Feb 2021)
  Abstract
  BibTeX
• Layered Network Protocols for Secure Communications in the Internet of Things(AREA-202102-Hu)
  Zhangxiang HuArea Exam(Feb 2021)
  Abstract
  BibTeX
• 2020
• Semantic Oppositeness for Inconsistency and Disagreement Detection in Natural Language(PHD-202012-deSilva)
  Nisansa de SilvaDissertation Defense(Dec 2020)
  Abstract
  BibTeX
• Improving Parallel Particle Advection Performance With Machine Learning(DRP-202012-Schwartz)
  Samuel D SchwartzDirected Research Project(Dec 2020)
  Abstract
  BibTeX
• Evolution of Programming Approaches for High-Performance Heterogeneous Systems(AREA-202012-Lambert)
  Jacob LambertArea Exam(Dec 2020)
  Abstract
  BibTeX
• Theory and Practice of Reconfigurable Optical Networks(AREA-202011-Hall)
  Matthew Nance HallArea Exam(Nov 2020)
  Abstract
  BibTeX
• An Interface for Embedding the BLAS in Haskell(MS-202009-Ndemeye)
  Bosco NdemeyeMasters Thesis(Sep 2020)
  Abstract
  BibTeX
• Exit Through the Training Data: A Look into Instance-Attribution Explanations and Efficient Data Deletion in Machine Learning(AREA-202009-Brophy)
  Jonathan BrophyArea Exam(Sep 2020)
  Abstract
  BibTeX
• Exploring Human-Object Interaction Detection(MS-202009-Bergstrom)
  Trevor BergstromMasters Thesis(Sep 2020)
  Abstract
  BibTeX
• The Applications of Machine Learning Techniques in Networked Systems(PHD-202008-Jamshidi)
  Soheil JamshidiDissertation Defense(Aug 2020)
  Abstract
  BibTeX
• Establishing the Viability and Efficacy of In Situ Reduction Via Lagrangian Representations for Time-Dependent Vector Fields(PHD-202007-Sane)
  Sudhanshu SaneDissertation Defense(Jul 2020)
  Abstract
  BibTeX
• Advancing Visual Specification of Code Requirements for Graphs(DRP-202006-Yokelson)
  Dewi YokelsonDirected Research Project(Jun 2020)
  Abstract
  BibTeX
• DATUM: Dotted Attention Temporal Upscaling Method(DRP-202006-Walton)
  Steven WaltonDirected Research Project(Jun 2020)
  Abstract
  BibTeX
• Measurement and Monitoring Framework for the Evolving Internet(UG-202006-Rudolph)
  Nolan RudolphHonors Bachelor Thesis(Jun 2020)
  Abstract
  BibTeX
• General-Purpose Performance Portable Programming Models for Productive Exascale Computing(AREA-202006-Johnson)
  Alister JohnsonArea Exam(Jun 2020)
  Abstract
  BibTeX
• WalkGAN: Pairwise Adversarial Network Alignment(DRP-202006-Guzman-Nateras)
  Luis F. Guzman-NaterasDirected Research Project(Jun 2020)
  Abstract
  BibTeX
• A Performance Analysis of a Hybridized SBP-SAT Finite-Difference Method for Large Scale Earth Science Applications(DRP-202006-Chen)
  Alexandre (Yimin) ChenDirected Research Project(Jun 2020)
  Abstract
  BibTeX
• Efficient Parallel Particle Advection Via Targeting Devices(MS-202006-Belcher)
  Kristi BelcherMasters Thesis(Jun 2020)
  Abstract
  BibTeX
• Towards Optimized Vector Instructions for High-Performance Functional Programming(MS-202006-Akter)
  Mamtaj AkterMasters Thesis(Jun 2020)
  Abstract
  BibTeX
• Training Deep Neural Networks for Interpretability and Adversarial Robustness(DRP-202005-Noack)
  Adam NoackDirected Research Project(May 2020)
  Abstract
  BibTeX
• Learning Electronic Health Records through Hyperbolic Embedding of Medical Ontologies(DRP-202003-Lu)
  Qiuhao LuDirected Research Project(Mar 2020)
  Abstract
  BibTeX
• In-Line vs. In-Transit In Situ: Which Technique to Use at Scale?(PHD-202003-Kress)
  James KressDissertation Defense(Mar 2020)
  Abstract
  BibTeX
• Learning from Positive and Unlabeled Data with Arbitrary Positive Shift (DRP-202003-Hammoudeh)
  Zayd HammoudehDirected Research Project(Mar 2020)
  Abstract
  BibTeX
• Evaluating Parallel Particle Advection Algorithms Over Various Workloads(PHD-202003-Binyahib)
  Roba BinyahibDissertation Defense(Mar 2020)
  Abstract
  BibTeX
• Scheduling DDoS Cloud Scrubbing in ISP Networks via Randomized Online Auctions(DRP-202002-You)
  Wencong YouDirected Research Project(Feb 2020)
  Abstract
  BibTeX
• Two Decades of DDoS Attacks and Defenses(AREA-202002-Shi)
  Lumin ShiArea Exam(Feb 2020)
  Abstract
  BibTeX
• Cedar: A Reconfigurable Telemetry System(DRP-202002-Misa)
  Chris MisaDirected Research Project(Feb 2020)
  Abstract
  BibTeX
• Improving Cross-Domain Performance for Relation Extraction via Dependency Prediction and Information Flow Control(DRP-202001-Veyseh)
  Amir Pouran Ben VeysehDirected Research Project(Jan 2020)
  Abstract
  BibTeX
• On the State of Internet of Things Security: Vulnerabilities, Attacks, and Recent Countermeasures(AREA-202001-Sisodia)
  Devkishen SisodiaArea Exam(Jan 2020)
  Abstract
  BibTeX
• Automatic Camera Selection for In Situ Visualization(AREA-202001-Marsaglia)
  Nicole MarsagliaArea Exam(Jan 2020)
  Abstract
  BibTeX
• Exploiting the Matching Information in the Support Set for Few Shot Event Classification(DRP-202001-Lai)
  Viet Dac LaiDirected Research Project(Jan 2020)
  Abstract
  BibTeX
• 2019
• Detecting Malicious Usage of Online Social Network Application Programming Interfaces from Network Flows(MS-201912-Li)
  Dan LiMasters Thesis(Dec 2019)
  Abstract
  BibTeX
• Exploiting Domain Structure with Hybrid Generative-Discriminative Models(MS-201912-Kelly)
  Austen KellyMasters Thesis(Dec 2019)
  Abstract
  BibTeX
• Towards Intelligent Defense against Application-Layer DDoS with Reinforcement Learning(DRP-201912-Feng)
  Yebo FengDirected Research Project(Dec 2019)
  Abstract
  BibTeX
• Measuring the Evolving Internet in the Cloud Computing Era: Infrastructure, Connectivity, and Performance(PHD-201911-Yeganeh)
  Bahador YeganehDissertation Defense(Nov 2019)
  Abstract
  BibTeX
• In-Network Defense Against Distributed Denial-of-Service on the Internet(PHD-201909-Zhang)
  Mingwei ZhangDissertation Defense(Sep 2019)
  Abstract
  BibTeX
• Distributed Memory Processing of Very Large Graphs(MS-201909-Riazi)
  Sara RiaziMasters Thesis(Sep 2019)
  Abstract
  BibTeX
• Exploiting Domain Structure with Hybrid Generative-Discriminative Models(DRP-201909-Kelly)
  Austen KellyDirected Research Project(Sep 2019)
  Abstract
  BibTeX
• Model-based algorithm selection techniques(MS-201907-Srinivasan)
  Sudharshan SrinivasanMasters Thesis(Jul 2019)
  Abstract
  BibTeX
• Efficient Point Merging Using Data Parallel Techniques(DRP-201906-Yenpure)
  Abhishek YenpureDirected Research Project(Jun 2019)
  Abstract
  BibTeX
• DeepCloud: Detecting and Classifying Clouds in Satellite Imagery(UG-201906-Tanke)
  Joshua TankeHonors Bachelors Thesis(Jun 2019)
  Abstract
  BibTeX
• Understanding the Impact of Dynamic Power Capping on Application Progress(DRP-201906-Ramesh)
  Srinivasan RameshDirected Research Project(Jun 2019)
  Abstract
  BibTeX
• Using Machine Learning to Explore Hidden Behavioral States Encoded in Facial Movements of Videos of Mice(DRP-201906-McCarthy)
  Erin McCarthyDirected Research Project(Jun 2019)
  Abstract
  BibTeX
• Performance Analysis of Proof-of-Elapsed-Time (PoET) Consensus in the Sawtooth Blockchain Framework(MS-201906-Corso)
  Amie CorsoMasters Thesis(Jun 2019)
  Abstract
  BibTeX
• A Case Study for Predicting in-Hospital Mortality by Utilizing the Hyperbolic Embedding of ICD-9 Medical Ontology(UG-201906-Cao)
  Jiazhen CaoHonors Bachelors Thesis(Jun 2019)
  Abstract
  BibTeX
• Dynamic Performance Analysis Techniques as Software Engineering Assistive Tools(AREA-201906-Alsaeed)
  Ziyad AlsaeedArea Exam(Jun 2019)
  Abstract
  BibTeX
• Exploring Codata: The Relation to Object-Orientation(DRP-201905-Sullivan)
  Zachary SullivanDirected Research Project(May 2019)
  Abstract
  BibTeX
• Iterative Solver Selection Techniques for Sparse Linear Systems(PHD-201905-Sood)
  Kanika SoodDissertation Defense(May 2019)
  Abstract
  BibTeX
• Estimating Future Flood Risk in the Columbia River Basin Under Climate Change Using an Ensemble of Hydrologic Simulations(UG-201905-Queen)
  Laura QueenHonors Bachelors Thesis(May 2019)
  Abstract
  BibTeX
• Strategies for Seed Placement and Streamline Selection(AREA-201904-Sane)
  Sudhanshu SaneArea Exam(Apr 2019)
  Abstract
  BibTeX
• Prediction of ICD-9 Code Assignment Using Attention-based Convolutional Neural Networks(MS-201903-Zhang)
  Yehui ZhangMasters Thesis(Mar 2019)
  Abstract
  BibTeX
• On Measuring Internet Topology & its Applications(AREA-201903-Yeganeh)
  Bahador YeganehArea Exam(Mar 2019)
  Abstract
  BibTeX
• Optimizing Visualization Performance on Power-Constrained Supercomputers(PHD-201903-Labasan)
  Stephanie LabasanDissertation Defense(Mar 2019)
  Abstract
  BibTeX
• Scaling Collaborative Filtering with PETSc(DRP-201903-Johnson)
  Alister JohnsonDirected Research Project(Mar 2019)
  Abstract
  BibTeX
• Understanding the Performance of HPC Applications(AREA-201903-Gravelle)
  Brian J GravelleArea Exam(Mar 2019)
  Abstract
  BibTeX
• Parallel Hypergraph Transversals(DRP-201903-Casita)
  Roscoe S CasitaDirected Research Project(Mar 2019)
  Abstract
  BibTeX
• Scientific Visualization on Supercomputers: A Survey(AREA-201903-Binyahib)
  Roba BinyahibArea Exam(Mar 2019)
  Abstract
  BibTeX
• Verification Techniques for Low-Level Programs(AREA-201902-Pollard)
  Samuel D. PollardArea Exam(Feb 2019)
  Abstract
  BibTeX
• Index-Based Search Techniques for Visualization and Data Analysis Algorithms on Many-Core Systems(PHD-201902-Lessley)
  Brenton John LessleyDissertation Defense(Feb 2019)
  Abstract
  BibTeX
• The Applications of Machine Learning Techniques in Networking(AREA-201902-Jamshidi)
  Soheil JamshidiArea Exam(Feb 2019)
  Abstract
  BibTeX
• Methods for Accelerating Machine Learning in High Performance Computing(AREA-201901-Lim)
  Robert LimArea Exam(Jan 2019)
  Abstract
  BibTeX
• 2018
• vFiber: A System for Virtualizing Optical Fibers(DRP-201812-Hall)
  Matthew HallDirected Research Project(Dec 2018)
  Abstract
  BibTeX
• Robustness of Neural Networks for Discrete Input: An Adversarial Perspective(PHD-201812-Ebrahimi)
  Javid EbrahimiDissertation Defense(Dec 2018)
  Abstract
  BibTeX
• An Empirical Study of OpenStack++ in Edge Computing(UG-201812-Chen)
  Xin (Adam) ChenBachelors Thesis(Dec 2018)
  Abstract
  BibTeX
• A Flexible Approach to Relational Modeling of Social Network Spam(DRP-201811-Brophy)
  Jonathan BrophyDirected Research Project(Nov 2018)
  Abstract
  BibTeX
• Detecting Malicious Usage of Online Social Network APIs from Network Flows(DRP-201809-Li)
  Dan LiDirected Research Project(Sep 2018)
  Abstract
  BibTeX
• Understanding Perceived Sense of Movement in Static Visuals Using Deep Learning(MS-201809-Kale)
  Shravan KaleMasters Thesis(Sep 2018)
  Abstract
  BibTeX
• Methods for Analyzing the Evolution of Email Spam(MS-201809-Bhuthegowda)
  Bharath Kumar Nachenahalli BhuthegowdaMasters Thesis(Sep 2018)
  Abstract
  BibTeX
• Bicycle Crash Detection: Using a Voice-Assistant for More Accurate Reporting(MS-201806-Williams)
  Brian WilliamsMasters Thesis(Jun 2018)
  Abstract
  BibTeX
• The Essence of Codata and Its Implementations(MS-201806-Sullivan)
  Zachary SullivanMasters Thesis(Jun 2018)
  Abstract
  BibTeX
• MPI Performance Engineering with the MPI Tools Information Interface(MS-201806-Ramesh)
  Srinivasan RameshMasters Thesis(Jun 2018)
  Abstract
  BibTeX
• A Longitudinal Assessment of Website Complexity(MS-201806-Mostafavi)
  Seyed Hooman MostafaviMasters Thesis(Jun 2018)
  Abstract
  BibTeX
• On the Performance of Line Integral Convolution in a Distributed-Memory Parallel Setting(MS-201806-Morrison)
  Garrett MorrisonMasters Thesis(Jun 2018)
  Abstract
  BibTeX
• A Tile-Based Approach for Photo-Realistic Volume Rendering(MS-201806-Mathai)
  Manish MathaiMasters Thesis(Jun 2018)
  Abstract
  BibTeX
• Software Development Productivity Metrics, Measurements and Implications(MS-201806-Gupta)
  Shweta GuptaMasters Thesis(Jun 2018)
  Abstract
  BibTeX
• Speeding up the Tortoise(UG-201806-Galloway)
  Jared GallowayHonors Bachelors Thesis(Jun 2018)
  Abstract
  BibTeX
• BOTFLOWMON: Identify Social Bot Traffic with Netflow and Machine Learning(MS-201806-Feng)
  Yebo FengMasters Thesis(Jun 2018)
  Abstract
  BibTeX
• Accurate Distance Calculation Using GPS While Performing Low Speed Activity(MS-201806-Bennett)
  Benjamin BennettMasters Thesis(Jun 2018)
  Abstract
  BibTeX
• FR-WARD: Fast Retransmit as a Wary but Ample Response to Distributed Denial-of-Service Attacks from the Internet of Things(DRP-201805-Mergendahl)
  Samuel Mergendahl, Devkishen Sisodia, Jun Li, Hasan CamDirected Research Project(May 2018)
  Abstract
  BibTeX
• Online, Victim-driven Generation of DDoS-filtering Rules(MS-201805-Early)
  Christopher E. EarlyMasters Thesis(May 2018)
  Abstract
  BibTeX
• Characterizing Online Social Media: Topic Inference and Information Propagation(MS-201803-Rezayidemne)
  Saed RezayidemneMasters Thesis(Mar 2018)
  Abstract
  BibTeX
• The Design of Intermediate Languages in Optimizing Compilers(PHD-201803-Maurer)
  Luke Van Wyck MaurerDissertation Defense(Mar 2018)
  Abstract
  BibTeX
• Directive-Based, High-Level Programming and Optimizations for High-Performance Computing with FPGAs(DRP-201803-Lambert)
  Jacob LambertDirected Research Project(Mar 2018)
  Abstract
  BibTeX
• Characterizing Online Social Media: Topic Inference and Information Propagation(MS-201802-Rezayi)
  Saed RezayiMasters Thesis(Feb 2018)
  Abstract
  BibTeX
• Improving Flow Analysis Using In Situ Lagrangian Techniques(DRP-201801-Sane)
  Sudhanshu SaneDirected Research Project(Jan 2018)
  Abstract
  BibTeX
• Data-Parallel Hashing Techniques for GPU Architectures(AREA-201801-Lessley)
  Brenton LessleyArea Exam(Jan 2018)
  Abstract
  BibTeX
• Literature Review: Blockchain Technology: Consensus and Performance(TR-2018-002)
  Amie CorsoTechnical Report(2018)
  Abstract
  BibTeX
• Trojan Horses in Amazon's Castle: Toward a Better Understanding of Incentivized Online Reviews(TR-2018-001)
  Soheil Jamshidi, Reza Rejaie, Jun LiTechnical Report(2018)
  Abstract
  BibTeX
• 2017
• Securing the Smart Home via a Two-Mode Security Framework(DRP-201711-Sisodia)
  Devkishen SisodiaDirected Research Project(Nov 2017)
  Abstract
  BibTeX
• A Comparison of Parallel Graph Processing Implementations(DRP-201711-Pollard)
  Samuel PollardDirected Research Project(Nov 2017)
  Abstract
  BibTeX
• Wavelet Compression for Visualization and Analysis on High Performance Computers(PHD-201711-Li)
  Shaomeng (Samuel) LiDissertation Defense(Nov 2017)
  Abstract
  BibTeX
• Properties of Sequent-Calculus-Based Languages(PHD-201711-Johnson-Freyd)
  Philip Johnson-FreydDissertation Defense(Nov 2017)
  Abstract
  BibTeX
• Performance and Power Impacts of Autotuningof Kalman Filters for Disparate Environments(DRP-201709-Gravelle)
  Brian GravelleDirected Research Project(Sep 2017)
  Abstract
  BibTeX
• Algorithm for Enumerating Hypergraph Transversals(MS-201709-Casita)
  Roscoe CasitaMasters Thesis(Sep 2017)
  Abstract
  BibTeX
• Formal Modeling Can Improve Smart Transportation Algorithm Development(MS-201707-Wathugala)
  Manujinda WathugalaMasters Thesis(Jul 2017)
  Abstract
  BibTeX
• Dynamic Specification Mining with Out-of-Scope Effect Awareness and Result Classification(DRP-201707-Alsaeed)
  Ziyad AlsaeedDirected Research Project(Jul 2017)
  Abstract
  BibTeX
• Reducing Cloud Reconfigurations via Co-locating Compensative Workloads and Services(UG-201706-Zhu)
  Yueqi ZhuHonors Bachelors Thesis(Jun 2017)
  Abstract
  BibTeX
• Graph Representation Learning and Graph Classification(AREA-201706-Riazi)
  Sara RiaziArea Exam(Jun 2017)
  Abstract
  BibTeX
• Improved Blind Seer System With Constant Communication Rounds(DRP-201706-Hu)
  Zhangxiang HuDirected Research Project(Jun 2017)
  Abstract
  BibTeX
• Systemwide Power Management Targeting Early Hardware Overprovisioned High Performance Computers(PHD-201706-Ellsworth)
  Daniel EllsworthDissertation Defense(Jun 2017)
  Abstract
  BibTeX
• Sequent Calculus: A Logic and a Language for Computation and Duality(PHD-201706-Downen)
  Paul DownenDissertation Defense(Jun 2017)
  Abstract
  BibTeX
• Insightful Performance Analysis of Many-Task Runtimes through Tool-Runtime Integration(PHD-201706-Chaimov)
  Nicholas A. ChaimovDissertation Defense(Jun 2017)
  Abstract
  BibTeX
• PathFinder: Collecting Traffic Footprint at Autonomous System Level(DRP-201705-Shi)
  Lumin ShiDirected Research Project(May 2017)
  Abstract
  BibTeX
• Neural Question Answering: The role of Knowledge Bases(AREA-201705-Kafle)
  Sabin KafleArea Exam(May 2017)
  Abstract
  BibTeX
• Collective Classification of Social Network Spam(MS-201705-Brophy)
  Jonathan BrophyMasters Thesis(May 2017)
  Abstract
  BibTeX
• High Performance Computational Chemistry: Bridging Quantum Mechanics, Molecular Dynamics, and Coarse-Grained Models(PHD-201704-Ozog)
  David OzogDissertation Defense(Apr 2017)
  Abstract
  BibTeX
• Learning Tractable Graphical Models(PHD-201703-Rooshenas)
  Amirmohammad RooshenasDissertation Defense(Mar 2017)
  Abstract
  BibTeX
• In Situ Visualization Techniques for High Performance Computing(AREA-201703-Kress)
  James KressArea Exam(Mar 2017)
  Abstract
  BibTeX
• An Algorithm for Clipping Polygons of Large Geographical Data(MS-201703-Alghamdi)
  Areej Saleh AlghamdiMasters Thesis(Mar 2017)
  Abstract
  BibTeX
• An In Situ Approach for Explorative Visualization using Temporal Intervals(DRP-201702-Marsaglia)
  Nicole MarsagliaDirected Research Project(Feb 2017)
  Abstract
  BibTeX
• Data Reduction Techniques for Scientific Visualization and Data Analysis(AREA-201701-Li)
  Samuel LiArea Exam(Jan 2017)
  Abstract
  BibTeX
• 2016
• Ontology-Based Information Extraction on PubMed abstracts using the OMIT ontology to discover inconsistencies(DRP-201612-deSilva)
  Nisansa de SilvaDirected Research Project(Dec 2016)
  Abstract
  BibTeX
• Solver Schemes for Linear Systems(AREA-201612-Sood)
  Kanika SoodArea Exam(Dec 2016)
  Abstract
  BibTeX
• Measurement-Based Characterization of Large-Scale Networked Systems(PHD-201612-Motamedi)
  Reza MotamediDissertation Defense(Dec 2016)
  Abstract
  BibTeX
• Static Program Analysis for Performance Modeling(DRP-201612-Meng)
  Kewen MengDirected Research Project(Dec 2016)
  Abstract
  BibTeX
• Performance Modeling of In Situ Rendering(PHD-201611-Larsen)
  Matthew LarsenDissertation Defense(Nov 2016)
  Abstract
  BibTeX
• Energy-Efficient and Power-Constrained Techniques for Exascale Computing(AREA-201610-Labasan)
  Stephanie LabasanArea Exam(Oct 2016)
  Abstract
  BibTeX
• A Scalable Observation System for Introspection and In Situ Analytics(DRP-201609-Wood)
  Chad Wood, Sudhanshu Sane, Daniel Ellsworth, Alfredo Gimenez, Kevin Huck, Todd Gamblin, Allen MalonyDirected Research Project(Sep 2016)
  Abstract
  BibTeX
• Robust Large Margin Approaches for Machine Learning in Adversarial Settings(PHD-201607-Torkamani)
  Mohamad Ali TorkamaniDissertation Defense(Jul 2016)
  Abstract
  BibTeX
• Photorealistic Rendering Utilizing Close-Range Photogrammetry(UG-201606-Slater)
  Shawn Christopher SlaterHonors Bachelors Thesis(Jun 2016)
  Abstract
  BibTeX
• Performance Analysis and Modeling of Parallel Applications in the Context of Architectural Rooflines(MS-201606-Shaila)
  Nashid ShailaMasters Thesis(Jun 2016)
  Abstract
  BibTeX
• QoS aware Virtual Machine Consolidation in Cloud Datacenter(DRP-201606-Monil)
  Mohammad Alaul Haque MonilDirected Research Project(Jun 2016)
  Abstract
  BibTeX
• Evaluating Spatiotemporal Search Structures for Analysis from Lagrangian Basis Flows.(UG-201606-Judicael)
  Ouermi Timbwaoga Aime JudicaelHonors Bachelors Thesis(Jun 2016)
  Abstract
  BibTeX
• A Multi-Resolution Approach to Characterize the Connectivity Structure and Evolution of Large Graphs(DRP-201606-Jamshidi)
  Soheil JamshidiDirected Research Project(Jun 2016)
  Abstract
  BibTeX
• Sieving Methods for Lattice Problems(UG-201606-Jagielski)
  Matthew JagielskiHonors Bachelors Thesis(Jun 2016)
  Abstract
  BibTeX
• Scalable Ray-Casted Volume Rendering(DRP-201605-Binyahib)
  Roba BinyahibDirected Research Project(May 2016)
  Abstract
  BibTeX
• SparkGalaxy: Workflow-based Big Data Processing(DRP-201603-Riazi)
  Sara RiaziDirected Research Project(Mar 2016)
  Abstract
  BibTeX
• Topics Toward Automated Multiobjective HPC System Management(AREA-201603-Ellsworth)
  Daniel EllsworthArea Exam(Mar 2016)
  Abstract
  BibTeX
• A heterogeneous clustering approach for Human Activity Recognition(DRP-201602-Kafle)
  Sabin KafleDirected Research Project(Feb 2016)
  Abstract
  BibTeX
• Performance Analysis of Many-Task Runtimes(AREA-201602-Chaimov)
  Nicholas ChaimovArea Exam(Feb 2016)
  Abstract
  BibTeX
• Considering Rendering Algorithms for In Situ Visualization(AREA-201601-Larsen)
  Matthew LarsenArea Exam(Jan 2016)
  Abstract
  BibTeX
• Characterizing Twitter Elite Communities: Measurement, Characterization, and Implications(TR-2016-015)
  Reza Motamedi, Saed Rezayi, Reza Rejaie, Ryan Light, Walter WillingerTechnical report(2016)
  Abstract
  BibTeX
• 2015
• On the State of the Inter-domain and Intra-domain Routing Security(AREA-201512-Zhang)
  Mingwei ZhangArea Exam(Dec 2015)
  Abstract
  BibTeX
• HPC in Computational Chemistry: Bridging Quantum Mechanics, Molecular Dynamics, and Coarse-Grained Models(AREA-201512-Ozog)
  David OzogArea Exam(Dec 2015)
  Abstract
  BibTeX
• Intermediate Languages for Optimization(AREA-201512-Maurer)
  Luke MaurerArea Exam(Dec 2015)
  Abstract
  BibTeX
• Evaluating the Efficacy of Wavelet Compression for Turbulent-Flow Data Visualization(DRP-201512-Li)
  Shaomeng LiDirected Research Project(Dec 2015)
  Abstract
  BibTeX
• Knowledge Base Refinement and Knowledge Translation with Markov Logic Networks(PHD-201512-Jiang)
  Shangpu JiangDissertation Defense(Dec 2015)
  Abstract
  BibTeX
• A HYBRID APPROACH FOR ONTOLOGY-BASED INFORMATION EXTRACTION(PHD-201512-Gutierrez)
  Fernando GutierrezDissertation Defense(Dec 2015)
  Abstract
  BibTeX
• Accelerating Advection Via Approximate Block Exterior Flow Maps(DRP-201512-Bleile)
  Ryan BleileDirected Research Project(Dec 2015)
  Abstract
  BibTeX
• External Facelist Calculation with Data-Parallel Primitives(DRP-201511-Lessley)
  Brenton LessleyDirected Research Project(Nov 2015)
  Abstract
  BibTeX
• Exploring Tradeoffs Between Power and Performance for a Scientific Visualization Algorithm(DRP-201511-Labasan)
  Stephanie LabasanDirected Research Project(Nov 2015)
  Abstract
  BibTeX
• Refinement and Composition in Formal Modeling of Temporal Systems(AREA-201511-Johnson-Freyd)
  Philip Johnson-FreydArea Exam(Nov 2015)
  Abstract
  BibTeX
• Automated Selection of Numerical Solvers(DRP-201510-Sood)
  Kanika SoodDirected Research Project(Oct 2015)
  Abstract
  BibTeX
• Characterizing Traffic Footprint of a Stub-AS(DRP-201509-Yeganeh)
  Bahador YeganehDirected Research Project(Sep 2015)
  Abstract
  BibTeX
• Semantic Deep Learning(AREA-201509-Wang)
  Hao WangArea Exam(Sep 2015)
  Abstract
  BibTeX
• Avatar Idealization in Video Games(DRP-201509-Pruse)
  Hannah PruseDirected Research Project(Sep 2015)
  Abstract
  BibTeX
• Towards a Comprehensive Computational Theory of Human Multitasking: Advancing Cognitive Modeling with Detailed Analyses of Eye Movement Data and Large-Scale Exploration of Task Strategies(PHD-201506-Zhang)
  Yunfeng ZhangDissertation Defense(Jun 2015)
  Abstract
  BibTeX
• Examining the Complexity of Popular Websites(MS-201506-Tian)
  Ran TianMasters Thesis(Jun 2015)
  Abstract
  BibTeX
• Integrating Performance Analysis in Parallel Software Engineering(MS-201506-Poliakoff)
  David PoliakoffMasters Thesis(Jun 2015)
  Abstract
  BibTeX
• Identifying Optimization Opportunities within Kernel Execution in GPU Architectures(DRP-201506-Lim)
  Robert LimDirected Research Project(Jun 2015)
  Abstract
  BibTeX
• A Visualization Pipeline for Large-Scale Tractography Data(DRP-201506-Kress)
  James KressDirected Research Project(Jun 2015)
  Abstract
  BibTeX
• Can I See Some Identification? Detecting and Patching SSL Source Code Vulnerabilities(UG-201505-Lipps)
  Jeremy LippsHonors Bachelors Thesis(May 2015)
  Abstract
  BibTeX
• Examining the Automated Inference of Tweet Topics(DRP-201502-Rezayi)
  Saed RezayiDirected Research Project(Feb 2015)
  Abstract
  BibTeX
• 2014
• Ray Tracing Within a Data Parallel Framework(DRP-201412-Larsen)
  Matthew LarsenDirected Research Project(Dec 2014)
  Abstract
  BibTeX
• Chain based RNN for Relation Classification(DRP-201412-Ebrahimi)
  Javid EbrahimiDirected Research Project(Dec 2014)
  Abstract
  BibTeX
• BGPInspector: A Real-time Extensible Border Gateway Protocol Monitoring Framework(DRP-201411-Zhang)
  Mingwei ZhangDirected Research Project(Nov 2014)
  Abstract
  BibTeX
• Second-Order Classical Sequent Calculus(DRP-201410-Johnson)
  Philip Johnson-FreydDirected Research Project(Oct 2014)
  Abstract
  BibTeX
• Gathering Information about Network Infrastructure from DNS Names and Its Applications(MS-201410-Alur)
  Abhijit AlurMasters Thesis(Oct 2014)
  Abstract
  BibTeX
• Using SQLite to Manage a 16S RNA Sequencing Analysis Pipeline(UG-201406-Xu)
  Junjie XuHonors Bachelors Thesis(Jun 2014)
  Abstract
  BibTeX
• Adversarial Structured Output Prediction(AREA-201406-Torkamani)
  Mohamadali TorkamaniArea Exam(Jun 2014)
  Abstract
  BibTeX
• Comparison of FD extraction methods and an application of DFS(MS-201406-Sood)
  Kanika SoodMasters Thesis(Jun 2014)
  Abstract
  BibTeX
• Performance Optimizations of the Tensor Contraction Engine in NWChem(DRP-201406-Ozog)
  David OzogDirected Research Project(Jun 2014)
  Abstract
  BibTeX
• Exploiting USB Power Readings For High-Resolution Host Fingerprinting(UG-201406-Juarez)
  Cameron JuarezHonors Bachelors Thesis(Jun 2014)
  Abstract
  BibTeX
• The End of the Rainbow: An Exploration of Color in Scientific Visualization(UG-201406-Griggs)
  Brenda GriggsHonors Bachelors Thesis(Jun 2014)
  Abstract
  BibTeX
• Automated Attacks on Compression-Based Classifiers(MS-201406-Burago)
  Igor BuragoMasters Thesis(Jun 2014)
  Abstract
  BibTeX
• Securing ARP From the Bottom Up(DRP-201403-Tian)
  Jing (Dave) TianDirected Research Project(Mar 2014)
  Abstract
  BibTeX
• Reuse It Or Lose It: More Efficient Secure Computation Through Reuse of Encrypted Values(DRP-201403-Mood)
  Benjamin MoodDirected Research Project(Mar 2014)
  Abstract
  BibTeX
• Lazy Functions as Processes(DRP-201403-Maurer)
  Luke MaurerDirected Research Project(Mar 2014)
  Abstract
  BibTeX
• Multi-Target Autotuning for Accelerators(DRP-201403-Chaimov)
  Nicholas ChaimovDirected Research Project(Mar 2014)
  Abstract
  BibTeX
• Linux Provenance Modules: Secure Provenance Collection for the Linux Kernel(DRP-201403-Bates)
  Adam Bates, Kevin R.B. Butler, Thomas MoyerDirected Research Project(Mar 2014)
  Abstract
  BibTeX
• Ontology-based Error Detection in Text(AREA-201402-Gutierrez)
  Fernando GutierrezArea Exam(Feb 2014)
  Abstract
  BibTeX
• Quantitative Association Mining From Bottom Up and Heuristic Search Perspectives(DRP-201401-Wang)
  Hao WangDirected Research Project(Jan 2014)
  Abstract
  BibTeX
• Computational duality and the sequent calculus(AREA-201401-Downen)
  Paul DownenArea Exam(Jan 2014)
  Abstract
  BibTeX
• Linux Provenance Modules: Secure Provenance Collection for the Linux Kernel(TR-2014-003)
  Adam Bates, Kevin R.B. Butler, Thomas MoyerTechnical Report(2014)
  Abstract
  BibTeX
• CertShim: Securing SSL Certificate Verification through Dynamic Linking(TR-2014-002)
  Tyler Nichols, Adam Bates, Joe Pletcher, Braden Hollembaek, Dave Tian, Abdulrahman Alkhelaifi, and Kevin R.B. ButlerTechnical Report(2014)
  Abstract
  BibTeX
• Reuse It Or Lose It: More Efficient Secure Computation Through Reuse of Encrypted Values(TR-2014-001)
  Benjamin Mood, Debayan Gupta, Joan Feigenbaum, and Kevin ButlerTechnical Report(2014)
  Abstract
  BibTeX
• 2013
• On P2P Networks and P2P-Based Content Discovery on the Internet(PHD-201312-Memon)
  Ghulam MemonDissertation Defense(Dec 2013)
  Abstract
  BibTeX
• Internet Topology Discovery(AREA-201309-Motamedi)
  Reza MotamediArea Exam(Sep 2013)
  Abstract
  BibTeX
• Search-based Optimization for Compiler Machine-code Generation(PHD-201309-Clauson)
  Aran ClausonDissertation Defense(Sep 2013)
  Abstract
  BibTeX
• Audio Display of Spatial Information: Analyzing Movement Strategies in Exploration of Thematic Maps(UG-201309-Brittell)
  Megen Brittell Bachelors Thesis(Sep 2013)
  Abstract
  BibTeX
• Mapping the PoP-Level Connectivity of Large Content Providers(DRP-201308-Farzad)
  Amir FarzadDirected Research Project(Aug 2013)
  Abstract
  BibTeX
• Improving Dynamic Invariant Saliency with Static Dataflow Analysis(DRP-201307-Ellsworth)
  Daniel EllsworthDirected Research Project(Jul 2013)
  Abstract
  BibTeX
• Automating USB-Based Host Fingerprinting with Embedded Devices(UG-201306-Pruse)
  Hannah PruseHonors Bachelors Thesis(Jun 2013)
  Abstract
  BibTeX
• PRESTO: A Parallel Runtime Environment for Scalable Task-Oriented Computations(MS-201306-Ozog)
  David M. OzogMasters Thesis(Jun 2013)
  Abstract
  BibTeX
• A Method for Reference-Free Genome Assembly Quality Assessment(MS-201306-Burkhart)
  Joshua BurkhartMasters Thesis(Jun 2013)
  Abstract
  BibTeX
• Convex Adversarial Collective Classification(DRP-201305-Torkamani)
  Mohamadali TorkamaniDirected Research Project(May 2013)
  Abstract
  BibTeX
• 2012
• Optimizing Secure Function Evaluation on Mobile Devices(MS-201209-Mood)
  Benjamin MoodMasters Thesis(Sep 2012)
  Abstract
  BibTeX
• A Graph-based Approach for Semantic Data Mining(PHD-201209-Liu)
  Haishan LiuDissertation Defense(Sep 2012)
  Abstract
  BibTeX
• Detecting Compute Cloud Co-Residency with Network Flow Watermarking Techniques(MS-201209-Bates)
  Adam BatesMasters Thesis(Sep 2012)
  Abstract
  BibTeX
• Investigating the Mutual Impact of the P2P Overlay and the AS-level Underlay(PHD-201207-Rasti)
  Amir RastiDissertation Defense(Jul 2012)
  Abstract
  BibTeX
• Using Computational Cognitive Modeling to Validate and Advance Multitasking Theories(AREA-201206-Zhang)
  Yunfeng ZhangArea Exam(Jun 2012)
  Abstract
  BibTeX
• Twig: A Configurable Domain-Specific Language(PHD-201206-Hulette)
  Geoffrey C. HuletteDissertation Defense(Jun 2012)
  Abstract
  BibTeX
• Ensuring a Valid Source and Destination for Internet Traffic(PHD-201206-Ehrenkranz)
  Toby EhrenkranzDissertation Defense(Jun 2012)
  Abstract
  BibTeX
• A Framework for Automated Generation of Specialized Function Variants(MS-201206-Chaimov)
  Nicholas A. ChaimovMasters Thesis(Jun 2012)
  Abstract
  BibTeX
• Behavior-based Worm Detection(PHD-201203-Stafford)
  John Shadrach StaffordDissertation Defense(Mar 2012)
  Abstract
  BibTeX
• Personalized Requirements Elicitation Using a Domain Model(MS-201203-Mohammadi)
  Mahshid Arab Yar MohammadiMasters Thesis(Mar 2012)
  Abstract
  BibTeX
• Extending Dynamic Invariant Detection with Explicit Abstraction(PHD-201203-Keith)
  Daniel Brian KeithDissertation Defense(Mar 2012)
  Abstract
  BibTeX
• 2011
• A Personalized Virtual Environment as a Testbed for Assistive Technologies(PHD-201112-Yao)
  Xiangkui YaoDissertation Defense(Dec 2011)
  Abstract
  BibTeX
• Error and Uncertainty in Computational Phylogenetics(PHD-201112-Hanson-Smith)
  Victor Hanson-SmithDissertation Defense(Dec 2011)
  Abstract
  BibTeX
• Improving Accessibility of Spatial Information: A Technique Using Parametrized Audio to Symbolize Lines (MS-201112-Brittell)
  Megen E. BrittellMasters Thesis(Dec 2011)
  Abstract
  BibTeX
• WalkAbout, a Random Walk Based Framework to Characterize Online Social Networks(DRP-201108-Motamedi)
  Reza MotamediDirected Research Project(Aug 2011)
  Abstract
  BibTeX
• Computational Thinking and Women in Computer Science(MS-201106-Prottsman)
  Christie Lee Lili ProttsmanMasters Thesis(Jun 2011)
  Abstract
  BibTeX
• Virtual Environments for Human Centric Research(MS-201106-Masud)
  Md. Raihan MasudMasters Thesis(Jun 2011)
  Abstract
  BibTeX
• Use of Ontologies in Information Extraction(PHD-201103-Wimalasuriya)
  Daya Chinthana WimalasuriyaDissertation Defense(Mar 2011)
  Abstract
  BibTeX
• 2010
• Peer-to-Peer Streaming: Design and Challenges(PHD-201011-Magharei)
  Nazanin MaghareiDissertation Defense(Nov 2010)
  Abstract
  BibTeX
• Reconstructing Evolutionary History: Algorithmic, Statistical, and Computational Challenges(AREA-201009-Hanson-Smith)
  Victor Hanson-Smith Area Exam(Sep 2010)
  Abstract
  BibTeX
• Using the Mean Shift Algorithm to Make Post Hoc Improvements to the Accuracy of Eye Tracking Data Based on Probable Fixation Locations(DRP-201006-Zhang)
  Yunfeng ZhangDirected Research Project(Jun 2010)
  Abstract
  BibTeX
• Image Processing as Applied to Medical Diagnostics,(MS-201006-Thomas)
  Kristine A. ThomasMasters Thesis(Jun 2010)
  Abstract
  BibTeX
• A Software Framework for Simulation-based Scientific Investigations(PHD-201003-Salman)
  Adnan M. SalmanDissertation Defense(Mar 2010)
  Abstract
  BibTeX
• Ontology Databases(PHD-201003-LePendu)
  Paea Le PenduDissertation Defense(Mar 2010)
  Abstract
  BibTeX
• 2009
• Measuring the Internet AS Graph and its Evolution(PHD-200909-Boothe)
  Peter BootheDissertation Defense(Sep 2009)
  Abstract
  BibTeX
• Implemention and Evaluation of PRIME, a Peer-to-Peer Streaming Mechanism for Live Video(UG-200907-Hastings)
  Jimmy HastingsHonors Bachelors Thesis(Jul 2009)
  Abstract
  BibTeX
• Characterizing User Interactions in Flickr Social Network(DRP-200906-Valafar)
  Masoud ValafarDirected Research Project(Jun 2009)
  Abstract
  BibTeX
• Unbiased Sampling over Online Social Networks(DRP-200906-Torkjazi)
  Mojtaba TorkjaziDirected Research Project(Jun 2009)
  Abstract
  BibTeX
• Selecting an Accurate Model of Evolutionary Rate Heterogeneity(UG-200906-St.John)
  John St. John Honors Bachelors Thesis(Jun 2009)
  Abstract
  BibTeX
• P2P Overlay, Internet Underlay and Their Mutual Impact(AREA-200906-Rasti)
  Amir RastiArea Exam(Jun 2009)
  Abstract
  BibTeX
• Automated Methods to Infer Ancient Homology and Synteny(PHD-200906-Catchen)
  Julian M. CatchenDissertation Defense(Jun 2009)
  Abstract
  BibTeX
• Ontology-Based Information Extraction(AREA-200903-Wimalasuriya)
  Daya C. WimalasuriyaArea Exam(Mar 2009)
  Abstract
  BibTeX
• On Phylogenetic Uncertainty and Ancestral Sequence Reconstruction(DRP-200903-Hanson-Smith)
  Victor Hanson-SmithDirected Research Project(Mar 2009)
  Abstract
  BibTeX
• 2008
• Algorithm Capability and Applications in Artificial Intelligence(PHD-200812-Ray)
  Katrina RayDissertation Defense(Dec 2008)
  Abstract
  BibTeX
• Knowledge Support for Parallel Performance Data Mining(PHD-200812-Huck)
  Kevin A. HuckDissertation Defense(Dec 2008)
  Abstract
  BibTeX
• The Network Startup Resource Center: Teaching About Networking Around the World(COL-200811-Smith)
  Dale Smith, University of OregonColloquium(Nov 2008)
  Abstract
  BibTeX
• An "Active Vision" Computational Model of Visual Search for Human-ComputerInteraction(PHD-200811-Halverson)
  Timothy E HalversonDissertation Defense(Nov 2008)
  Abstract
  BibTeX
• Extending Dynamic Scripting(PHD-200810-Ludwig)
  Jeremy LudwigDissertation Defense(Oct 2008)
  Abstract
  BibTeX
• The WOOL Workflow Programming Language(DRP-200809-Hulette)
  Geoffrey HuletteDirected Research Project(Sep 2008)
  Abstract
  BibTeX
• Characterizing Traffic in a Widely-Deployed DHT(DRP-200807-Memon)
  Ghulam MemonDirected Research Project(Jul 2008)
  Abstract
  BibTeX
• Combating Phishing Through Zero-Knowledge Authentication(MS-200806-Knickerbocker)
  Paul KnickerbockerMasters Thesis(Jun 2008)
  Abstract
  BibTeX
• Framework-Based Model Construction with AOP Assistance(PHD-200805-Chen)
  Zebin ChenDissertation Defense(May 2008)
  Abstract
  BibTeX
• Gait Animation and Analysis for Biomechanically-Articulated Skeletons(PHD-200803-Wills)
  Eric WillsDissertation Defense(Mar 2008)
  Abstract
  BibTeX
• P2P Content Delivery(AREA-200802-Magharei)
  Nazanin MaghareiArea Exam(Feb 2008)
  Abstract
  BibTeX
• Control Operators: Issues of Expressibility(DRP-200801-Keith)
  Daniel B. KeithDirected Research Project(Jan 2008)
  Abstract
  BibTeX
• 2007
• Developing A Domain Specific Style Sheet Language For Building Haptic Soundscape Maps(UG-200712-Albin)
  Keith AlbinHonors Bachelors Thesis(Dec 2007)
  Abstract
  BibTeX
• THE APECS Portal: A Collaborative Neuroscience Repository(MS-200710-Hanson-Smith)
  Victor Hanson-SmithMasters Thesis(Oct 2007)
  Abstract
  BibTeX
• Bioinformatics Research in Whole Genome Duplication(UG-200706-Catchen)
  Julian M. CatchenBachelors Thesis(Jun 2007)
  Abstract
  BibTeX
• Evaluation of a Haptic Tongue Device(MS-200706-Bailey)
  Mark Edwin BaileyMasters Thesis(Jun 2007)
  Abstract
  BibTeX
• Neuroanatomical Segmentation in MRI Exploiting a Priori Knowledge(PHD-200705-Li)
  Kai LiDissertation Defense(May 2007)
  Abstract
  BibTeX
• Application of Design and Architectural Patterns in AJAX Programming(UG-200705-Beaudoin)
  Paul BeaudoinHonors Bachelors Thesis(May 2007)
  Abstract
  BibTeX
• Cheat-Proof Event Ordering for Large-Scaled Distributed Multiplayer Games(PHD-200703-Gauthierdickey)
  Christopher GauthierdickeyDissertation Defense(Mar 2007)
  Abstract
  BibTeX
• Model-Based Automatic Performance Diagnosis of Parallel Computations(PHD-200702-Li)
  Li LiDissertation Defense(Feb 2007)
  Abstract
  BibTeX
• Dissecting the performance of Live Mesh-based Peer-to-Peer Streaming(TR-2007-005)
  Nazanin Magharei, Reza RejaieTechnical Report(2007)
  Abstract
  BibTeX
• Dissecting the performance of Live Mesh-based Peer-to-Peer Streaming(TR-2007-001)
  Nazanin Magharei, Reza RejaieTechnical Report(2007)
  Abstract
  BibTeX
• 2006
• Measuring and Characterizing Properties of Peer-to-Peer Systems(PHD-200612-Stutzbach)
  Daniel StutzbachDissertation Defense(Dec 2006)
  Abstract
  BibTeX
• Deconstructing Phylogenetic Reconstruction: Effects of Assumption Violations on Evolutionary Inference(PHD-200612-Kolaczkowski)
  Bryan KolaczkowskiDissertation Defense(Dec 2006)
  Abstract
  BibTeX
• Characterizing Peer-level Performance of BitTorrent(DRP-200611-Rasti)
  Amir RastiDirected Research Project(Nov 2006)
  Abstract
  BibTeX
• Specification and Solution of Multisource Data Flow Problems(PHD-200611-Fiskio-Lasseter)
  John Howard Eli Fiskio-LasseterDissertation Defense(Nov 2006)
  Abstract
  BibTeX
• A Novel Neural Network Analysis Method Applied to Biological Neural Networks(PHD-200608-Dunn)
  Nathan A. DunnDissertation Defense(Aug 2006)
  Abstract
  BibTeX
• Scheduling For Fast Turnaround in Peer-Based Desktop Grid Systems(PHD-200606-Zhou)
  Dayi ZhouDissertation Defense(Jun 2006)
  Abstract
  BibTeX
• PRIME: P2P Receiver-drIven MEsh-based Streaming(DRP-200606-Magharei)
  Nazanin MaghareiDirected Research Project(Jun 2006)
  Abstract
  BibTeX
• A Study on the Effect of a Pedagogical Programming Environment on Novice Programmers(MS-200606-Griggs)
  Kimberly GriggsMasters Thesis(Jun 2006)
  Abstract
  BibTeX
• Support for Model Coupling: An Interface-based Approach(PHD-200606-Bulatewicz)
  Thomas Francis Bulatewicz, Jr.Dissertation Defense(Jun 2006)
  Abstract
  BibTeX
• PRIME: P2P Receiver-drIven MEsh-based Streaming(TR-2006-005)
  Nazanin Magharei, Reza RejaieTechnical Report(2006)
  Abstract
  BibTeX
• 2005
• Discrete Global Systems: A New Class of Geospatial Data Structures(PHD-200508-Sahr)
  Kevin SahrDissertation Defense(Aug 2005)
  Abstract
  BibTeX
• Formalizing the Java Virtual Machine in Sequent Calculus(MS-200508-Allen)
  James Thomas AllenMasters Thesis(Aug 2005)
  Abstract
  BibTeX
• Performance Measurement and modeling of Component Applications in a High Performance Computing Environment(MS-200506-Trebon)
  Nicholas Dale TrebonMasters Thesis(Jun 2005)
  Abstract
  BibTeX
• Psychologically Inspired Symbolic Cognitive Architectures(AREA-200503-Ludwig)
  Jeremy LudwigArea Exam(Mar 2005)
  Abstract
  BibTeX
• Improving Lookup Performance over a Widely-Deployed DHT(TR-2005-005)
  Daniel Stutzbach, Reza RejaieTechnical Report(2005)
  Abstract
  BibTeX
• Characterizing Files in the Modern Gnutella Network: A Measurement Study(TR-2005-004)
  Shanyu Zhao, Daniel Stutzbach, Reza RejaieTechnical Report(2005)
  Abstract
  BibTeX
• Characterizing Churn in Peer-to-Peer Networks(TR-2005-003)
  Daniel Stutzbach, Reza RejaieTechnical Report(2005)
  Abstract
  BibTeX
• Characterizing Two-Tier Overlay Topologies in Modern P2P File-Sharing Systems(TR-2005-001)
  Daniel Stutzbach, Reza RejaieTechnical Report(2005)
  Abstract
  BibTeX
• 2004
• Content Distribution in Unstructured Peer-to-Peer Networks(AREA-200412-Stutzbach)
  Daniel StutzbachArea Exam(Dec 2004)
  Abstract
  BibTeX
• Automating Pseudo-Boolean Inference within a DPLL Framework(PHD-200412-Dixon)
  Heidi DixonDissertation Defense(Dec 2004)
  Abstract
  BibTeX
• Web Interfaces for Bioinformatic Data Representation(MS-200408-Spear)
  Wyatt SpearMasters Thesis(Aug 2004)
  Abstract
  BibTeX
• Window-Based Project Scheduling Algorithms(PHD-200406-Smith)
  Tristan SmithDissertation Defense(Jun 2004)
  Abstract
  BibTeX
• Study Plan: Quantitative Analysis of Neural Networks with Application to Biological Modeling(AREA-200406-Dunn)
  Nathan Dunn Area Exam(Jun 2004)
  Abstract
  BibTeX
• Sequent Calculus and Abstract Machines(MS-200406-Bohannon)
  AARON W. BOHANNONMasters Thesis(Jun 2004)
  Abstract
  BibTeX
• From Syntactic Theories to Interpreters: Specifying and Proving Properties(PHD-200405-Xiao)
  Yong XiaoDissertation Defense(May 2004)
  Abstract
  BibTeX
• Towards a Better Understanding of Churn in Peer-to-Peer Networks(TR-2004-006)
  Daniel Stutzbach, Reza RejaieTechnical Report(2004)
  Abstract
  BibTeX
• Evaluating the Accuracy of Captured Snapshots by Peer-to-Peer Crawlers(TR-2004-005)
  Daniel Stutzbach, Reza RejaieTechnical Report(2004)
  Abstract
  BibTeX
• Characterizing Today's Gnutella Topology(TR-2004-002)
  Daniel Stutzbach, Reza RejaieTechnical Report(2004)
  Abstract
  BibTeX
• 2003
• Swarming: Scalable Content for the Masses(DRP-200312-Stutzbach)
  Daniel StutzbachDirected Research Project(Dec 2003)
  Abstract
  BibTeX
• Regions and Control(PHD-200303-Semmelroth)
  Miley Edward SemmelrothDissertation Defense(Mar 2003)
  Abstract
  BibTeX
• The Design and Implementation of a Multiple Resolution Modeling Framework with Applications to Population Modeling(PHD-200303-Glass)
  Kevin Anthony GlassDissertation Defense(Mar 2003)
  Abstract
  BibTeX
• 2002
• A Methodology and Software Platform for Building Wearable Communities(PHD-200212-Kortuem)
  Gerd KortuemDissertation Defense(Dec 2002)
  Abstract
  BibTeX
• CORE: Comprehensive Overview of Requisite Email Skills(TR-2002-001)
  McKay Sohlberg, Laurie Ehlhardt, Stephen Fickas, Bonnie TodisTechnical Report(2002)
  Abstract
  BibTeX
• 2001
• Information Assimilation in the Digital Age: Developing Support for Web-Based Notetaking Tasks (PHD-200112-Reimer)
  Yolanda Jacobs ReimerDissertation Defense(Dec 2001)
  Abstract
  BibTeX
• Symmetry Breaking and Fault Tolerance in Boolean Satisfiability(PHD-200107-Roy)
  Amitabha RoyDissertation Defense(Jul 2001)
  Abstract
  BibTeX
• Appearance Based Rendering(MS-200106-Westlund)
  Harold Bruce WestlundMasters Thesis(Jun 2001)
  Abstract
  BibTeX
• The Design of a General Method for Constructing Coupled Scientific Simulations(MS-200106-Sottile)
  Matthew J. SottileMasters Thesis(Jun 2001)
  Abstract
  BibTeX
• The Role of Instrumentation and Mapping in Performance Measurement(PHD-200106-Shende)
  Sameer Suresh ShendeDissertation Defense(Jun 2001)
  Abstract
  BibTeX
• A Localized Approach to Image-Driven Simplification(MS-200106-Pfeiffer)
  Aaron Richard PfeifferMasters Thesis(Jun 2001)
  Abstract
  BibTeX
• An Environment for Developing Individual-Based Ecological Simulations (UG-200106-May)
  Heather MayHonors Bachelors Thesis(Jun 2001)
  Abstract
  BibTeX
• An Analysis Of The Power Of XML-Enabled And Native XML Databases(UG-200103-Zafar)
  Harris ZafarHonors Bachelors Thesis(Mar 2001)
  Abstract
  BibTeX
• Information Assimilation in the Digital Age: Developing Support for Web-Based Notetaking Tasks(TR-2001-003)
  Yolanda Jacobs ReimerTechnical Report(2001)
  Abstract
  BibTeX
• 2000
• Force Plus Graphics Is not Equal to Vision Plus Haptics: Towards Usable Haptic Environments(PHD-200008-Kirkpatrick)
  Arthur Edward KirkpatrickDissertation Defense(Aug 2000)
  Abstract
  BibTeX
• Residual Coverage Monitoring for Compiled Programs(MS-200006-Vinjamuri)
  Prasanna VinjamuriMasters Thesis(Jun 2000)
  Abstract
  BibTeX
• The Complexity of Minimizing Certain Cost Metrics for K-Source Spanning Trees(MS-200006-Connamacher)
  Harold Scott ConnamacherMasters Thesis(Jun 2000)
  Abstract
  BibTeX
• A System for Computational Analysis of Music(UG-200006-Cipriano)
  Gred CiprianoHonors Bachelors Thesis(Jun 2000)
  Abstract
  BibTeX
• Parametric Surface Representation for Visualization of Joint Biomechanics(UG-200005-Wills)
  Eric WillsHonors Bachelors Thesis(May 2000)
  Abstract
  BibTeX
• 1999
• Polynomial-Time Computation in Matrix Groups(PHD-199911-Miyazaki)
  Takunari MiyazakiDissertation Defense(Nov 1999)
  Abstract
  BibTeX
• A Type-and-Effect System for Encapsulating Memory in Java(MS-199908-Yates)
  Bennett Norton YatesMasters Thesis(Aug 1999)
  Abstract
  BibTeX
• Optimal Search Protocols(PHD-199908-Bedrax-Weiss)
  Tania Bedrax-WeissTechnical Report(Aug 1999)
  Abstract
  BibTeX
• A Visualization System for Bidirectional Reflectance Distribution Functions(MS-199906-Walker)
  Peter Andrew WalkerMasters Thesis(Jun 1999)
  Abstract
  BibTeX
• Lifted Search Engines for Satisfiability(PHD-199906-Parkes)
  Andrew John ParkesDissertation Defense(Jun 1999)
  Abstract
  BibTeX
• Directions in Planning: Understanding the Flow of Time in Planning(PHD-199906-Massey)
  Barton Christopher MasseyDissertation Defense(Jun 1999)
  Abstract
  BibTeX
• Toward Effective Algorithm Visualization Artifacts: Designing for Participation and Communication in an Undergraduate Algorithms Course(PHD-199905-Hundhausen)
  Christopher David HundhausenTechnical Report(May 1999)
  Abstract
  BibTeX
• Parallel I/0- and Communication-Sensitive Scheduling on High-Performance Parallel Computers(PHD-199903-Mache)
  Jens MacheDissertation Defense(Mar 1999)
  Abstract
  BibTeX
• A Perceptually Based Adaptive Sampling Algorithm for Realistic Image Synthesis(PHD-199901-Bolin)
  Mark Robert BolinDissertation Defense(Jan 1999)
  Abstract
  BibTeX
• Spanners and Message Distribution in Networks(TR-1999-003)
  Arthur Farley, Andrzej Proskurowski, Kurt WindischTechnical Report(1999)
  Abstract
  BibTeX
• Multi-Source Spanning Tree Problems(TR-1999-002)
  Arthur Farley, Paraskevi Fragopoulou, David Krumme, Andrzej Proskurowski, Dana RichardsTechnical Report(1999)
  Abstract
  BibTeX
• Tools for Parallel Computing: A Performance Evaluation Perspective(TR-1999-001)
  Allen MalonyTechnical Report(1999)
  Abstract
  BibTeX
• 1998
• A Collaborative Wearable System with Remote Pointing(MS-199812-Bauer)
  Martin BauerMasters Thesis(Dec 1998)
  Abstract
  BibTeX
• Reliability of Programs Specified with Equational Specifications(PHD-199811-Nikolik)
  Borislav NikolikDissertation Defense(Nov 1998)
  Abstract
  BibTeX
• A Formal Description of Behavioral Verilog Based on Axiomatic Semantics(MS-199808-Fiskio-Lasseter)
  John Howard Eli Fiskio-LasseterMasters Thesis(Aug 1998)
  Abstract
  BibTeX
• NBA Basketball Game Forecasting System: A Fuzzy Forecasting System(UG-199806-Bowers)
  Shawn BowersBachelors Thesis(Jun 1998)
  Abstract
  BibTeX
• A Prototype Notebook-Based Environment for Computational Tools(TR-1998-006)
  Jenifer Skidmore, Matthew Sottile, Janice Cuny, Allen MalonyTechnical Report(1998)
  Abstract
  BibTeX
• Memory Requirements for Table Computations in Partial k-tree Algorithms(TR-1998-005)
  Bengt Aspvall, Andrzej Proskurowski, Jan TelleTechnical Report(1998)
  Abstract
  BibTeX
• A Framework for Interacting with Distributed Programs and Data(TR-1998-004)
  Steven Hackstadt, Christopher Harrop, and Allen MalonyTechnical Report(1998)
  Abstract
  BibTeX
• Java Access Modifiers in Parallel Universes(TR-1998-003)
  Amr Sabry, Stephen FickasTechnical Report(1998)
  Abstract
  BibTeX
• A Perceptually Based Adaptive Sampling Algorithm(TR-1998-002)
  Mark Bolin, Gary MeyerTechnical Report(1998)
  Abstract
  BibTeX
• Scientific Data Visualization: Can Stereotype Be Key?(TR-1998-001)
  Gunnar SacherTechnical Report(1998)
  Abstract
  BibTeX
• 1997
• Mathematics, Computer Science, and Weaving(UG-199712-Hart)
  Michelle HartBachelors Thesis(Dec 1997)
  Abstract
  BibTeX
• Rational Evaluation of the Methodologies of Object-Oriented Software Engineering(MS-199712-Griller)
  David R. Griller, Jr.Masters Thesis(Dec 1997)
  Abstract
  BibTeX
• Reasoning About Linear Circuits in Sinusoidal Steady State (PHD-199708-Romero)
  Juan Jose Flores RomeroDissertation Defense(Aug 1997)
  Abstract
  BibTeX
• Wavelet Based Multiresolution Representations: Images, Curves and Surfaces(MS-199708-Murkherjee)
  Shrijeet S. MurkherjeeMasters Thesis(Aug 1997)
  Abstract
  BibTeX
• A Data Flow Approach to Color Gamut Visualization(MS-199706-Robertson)
  Chad Andrew RobertsonMasters Thesis(Jun 1997)
  Abstract
  BibTeX
• An Analysis and Comparison of Two Visual Discrimination Models(MS-199706-Li)
  Bei LiMasters Thesis(Jun 1997)
  Abstract
  BibTeX
• Timing Analysis in Binary-to-Binary Translation(PHD-199705-Kim)
  Inkyu KimDissertation Defense(May 1997)
  Abstract
  BibTeX
• Data Structures and Algorithms for Computing in Nilpotent and Solvable Permutation Groups (PHD-199703-Rakoczi)
  Ferenc RakocziDissertation Defense(Mar 1997)
  Abstract
  BibTeX
• Domain-Specific Metacomputing for Computational Science(AREA-1997-Hackstadt)
  Steven T. HackstadtTechnical Report(1997)
  Abstract
  BibTeX
• Domain-Specific Metacomputing for Computational Science(TR-1997-008)
  Steven T. HackstadtTechnical Report(1997)
  Abstract
  BibTeX
• Timing Analysis in Binary-To-Binary Translation(TR-1997-006)
  Inkyu KimTechnical Report(1997)
  Abstract
  BibTeX
• Lambda Calculi plus Letrec(TR-1997-005)
  Zena Ariola, Stefan BlomTechnical Report(1997)
  Abstract
  BibTeX
• Narrowing the Narrowing Space(TR-1997-004)
  Sergio Antoy, Zena Ariola Technical Report(1997)
  Abstract
  BibTeX
• Hamiltonicity of Amalgams(TR-1997-003)
  Arthur Farley, Andrzej Proskurowski, Miroslawa Skowronska, Maciej SysloTechnical Report(1997)
  Abstract
  BibTeX
• Moving beyond HTML to Create a Multimedia Database with User-Centered Design: A Case Study of a Biological Database (TR-1997-002)
  Eckehard Doerry, Sarah Douglas, Ted Kirkpatrick, Monte WesterfieldTechnical Report(1997)
  Abstract
  BibTeX
• Qualitative Argumentation(TR-1997-001)
  Arthur Farley Technical Report(1997)
  Abstract
  BibTeX
• 1996
• Dialectical Nonmonotonic Inheritance(TR-1996-014)
  Arthur M. FarleyTechnical Report(1996)
  Abstract
  BibTeX
• Dispersal Metrics for Non-Contiguous Processor Allocation(TR-1996-013)
  Jens Mache, Virginia LoTechnical Report(1996)
  Abstract
  BibTeX
• Symmetry-Breaking Predicates for Search Problems(TR-1996-012)
  James Crawford, Matthew Ginsberg, Eugene Luks, Amitabha Roy Technical Report(1996)
  Abstract
  BibTeX
• The Complexity of McKay's Canonical Labeling Algorithm(TR-1996-011)
  Takunari MiyazakiTechnical Report(1996)
  Abstract
  BibTeX
• Properties of a First-Order Functional Language with Sharing(TR-1996-010)
  Zena Ariola, ArvindTechnical Report(1996)
  Abstract
  BibTeX
• Relating Graph and Term Rewriting via Böhm Models(TR-1996-009)
  Zena AriolaTechnical Report(1996)
  Abstract
  BibTeX
• A Reflection on Call-By-Value(TR-1996-008)
  Amr Sabry, Philip WadlerTechnical Report(1996)
  Abstract
  BibTeX
• The Call-By-Need Lambda Calculus(TR-1996-007)
  Zena M. Ariola, Matthias FelleisenTechnical Report(1996)
  Abstract
  BibTeX
• A Comparison of Workload Traces from Two Production Parallel Machines(TR-1996-006)
  Kurt Windisch, Virginia Lo, Dror Feitelson, Bill Nitzberg, Reagan Moore Technical Report(1996)
  Abstract
  BibTeX
• Viz: A Visualization Programming System (TR-1996-005)
  Harold Hersey, Steven Hackstadt, Lars Hansen, Allen Malony Technical Report(1996)
  Abstract
  BibTeX
• Lambda Calculus with Explicit Recursion(TR-1996-004)
  Zena Ariola, Jan Willem KlopTechnical Report(1996)
  Abstract
  BibTeX
• Note On Axiomatizing The Semantics of Control Operators(TR-1996-003)
  Amr SabryTechnical Report(1996)
  Abstract
  BibTeX
• Distributed Array Query and Visualization for High Performance Fortran(TR-1996-002)
  Steven Hackstadt, Allen MalonyTechnical Report(1996)
  Abstract
  BibTeX
• An Empirical Comparison of Copresent and Technologically-Mediated Interaction Based on Communicative Breakdown(TR-1996-001)
  Eckehard Doerry Technical Report(1996)
  Abstract
  BibTeX
• 1995
• Collective Parallel I/0(PHD-199512-Nitzberg)
  William NitzbergDissertation Defense(Dec 1995)
  Abstract
  BibTeX
• An Empirical Comparison of Copresent and Technologically-Mediated Interaction Based on Communicative Breakdown(PHD-199511-Doerry)
  Eckehard DoerryDissertation Defense(Nov 1995)
  Abstract
  BibTeX
• Application of Image Compression Algorithms to Realistic Image Synthesis(DRP-199511-Bolin)
  Mark Bolin Directed Research Project(Nov 1995)
  Abstract
  BibTeX
• Retrospective Analysis: Refinements of Local Search for Satisfiability Testing(MS-199508-Walser)
  Joachim WalserMasters Thesis(Aug 1995)
  Abstract
  BibTeX
• Light Scattering Simulations Using Complex Surface Microstructure Models(MS-199508-Schramm)
  Morgan SchrammMasters Thesis(Aug 1995)
  Abstract
  BibTeX
• Using Psychomotor Models of Movement in the Analysis and Design of Computer Pointing Devices(PHD-199508-Mithal)
  Anant Kartik MithalDissertation Defense(Aug 1995)
  Abstract
  BibTeX
• Intelligent Backtracking on Constraint SatLsfaction Problems: Experimental and Theoretical Results(PHD-199502-Baker)
  Andrew BakerDissertation Defense(Feb 1995)
  Abstract
  BibTeX
• Dialectical Nonmonotonic Inheritance(TR-1995-020)
  Arthur FarleyTechnical Report(1995)
  Abstract
  BibTeX
• Application of Image Compression Algorithms to Realistic Image Synthesis(TR-1995-019)
  Mark Bolin Technical Report(1995)
  Abstract
  BibTeX
• Replay for Concurrent Non-Deterministic Shared Memory Applications Mark(TR-1995-018)
  Mark Russinovich, Bryce CogswellTechnical Report(1995)
  Abstract
  BibTeX
• Using Psychomotor Models of Movement in the Analysis and Design of Computer Pointing Devices(TR-1995-017)
  Anant Kartik Mithal Technical Report(1995)
  Abstract
  BibTeX
• Equational Term Graph Rewriting(TR-1995-016)
  Zena Ariola, Jan Willem KlopTechnical Report(1995)
  Abstract
  BibTeX
• Prototyping Advanced Parallel Program and Performance Visualizations(TR-1995-015)
  Steven Thomas Hackstadt Technical Report(1995)
  Abstract
  BibTeX
• Performance Extrapolation of Parallel Programs(TR-1995-014)
  Kesavan Shanmugam, Allen D. Malony, Bernd Mohr Technical Report(1995)
  Abstract
  BibTeX
• Finding Fair Allocations for the Coalition Problem with Constraints(TR-1995-013)
  Evan Tick Technical Report(1995)
  Abstract
  BibTeX
• Toward Empirically-Based Software Visualization Languages(TR-1995-012)
  Sarah Douglas, Christopher Hundhausen, Donna McKeown Technical Report(1995)
  Abstract
  BibTeX
• Burden of Proof in Legal Argumentation(TR-1995-011)
  Arthur M. Farley, Kathleen FreemanTechnical Report(1995)
  Abstract
  BibTeX
• Performance-Oriented Development of Irregular, Unstructured and Unbalanced Parallel Applications in the N-MAP Environment(TR-1995-010)
  Alois Ferscha, Allen Malony Technical Report(1995)
  Abstract
  BibTeX
• Automating Performance Diagnosis: A Theory and Architecture(TR-1995-009)
  B. Robert HelmTechnical Report(1995)
  Abstract
  BibTeX
• Intelligent Backtracking On Constraint Satisfaction Problems: Experimental and Theoretical Results(TR-1995-008)
  Andrew B. Baker Technical Report(1995)
  Abstract
  BibTeX
• Experience with the Super Monaco Optimizing Compiler(TR-1995-007)
  Evan Tick, Bart Massey, Jim LarsonTechnical Report(1995)
  Abstract
  BibTeX
• Speedy: An Integrated Performance Extrapolation Tool for pC++ Programs(TR-1995-006)
  Bernd Mohr, Kesa van Shanmugam, Allen MalonyTechnical Report(1995)
  Abstract
  BibTeX
• Minimum-Time Multidrop Broadcast(TR-1995-005)
  Arthur Farley, Andrzej Pelc, Andrzej ProskurowskiTechnical Report(1995)
  Abstract
  BibTeX
• An Improved Compile-Time Memory-Reuse Scheme for Flat Concurrent Logic Programs(TR-1995-004)
  R. Sundararajan, A. V. S. Sastry, E. TickTechnical Report(1995)
  Abstract
  BibTeX
• Super Monaco: Its Portable and Efficient Parallel Runtime System(TR-1995-003)
  J. S. Larson, B. C. Massey, E. Tick Technical Report(1995)
  Abstract
  BibTeX
• Capturing and Automating Performance Diagnosis: the Poirot Approach(TR-1995-002)
  B. Robert Helm, Allen D. Malony, Stephen F. FickasTechnical Report(1995)
  Abstract
  BibTeX
• Call for Collaboration: Performance Diagnosis Processes(TR-1995-001)
  Allen D. Malony, B. Robert Helm Technical Report(1995)
  Abstract
  BibTeX
• 1994
• Data Flow and Control Flow Analysis of Logic Programs(PHD-199408-Sundararajan)
  Renganathan SundararajanDissertation Defense(Aug 1994)
  Abstract
  BibTeX
• Toward Formalizing Dialectical Argumentation(PHD-199408-Freeman)
  Kathleen FreemanDissertation Defense(Aug 1994)
  Abstract
  BibTeX
• Prototyping Advanced Parallel Program and Performance Visualizations(MS-199406-Hackstadt)
  Steven Thomas Hackstadt Technical Report(Jun 1994)
  Abstract
  BibTeX
• Automated Support for Requirements Transformation in Software Engineering(PHD-199406-Durney)
  Brian Lee DurneyDissertation Defense(Jun 1994)
  Abstract
  BibTeX
• Mapping Parallel Algorithms to Message Passing Machines(PHD-199405-Zhong)
  Xiaoxiong ZhongDissertation Defense(May 1994)
  Abstract
  BibTeX
• Vertex Partitioning Problems: Characterization, Complexity and Algorithms on Partial K-trees (PHD-199405-Telle)
  Jan Arne TelleDissertation Defense(May 1994)
  Abstract
  BibTeX
• Efficient Array Update Analysis of Strict Functional Languages(PHD-199405-Sastry)
  A.V.S. SastryDissertation Defense(May 1994)
  Abstract
  BibTeX
• Exploring Human Visualization of Computer Algorithms(TR-1994-027)
  Sara Douglas. Donna McKeown, Christopher HundhausenTechnical Report(1994)
  Abstract
  BibTeX
• Practical Reasoning Through Argumentation(TR-1994-026)
  Arthur M. Farley, Kathleen FreemanTechnical Report(1994)
  Abstract
  BibTeX
• Digging for Bedrock: A Casual Inspection of the Epistemological Foundations of Three Disciplines(TR-1994-025)
  Eckehard DoerryTechnical Report(1994)
  Abstract
  BibTeX
• Evaluating Foundations: A Critique of Traditional Conceptions of Knowing and Learning in Intelligent Tutoring(TR-1994-024)
  Eckehard DoerryTechnical Report(1994)
  Abstract
  BibTeX
• Cardio-Vascular Construction Kit User's Manual(TR-1994-023)
  Sarah Douglas, Eckehard DoerryTechnical Report(1994)
  Abstract
  BibTeX
• Fast Management of Permutation Groups I(TR-1994-022)
  Laszlo Babai, Eugene Luks, Akos SeressTechnical Report(1994)
  Abstract
  BibTeX
• Designing Financial Swaps with CLP(R) (TR-1994-021)
  Evan TickTechnical Report(1994)
  Abstract
  BibTeX
• Optimizing Clause Matching Automata in Committed-Choice Languages(TR-1994-020)
  Bart Massey, Evan Tick Technical Report(1994)
  Abstract
  BibTeX
• Toward Formalizing Dialectical Argumentation(TR-1994-019)
  Kathleen FreemanTechnical Report(1994)
  Abstract
  BibTeX
• Vertex Partitioning Problems: Characterization, Complexity and Algorithms on Partial k-Trees(TR-1994-018)
  Jan Arne TelleTechnical Report(1994)
  Abstract
  BibTeX
• Burden of Proof in a Computational Model of Argumentation(TR-1994-017)
  Arthur Farley, Kathleen FreemanTechnical Report(1994)
  Abstract
  BibTeX
• Temporal Planning And Plan Execution In A Dynamic Environment(TR-1994-016)
  Jeroen SwanbornTechnical Report(1994)
  Abstract
  BibTeX
• Evaluating Bayes Nets with Concurrent Process Networks(TR-1994-015)
  Evan Tick, Bruce D'AmbrosioTechnical Report(1994)
  Abstract
  BibTeX
• Path Mode Analysis for Concurrent Logic Programs(TR-1994-013)
  Putthi Tulayathun Technical Report(1994)
  Abstract
  BibTeX
• Computing Normalizers in Permutation p-Groups (TR-1994-012)
  Eugene M. Luks, Ferenc Rákóczi, Charles R.B. Wright Technical Report(1994)
  Abstract
  BibTeX
• Non-Contiguous Processor Allocation Algorithms for Distributed Memory Multicomputers(TR-1994-011)
  Wanqian Liu, Virginia Lo, Kurt Windisch, Bill NitzbergTechnical Report(1994)
  Abstract
  BibTeX
• Modes of Comprehension: Mode Analysis of Arrays and Array Comprehensions(TR-1994-010)
  B. Massey, E. TickTechnical Report(1994)
  Abstract
  BibTeX
• Scalable Performance Visualization for Data-Parallel Programs(TR-1994-009)
  Steven T. Hackstadt, Allen D. Malony, Bernd MohrTechnical Report(1994)
  Abstract
  BibTeX
• Data Flow And Control Flow Analysis Of Logic Programs (TR-1994-008)
  Renganathan SundararajanTechnical Report(1994)
  Abstract
  BibTeX
• The Deevolution of Concurrent Logic Programming Languages(TR-1994-007)
  Evan Tick Technical Report(1994)
  Abstract
  BibTeX
• Practical Static Mode Analyses of Concurrent Logic Languages(TR-1994-006)
  Evan Tick, Miyuki Koshimura Technical Report(1994)
  Abstract
  BibTeX
• A Common Intermediate Language and its Use in Partitioning Concurrent Declarative Programs(TR-1994-005)
  Z. M. Ariola, B. C. Massey, M. Sarni, E. TickTechnical Report(1994)
  Abstract
  BibTeX
• Workshop on Parallel Logic Programming and its Programming Environments (TR-1994-004)
  Takashi Chikayama, Evan Tick Technical Report(1994)
  Abstract
  BibTeX
• Demand-Driven Dataflow for Concurrent Committed-Choice Code(TR-1994-003)
  Bart Massey, Evan TickTechnical Report(1994)
  Abstract
  BibTeX
• Practical Static Mode Analyses of Concurrent Logic Languages(TR-1994-002)
  Evan TickTechnical Report(1994)
  Abstract
  BibTeX
• Wavelength Dependent Reflectance Functions (TR-1994-001)
  Jay S. Gondek, Gary W. Meyer, Jonathan G. Newman Technical Report(1994)
  Abstract
  BibTeX
• 1993
• Automating Negotiated Design Integration: Formal Representations and Algorithms for Collaborative Design(PHD-199303-Robinson)
  William RobinsonDissertation Defense(Mar 1993)
  Abstract
  BibTeX
• Automating Requirements Engineering Using Artificial Intelligence Planning Techniques(PHD-199303-Anderson)
  John AndersonDissertation Defense(Mar 1993)
  Abstract
  BibTeX
• Conversational Analysis and Human-Computer Interaction Design(TR-1993-029)
  Sarah Douglas Technical Report(1993)
  Abstract
  BibTeX
• Automating Requirements Engineering Using Artificial Intelligence Planning Techniques(TR-1993-028)
  John AndersonTechnical Report(1993)
  Abstract
  BibTeX
• LingWorlds: An Intelligent Object-Oriented Environment for Second-Language Tutoring(TR-1993-027)
  Sarah Douglas Technical Report(1993)
  Abstract
  BibTeX
• Performance Enhancements for Operating System Implementations of Distributed Shared Memory(TR-1993-026)
  Virginia Lo Technical Report(1993)
  Abstract
  BibTeX
• Capturing and Automating Performance Diagnosis: The Poirot Approach(TR-1993-025)
  B. Robert Helm, Alan D. Malony, Stephen F. FickasTechnical Report(1993)
  Abstract
  BibTeX
• A bestiary of performance diagnosis methodologies(TR-1993-024)
  Robert HelmTechnical Report(1993)
  Abstract
  BibTeX
• Next-Generation Parallel Performance Visualization: A Prototyping Environment for Visualization Development(TR-1993-023)
  Steven Hackstadt, Allen MalonyTechnical Report(1993)
  Abstract
  BibTeX
• Plane embeddings of 2-trees and biconnected partial 2-trees (TR-1993-022)
  Andrzej Proskurowski, Maciej M. Syslo, Pawel WinterTechnical Report(1993)
  Abstract
  BibTeX
• Data Distribution Visualization (DDV) for Performance Evaluation(TR-1993-021)
  Steven T. Hackstadt, Allen D. Malony Technical Report(1993)
  Abstract
  BibTeX
• Object View: A Software Design Architecture for Breakpoint-Based Program Visualization(TR-1993-020)
  Christopher Hundhausen, Allen Maloney Technical Report(1993)
  Abstract
  BibTeX
• Sylow's Theorem and Parallel Computation(TR-1993-019)
  Peter Mark Technical Report(1993)
  Abstract
  BibTeX
• Self-repairing networks & Minimum self-repairing graphs(TR-1993-018)
  Arthur M. Farley & Andrzej ProskurowskiTechnical Report(1993)
  Abstract
  BibTeX
• On the Use of Scenarios in Requirements Acquisition(TR-1993-017)
  Anne DardenneTechnical Report(1993)
  Abstract
  BibTeX
• Polynomial-Time Testing and Pronormality in Solvable Quotients of Permutation Groups(TR-1993-016)
  Arnold Feldman Technical Report(1993)
  Abstract
  BibTeX
• The Diadora Principle: Efficient Execution of Fine-Grain, Concurrent Languages (TR-1993-015)
  B. C. Massey, E. TickTechnical Report(1993)
  Abstract
  BibTeX
• Characterization and Complexity of Domination-type Problems in Graphs(TR-1993-014)
  Jan Arne Telle Technical Report(1993)
  Abstract
  BibTeX
• Toward Formalizing Dialectical Argumentation(TR-1993-013)
  K. Freeman, A. FarleyTechnical Report(1993)
  Abstract
  BibTeX
• Proceedings of the Workshop on Practical Implementations and Systems Experience in Logic Programming(TR-1993-012)
  E.Tick Technical Report(1993)
  Abstract
  BibTeX
• Concurrent Logic Programs a la Mode(TR-1993-011)
  E. Tick, B. Massey, F. Rakoczi, P. TulayathunTechnical Report(1993)
  Abstract
  BibTeX
• Automatic Negotiated Design Integration: Formal Representations and Algorithms for Collaborative Design(TR-1993-010)
  William Robinson Technical Report(1993)
  Abstract
  BibTeX
• Evaluation of Parallel Copying Garbage Collection on a Shared-Memory Multiprocessor(TR-1993-009)
  Akira Imai and Evan TickTechnical Report(1993)
  Abstract
  BibTeX
• A Compile-Time Granularity Analysis Algorithm and its Performance Evaluation(TR-1993-008)
  X.Zhong, E. TickTechnical Report(1993)
  Abstract
  BibTeX
• Determinacy Testing for Nondeterminate Logic Programming Languages(TR-1993-007)
  E. Tick, M. KorslootTechnical Report(1993)
  Abstract
  BibTeX
• Parallel Computation of Sylow Subgroups in Solvable Groups(TR-1993-006)
  Peter MarkTechnical Report(1993)
  Abstract
  BibTeX
• Computing Composition Series in Primitive Groups(TR-1993-005)
  Laszlo Babai, Eugene Luks, Akos SeressTechnical Report(1993)
  Abstract
  BibTeX
• Practical Algorithms on Partial k-Trees with an Application to Domination-Like Problems(TR-1993-004)
  Jan Arne Telle, Andrzej ProskurowskiTechnical Report(1993)
  Abstract
  BibTeX
• Appraisal of Parallel Processing Research at ICOT(TR-1993-003)
  E. TickTechnical Report(1993)
  Abstract
  BibTeX
• Perturbation Analysis of High Level Instrumentation for SPMD Programs(TR-1993-002)
  Sekhar Sarukkai, Allen MalonyTechnical Report(1993)
  Abstract
  BibTeX
• Permutation Groups and Polynomial Time Computation(TR-1993-001)
  Eugene M. LuksTechnical Report(1993)
  Abstract
  BibTeX
• 1992
• Sylow's Theorem and Parallel Computation(PHD-199208-Mark)
  Peter MarkDissertation Defense(Aug 1992)
  Abstract
  BibTeX
• Fractal Landscape Synthesis in Computer Graphics(UG-199204-Gondek)
  Jay S. GondekHonors Bachelors Thesis(Apr 1992)
  Abstract
  BibTeX
• Future Directions in Parallel Performance Environments(TR-1992-024)
  Allen Malony, Gregory WilsonTechnical Report(1992)
  Abstract
  BibTeX
• An Investigation of Bias Shifting and Bias Shifting Methods(TR-1992-023)
  Shawn Robert WolfeTechnical Report(1992)
  Abstract
  BibTeX
• Parallel Divide and Conquer on Meshes(TR-1992-022)
  Virginia Lo, Sanjay Rajopadhye, Jan Telle, Xiaoxiong Zhong Technical Report(1992)
  Abstract
  BibTeX
• Performance Evaluation of the Monaco Compiler and Runtime Kernel(TR-1992-021)
  E.Tick, C. BanerjeeTechnical Report(1992)
  Abstract
  BibTeX
• Working Within the FGCS National Project(TR-1992-020)
  E. TickTechnical Report(1992)
  Abstract
  BibTeX
• Issues in Using Scenarios in Deficiency-Driven Design(TR-1992-019)
  Brian DurneyTechnical Report(1992)
  Abstract
  BibTeX
• Sequentialization Of Parallel Logic Programs With Mode Analysis(TR-1992-018)
  B. MasseyTechnical Report(1992)
  Abstract
  BibTeX
• Computing in Solvable Matrix Groups(TR-1992-017)
  Eugene Luks Technical Report(1992)
  Abstract
  BibTeX
• Monaco: A High Performance Implementation of FGHC on Shared-Memory Multiprocessors(TR-1992-016)
  S.DuvvuruTechnical Report(1992)
  Abstract
  BibTeX
• Massive Computation in Financial Markets(TR-1992-015)
  E. TickTechnical Report(1992)
  Abstract
  BibTeX
• Order-of-evaluation Analysis for Destructive Updates in Strict Functional Languages with Flat Aggregates(TR-1992-014)
  A.V.S. Sastry, William ClingerTechnical Report(1992)
  Abstract
  BibTeX
• Explorations in Qualitative Macroeconomics(TR-1992-013)
  Arthur Farley, Kuan-Pin LinTechnical Report(1992)
  Abstract
  BibTeX
• Optimal Parallel Schedules for Uniform Recurrence Equations(TR-1992-012)
  Xiaoxiong Zhong Technical Report(1992)
  Abstract
  BibTeX
• Human Performance Evaluation of a Finger-Controlled Pointing Device(TR-1992-011)
  Sarah Douglas, Anant Kartik MithalTechnical Report(1992)
  Abstract
  BibTeX
• Argumentation in Weak Theory Domains(TR-1992-010)
  Kathleen Freeman, Arthur FarleyTechnical Report(1992)
  Abstract
  BibTeX
• Automatic Mode Analysis For Concurrent Logic Programs: Implementation and Evaluation(TR-1992-009)
  B. Massey, E. TickTechnical Report(1992)
  Abstract
  BibTeX
• Supporting the Design of Manageable Network Applications: a Proposal (TR-1992-008)
  Stephen Fickas Technical Report(1992)
  Abstract
  BibTeX
• Knowledge Representation and Reasoning in the Design of Composite Systems(TR-1992-007)
  Stephen Fickas, B. Robert HelmTechnical Report(1992)
  Abstract
  BibTeX
• Scare Tactics: Evaluating Problem Decompositions Using Failure Scenarios(TR-1992-006)
  B. Robert Helm, Stephen FickasTechnical Report(1992)
  Abstract
  BibTeX
• Temporal Communication Graphs: Lamport's Process-Time Graphs Augmented for the Purpose of Mapping and Scheduling(TR-1992-005)
  Virginia M. LoTechnical Report(1992)
  Abstract
  BibTeX
• An Efficient Heuristic for Application­Specific Routing On Mesh Connected Multiprocessors(TR-1992-004)
  Xiaoxiong Zhong, Virginia LoTechnical Report(1992)
  Abstract
  BibTeX
• Application-Specific Deadlock Free Wormhole Routing on Multicomputers(TR-1992-003)
  Xiaoxiong Zhong, Virginia LoTechnical Report(1992)
  Abstract
  BibTeX
• Automating Composite System Design: a Proposal(TR-1992-002)
  Stephen Fickas Technical Report(1992)
  Abstract
  BibTeX
• Isolated Template Immunity(TR-1992-001)
  Arthur M. Farley, Andrzej ProskurowskiTechnical Report(1992)
  Abstract
  BibTeX
• 1991
• Pertutor: An Intelligent Tutoring System in the Domain of Percentages(MS-199112-Sancho-Chavarria)
  Lilliana Sancho-ChavarriaMasters Thesis(Dec 1991)
  Abstract
  BibTeX
• Qualitative Reasoning about Physical Systems with Multiple Perspectives(PHD-199103-Zheng-Yang)
  Liu, Zheng-YangDissertation Defense(Mar 1991)
  Abstract
  BibTeX
• Revised Report on the Algorithmic Language Scheme(TR-1991-025)
  William Clinger, Jonathan ReesTechnical Report(1991)
  Abstract
  BibTeX
• A Compile-Time Memory-Reuse Scheme for Concurrent Logic Programs (TR-1991-024)
  A.V. S. Sastry, R. Sundararajan, E. TickTechnical Report(1991)
  Abstract
  BibTeX
• Graph Reductions, and Techniques for Finding Minimal Forbidden Minors(TR-1991-023)
  Andrzej Proskurowski Technical Report(1991)
  Abstract
  BibTeX
• Bounded-Call Broadcasting(TR-1991-022)
  Arthur Farley, Andrzej ProskurowskiTechnical Report(1991)
  Abstract
  BibTeX
• Parallel Implementation of Divide-and-Conquer Algorithms on Binary de Bruijn Networks(TR-1991-021)
  Xiaoxiong Zhong, Sanjay Rajopadhye, Virginia LoTechnical Report(1991)
  Abstract
  BibTeX
• Reasoning About Spatial Structure in Landscapes with Geographic Information Systems(TR-1991-020)
  Claude Saunders, Art FarleyTechnical Report(1991)
  Abstract
  BibTeX
• A Compile-Time Granularity Analysis Algorithm and its Performance Evaluation(TR-1991-019)
  X. Zhong, E. TickTechnical Report(1991)
  Abstract
  BibTeX
• Kaleidescope Visualization of Fine-Grain Parallel Programs (TR-1991-018)
  E. Tick, D.-Y. ParkTechnical Report(1991)
  Abstract
  BibTeX
• Reasoning About Permutations in Regular Arrays(TR-1991-017)
  Bjorn Lisper, Sanjay RajopadhyeTechnical Report(1991)
  Abstract
  BibTeX
• Case-Based Classification: A New Approach(TR-1991-016)
  Arthur FarleyTechnical Report(1991)
  Abstract
  BibTeX
• When Things Go Wrong: Predicting Failure in Multi-Agent Systems(TR-1991-015)
  Stephen Fickas, Rob Helm, Martin FeatherTechnical Report(1991)
  Abstract
  BibTeX
• Visualizing Small-Grain Parallel Programs for Performance Evaluation(TR-1991-014)
  Dae-Yeon Park Technical Report(1991)
  Abstract
  BibTeX
• Systematic Generation of Linear Allocation Functions in Systolic Array Design(TR-1991-013)
  Xiaoxiong Zhong, Sanjay Rajopadhye, Ivan WongTechnical Report(1991)
  Abstract
  BibTeX
• Composite System Design: the Good News and the Bad News(TR-1991-012)
  Martin Feather, Stephen Fickas, Rob HelmTechnical Report(1991)
  Abstract
  BibTeX
• Negotiation in Composite System Design(TR-1991-011)
  William RobinsonTechnical Report(1991)
  Abstract
  BibTeX
• Polynomial Size Constant Depth Circuits with a Limited Number of Negations(TR-1991-010)
  C. Wilson, M. SanthaTechnical Report(1991)
  Abstract
  BibTeX
• Detection of Sequential Modules in Parallel Programs(TR-1991-009)
  M. Korsloot, E. TickTechnical Report(1991)
  Abstract
  BibTeX
• Goal-directed Concept Acquisition in Requirements Elicitation(TR-1991-008)
  Anne Dardenne, Stephen Fickas, Axel van LamsweerdeTechnical Report(1991)
  Abstract
  BibTeX
• Efficient Sets in Partial k-trees(TR-1991-007)
  Jan Telle, Andrzej ProskurowskiTechnical Report(1991)
  Abstract
  BibTeX
• An Abstract Interpretation Scheme for Groundness, Freeness, and Sharing Analysis of Logic Programs(TR-1991-006)
  Renganathan SundararajanTechnical Report(1991)
  Abstract
  BibTeX
• Abstract Interpretation of Logic Programs(TR-1991-005)
  Renganathan SundararajanTechnical Report(1991)
  Abstract
  BibTeX
• Qualitative Reasoning about Physical Systems with Multiple Perspectives(TR-1991-004)
  Zheng-Yang LiuTechnical Report(1991)
  Abstract
  BibTeX
• The Composition Model of Specification: A Comparative Study(TR-1991-003)
  John AndersonTechnical Report(1991)
  Abstract
  BibTeX
• Acting Responsible: Reasoning about Agents in a Multi-agent System (TR-1991-002)
  Stephen Fickas, Rob HelmTechnical Report(1991)
  Abstract
  BibTeX
• Partitioned Graph-Search Algorithms(TR-1991-001)
  E.Tick, P. AdamsonTechnical Report(1991)
  Abstract
  BibTeX
• 1990
• Process Allocation and Load Balancing in Parallel Logic Programming(MS-199008-Mohamed)
  Moataz Ali MohamedMasters Thesis(Aug 1990)
  Abstract
  BibTeX
• Towards A Pattern Language For User-Interface Design(MS-199006-Skarbo)
  Rune Arnt SkarboMasters Thesis(Jun 1990)
  Abstract
  BibTeX
• The Use of Teleology in the Qualitative Evaluation and Explanation of Circulatory System(PHD-199006-Downing)
  Keith DowningDissertation Defense(Jun 1990)
  Abstract
  BibTeX
• MicroWorld(MS-199003-Smithrud)
  Gary Michael SmithrudMasters Thesis(Mar 1990)
  Abstract
  BibTeX
• Visual Cues and Pictorial Limitations in Photorealistic Images (TR-1990-027)
  Christopher Barbour, Gary MeyerTechnical Report(1990)
  Abstract
  BibTeX
• Distributed Shared Memory: A Survey of Issues and Algorithms(TR-1990-026)
  Bill Nitzberg, Virginia LoTechnical Report(1990)
  Abstract
  BibTeX
• A Spectral Database for Realistic Image Synthesis(TR-1990-025)
  Gary Meyer, Richard HaleTechnical Report(1990)
  Abstract
  BibTeX
• The Kate Project: Supporting Specification Construction(TR-1990-024)
  Stephen Fickas, John Anderson, William Robinson Technical Report(1990)
  Abstract
  BibTeX
• Parallel Logic Programs on the HP Mayfly(TR-1990-022)
  John ConeryTechnical Report(1990)
  Abstract
  BibTeX
• Lectures on Polynomial-time Computation in Groups (TR-1990-021)
  Eugene Luks Technical Report(1990)
  Abstract
  BibTeX
• Newton's Colors: Simulating Interference Phenomena in Realistic Image Synthesis(TR-1990-020)
  Brian Smits, Gary Meyer Technical Report(1990)
  Abstract
  BibTeX
• A Transformational Approach to Composite System Specification(TR-1990-019)
  Stephen Fickas, Rob Helm Technical Report(1990)
  Abstract
  BibTeX
• A Determinacy Testing Algorithm for Nondeterminate Flat Concurrent Logic Programming Languages(TR-1990-018)
  Evan Tick, M.KorslootTechnical Report(1990)
  Abstract
  BibTeX
• Macros That Work(TR-1990-017)
  William Clinger, Jonathan ReesTechnical Report(1990)
  Abstract
  BibTeX
• LaRCS: A Language for Describing Parallel Computations for the Purpose of Mapping(TR-1990-016)
  Virginia Lo, Sanjay Rajopadhye, Moataz A. Mohamed, Samik Gupta, Bill Nitzberg, Jan Arne Telle, Xiaoxiong ZhongTechnical Report(1990)
  Abstract
  BibTeX
• Workshop on Parallel Implementation of Languages for Symbolic Computation (TR-1990-015)
  editors: A. Ciepielewski, Evan TickTechnical Report(1990)
  Abstract
  BibTeX
• Reliability of Partial k-tree Networks(TR-1990-014)
  Erick Mata-MonteroTechnical Report(1990)
  Abstract
  BibTeX
• The Use of Teleology in the Qualitative Evaluation and Explanation of Circulatory Systems(TR-1990-013)
  Keith Linn Downing Technical Report(1990)
  Abstract
  BibTeX
• Splitting the Difference: Exploring the Middle Ground in User Interface Design (TR-1990-012)
  Sarah Douglas, Eckehard Doerry, David NovickTechnical Report(1990)
  Abstract
  BibTeX
• Incremental Selection in Plan Composition (TR-1990-011)
  John Anderson, Art FarleyTechnical Report(1990)
  Abstract
  BibTeX
• Systematic Generation of Linear Allocation Functions in Systolic Array Design(TR-1990-010)
  Xiaoxiong Zhong, Sanjay Rajopadhye, Ivan WongTechnical Report(1990)
  Abstract
  BibTeX
• SASCOM: An Automatic CAD Tool for the Generation of Systolic Arrays (TR-1990-008)
  Ivan Chung Wing Wong Technical Report(1990)
  Abstract
  BibTeX
• Computing in Quotient Groups(TR-1990-007)
  William M. Kantor, Eugene M. Luks Technical Report(1990)
  Abstract
  BibTeX
• The Importance of Gun Balancing in Monitor Calibration(TR-1990-006)
  Gary W. Meyer Technical Report(1990)
  Abstract
  BibTeX
• Specification Criticism via Policy-Directed Envisionment(TR-1990-005)
  Keith Downing, Stephen Fickas Technical Report(1990)
  Abstract
  BibTeX
• Negotiation Freedoms for Requirements Engineering(TR-1990-004)
  William Robinson, Stephen FickasTechnical Report(1990)
  Abstract
  BibTeX
• Formalizing and Automating Requirements Engineering(TR-1990-003)
  Stephen Fickas, John Anderson, William Robinson Technical Report(1990)
  Abstract
  BibTeX
• How to Read Floating Point Numbers Accurately(TR-1990-001)
  William Clinger Technical Report(1990)
  Abstract
  BibTeX
• 1989
• Algorithms for Permutation Groups and Cayley Networks(PHD-198908-Blaha)
  Kenneth D. BlahaDissertation Defense(Aug 1989)
  Abstract
  BibTeX
• RAGA: Musical Gantt Charts for Scheduling in Distributed Real Time Systems(TR-1989-020)
  Virginia M. Lo, Gurdeep Singh PallTechnical Report(1989)
  Abstract
  BibTeX
• Mapping Divide-and-Conquer Algorithms to Parallel Architectures(TR-1989-019)
  Virginia Lo, S. V. Rajopadhye, S.Gupta, D.Keldsen, M.Mohamed, Jan TelleTechnical Report(1989)
  Abstract
  BibTeX
• OREGAMI: Tools for Mapping Parallel Computations to Parallel Architectures(TR-1989-018)
  Virginia Lo, Sanjay Rajopadhye, Samik Gupta, David Keldsen Moataz Mohamed, Bill Nitzberg, Jan Telle, Xiaoxiong ZhongTechnical Report(1989)
  Abstract
  BibTeX
• Maximal graphs of path-width k or searching a partial k-caterpillar (TR-1989-017)
  Andrzej ProskurowskiTechnical Report(1989)
  Abstract
  BibTeX
• Efficient Computations in Tree-Like Graphs (TR-1989-016)
  Andrzej Proskurowski, Maciej M. Syslo Technical Report(1989)
  Abstract
  BibTeX
• Resilience of Partial k-tree Networks with Edge and Node Failures (TR-1989-015)
  Erick Mata-Montero Technical Report(1989)
  Abstract
  BibTeX
• Algorithms for Permutation Groups and Cayley Networks(TR-1989-014)
  Kenneth D. Blaha Technical Report(1989)
  Abstract
  BibTeX
• Negotiation Behavior During Multiple Agent Specification: A Need for Automated Conflict Resolution(TR-1989-013)
  William N. Robinson Technical Report(1989)
  Abstract
  BibTeX
• Algebraic Transformations in Systolic Array Synthesis: A Case Study(TR-1989-012)
  Sanjay V. Rajopadhye Technical Report(1989)
  Abstract
  BibTeX
• Canonical Representations of Partial 2- and 3-trees (TR-1989-011)
  Stefan Arnborg, Andrzej Proskurowski Technical Report(1989)
  Abstract
  BibTeX
• Backward Execution Based on Dynamic Data Dependencies(TR-1989-010)
  David M. Meyer Technical Report(1989)
  Abstract
  BibTeX
• 1988
• Control of Mixed-Initiative Discourse Through Meta-Locutionary Acts: A Computational Model(PHD-198812-Novick)
  David Graham NovickDissertation Defense(Dec 1988)
  Abstract
  BibTeX
• A Critic For Software Specifications(MS-198806-Nagarajan)
  P. NagarajanMasters Thesis(Jun 1988)
  Abstract
  BibTeX
• Analyzing Intention in Musical Performance(MS-198806-Looney)
  Kevin Thomas LooneyMasters Thesis(Jun 1988)
  Abstract
  BibTeX
• Control of Mixed-Initiative Discourse Through Meta-Locutionary Acts: A Computational Model(TR-1988-018)
  David Graham NovickTechnical Report(1988)
  Abstract
  BibTeX
• On the Decomposability of NC and AC(TR-1988-017)
  Christopher Wilson Technical Report(1988)
  Abstract
  BibTeX
• Design Issues in a Minimal Language to Support Lisp-based, Object-based, and Rule-based Programming(TR-1988-016)
  Steve Fickas, Eckehard Doerry, David Meyer, Peter MillerTechnical Report(1988)
  Abstract
  BibTeX
• A Proposed Perspective Shift: Viewing Specification Design as a Planning Problem(TR-1988-015)
  Stephen Fickas, John AndersonTechnical Report(1988)
  Abstract
  BibTeX
• Downward Translations of Equality(TR-1988-014)
  Christopher Wilson Technical Report(1988)
  Abstract
  BibTeX
• Fast Management of Permutation Groups(TR-1988-013)
  Laszlo Babai, Eugene Luks, Akos Seress Technical Report(1988)
  Abstract
  BibTeX
• HOOPS Users Manual (TR-1988-012)
  John ConeryTechnical Report(1988)
  Abstract
  BibTeX
• Frame of Reference and the Representation of Commonsense Spatial Relations(TR-1988-011)
  Sarah Douglas Technical Report(1988)
  Abstract
  BibTeX
• Context, User Models and Interface Design(TR-1988-010)
  Sarah Douglas Technical Report(1988)
  Abstract
  BibTeX
• Detecting and Repairing Tutoring Failures(TR-1988-009)
  Sarah Douglas Technical Report(1988)
  Abstract
  BibTeX
• Metaphoric Interpretation by Ontological Categories(TR-1988-008)
  Sylvia Weaver, Sarah DouglasTechnical Report(1988)
  Abstract
  BibTeX
• EXODOS Oregon Experimental Distributed Operating System(TR-1988-007)
  Jeff Eaton, Virginia Lo, Bill Nitzberg, George Rankin, and Mark Vande WetteringTechnical Report(1988)
  Abstract
  BibTeX
• Algorithms For Static Task Assignment And Symmetric Contraction In Distributed Computing Systems(TR-1988-006)
  Virginia LoTechnical Report(1988)
  Abstract
  BibTeX
• Plan Abstraction Based On Operator Generalization(TR-1988-005)
  John Anderson, Arthur FarleyTechnical Report(1988)
  Abstract
  BibTeX
• Fast Parallel Algorithms for the Subgraph Homeomorphism & the Subgraph Isomorphism Problems for Classes of Planar Graphs(TR-1988-004)
  Andrzej Lingas, Andrzej ProskurowskiTechnical Report(1988)
  Abstract
  BibTeX
• Qualitative Reasoning in Economics(TR-1988-003)
  Arthur Farley, Kuan-Pin LinTechnical Report(1988)
  Abstract
  BibTeX
• Critiquing a Software Specification(TR-1988-001)
  Stephan Fickas, P. NagarajanTechnical Report(1988)
  Abstract
  BibTeX
• 1987
• Towards Formalization of Specification Design(MS-198706-Robinson)
  William N. RobinsonMasters Thesis(Jun 1987)
  Abstract
  BibTeX
• I/O Behavior of Systolic Arrays(TR-1987-016)
  Sanjay RajopadhyeTechnical Report(1987)
  Abstract
  BibTeX
• Color Defective Vision and Computer Graphic Displays(TR-1987-015)
  Gary W. Meyer, Donald P. GreenbergTechnical Report(1987)
  Abstract
  BibTeX
• Wavelength Selection for Synthetic Image Generation(TR-1987-014)
  Gary W. Meyer Technical Report(1987)
  Abstract
  BibTeX
• Automatic Derivation of Systolic Arrays for LU Decomposition(TR-1987-012)
  Sanjay V. Rajopadhye Technical Report(1987)
  Abstract
  BibTeX
• Cluster-based Representation of Hydraulic Systems(TR-1987-011)
  Arthur M. Farley Technical Report(1987)
  Abstract
  BibTeX
• Object Oriented Programming with First Order Logic (TR-1987-009)
  John S. Conery Technical Report(1987)
  Abstract
  BibTeX
• Diagnostic Mechanism Modeling (TR-1987-008)
  Arthur M. Farley Technical Report(1987)
  Abstract
  BibTeX
• Immunity to Subgraph Failures in Communication Networks(TR-1987-007)
  Arthur M. Farley, Andrzej Proskurowski Technical Report(1987)
  Abstract
  BibTeX
• Reliable Minimum-Time Broadcast Networks (TR-1987-006)
  Arthur M. Farley Technical Report(1987)
  Abstract
  BibTeX
• Automating the Specification Process(TR-1987-005)
  Stephen FickasTechnical Report(1987)
  Abstract
  BibTeX
• Problem Acquisition in Software Analysis: A Preliminary Study(TR-1987-004)
  Stephen Fickas, Sharon Collins, Susan Olivier Technical Report(1987)
  Abstract
  BibTeX
• Design and Implementation of a Qualitative Constraint Satisfaction System (TR-1987-003)
  P. Thyagarajan, Arthur M. Farley Technical Report(1987)
  Abstract
  BibTeX
• Permutation Groups in NC(TR-1987-002)
  László Babai, Eugene Luks, Ákos SeressTechnical Report(1987)
  Abstract
  BibTeX
• OM: A Virtual Processor for Parallel Logic Programs(TR-1987-001)
  John Conery, David MeyerTechnical Report(1987)
  Abstract
  BibTeX
• 1986
• Implementation Of The And/Or Process Model(MS-198606-More)
  Nitin MoreMasters Thesis(Jun 1986)
  Abstract
  BibTeX
• A Greedy Approach to a NP-hard Problem for Permutation Groups(TR-1986-016)
  Kenneth BlahaTechnical Report(1986)
  Abstract
  BibTeX
• Intelligent Scheduling in Distributed Computing Systems(TR-1986-014)
  Virginia M. Lo, David Chen Technical Report(1986)
  Abstract
  BibTeX
• Heuristic Algorithms for Task Assignment in Distributed Systems(TR-1986-013)
  Virginia LoTechnical Report(1986)
  Abstract
  BibTeX
• Synthesizing Systolic Arrays with Control Signals from Recurrence Equations(TR-1986-012)
  Sanjay Rajopadhye Technical Report(1986)
  Abstract
  BibTeX
• Detecting Structure by Symbolic Constructions on Tokens (TR-1986-010)
  Kent Stevena, Allen BrookesTechnical Report(1986)
  Abstract
  BibTeX
• Backward Execution in Nondeterministic AND-Parallel Systems (TR-1986-009)
  John Conery Technical Report(1986)
  Abstract
  BibTeX
• Automating the Analysis Process: An Example(TR-1986-008)
  Stephen Fickas Technical Report(1986)
  Abstract
  BibTeX
• Forbidden Minors Characterization of Partial 3-trees (TR-1986-007)
  Stefan Arnborg, Andrzej Proakurowaki, Derek Corneil Technical Report(1986)
  Abstract
  BibTeX
• Probing Depth in Monocular Images (TR-1986-006)
  Kent Stevens, Allen BrookesTechnical Report(1986)
  Abstract
  BibTeX
• Integrating Stereopsis with Monocular Interpretations of Planar Surfaces (TR-1986-005)
  Kent Stevens, Allen Brookes Technical Report(1986)
  Abstract
  BibTeX
• Artifacts at the Limit of Resolution (TR-1986-004)
  Kent Stevens, Daniel Lulich Technical Report(1986)
  Abstract
  BibTeX
• Parallel Algorithms for Permutation Groups and Graph Isomorphism(TR-1986-003)
  Eugene Luks Technical Report(1986)
  Abstract
  BibTeX
• Closed Environments: Partitioned Memory Representation for Parallel Logic Programs(TR-1986-002)
  John Conery Technical Report(1986)
  Abstract
  BibTeX
• Parallel Computation and the NC Hierarchy Relativized(TR-1986-001)
  Christopher Wilson Technical Report(1986)
  Abstract
  BibTeX
• 1985
• Combinator Reductions on a Lisp Machine(MS-198506-Mat)
  Nilgun MatMasters Thesis(Jun 1985)
  Abstract
  BibTeX
• A Knowledge-Based Approach to Specification Acquisition and Construction(TR-1985-013)
  Stephen FickasTechnical Report(1985)
  Abstract
  BibTeX
• Zero Divisors and Invariant Subspaces(TR-1985-012)
  Lajos Ronyai Technical Report(1985)
  Abstract
  BibTeX
• Orthogonality in the Design of Command Languages(TR-1985-011)
  Cathryn Stanford, Edward Bowden, David Locke, Sarah DouglasTechnical Report(1985)
  Abstract
  BibTeX
• An Environment for Building Rule-Based Systems: An Overview(TR-1985-010)
  Stephen Fickas, David Novick, and Rob Reesor Technical Report(1985)
  Abstract
  BibTeX
• Fast Parallel Computation with Permutation Groups(TR-1985-009)
  Eugene M. LuksTechnical Report(1985)
  Abstract
  BibTeX
• The Concave Cusp as a Determiner of Figure-Ground(TR-1985-008)
  Kent Stevens, Allen Brookes Technical Report(1985)
  Abstract
  BibTeX
• Computing the Composition Factors of a Permutation Group in Polynomial Time (TR-1985-007)
  Eugene Luks Technical Report(1985)
  Abstract
  BibTeX
• Design Issues in a Rule-Based System(TR-1985-006)
  Stephen Fickas, David NovickTechnical Report(1985)
  Abstract
  BibTeX
• Control Knowledge in Expert Systems: Relaxing Restrictive Assumptions (TR-1985-005)
  Stephen Fickas, David NovickTechnical Report(1985)
  Abstract
  BibTeX
• Building Control Strategies in a Rule-Based System (TR-1985-004)
  Stephen Fickas, David Novick, Rob ReesorTechnical Report(1985)
  Abstract
  BibTeX
• Polynomial Time Solutions of Some Problems in Computational Algebra (TR-1985-003)
  Katalin Friedl, Lajos RonyaiTechnical Report(1985)
  Abstract
  BibTeX
• AND Parallelism and Nondeterminism in Logic Programs (TR-1985-002)
  John Conery, Dennis Kibler Technical Report(1985)
  Abstract
  BibTeX
• Automating the Transformational Development of Software (TR-1985-001)
  Stephen Fickas Technical Report(1985)
  Abstract
  BibTeX
• 1984
• Programming for the Tektronix 4115B on the Vax: A Tutorial(TR-1984-012)
  Carla WenzlaffTechnical Report(1984)
  Abstract
  BibTeX
• A Problem Solving Approach to Software Development(TR-1984-004)
  Stephen Fickas Technical Report(1984)
  Abstract
  BibTeX
• The Mechanization and Documentation of Software Specification (A Proposal)(TR-1984-003)
  Stephen Fickas Technical Report(1984)
  Abstract
  BibTeX
• An Introduction to ORBS(TR-1984-002)
  Stephen Fickas Technical Report(1984)
  Abstract
  BibTeX
• 1983
• Computing the Maximum Order of an Open Irredundant Set in a Tree(TR-1983-005)
  Arthur Farley, Andrzej ProskurowskiTechnical Report(1983)
  Abstract
  BibTeX
• Circumstances and Processes (TR-1983-004)
  Arthur Farley Technical Report(1983)
  Abstract
  BibTeX
• Primitive Graphs Which are Minimum Size Matching Immune(TR-1983-003)
  Arthur Farley, Andrzej ProskurowskiTechnical Report(1983)
  Abstract
  BibTeX
• Interior Graphs of Maximal Outerplane Graphs(TR-1983-001)
  Maciej Syslo, Andrzej Proskurowski, Sandra HedetniemiTechnical Report(1983)
  Abstract
  BibTeX
• 1982
• The Anatomy of Programming(TR-1982-007)
  Jozef Hvorecky Technical Report(1982)
  Abstract
  BibTeX
• A Comparison of In-Class and Self-Study Modes of Instruction in Programming(TR-1982-006)
  Jean Rogers Technical Report(1982)
  Abstract
  BibTeX
• Efficient Vertex- and Edge-Coloring of Outerplanar Graphs(TR-1982-005)
  Andrzej Proskurowski, Maciej M. Syslo Technical Report(1982)
  Abstract
  BibTeX
• Regenerative Method of a Queuing Network Simulation as a Tool in Computer System Performance Analysis(TR-1982-004)
  Andrzej Proskurowski Technical Report(1982)
  Abstract
  BibTeX
• Fast Enumeration, Ranking, and Unranking of Binary Trees(TR-1982-003)
  Andrzej Proskurowski, Ekaputra Laiman Technical Report(1982)
  Abstract
  BibTeX
• An Optimizing Compiler for LISP for the Z80(TR-1982-002)
  Jed Marti Technical Report(1982)
  Abstract
  BibTeX
• A Session with the Little Meta Translator Writing System(TR-1982-001)
  Jed B. Marti Technical Report(1982)
  Abstract
  BibTeX
• 1981
• An Introduction to the Little Meta Translator Writing System(TR-1981-010)
  Jed B. Marti Technical Report(1981)
  Abstract
  BibTeX
• Detection of Available Concurrency in LISP Programs (TR-1981-007)
  Jed B. Marti Technical Report(1981)
  Abstract
  BibTeX
• Little META Translator Writing System(TR-1981-006)
  Jed Marti Technical Report(1981)
  Abstract
  BibTeX
• A Survey of Gossiping and Broadcasting in Communication Networks(TR-1981-005)
  Sandra Hedetniemi, Stephen Hedetniemi*Technical Report(1981)
  Abstract
  BibTeX
• Graph Traversal with Minimum Stack Depth(TR-1981-004)
  Terry Beyer, Sandra Hedetniemi, Stephen Hedetniemi, Andrzej ProwskuroskiTechnical Report(1981)
  Abstract
  BibTeX
• On Halin Graphs+(TR-1981-003)
  Maciej Syslo, Andrzej ProskurowskiTechnical Report(1981)
  Abstract
  BibTeX
• Computing the Line Index of Balance of Signed Outerplanar Graphs(TR-1981-002)
  Arthur Farley, Andrzej ProskurowskiTechnical Report(1981)
  Abstract
  BibTeX
• A Local Computer Network(TR-1981-001)
  Jed Marti Technical Report(1981)
  Abstract
  BibTeX
• 1980
• Centers and Medians of C_(N) -Trees*(TR-1980-024)
  Sandra Hedetniemi, Stephen Hedetniemi, Peter SlaterTechnical Report(1980)
  Abstract
  BibTeX
• The Complexity of Determining the Line Index of a Signed Graph(TR-1980-023)
  Arthur Farley, Andrzej ProskurowskiTechnical Report(1980)
  Abstract
  BibTeX
• Broadcasting in Trees With Multiple Originators(TR-1980-021)
  Arthur Farley, Andrzej ProskurowskiTechnical Report(1980)
  Abstract
  BibTeX
• Extremal Graphs with No Disconnecting Independent Vertex Set or Matching(TR-1980-020)
  Arthur Farley, Andrzej ProskurowskiTechnical Report(1980)
  Abstract
  BibTeX
• Little Big LISP (TR-1980-018)
  Jed Marti Technical Report(1980)
  Abstract
  BibTeX
• A Note on the Complexity of Vertex and Edge Partition Problems for Graphs(TR-1980-017)
  Sandra Hedetniemi, Stephen HedetniemiTechnical Report(1980)
  Abstract
  BibTeX
• Vertex and Edge Deletion Algorithms for Trees(TR-1980-016)
  Sandra Hedetniemi, Stephen HedetniemiTechnical Report(1980)
  Abstract
  BibTeX
• Minimum Dominating Cycles in Outerplanar Graphs(TR-1980-015)
  Andrzej Proskurowski, Maciej SyskoTechnical Report(1980)
  Abstract
  BibTeX
• Optimum Domination in Unicyclic Graphs(TR-1980-014)
  Sandra HedetniemiTechnical Report(1980)
  Abstract
  BibTeX
• How Unoptimal are AVL Search Trees?(TR-1980-013)
  Sandra HedetniemiTechnical Report(1980)
  Abstract
  BibTeX
• A Linear Algorithm for Finding the Center of a Unicyclic Graph(TR-1980-012)
  Sandra Hedetniemi, Stephen Hedetniemi, Terry BeyerTechnical Report(1980)
  Abstract
  BibTeX
• A Linear Algorithm to Determine Isomorphsim of Unicyclic Graphs(TR-1980-011)
  Sandra Hedetniemi, Terry BeyerTechnical Report(1980)
  Abstract
  BibTeX
• A Syntactic Representation of Two-Dimensional Patterns(TR-1980-009)
  Patrick Shen-pei WangTechnical Report(1980)
  Abstract
  BibTeX
• Which Grids are Hamiltonian(TR-1980-008)
  Sandra Hedetniemi, Stephen Hedetniemi, Peter SlaterTechnical Report(1980)
  Abstract
  BibTeX
• The Use of Tree Derivatives and a Sample Support Parameter for Inferring Tree Systems(TR-1980-007)
  Barry Levine Technical Report(1980)
  Abstract
  BibTeX
• A Hybrid Solution for Concurrent Operations on B-trees(TR-1980-006)
  Carla EllisTechnical Report(1980)
  Abstract
  BibTeX
• K-trees: representations and distances(TR-1980-005)
  Andrzej Proskurowski Technical Report(1980)
  Abstract
  BibTeX
• Directed Maximal-Cut Problems(TR-1980-004)
  Arthur Farley, Andrzej ProskurowskiTechnical Report(1980)
  Abstract
  BibTeX
• Partitioning Trees: Matching, Domination and Maximum Diameter(TR-1980-002)
  Arthur Farley, Stephen Hedetnierni, Andrzej ProskurowskiTechnical Report(1980)
  Abstract
  BibTeX
• Syntactic Structures of Parallel Isometric Array Patterns(TR-1980-001)
  Patrick Shen-pei WangTechnical Report(1980)
  Abstract
  BibTeX
• 1979
• Centers of Two-Trees(TR-1979-009)
  Andrzej ProskurowskiTechnical Report(1979)
  Abstract
  BibTeX
• 1977
• Shortest paths in trees(TR-1977-006)
  T.Beyer, S.Hedetniemi, S.MitchellTechnical Report(1977)
  Abstract
  BibTeX
• The Coordination of Multiple Goal Satisfaction(TR-1977-005)
  Arthur FarleyTechnical Report(1977)
  Abstract
  BibTeX
• Minimum Dominating Cycles in Maximal Outerplanar Graphs(TR-1977-004)
  Andrzej ProskurowkiTechnical Report(1977)
  Abstract
  BibTeX
• Minimal Time "Line Broadcast" Networks(TR-1977-003)
  Arthur FarleyTechnical Report(1977)
  Abstract
  BibTeX
• Minimal Broadcast Graphs(TR-1977-002)
  Arthur Farley, Stephen Hedetniemi, Sandra Mitchell, Andrzej ProskurowskiTechnical Report(1977)
  Abstract
  BibTeX
• Minimal Broadcast Networks(TR-1977-001)
  Arthur FarleyTechnical Report(1977)
  Abstract
  BibTeX
• 1976
• Adaptive Human Behavior and Production Systems(TR-1976-002)
  Arthur FarleyTechnical Report(1976)
  Abstract
  BibTeX
• PSMON: A Production System Monitor(TR-1976-001)
  Arthur FarleyTechnical Report(1976)
  Abstract
  BibTeX
• 1974
• Microprogrammed Subprocessors for High Level Languages(TR-1974-002)
  Peter G. MoultonTechnical Report(1974)
  Abstract
  BibTeX

You can receive copies of documents that are not online by sending email to: info@cs.uoregon.edu. Please include the document number in your request.