Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Doug Ierardi

dblp:93/328 · also Douglas J. Ierardi · DBLP profile ↗
← Back
21ranked-venue papers
2as first author
1since 2021 · last 2021
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Systems, architecture and hardware · 9 · 1 first-author · 1 since 2021Theory of computation · 9 · 1 first-authorDatabases, data management, data science and information retrieval · 3Software engineering, systems software and programming languages · 2Artificial intelligence and machine learning · 1Graphics, computer vision, multimedia, augmented reality and games · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Computer architecture, parallel and distributed computing, and storage systems
7 papers
High-performance computing · 61% Hardware accelerators and domain-specific architectures · 28% Emerging computing paradigms · 5%
Interdisciplinary, comprehensive, and emerging computing
5 papers
Computational science and engineering · 52% Bioinformatics and computational biology · 48%

Topics — the 16 heaviest of 18, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
High-performance computing › scientific computing systems
molecular dynamics simulation
1.062021
Anton 3: twenty microseconds of molecular dynamics simulation before lunch · SC 2021
Anton 2: Raising the Bar for Performance and Programmability in a Special-Purpose Molecular Dynamics Supercomputer · SC 2014
Millisecond-scale molecular dynamics simulations on Anton · SC 2009
High-performance computing
scientific computing systems
1.052021
Anton 3: twenty microseconds of molecular dynamics simulation before lunch · SC 2021
Anton 2: Raising the Bar for Performance and Programmability in a Special-Purpose Molecular Dynamics Supercomputer · SC 2014
Millisecond-scale molecular dynamics simulations on Anton · SC 2009
Hardware accelerators and domain-specific architectures › scientific computing accelerator
molecular dynamics accelerator
0.942021
Anton 3: twenty microseconds of molecular dynamics simulation before lunch · SC 2021
Anton 2: Raising the Bar for Performance and Programmability in a Special-Purpose Molecular Dynamics Supercomputer · SC 2014
Millisecond-scale molecular dynamics simulations on Anton · SC 2009
Bioinformatics and computational biology › molecular informatics › molecular modeling
biomolecular simulation
0.342021
Anton 3: twenty microseconds of molecular dynamics simulation before lunch · SC 2021
Anton 2: Raising the Bar for Performance and Programmability in a Special-Purpose Molecular Dynamics Supercomputer · SC 2014
Millisecond-scale molecular dynamics simulations on Anton · SC 2009
Computational science and engineering › computational chemistry
molecular simulation
0.342021
Anton 3: twenty microseconds of molecular dynamics simulation before lunch · SC 2021
Anton 2: Raising the Bar for Performance and Programmability in a Special-Purpose Molecular Dynamics Supercomputer · SC 2014
Millisecond-scale molecular dynamics simulations on Anton · SC 2009
Emerging computing paradigms
event-driven computing
0.212013
Hardware support for fine-grained event-driven computation in Anton 2 · ASPLOS 2013
Computational science and engineering › computational chemistry › molecular simulation
molecular dynamics
0.012007
Anton, a special-purpose machine for molecular dynamics simulation · ISCA 2007
Algorithms and data structures › symbolic computation
computational algebraic geometry
0.021993
Counting Rational Points on Curves over Finite Fields (Extended Abstract) · FOCS 1993
Efficient Algorithms for the Riemann-Roch Problem and for Addition in the Jacobian of a Curve (Extended Abstract) · FOCS 1991
Storage systems › multimedia storage
continuous media storage
0.011996
An Optimal Resource Scheduler for Continuous Display of Structured Video Objects · IEEE Trans. Knowl. Data Eng. 1996
Cloud and datacenter computing › cluster resource management and scheduling
resource scheduling
0.011996
An Optimal Resource Scheduler for Continuous Display of Structured Video Objects · IEEE Trans. Knowl. Data Eng. 1996
Coding theory › finite fields
finite field arithmetic
0.011993
Counting Rational Points on Curves over Finite Fields (Extended Abstract) · FOCS 1993
Computational geometry
motion planning
0.011993
Optimal Motion Planning for a Rod in the Plane Subject to Velocity Constraints · SCG 1993
Algorithms and data structures › number-theoretic algorithms
point counting on curves
0.011993
Counting Rational Points on Curves over Finite Fields (Extended Abstract) · FOCS 1993
Mathematical optimization › control theory
trajectory optimization
0.011993
Optimal Motion Planning for a Rod in the Plane Subject to Velocity Constraints · SCG 1993
Algorithms and data structures
parallel algorithms
0.011989
Quantifier Elimination in the Theory of an Algebraically-closed Field · STOC 1989
Logic in computer science
quantifier elimination
0.011989
Quantifier Elimination in the Theory of an Algebraically-closed Field · STOC 1989

