David R. O'Hallaron

Affiliations:
  • Carnegie Mellon University, Pittsburgh, USA


According to our database1, David R. O'Hallaron authored at least 61 papers between 1986 and 2012.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2012
Nifty assignments.
Proceedings of the 43rd ACM technical symposium on Computer science education, 2012

2010
Open Cirrus: A Global Cloud Computing Testbed.
Computer, 2010

BEMC: A Searchable, Compressed Representation for Large Seismic Wavefields.
Proceedings of the Scientific and Statistical Database Management, 2010

2009
Distributed Parallel Inference on Large Factor Graphs.
Proceedings of the UAI 2009, 2009

Tashi: location-aware cluster management.
Proceedings of the 1st Workshop on Automated Control for Datacenters and Clouds, 2009

Open Cirrus™ Cloud Computing Testbed: Federated Data Centers for Open Source Systems and Services Research.
Proceedings of the Workshop on Hot Topics in Cloud Computing, 2009

2008
Materialized community ground models for large-scale earthquake simulation.
Proceedings of the ACM/IEEE Conference on High Performance Computing, 2008

2007
Pervasive Personal Computing in an Internet Suspend/Resume System.
IEEE Internet Comput., 2007

Interactive Resource-Intensive Applications Made Easy.
Proceedings of the Middleware 2007, 2007

//TRACE: Parallel Trace Replay with Approximate Causal Events.
Proceedings of the 5th USENIX Conference on File and Storage Technologies, 2007

2006
Design Tradeoffs in Applying Content Addressable Storage to Enterprise-scale Systems Based on Virtual Machines.
Proceedings of the 2006 USENIX Annual Technical Conference, 2006

Efficient query processing on unstructured tetrahedral meshes.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2006

Scalable systems software - From mesh generation to scientific visualization: an end-to-end approach to parallel supercomputing.
Proceedings of the ACM/IEEE SC2006 Conference on High Performance Networking and Computing, 2006

Analytics challenge - Remote runtime steering of integrated terascale simulation and visualization.
Proceedings of the ACM/IEEE SC2006 Conference on High Performance Networking and Computing, 2006

Protecting Privacy in Key-Value Search Systems.
Proceedings of the 22nd Annual Computer Security Applications Conference (ACSAC 2006), 2006

2005
Towards seamless mobility on pervasive hardware.
Pervasive Mob. Comput., 2005

Scalable Parallel Octree Meshing for TeraScale Applications.
Proceedings of the ACM/IEEE SC2005 Conference on High Performance Networking and Computing, 2005

2004
Etree: a database-oriented method for generating large octree meshes.
Eng. Comput., 2004

A Computational Database System for Generatinn Unstructured Hexahedral Meshes with Billions of Elements.
Proceedings of the ACM/IEEE SC2004 Conference on High Performance Networking and Computing, 2004

Big Wins with Small Application-Aware Caches.
Proceedings of the ACM/IEEE SC2004 Conference on High Performance Networking and Computing, 2004

Seurat: A Pointillist Approach to Anomaly Detection.
Proceedings of the Recent Advances in Intrusion Detection: 7th International Symposium, 2004

Extracting Hexahedral Mesh Structures from Balanced Linear Octrees.
Proceedings of the 13th International Meshing Roundtable, 2004

2003
High Resolution Forward And Inverse Earthquake Modeling on Terascale Computers.
Proceedings of the ACM/IEEE SC2003 Conference on High Performance Networking and Computing, 2003

Counting network flows in real time.
Proceedings of the Global Telecommunications Conference, 2003

Computer systems - a programmers perspective.
Pearson Education, ISBN: 978-0-13-178456-7, 2003

2002
Locality in Search Engine Queries and Its Implications for Caching.
Proceedings of the Proceedings IEEE INFOCOM 2002, 2002

A Secure Distributed Search System.
Proceedings of the 11th IEEE International Symposium on High Performance Distributed Computing (HPDC-11 2002), 2002

2001
Introducing computer systems from a programmer's perspective.
Proceedings of the 32rd SIGCSE Technical Symposium on Computer Science Education, 2001

