John W. O'Leary

According to our database, John W. O'Leary authored at least 17 papers between 1971 and 2014.

Collaborative distances:

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

2014

Modeling Algorithms in SystemC and ACL2.

John W. O'Leary, David M. Russinoff

Proceedings of the Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications, 2014

2013

Relational STE and theorem proving for formal verification of industrial circuit designs.

John W. O'Leary, Roope Kaivola, Tom Melham

Proceedings of the Formal Methods in Computer-Aided Design, 2013

2010

ATLAS: Automatic Term-level abstraction of RTL designs.

Bryan A. Brady, Randal E. Bryant, Sanjit A. Seshia, John W. O'Leary

Proceedings of the 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), 2010

2009

Protocol verification using flows: An industrial experience.

John W. O'Leary, Murali Talupur, Mark R. Tuttle

Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009

2008

Model checking transactional memory with spin.

John W. O'Leary, Bratin Saha, Mark R. Tuttle

Proceedings of the Twenty-Seventh Annual ACM Symposium on Principles of Distributed Computing, 2008

Extracting models from design documents with mapster.

David James, Tim Leonard, John W. O'Leary, Murali Talupur, Mark R. Tuttle

Proceedings of the Twenty-Seventh Annual ACM Symposium on Principles of Distributed Computing, 2008

2007

Verifying Correctness of Transactional Memories.

Ariel Cohen, John W. O'Leary, Amir Pnueli, Mark R. Tuttle, Lenore D. Zuck

Proceedings of the Formal Methods in Computer-Aided Design, 7th International Conference, 2007

2006

A reflective functional language for hardware design and theorem proving.

Jim Grundy, Thomas F. Melham, John W. O'Leary

J. Funct. Program., 2006

2005

An industrially effective environment for formal hardware verification.

Carl-Johan H. Seger, Robert B. Jones, John W. O'Leary, Thomas F. Melham, Mark D. Aagaard, Clark W. Barrett, Don Syme

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

2001

Practical Formal Verification in Microprocessor Design.

Robert B. Jones, John W. O'Leary, Carl-Johan H. Seger, Mark D. Aagaard, Thomas F. Melham

IEEE Des. Test Comput., 2001

2000

A Methodology for Large-Scale Hardware Verification.

Mark D. Aagaard, Robert B. Jones, Thomas F. Melham, John W. O'Leary, Carl-Johan H. Seger

Proceedings of the Formal Methods in Computer-Aided Design, Third International Conference, 2000

1999

Xs are for Trajectory Evaluation, Booleans are for Theorem Proving.

Mark D. Aagaard, Thomas F. Melham, John W. O'Leary

Proceedings of the Correct Hardware Design and Verification Methods, 1999

1996

Verification of All Circuits in a Floating-Point Unit Using Word-Level Model Checking.

Yirng-An Chen, Edmund M. Clarke, Pei-Hsin Ho, Yatin Vasant Hoskote, Timothy Kam, Manpreet Khaira, John W. O'Leary, Xudong Zhao

Proceedings of the Formal Methods in Computer-Aided Design, First International Conference, 1996

1995

Verification of a subtractive radix-2 square root algorithm and implementation.

Miriam Leeser, John W. O'Leary

Proceedings of the 1995 International Conference on Computer Design (ICCD '95), 1995

1994

Non-Restoring Integer Square Root: A Case Study in Design by Principled Optimization.

John W. O'Leary, Miriam Leeser, Jason Hickey, Mark D. Aagaard

Proceedings of the Theorem Provers in Circuit Design, 1994

1993

HML: A Hardware Description Language Based on Standard ML.

John W. O'Leary, Mark H. Linderman, Miriam Leeser, Mark D. Aagaard

Proceedings of the Computer Hardware Description Languages and their Applications, Proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications, 1993

1971

Integrated circuit shop simulation for capacity planning and scheduling.

Dennis D. Newhart, John W. O'Leary

Proceedings of the 5th conference on Winter simulation, 1971