Michael Theobald

28 papers A* 8A 5C 2Misc 1Journal 8Unranked 4
YearRankTypeTitle / Venue / Authors
2021 A conf
Anton 3: twenty microseconds of molecular dynamics simulation before lunch.
SC
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
2021 — conf
The ΛNTON 3 ASIC: a Fire-Breathing Monster for Molecular Dynamics Simulations.
HCS
Peter J. Adams, Brannon Batson, Alistair Bell, Jhanvi Bhatt, J. Adam Butts, Timothy Correia, Bruce Edwards, Peter Feldmann, Christopher H. Fenton, Anthony Forte, Joseph Gagliardo, Gennette Gill, Maria Gorlatova, Brian Greskamp, J. P. Grossman, Jeremy Hunt, Bryan L. Jackson, Mollie M. Kirk, Jeffrey Kuskin, Roy J. Mader, Richard McGowen, Adam McLaughlin, Mark A. Moraes, Mohamed Nasr, Lawrence J. Nociolo, Lief O'Donnell, Andrew Parker, Jon L. Peticolas, Terry Quan, T. Carl Schwink, Keun Sup Shim, Naseer Siddique, Jochen Spengler, Michael Theobald, Brian Towles, William Vick, Stanley C. Wang, Michael E. Wazlowski, Madeleine J. Weingarten, John M. Williams, David E. Shaw
2014 A conf
Anton 2: Raising the Bar for Performance and Programmability in a Special-Purpose Molecular Dynamics Supercomputer.
SC
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 A* conf
Hardware support for fine-grained event-driven computation in Anton 2.
ASPLOS
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 J jnl
Anton, a special-purpose machine for molecular dynamics simulation.
Commun. ACM
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, István Kolossváry, 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
2008 A* conf
Early formal verification of conditional coverage points to identify intrinsically hard-to-verify logic.
DAC
C. Richard Ho, Michael Theobald, Martin M. Deneroff, Ron O. Dror, Joseph Gagliardo, David E. Shaw
2008 C conf
Hierarchical simulation-based verification of Anton, a special-purpose parallel machine.
ICCD
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 A* conf
Anton, a special-purpose machine for molecular dynamics simulation.
ISCA
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, István Kolossváry, 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
2006 J jnl
Special issue on formal methods for globally asynchronous and locally synchronous (GALS) systems.
Formal Methods Syst. Des.
Sandeep K. Shukla, Michael Theobald
2005 A* conf
Proof-guided underapproximation-widening for multi-process systems.
POPL
Orna Grumberg, Flavio Lerda, Ofer Strichman, Michael Theobald
2004 A conf
Generalized Latency-Insensitive Systems for Single-Clock and Multi-Clock Architectures.
DATE
Montek Singh, Michael Theobald
2003 J jnl
Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems.
Int. J. Found. Comput. Sci.
Edmund M. Clarke, Ansgar Fehnker, Zhi Han, Bruce H. Krogh, Joël Ouaknine, Olaf Stursberg, Michael Theobald
2003 C conf
SAT-Based Algorithms for Logic Minimization.
ICCD
Samir Sapra, Michael Theobald, Edmund M. Clarke
2003 — conf
Symbolic Model Checking of Software.
SoftMC@CAV
Flavio Lerda, Nishant Sinha, Michael Theobald
2003 A conf
Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement.
TACAS
Edmund M. Clarke, Ansgar Fehnker, Zhi Han, Bruce H. Krogh, Olaf Stursberg, Michael Theobald
2001 A* conf
Transformations for the Synthesis and Optimization of Asynchronous Distributed Control.
DAC
Michael Theobald, Steven M. Nowick
2000 J jnl
Self-Timed Carry-Lookahead Adders.
IEEE Trans. Computers
Fu-Chiung Cheng, Stephen H. Unger, Michael Theobald
1998 — conf
An Implicit Method for Hazard-Free Two-Level Logic Minimization.
ASYNC
Michael Theobald, Steven M. Nowick
1998 J jnl
Fast heuristic and exact algorithms for two-level hazard-free logic minimization.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Michael Theobald, Steven M. Nowick
1997 Misc conf
Delay-Insensitive Carry-Lookahead Adders.
VLSI Design
Fu-Chiung Cheng, Stephen H. Unger, Michael Theobald, Wen-Chung Cho
1997 J jnl
On the Expressive Power of OKFDDs.
Formal Methods Syst. Des.
Bernd Becker, Rolf Drechsler, Michael Theobald
1997 A conf
Synthesis of low-power asynchronous circuits in a specified environment.
ISLPED
Steven M. Nowick, Michael Theobald
1996 A* conf
Espresso-HF: A Heuristic Hazard-Free Minimizer for Two-Level Logic.
DAC
Michael Theobald, Steven M. Nowick, Tao Wu
1996 J jnl
Fast OFFD-Based Minimization of Fixed Polarity Reed-Muller Expressions.
IEEE Trans. Computers
Rolf Drechsler, Michael Theobald, Bernd Becker
1995 A* conf
OKFDDs versus OBDDs and OFDDs.
ICALP
Bernd Becker, Rolf Drechsler, Michael Theobald
1994 A* conf
Efficient Representation and Manipulation of Switching Functions Based on Ordered Kronecker Functional Decision Diagrams.
DAC
Rolf Drechsler, Andisheh Sarabi, Michael Theobald, Bernd Becker, Marek A. Perkowski
1994 — conf
Fast OFDD based minimization of fixed polarity Reed-Muller expressions.
EURO-DAC
Rolf Drechsler, Bernd Becker, Michael Theobald
1990 J jnl
The implementation of digital echo cancellation in codecs.
IEEE J. Solid State Circuits
Vladimir Friedman, John M. Khoury, Michael Theobald, Venu P. Gopal