Topology discovery for large ethernet networks.
Proceedings of the ACM SIGCOMM 2001 Conference on Applications, 2001

Evaluation of a Resource Selection Mechanism for Complex Network Services.
Proceedings of the 10th IEEE International Symposium on High Performance Distributed Computing (HPDC-10 2001), 2001

2000
Direct queries for discovering network resource properties in a distributed environment.
Clust. Comput., 2000

Host load prediction using linear models.
Clust. Comput., 2000

Run-Time Support for Adaptive Heavyweight Services.
Proceedings of the Languages, 2000

Realistic CPU Workloads through Host Load Trace Playback.
Proceedings of the Languages, 2000

1999
Software systems for scalable computers.
Sci. Program., 1999

Preliminary Report on the Design of a Framework for Distributed Visualization.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999

The Case for Prediction-Based Best-Effort Real-Time Systems.
Proceedings of the Parallel and Distributed Processing, 1999

An Evaluation of Linear Models for Host Load Prediction.
Proceedings of the Eighth IEEE International Symposium on High Performance Distributed Computing, 1999

Optimizing Symbolic Model Checking for Constraint-Rich Models.
Proceedings of the Computer Aided Verification, 11th International Conference, 1999

1998
Architectural Implications of a Family of Irregular Applications.
Proceedings of the Fourth International Symposium on High-Performance Computer Architecture, Las Vegas, Nevada, USA, January 31, 1998

A Performance Study of BDD-Based Model Checking.
Proceedings of the Formal Methods in Computer-Aided Design, 1998

Space- and Time-Efficient BDD Construction via Working Set Control.
Proceedings of the ASP-DAC '98, 1998

1997
Performance Issues in High Performance Fortran Implementations of Sensor-Based Applications.
Sci. Program., 1997

Parallel Breadth-First BDD Construction.
Proceedings of the Sixth ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), 1997

1996
Fast Message Assembly Using Compact Address Relations.
Proceedings of the 1996 ACM SIGMETRICS international conference on Measurement and modeling of computer systems, 1996

1995
The Performance Impact of Address Relation Caching.
Proceedings of the Languages, 1995

Language and Run-Time Support for Network Parallel Computing.
Proceedings of the Languages and Compilers for Parallel Computing, 1995

Decoupling Synchronization and Data Transfer in Message Passing Systems of Parallel Computers.
Proceedings of the 9th international conference on Supercomputing, 1995

1994
Generating Communication for Array Statement: Design, Implementation, and Evaluation.
J. Parallel Distributed Comput., 1994

Task Parallelism in a High Performance Fortran Framework.
IEEE Parallel Distributed Technol. Syst. Appl., 1994

Communication Styles for Parallel Systems.
Computer, 1994

An Architecture for Optimal All-to-All Personalized Communication.
Proceedings of the 6th Annual ACM Symposium on Parallel Algorithms and Architectures, 1994

Communication and memory requirements as the basis for mapping task and data parallel programs.
Proceedings of the Proceedings Supercomputing '94, 1994

1993
Programming Task and Data Parallelism on a Multicomputer.
Proceedings of the Fourth ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), 1993

Do&Merge: Integrating Parallel Loops and Reductions.
Proceedings of the Languages and Compilers for Parallel Computing, 1993

1992
Subset Barrier Synchronization on a Private-Memory Parallel System.
Proceedings of the 4th Annual ACM Symposium on Parallel Algorithms and Architectures, 1992

Compiling Task and Data Parallel Programs for iWrap (Extended Abstract).
Proceedings of the 2nd SIGPLAN Workshop on Languages, Compilers, and Run-Time Environments for Distributed Memory Multiprocessors, Boulder, Colorado, September 30, 1992

1991
Uniform Approach for Solving some Classical Problems on a Linear Array.
IEEE Trans. Parallel Distributed Syst., 1991

Improved Algorithms for Mapping Pipelined and Parallel Computations.
IEEE Trans. Computers, 1991

1990
Building blocks for a new generation of application specific computing systems.
Proceedings of the Application Specific Array Processors, 1990

1986
A Generalized Deadlock Predicate.
Inf. Process. Lett., 1986


  Loading...