Michael Theobald
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
16
Venues
11
Active years
1994–2021
Best venue rank
A*
Where they publish
Papers
16 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | SC | Anton 3: twenty microseconds of molecular dynamics simulation before lunch. | 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, Douglas J. Ierardi, Lev Iserovich, Bryan L. Jackson, Nick P. Johnson, Mollie M. Kirk, John L. Klepeis, Jeffrey S. Kuskin, Kenneth M. Mackenzie, Roy J. Mader, Richard McGowen, Adam McLaughlin, Mark A. Moraes, Mohamed H. Nasr, Lawrence J. Nociolo, Lief O'Donnell, Andrew Parker, 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 |
| 2014 | SC | Anton 2: Raising the Bar for Performance and Programmability in a Special-Purpose Molecular Dynamics 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, C. Richard Ho, Douglas J. 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, Rolf Mueller, 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 |
| 2013 | ASPLOS | Hardware support for fine-grained event-driven computation in Anton 2. | J. P. Grossman, Jeffrey Kuskin, Joseph A. Bank, Michael Theobald, Ron O. Dror, Douglas J. Ierardi, Richard H. Larson, U. Ben Schafer, Brian Towles, Cliff Young, David E. Shaw |
| 2008 | DAC | Early formal verification of conditional coverage points to identify intrinsically hard-to-verify logic. | C. Richard Ho, Michael Theobald, Martin M. Deneroff, Ron O. Dror, Joseph Gagliardo, David E. Shaw |
| 2008 | ICCD | Hierarchical simulation-based verification of Anton, a special-purpose parallel machine. | J. P. Grossman, John K. Salmon, C. Richard Ho, Doug Ierardi, Brian Towles, Brannon Batson, Jochen Spengler, Stanley C. Wang, Rolf Mueller, Michael Theobald, Cliff Young, Joseph Gagliardo, Martin M. Deneroff, Ron O. Dror, David E. Shaw |
| 2007 | ISCA | Anton, a special-purpose machine for molecular dynamics simulation. | 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, C. Richard Ho, Doug Ierardi, Istvn Kolossvry, John L. Klepeis, Timothy Layman, Christine McLeavey, Mark A. Moraes, Rolf Mueller, Edward C. Priest, Yibing Shan, Jochen Spengler, Michael Theobald, Brian Towles, Stanley C. Wang |
| 2005 | POPL | Proof-guided underapproximation-widening for multi-process systems. | Orna Grumberg, Flavio Lerda, Ofer Strichman, Michael Theobald |
| 2004 | DATE | Generalized Latency-Insensitive Systems for Single-Clock and Multi-Clock Architectures. | Montek Singh, Michael Theobald |
| 2003 | ICCD | SAT-Based Algorithms for Logic Minimization. | Samir Sapra, Michael Theobald, Edmund M. Clarke |
| 2003 | TACAS | Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement. | Edmund M. Clarke, Ansgar Fehnker, Zhi Han, Bruce H. Krogh, Olaf Stursberg, Michael Theobald |
| 2001 | DAC | Transformations for the Synthesis and Optimization of Asynchronous Distributed Control. | Michael Theobald, Steven M. Nowick |
| 1997 | ISLPED | Synthesis of low-power asynchronous circuits in a specified environment. | Steven M. Nowick, Michael Theobald |
| 1997 | VLSID | Delay-Insensitive Carry-Lookahead Adders. | Fu-Chiung Cheng, Stephen H. Unger, Michael Theobald, Wen-Chung Cho |
| 1996 | DAC | Espresso-HF: A Heuristic Hazard-Free Minimizer for Two-Level Logic. | Michael Theobald, Steven M. Nowick, Tao Wu |
| 1995 | ICALP | OKFDDs versus OBDDs and OFDDs. | Bernd Becker, Rolf Drechsler, Michael Theobald |
| 1994 | DAC | Efficient Representation and Manipulation of Switching Functions Based on Ordered Kronecker Functional Decision Diagrams. | Rolf Drechsler, Andisheh Sarabi, Michael Theobald, Bernd Becker, Marek A. Perkowski |