Michael Theobald

According to our database, Michael Theobald authored at least 26 papers between 1994 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2021

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

Proceedings of the International Conference for High Performance Computing, 2021

The ΛNTON 3 ASIC: a Fire-Breathing Monster for Molecular Dynamics Simulations.

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

Proceedings of the IEEE Hot Chips 33 Symposium, 2021

2014

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

Proceedings of the International Conference for High Performance Computing, 2014

2013

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

Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2013

2008

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, 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

Commun. ACM, 2008

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

Proceedings of the 26th International Conference on Computer Design, 2008

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

Proceedings of the 45th Design Automation Conference, 2008

2006

Special issue on formal methods for globally asynchronous and locally synchronous (GALS) systems.

Sandeep K. Shukla, Michael Theobald

Formal Methods Syst. Des., 2006

2005

Proof-guided underapproximation-widening for multi-process systems.

Orna Grumberg, Flavio Lerda, Ofer Strichman, Michael Theobald

Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005

2004

Generalized Latency-Insensitive Systems for Single-Clock and Multi-Clock Architectures.

Montek Singh, Michael Theobald

Proceedings of the 2004 Design, 2004

2003

Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems.

Edmund M. Clarke, Ansgar Fehnker, Zhi Han, Bruce H. Krogh, Joël Ouaknine, Olaf Stursberg, Michael Theobald

Int. J. Found. Comput. Sci., 2003

Symbolic Model Checking of Software.

Flavio Lerda, Nishant Sinha, Michael Theobald

Proceedings of the 2003 Workshop on Software Model Checking, 2003

Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement.

Edmund M. Clarke, Ansgar Fehnker, Zhi Han, Bruce H. Krogh, Olaf Stursberg, Michael Theobald

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

SAT-Based Algorithms for Logic Minimization.

Samir Sapra, Michael Theobald, Edmund M. Clarke

Proceedings of the 21st International Conference on Computer Design (ICCD 2003), 2003

2001

Transformations for the Synthesis and Optimization of Asynchronous Distributed Control.

Michael Theobald, Steven M. Nowick

Proceedings of the 38th Design Automation Conference, 2001

2000

Self-Timed Carry-Lookahead Adders.

Fu-Chiung Cheng, Stephen H. Unger, Michael Theobald

IEEE Trans. Computers, 2000

1998

Fast heuristic and exact algorithms for two-level hazard-free logic minimization.

Michael Theobald, Steven M. Nowick

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1998

An Implicit Method for Hazard-Free Two-Level Logic Minimization.

Michael Theobald, Steven M. Nowick

Proceedings of the 4th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC '98), 30 March, 1998

1997

On the Expressive Power of OKFDDs.

Bernd Becker, Rolf Drechsler, Michael Theobald

Formal Methods Syst. Des., 1997

Delay-Insensitive Carry-Lookahead Adders.

Fu-Chiung Cheng, Stephen H. Unger, Michael Theobald, Wen-Chung Cho

Proceedings of the 10th International Conference on VLSI Design (VLSI Design 1997), 1997

Synthesis of low-power asynchronous circuits in a specified environment.

Steven M. Nowick, Michael Theobald

Proceedings of the 1997 International Symposium on Low Power Electronics and Design, 1997

1996

Fast OFFD-Based Minimization of Fixed Polarity Reed-Muller Expressions.

Rolf Drechsler, Michael Theobald, Bernd Becker

IEEE Trans. Computers, 1996

Espresso-HF: A Heuristic Hazard-Free Minimizer for Two-Level Logic.

Michael Theobald, Steven M. Nowick, Tao Wu

Proceedings of the 33st Conference on Design Automation, 1996

1995

OKFDDs versus OBDDs and OFDDs.

Bernd Becker, Rolf Drechsler, Michael Theobald

Proceedings of the Automata, Languages and Programming, 22nd International Colloquium, 1995

1994

Fast OFDD based minimization of fixed polarity Reed-Muller expressions.

Rolf Drechsler, Bernd Becker, Michael Theobald

Proceedings of the Proceedings EURO-DAC'94, 1994

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

Proceedings of the 31st Conference on Design Automation, 1994