A Generalized Deadlock Predicate. - David R. O'Hallaron; P. E. Reynolds (Inf. Process. Lett., 1986)

Building blocks for a new generation of application specific computing systems. - Brent Baxter; George W. Cox; Thomas R. Gross; H. T. Kung 001; David R. O'Hallaron; Craig Peterson; Jon A. Webb; Paul Wiley (ASAP, 1990)

Improved Algorithms for Mapping Pipelined and Parallel Computations. - David M. Nicol; David R. O'Hallaron (IEEE Trans. Computers, 1991)

Uniform Approach for Solving some Classical Problems on a Linear Array. - David R. O'Hallaron (IEEE Trans. Parallel Distributed Syst., 1991)

Compiling Task and Data Parallel Programs for iWrap (Extended Abstract). - Thomas R. Gross; Susan Hinrichs; David R. O'Hallaron; James M. Stichnoth; Jaspal Subhlok (SIGPLAN Workshop, 1992)

Subset Barrier Synchronization on a Private-Memory Parallel System. - Anja Feldmann; Thomas R. Gross; David R. O'Hallaron; Thomas Stricker (SPAA, 1992)

Do&Merge: Integrating Parallel Loops and Reductions. - Bwolen Yang; Jon A. Webb; James M. Stichnoth; David R. O'Hallaron; Thomas R. Gross (LCPC, 1993)

Programming Task and Data Parallelism on a Multicomputer. - Jaspal Subhlok; James M. Stichnoth; David R. O'Hallaron; Thomas R. Gross (PPoPP, 1993)

Communication and memory requirements as the basis for mapping task and data parallel programs. - Jaspal Subhlok; David R. O'Hallaron; Thomas R. Gross; Peter A. Dinda; Jon A. Webb (SC, 1994)

An Architecture for Optimal All-to-All Personalized Communication. - Susan Hinrichs; Corey Kosak; David R. O'Hallaron; Thomas Stricker; Riichiro Take (SPAA, 1994)

Communication Styles for Parallel Systems. - Thomas R. Gross; Susan Hinrichs; David R. O'Hallaron; Thomas Stricker; Atsushi Hasegawa (Computer, 1994)

Task Parallelism in a High Performance Fortran Framework. - Thomas R. Gross; David R. O'Hallaron; Jaspal Subhlok (IEEE Parallel Distributed Technol. Syst. Appl., 1994)

Generating Communication for Array Statement: Design, Implementation, and Evaluation. - James M. Stichnoth; David R. O'Hallaron; Thomas R. Gross (J. Parallel Distributed Comput., 1994)

Decoupling Synchronization and Data Transfer in Message Passing Systems of Parallel Computers. - Thomas Stricker; James M. Stichnoth; David R. O'Hallaron; Susan Hinrichs; Thomas R. Gross (International Conference on Supercomputing, 1995)

Language and Run-Time Support for Network Parallel Computing. - Peter A. Dinda; David R. O'Hallaron; Jaspal Subhlok; Jon A. Webb; Bwolen Yang (LCPC, 1995)

The Performance Impact of Address Relation Caching. - Peter A. Dinda; David R. O'Hallaron (LCR, 1995)

Fast Message Assembly Using Compact Address Relations. - Peter A. Dinda; David R. O'Hallaron (SIGMETRICS, 1996)

Parallel Breadth-First BDD Construction. - Bwolen Yang; David R. O'Hallaron (PPoPP, 1997)

Performance Issues in High Performance Fortran Implementations of Sensor-Based Applications. - David R. O'Hallaron; Jon A. Webb; Jaspal Subhlok (Sci. Program., 1997)

Space- and Time-Efficient BDD Construction via Working Set Control. - Bwolen Yang; Yirng-An Chen; Randal E. Bryant; David R. O'Hallaron (ASP-DAC, 1998)

A Performance Study of BDD-Based Model Checking. - Bwolen Yang; Randal E. Bryant; David R. O'Hallaron; Armin Biere; Olivier Coudert; Geert Janssen; Rajeev K. Ranjan 001; Fabio Somenzi (FMCAD, 1998)

Architectural Implications of a Family of Irregular Applications. - David R. O'Hallaron; Jonathan Richard Shewchuk; Thomas R. Gross (HPCA, 1998)

