David R. O'Hallaron

Loading Google Thumbnails...
2010
56Open 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, Dejan S. Milojicic, Hing Yan Lee, Yeng Chai Soh, Ng Kwang Ming, Jing-Yuan Luke, Han Namgoong. IEEE Computer (43): 35-43 (2010). Web SearchBibTeXDownload
55BEMC: A Searchable, Compressed Representation for Large Seismic Wavefields. Julio López, Leonardo Ramírez-Guzmán, Jacobo Bielak, David R. O'Hallaron. SSDBM 2010, 306-321. Web SearchBibTeXDownload
2009
54Distributed Parallel Inference on Large Factor Graphs. Joseph Gonzalez, Yucheng Low, Carlos Guestrin, David R. O'Hallaron. UAI 2009, 203-212. Web SearchBibTeXDownload
2008
53Materialized community ground models for large-scale earthquake simulation. Steven W. Schlosser, Michael P. Ryan, Ricardo Taborda-Rios, Julio López, David R. O'Hallaron, Jacobo Bielak. SC 2008, 54. Web SearchBibTeXDownload
2007
52//TRACE: Parallel Trace Replay with Approximate Causal Events. Michael P. Mesnier, Matthew Wachs, Raja R. Sambasivan, Julio López, James Hendricks, Gregory R. Ganger, David R. O'Hallaron. FAST 2007, 153-167. Web SearchBibTeXDownload
51Pervasive 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, Partho Nath, H. Andrés Lagar-Cavilla. IEEE Internet Computing (11): 16-25 (2007). Web SearchBibTeXDownload
50Interactive Resource-Intensive Applications Made Easy. H. Andrés Lagar-Cavilla, Niraj Tolia, Eyal de Lara, Mahadev Satyanarayanan, David R. O'Hallaron. Middleware 2007, 143-163. Web SearchBibTeXDownload
2006
49Protecting Privacy in Key-Value Search Systems. Yinglian Xie, Michael K. Reiter, David R. O'Hallaron. ACSAC 2006, 493-504. Web SearchBibTeXDownload
48Analytics challenge - Remote runtime steering of integrated terascale simulation and visualization. Tiankai Tu, Hongfeng Yu, Jacobo Bielak, Omar Ghattas, Julio C. López, Kwan-Liu Ma, David R. O'Hallaron, Leonardo Ramirez-Guzman, Nathan Stone, Ricardo Taborda-Rios, John Urbanic. SC 2006, 297. Web SearchBibTeXDownload
47Scalable systems software - From mesh generation to scientific visualization: an end-to-end approach to parallel supercomputing. Tiankai Tu, Hongfeng Yu, Leonardo Ramirez-Guzman, Jacobo Bielak, Omar Ghattas, Kwan-Liu Ma, David R. O'Hallaron. SC 2006, 91. Web SearchBibTeXDownload
46Efficient query processing on unstructured tetrahedral meshes. Stratos Papadomanolakis, Anastassia Ailamaki, Julio C. López, Tiankai Tu, David R. O'Hallaron, Gerd Heber. SIGMOD Conference 2006, 551-562. Cited by 7Web SearchBibTeXDownload
45Design 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 Annual Technical Conference, General Track 2006, 71-84. Web SearchBibTeXDownload
2005
44Towards seamless mobility on pervasive hardware. Mahadev Satyanarayanan, Michael Kozuch, Casey Helfrich, David R. O'Hallaron. Pervasive and Mobile Computing (1): 157-189 (2005). Web SearchBibTeXDownload
43Scalable Parallel Octree Meshing for TeraScale Applications. Tiankai Tu, David R. O'Hallaron, Omar Ghattas. SC 2005, 4. Web SearchBibTeXDownload
2004
42Etree: a database-oriented method for generating large octree meshes. Tiankai Tu, David R. O'Hallaron, Julio C. López. Eng. Comput. (Lond.) (20): 117-128 (2004). Web SearchBibTeXDownload
41Extracting Hexahedral Mesh Structures from Balanced Linear Octrees. Tiankai Tu, David R. O'Hallaron. IMR 2004, 191-200. Web SearchBibTeXDownload
40Seurat: A Pointillist Approach to Anomaly Detection. Yinglian Xie, Hyang-Ah Kim, David R. O'Hallaron, Michael K. Reiter, Hui Zhang. RAID 2004, 238-257. Web SearchBibTeXDownload
39A Computational Database System for Generatinn Unstructured Hexahedral Meshes with Billions of Elements. Tiankai Tu, David R. O'Hallaron. SC 2004, 25. Web SearchBibTeXDownload
38Big Wins with Small Application-Aware Caches. Julio C. López, David R. O'Hallaron, Tiankai Tu. SC 2004, 20. Web SearchBibTeXDownload
2003
37High 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, David R. O'Hallaron, Tiankai Tu, John Urbanic. SC 2003, 52. Web SearchBibTeXDownload
2002
36A Secure Distributed Search System. Yinglian Xie, David R. O'Hallaron, Michael K. Reiter. HPDC 2002, 321. Web SearchBibTeXDownload
35ETREE - A Database-Oriented Method for Generating Large Octree Meshes. Tiankai Tu, David R. O'Hallaron, Julio C. López. IMR 2002, 127-138. Web SearchBibTeXDownload
34Locality in Search Engine Queries and Its Implications for Caching. Yinglian Xie, David R. O'Hallaron. INFOCOM 2002. Web SearchBibTeXDownload
2001
33Evaluation of a Resource Selection Mechanism for Complex Network Services. Julio C. López, David R. O'Hallaron. HPDC 2001, 171-180. Web SearchBibTeXDownload
32Topology discovery for large ethernet networks. Bruce Lowekamp, David R. O'Hallaron, Thomas R. Gross. SIGCOMM 2001, 237-248. Web SearchBibTeXDownload
31Introducing computer systems from a programmer's perspective. Randal E. Bryant, David R. O'Hallaron. SIGCSE 2001, 90-94. Web SearchBibTeXDownload
2000
30Host load prediction using linear models. Peter A. Dinda, David R. O'Hallaron. Cluster Computing (3): 265-280 (2000). Web SearchBibTeXDownload
29Direct queries for discovering network resource properties in a distributed environment. Bruce Lowekamp, David R. O'Hallaron, Thomas R. Gross. Cluster Computing (3): 281-291 (2000). Web SearchBibTeXDownload
28Run-Time Support for Adaptive Heavyweight Services. Julio C. López, David R. O'Hallaron. LCR 2000, 221-234. Web SearchBibTeXDownload
27Realistic CPU Workloads through Host Load Trace Playback. Peter A. Dinda, David R. O'Hallaron. LCR 2000, 246-259. Web SearchBibTeXDownload
1999
26Optimizing Symbolic Model Checking for Constraint-Rich Models. Bwolen Yang, Reid G. Simmons, Randal E. Bryant, David R. O'Hallaron. CAV 1999, 328-340. Web SearchBibTeXDownload
25An Evaluation of Linear Models for Host Load Prediction. Peter A. Dinda, David R. O'Hallaron. HPDC 1999. Web SearchBibTeXDownload
24Direct Queries for Discovering Network Resource Properties in a Distributed Environment. Bruce Lowekamp, David R. O'Hallaron, Thomas R. Gross. HPDC 1999. Web SearchBibTeXDownload
23The 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, 309-318. Web SearchBibTeXDownload
22Preliminary Report on the Design of a Framework for Distributed Visualization. Martin Aeschlimann, Peter A. Dinda, Loukas F. Kallivokas, Julio C. López, Bruce Lowekamp, David R. O'Hallaron. PDPTA 1999, 1833-1839. Web SearchBibTeX
21Software systems for scalable computers. David R. O'Hallaron, Boleslaw K. Szymanski. Scientific Programming (7): 191-193 (1999). Web SearchBibTeXDownload
1998
20Space- and Time-Efficient BDD Construction via Working Set Control. Bwolen Yang, Yirng-An Chen, Randal E. Bryant, David R. O'Hallaron. ASP-DAC 1998, 423-432. Web SearchBibTeX
19A 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, Fabio Somenzi. FMCAD 1998, 255-289. Web SearchBibTeXDownload
18Architectural Implications of a Family of Irregular Applications. David R. O'Hallaron, Jonathan Richard Shewchuk, Thomas R. Gross. HPCA 1998, 80-89. Web SearchBibTeXDownload
1997
17Parallel Breadth-First BDD Construction. Bwolen Yang, David R. O'Hallaron. PPOPP 1997, 145-156. Web SearchBibTeXDownload
16Performance Issues in High Performance Fortran Implementations of Sensor-Based Applications. David R. O'Hallaron, Jon A. Webb, Jaspal Subhlok. Scientific Programming (6): 59-72 (1997). Web SearchBibTeXDownload
1996
15Fast Message Assembly Using Compact Address Relations. Peter A. Dinda, David R. O'Hallaron. SIGMETRICS 1996, 47-56. Web SearchBibTeXDownload
1995
14Decoupling 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, 1-10. Web SearchBibTeXDownload
13Language and Run-Time Support for Network Parallel Computing. Peter A. Dinda, David R. O'Hallaron, Jaspal Subhlok, Jon A. Webb, Bwolen Yang. LCPC 1995, 534-550. Web SearchBibTeXDownload
1994
12Communication Styles for Parallel Systems. Thomas R. Gross, Susan Hinrichs, David R. O'Hallaron, Thomas Stricker, Atsushi Hasegawa. IEEE Computer (27): 34-44 (1994). Web SearchBibTeXDownload
11Generating Communication for Array Statement: Design, Implementation, and Evaluation. James M. Stichnoth, David R. O'Hallaron, Thomas R. Gross. J. Parallel Distrib. Comput. (21): 150-159 (1994). Web SearchBibTeXDownload
10Communication 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, 330-339. Web SearchBibTeXDownload
9An Architecture for Optimal All-to-All Personalized Communication. Susan Hinrichs, Corey Kosak, David R. O'Hallaron, Thomas Stricker, Riichiro Take. SPAA 1994, 310-319. Web SearchBibTeXDownload
1993
8Do&Merge: Integrating Parallel Loops and Reductions. Bwolen Yang, Jon A. Webb, James M. Stichnoth, David R. O'Hallaron, Thomas R. Gross. LCPC 1993, 169-183. Web SearchBibTeXDownload
7Programming Task and Data Parallelism on a Multicomputer. Jaspal Subhlok, James M. Stichnoth, David R. O'Hallaron, Thomas R. Gross. PPOPP 1993, 13-22. Web SearchBibTeXDownload
1992
6Compiling 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, 32-35. Web SearchBibTeXDownload
5Subset Barrier Synchronization on a Private-Memory Parallel System. Anja Feldmann, Thomas R. Gross, David R. O'Hallaron, Thomas Stricker. SPAA 1992, 209-218. Web SearchBibTeXDownload
1991
4Improved Algorithms for Mapping Pipelined and Parallel Computations. David M. Nicol, David R. O'Hallaron. IEEE Trans. Computers (40): 295-306 (1991). Web SearchBibTeXDownload
3Uniform Approach for Solving some Classical Problems on a Linear Array. David R. O'Hallaron. IEEE Trans. Parallel Distrib. Syst. (2): 236-241 (1991). Web SearchBibTeXDownload
1989
2Uniform Approach for Solving Some Classical Problems on a Linear Array. David R. O'Hallaron. ICPP (3) 1989, 161-168. Web SearchBibTeX
1986
1A Generalized Deadlock Predicate. David R. O'Hallaron, P. E. Reynolds. Inf. Process. Lett. (23): 181-188 (1986). Web SearchBibTeXDownload
from DBLP and Google Scholar
Developed by the Database Group at the University of Wisconsin and Yahoo! Research