Methods — techniques the papers use, named apart from their topics

application-specific hardware · 1.8custom chip design · 1.0event-driven architecture · 0.4co-design · 0.4event-driven scheduling · 0.2queueing analysis · 0.0dynamic programming · 0.0randomized algorithm · 0.0homogeneous polynomials · 0.0geometric analysis · 0.0rational function construction · 0.0algebraic curves · 0.0parallel computation · 0.0algebraic algorithms · 0.0
YearPublicationVenuePosition
2021 Anton 3: twenty microseconds of molecular dynamics simulation before lunch
abstract
Anton 3 is the newest member in a family of supercomputers specially designed for atomic-level simulation of molecules relevant to biology (e.g., DNA, proteins, and drug molecules). Anton 3 achieves order-of-magnitude improvements in time-to-solution over its predecessor, Anton 2 (the current state of the art), and is over 100-fold faster than any other currently available supercomputer, thereby enabling broad new avenues of research on critical questions in biology and drug discovery. This speedup means that a 512-node Anton 3 simulates a million atoms at over 100 microseconds per day. Furthermore, Anton 3 attains this performance while consuming an order of magnitude less energy per simulated microsecond than any other machine. Like its predecessors, Anton 3 was designed from the ground up around a new custom chip to best exploit the capabilities offered by new technologies. We present here the main architectural and algorithmic developments that were necessary to achieve such significant advances.
David E. Shaw, Peter J. Adams, Asaph Azaria, Joseph A. Bank, Brannon Batson, Alistair Bell, Michael Bergdorf, Jhanvi Bhatt, J. Adam Butts, Timothy Correia, Robert M. Dirks, Ron O. Dror, Michael P. Eastwood, Bruce Edwards, Amos Even, Peter Feldmann, Michael Fenn, Christopher H. Fenton, Anthony Forte, Joseph Gagliardo, Gennette Gill, Maria Gorlatova, Brian Greskamp, J. P. Grossman, Justin Gullingsrud, Anissa Harper, William Hasenplaugh, Mark Heily, Benjamin Colin Heshmat, Jeremy Hunt, Doug Ierardi, Lev Iserovich, Bryan L. Jackson, Nick P. Johnson, Mollie M. Kirk, John L. Klepeis, Jeffrey Kuskin, Kenneth M. Mackenzie, Roy J. Mader, Richard McGowen, Adam McLaughlin, Mark A. Moraes, Mohamed H. Nasr, Lawrence J. Nociolo, Lief O'Donnell, Jon L. Peticolas, Goran Pocina, Cristian Predescu, Terry Quan, John K. Salmon, Carl Schwink, Keun Sup Shim, Naseer Siddique, Jochen Spengler, Tamas Szalay, Raymond Tabladillo, Reinhard Tartler, Andrew G. Taube, Michael Theobald, Brian Towles, William Vick, Stanley C. Wang, Michael Wazlowski, Madeleine J. Weingarten, John M. Williams, Kevin A. Yuh
SC31
2014 Anton 2: Raising the Bar for Performance and Programmability in a Special-Purpose Molecular Dynamics Supercomputer
abstract
Anton 2 is a second-generation special-purpose supercomputer for molecular dynamics simulations that achieves significant gains in performance, programmability, and capacity compared to its predecessor, Anton 1. The architecture of Anton 2 is tailored for fine-grained event-driven operation, which improves performance by increasing the overlap of computation with communication, and also allows a wider range of algorithms to run efficiently, enabling many new software-based optimizations. A 512-node Anton 2 machine, currently in operation, is up to ten times faster than Anton 1 with the same number of nodes, greatly expanding the reach of all-atom bio molecular simulations. Anton 2 is the first platform to achieve simulation rates of multiple microseconds of physical time per day for systems with millions of atoms. Demonstrating strong scaling, the machine simulates a standard 23,558-atom benchmark system at a rate of 85 μs/day -- 180 times faster than any commodity hardware platform or general-purpose supercomputer.
David E. Shaw, J. P. Grossman, Joseph A. Bank, Brannon Batson, J. Adam Butts, Jack C. Chao, Martin M. Deneroff, Ron O. Dror, Amos Even, Christopher H. Fenton, Anthony Forte, Joseph Gagliardo, Gennette Gill, Brian Greskamp, Richard Ho 0001, Doug Ierardi, Lev Iserovich, Jeffrey Kuskin, Richard H. Larson, Timothy Layman, Li-Siang Lee, Adam K. Lerer, Chester Li, Daniel Killebrew, Kenneth M. Mackenzie, Shark Yeuk-Hai Mok, Mark A. Moraes, Lawrence J. Nociolo, Jon L. Peticolas, Terry Quan, Daniel Ramot, John K. Salmon, Daniele Paolo Scarpazza, U. Ben Schafer, Naseer Siddique, Christopher W. Snyder, Jochen Spengler, Ping Tak Peter Tang, Michael Theobald, Horia Toma, Brian Towles, Benjamin Vitale, Stanley C. Wang, Cliff Young
SC16
2013 Hardware support for fine-grained event-driven computation in Anton 2
abstract
Exploiting parallelism to accelerate a computation typically involves dividing it into many small tasks that can be assigned to different processing elements. An efficient execution schedule for these tasks can be difficult or impossible to determine in advance, however, if there is uncertainty as to when each task's input data will be available. Ideally, each task would run in direct response to the arrival of its input data, thus allowing the computation to proceed in a fine-grained event-driven manner. Realizing this ideal is difficult in practice, and typically requires sacrificing flexibility for performance.
J. P. Grossman, Jeffrey Kuskin, Joseph A. Bank, Michael Theobald, Ron O. Dror, Doug Ierardi, Richard H. Larson, U. Ben Schafer, Brian Towles, Cliff Young, David E. Shaw
ASPLOS6
2013 Extending the Generality of Molecular Dynamics Simulations on a Special-Purpose Machine
abstract
Special-purpose computing hardware can provide significantly better performance and power efficiency for certain applications than general-purpose processors. Even within a single application area, however, a special-purpose machine can be far more valuable if it is capable of efficiently supporting a number of different computational methods that, taken together, expand the machine's functionality and range of applicability. We have previously described a massively parallel special-purpose supercomputer, called Anton, and have shown that it executes traditional molecular dynamics simulations orders of magnitude faster than the previous state of the art. Here, we describe how we extended Anton's software to support a more diverse set of methods, allowing scientists to simulate a broader class of biological phenomena at extremely high speeds. Key elements of our approach, which exploits Anton's tightly integrated hardwired pipelines and programmable cores, are applicable to the hardware and software design of various other specialized or heterogeneous parallel computing platforms.
Daniele Paolo Scarpazza, Doug Ierardi, Adam K. Lerer, Kenneth M. Mackenzie, Albert C. Pan, Joseph A. Bank, Edmond Chow, Ron O. Dror, J. P. Grossman, Daniel Killebrew, Mark A. Moraes, Cristian Predescu, John K. Salmon, David E. Shaw
IPDPS2
2009 Millisecond-scale molecular dynamics simulations on Anton
abstract
Anton is a recently completed special-purpose supercomputer designed for molecular dynamics (MD) simulations of biomolecular systems. The machine's specialized hardware dramatically increases the speed of MD calculations, making possible for the first time the simulation of biological molecules at an atomic level of detail for periods on the order of a millisecond---about two orders of magnitude beyond the previous state of the art. Anton is now running simulations on a timescale at which many critically important, but poorly understood phenomena are known to occur, allowing the observation of aspects of protein dynamics that were previously inaccessible to both computational and experimental study. Here, we report Anton's performance when executing actual MD simulations whose accuracy has been validated against both existing MD software and experimental observations. We also discuss the manner in which novel algorithms have been coordinated with Anton's co-designed, application-specific hardware to achieve these results.
David E. Shaw, Ron O. Dror, John K. Salmon, J. P. Grossman, Kenneth M. Mackenzie, Joseph A. Bank, Cliff Young, Martin M. Deneroff, Brannon Batson, Kevin J. Bowers, Edmond Chow, Michael P. Eastwood, Doug Ierardi, John L. Klepeis, Jeffrey Kuskin, Richard H. Larson, Kresten Lindorff-Larsen, Paul Maragakis, Mark A. Moraes, Stefano Piana, Yibing Shan, Brian Towles
SC13
2009 Millisecond-scale molecular dynamics simulations on Anton
abstract
Anton is a recently completed special-purpose supercomputer designed for molecular dynamics (MD) simulations of biomolecular systems. The machine's specialized hardware dramatically increases the speed of MD calculations, making possible for the first time the simulation of biological molecules at an atomic level of detail for periods on the order of a millisecond---about two orders of magnitude beyond the previous state of the art. Anton is now running simulations on a timescale at which many critically important, but poorly understood phenomena are known to occur, allowing the observation of aspects of protein dynamics that were previously inaccessible to both computational and experimental study. Here, we report Anton's performance when executing actual MD simulations whose accuracy has been validated against both existing MD software and experimental observations. We also discuss the manner in which novel algorithms have been coordinated with Anton's co-designed, application-specific hardware to achieve these results.
David E. Shaw, Ron O. Dror, John K. Salmon, J. P. Grossman, Kenneth M. Mackenzie, Joseph A. Bank, Cliff Young, Martin M. Deneroff, Brannon Batson, Kevin J. Bowers, Edmond Chow, Michael P. Eastwood, Doug Ierardi, John L. Klepeis, Jeffrey Kuskin, Richard H. Larson, Kresten Lindorff-Larsen, Paul Maragakis, Mark A. Moraes, Stefano Piana, Yibing Shan, Brian Towles
SC13
2008 Hierarchical simulation-based verification of Anton, a special-purpose parallel machine
abstract
One of the major design verification challenges in the development of Anton, a massively parallel special-purpose machine for molecular dynamics, was to provide evidence that computations spanning more than a quadrillion clock cycles will produce valid scientific results. Our verification methodology addressed this problem by using a hierarchy of RTL, architectural, and numerical simulations. Block- and chip-level RTL models were verified by means of extensive co-simulation with a detailed C++ architectural simulator, ensuring that the RTL models could perform the same molecular dynamics computations as the architectural simulator. The output of the architectural simulator was compared to a parallelized numerical simulator that produces bitwise identical results to Anton, and is fast enough to verify the long-term numerical stability of computations on Anton. These explicit couplings between adjacent levels of the simulation hierarchy created a continuous verification chain from molecular dynamics to individual logic gates.
J. P. Grossman, John K. Salmon, Richard Ho 0001, Doug Ierardi, Brian Towles, Brannon Batson, Jochen Spengler, Stanley C. Wang, Michael Theobald, Cliff Young, Joseph Gagliardo, Martin M. Deneroff, Ron O. Dror, David E. Shaw
ICCD4
2007 Anton, a special-purpose machine for molecular dynamics simulation
abstract
The ability to perform long, accurate molecular dynamics (MD) simulations involving proteins and other biological macro-molecules could in principle provide answers to some of the most important currently outstanding questions in the fields of biology, chemistry and medicine. A wide range of biologically interesting phenomena, however, occur over time scales on the order of a millisecond--about three orders of magnitude beyond the duration of the longest current MD simulations.
David E. Shaw, Martin M. Deneroff, Ron O. Dror, Jeffrey Kuskin, Richard H. Larson, John K. Salmon, Cliff Young, Brannon Batson, Kevin J. Bowers, Jack C. Chao, Michael P. Eastwood, Joseph Gagliardo, J. P. Grossman, Richard Ho 0001, Doug Ierardi, István Kolossváry, John L. Klepeis, Timothy Layman, Christine McLeavey, Mark A. Moraes, Edward C. Priest, Yibing Shan, Jochen Spengler, Michael Theobald, Brian Towles, Stanley C. Wang
ISCA15
1998 Counting Points on Curves over Finite Fields
Ming-Deh A. Huang, Doug Ierardi
J. Symb. Comput.2
1997 Time-Optimal Trajectories of a Rod in the Plane Subject to Velocity Constraints
Yui-Bin Chen, Doug Ierardi
Algorithmica2
1997 Mitra: A Scalable Continuous Media Server
Shahram Ghandeharizadeh, Roger Zimmermann, Weifeng Shi, Reza Rejaie, Doug Ierardi, Ta-Wei Li
Multim. Tools Appl.5
1996 An On-Line Algorithm to Optimize File Layout in a Dynamic Environment
Shahram Ghandeharizadeh, Doug Ierardi, Roger Zimmermann
Inf. Process. Lett.2
1996 An Optimal Resource Scheduler for Continuous Display of Structured Video Objects
abstract
A structured video consists of a collection of background objects, characters, spatial and temporal constructs, and rendering features. Assuming a platform consisting of a fixed amount of memory and a magnetic disk drive, this study presents a resource scheduler for the continuous display of structured video that minimizes both the latency observed by a display and its required amount of memory.
Martha Escobar-Molano, Shahram Ghandeharizadeh, Doug Ierardi
IEEE Trans. Knowl. Data Eng.3
1995 The Complexity of Oblivious Plans for Orienting and Distinguishing Polygonal Parts
Yui-Bin Chen, Doug Ierardi
Algorithmica2
1994 Management of Disk Space with REBATE
abstract
The past decade has witnessed a proliferation of respositories whose workload consists of queries that retrieve information. These repositories provide on-line access to vast amount of data and serve as an integral component of many application domains (e.g., library information systems, scientific applications, entertainment industry). Their storage subsystem is expected to be hierarchical consisting of memory, disk drives, and one or more tertiary storage devices. The database resides permanently on the tertiary storage devices and objects are swapped onto the magnetic disk drives on demand (and deleted once the disk storage capacity is exhausted). This may fragment the disk space over a period of time, resulting in a non-contiguous layout of an object across the surface of a disk drive. This is undesirable because, once the object is referenced, the disk drive is required to reposition its read head multiple times (incur seek operations) when retrieving the object, resulting in a low performance.
Shahram Ghandeharizadeh, Doug Ierardi
CIKM2
1994 2d-Bubblesorting in Average time O(N lg N)
abstract
Article 2d-bubblesorting in average time O(√N lg N)* Share on Author: Doug Ierardi Univ. of Southern California, Los Angeles Univ. of Southern California, Los AngelesView Profile Authors Info & Claims SPAA '94: Proceedings of the sixth annual ACM symposium on Parallel algorithms and architecturesAugust 1994 Pages 36–45https://doi.org/10.1145/181014.181025Online:01 August 1994Publication History 4citation14DownloadsMetricsTotal Citations4Total Downloads14Last 12 Months0Last 6 weeks0 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteGet Access
Doug Ierardi
SPAA1
1994 Efficient Algorithms for the Riemann-Roch Problem and for Addition in the Jacobian of a Curve
Ming-Deh A. Huang, Doug Ierardi
J. Symb. Comput.2
1993 Optimal Motion Planning for a Rod in the Plane Subject to Velocity Constraints
abstract
Previous results for finding optimal motions for a rod/ladder concentrated on the path planning problems. In this paper, we focus on the optimal trajectory planning problems and provide an explicit solution to find the shortest time trajectory for an ideal rod in the plane with velocity constraints.
Yui-Bin Chen, Doug Ierardi
SCG2
1993 Counting Rational Points on Curves over Finite Fields (Extended Abstract)
abstract
We consider the problem of counting the number of points on a plane curve, given by a homogeneous polynomial F/spl isin/F/sub p/[x, y, z], which is rational over the ground field F/sub p/. More precisely, we show that if we are given a projective plane curve C of degree n, and if C has only ordinary multiple points, then one can compute the number of F/sub p/-rational points on C in randomized time (log p)/sup /spl Delta// where /spl Delta/=(degF)/sup O(1/). The complexity of this construction improves previously known bounds for this problem by at least an order of magnitude.>
Ming-Deh A. Huang, Doug Ierardi
FOCS2
1991 Efficient Algorithms for the Riemann-Roch Problem and for Addition in the Jacobian of a Curve (Extended Abstract)
abstract
Several computational problems concerning the construction of rational functions and intersecting curves over a given curve are studied. The first problem is to construct a rational function with prescribed zeros and poles over a given curve. More precisely, let C be a smooth projective curve and assume as given an affine plane model F(x,y)=0 for C, a finite set of points P/sub i/=(X/sub i/, Y/sub i/) with F (X/sub i/, Y/sub i/)=0 and natural numbers n/sub i/, and a finite set of points Q/sub i/=(X/sub j/, Y/sub j/) with F(X/sub j/, Y/sub j/)=0 and natural numbers m/sub j/. The problem is to decide whether there is a rational function which has zeros at each point P/sub i/ of order n/sub i/, poles at each Q/sub j/ of order m/sub j/, and no zeros or poles anywhere else on C. One would also like to construct such a rational function if one exists. An efficient algorithm for solving this problem when the given plane curve has only ordinary multiple points is given.>
Ming-Deh A. Huang, Doug Ierardi
FOCS2
1989 Quantifier Elimination in the Theory of an Algebraically-closed Field
abstract
In this paper we develop a fast parallel procedure for deciding when a set of multivariate polynomials with coefficients in an arbitrary field K have a common algebraic solution. Moreover, since the proposed algorithm is algebraic, it easily yields a procedure for quantifier elimination in the theory of an arbitrary algebraically closed field.
Doug Ierardi
STOC1