Optimizing Symbolic Model Checking for Constraint-Rich Models. - Bwolen Yang; Reid G. Simmons; Randal E. Bryant; David R. O'Hallaron (CAV, 1999)

An Evaluation of Linear Models for Host Load Prediction. - Peter A. Dinda; David R. O'Hallaron (HPDC, 1999)

The Case for Prediction-Based Best-Effort Real-Time Systems. - Peter A. Dinda; Loukas F. Kallivokas; Bruce Lowekamp; David R. O'Hallaron (IPPS/SPDP Workshops, 1999)

Preliminary Report on the Design of a Framework for Distributed Visualization. - Martin Aeschlimann; Peter A. Dinda; Loukas F. Kallivokas; Julio C. López 001; Bruce Lowekamp; David R. O'Hallaron (PDPTA, 1999)

Software systems for scalable computers. - David R. O'Hallaron; Boleslaw K. Szymanski (Sci. Program., 1999)

Realistic CPU Workloads through Host Load Trace Playback. - Peter A. Dinda; David R. O'Hallaron (LCR, 2000)

Run-Time Support for Adaptive Heavyweight Services. - Julio C. López 001; David R. O'Hallaron (LCR, 2000)

Host load prediction using linear models. - Peter A. Dinda; David R. O'Hallaron (Clust. Comput., 2000)

Direct queries for discovering network resource properties in a distributed environment. - Bruce Lowekamp; David R. O'Hallaron; Thomas R. Gross (Clust. Comput., 2000)

Evaluation of a Resource Selection Mechanism for Complex Network Services. - Julio C. López 001; David R. O'Hallaron (HPDC, 2001)

Topology discovery for large ethernet networks. - Bruce Lowekamp; David R. O'Hallaron; Thomas R. Gross (SIGCOMM, 2001)

Introducing computer systems from a programmer's perspective. - Randal E. Bryant; David R. O'Hallaron (SIGCSE, 2001)

A Secure Distributed Search System. - Yinglian Xie; David R. O'Hallaron; Michael K. Reiter (HPDC, 2002)

Locality in Search Engine Queries and Its Implications for Caching. - Yinglian Xie; David R. O'Hallaron (INFOCOM, 2002)

Computer systems - a programmers perspective. - Randal E. Bryant; David R. O'Hallaron (Pearson Education, 2003)

Counting network flows in real time. - Hyang-Ah Kim; David R. O'Hallaron (GLOBECOM, 2003)

High Resolution Forward And Inverse Earthquake Modeling on Terascale Computers. - Volkan Akcelik; Jacobo Bielak; George Biros; Ioannis Epanomeritakis; Antonio Fernandez; Omar Ghattas; Eui Joong Kim; Julio C. López 001; David R. O'Hallaron; Tiankai Tu; John Urbanic (SC, 2003)

Extracting Hexahedral Mesh Structures from Balanced Linear Octrees. - Tiankai Tu; David R. O'Hallaron (IMR, 2004)

Seurat: A Pointillist Approach to Anomaly Detection. - Yinglian Xie; Hyang-Ah Kim; David R. O'Hallaron; Michael K. Reiter; Hui Zhang 001 (RAID, 2004)

Big Wins with Small Application-Aware Caches. - Julio C. López 001; David R. O'Hallaron; Tiankai Tu (SC, 2004)

A Computational Database System for Generatinn Unstructured Hexahedral Meshes with Billions of Elements. - Tiankai Tu; David R. O'Hallaron (SC, 2004)

Etree: a database-oriented method for generating large octree meshes. - Tiankai Tu; David R. O'Hallaron; Julio C. López 001 (Eng. Comput., 2004)

Scalable Parallel Octree Meshing for TeraScale Applications. - Tiankai Tu; David R. O'Hallaron; Omar Ghattas (SC, 2005)

Towards seamless mobility on pervasive hardware. - Mahadev Satyanarayanan; Michael Kozuch; Casey Helfrich; David R. O'Hallaron (Pervasive Mob. Comput., 2005)

Protecting Privacy in Key-Value Search Systems. - Yinglian Xie; Michael K. Reiter; David R. O'Hallaron (ACSAC, 2006)

Analytics challenge - Remote runtime steering of integrated terascale simulation and visualization. - Tiankai Tu; Hongfeng Yu 001; Jacobo Bielak; Omar Ghattas; Julio C. López 001; Kwan-Liu Ma; David R. O'Hallaron; Leonardo Ramírez-Guzmán; Nathan Stone; Ricardo Taborda-Rios; John Urbanic (SC, 2006)

Scalable systems software - From mesh generation to scientific visualization: an end-to-end approach to parallel supercomputing. - Tiankai Tu; Hongfeng Yu 001; Leonardo Ramírez-Guzmán; Jacobo Bielak; Omar Ghattas; Kwan-Liu Ma; David R. O'Hallaron (SC, 2006)

Efficient query processing on unstructured tetrahedral meshes. - Stratos Papadomanolakis; Anastassia Ailamaki; Julio C. López 001; Tiankai Tu; David R. O'Hallaron; Gerd Heber (SIGMOD Conference, 2006)

Design Tradeoffs in Applying Content Addressable Storage to Enterprise-scale Systems Based on Virtual Machines. - Partho Nath; Michael Kozuch; David R. O'Hallaron; Jan Harkes; Mahadev Satyanarayanan; Niraj Tolia; Matt Toups (USENIX ATC, General Track, 2006)

//TRACE: Parallel Trace Replay with Approximate Causal Events. - Michael P. Mesnier; Matthew Wachs; Raja R. Sambasivan; Julio López 002; James Hendricks; Gregory R. Ganger; David R. O'Hallaron (FAST, 2007)

Interactive Resource-Intensive Applications Made Easy. - H. Andrés Lagar-Cavilla; Niraj Tolia; Eyal de Lara; Mahadev Satyanarayanan; David R. O'Hallaron (Middleware, 2007)

Pervasive Personal Computing in an Internet Suspend/Resume System. - Mahadev Satyanarayanan; Benjamin Gilbert; Matt Toups; Niraj Tolia; Ajay Surie; David R. O'Hallaron; Adam Wolbach; Jan Harkes; Adrian Perrig; David J. Farber; Michael Kozuch; Casey Helfrich; et al. (IEEE Internet Comput., 2007)

Materialized community ground models for large-scale earthquake simulation. - Steven W. Schlosser; Michael P. Ryan; Ricardo Taborda-Rios; Julio López 002; David R. O'Hallaron; Jacobo Bielak (SC, 2008)

Open Cirrus™ Cloud Computing Testbed: Federated Data Centers for Open Source Systems and Services Research. - Roy H. Campbell; Indranil Gupta; Michael T. Heath; Steven Y. Ko; Michael Kozuch; Marcel Kunze; Thomas T. Kwan; Kevin Lai; Hing Yan Lee; Martha Lyons; Dejan S. Milojicic; David R. O'Hallaron; et al. (HotCloud, 2009)

Tashi: location-aware cluster management. - Michael A. Kozuch; Michael P. Ryan; Richard Gass; Steven W. Schlosser; David R. O'Hallaron; James Cipar; Elie Krevat; Julio López 002; Michael Stroucken; Gregory R. Ganger (ACDC@ICAC, 2009)

Distributed Parallel Inference on Large Factor Graphs. - Joseph Gonzalez 001; Yucheng Low; Carlos Guestrin; David R. O'Hallaron (UAI, 2009)

BEMC: A Searchable, Compressed Representation for Large Seismic Wavefields. - Julio López 002; Leonardo Ramírez-Guzmán; Jacobo Bielak; David R. O'Hallaron (SSDBM, 2010)

Open Cirrus: A Global Cloud Computing Testbed. - Arutyun Avetisyan; Roy H. Campbell; Indranil Gupta; Michael T. Heath; Steven Y. Ko; Gregory R. Ganger; Michael A. Kozuch; David R. O'Hallaron; Marcel Kunze; Thomas T. Kwan; Kevin Lai; Martha Lyons; et al. (Computer, 2010)

Nifty assignments. - Nick Parlante; Julie Zelenski; Daniel Zingaro; Kevin Wayne; David R. O'Hallaron; Joshua T. Guerin; Stephen Davies; Zachary Kurmas; Keen Debby (SIGCSE, 2012)