John O'Leary

According to our database, John O'Leary authored at least 27 papers between 1993 and 2021.

Collaborative distances:

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

2021

Maximal Couplings of the Metropolis-Hastings Algorithm.

Guanyang Wang, John O'Leary, Pierre Jacob

Proceedings of the 24th International Conference on Artificial Intelligence and Statistics, 2021

2020

Shrub Fractional Cover Estimation and Mapping of San Clemente Island Shrubland Based on Airborne Multispectral Imagery and Lidar Data.

Kelsey Warkentin, Douglas Stow, Kellie Uyeda, John O'Leary, Julie Lambert, Andrew Loerch, Lloyd Coulter

Remote. Sens., 2020

Hardware/Software Co-verification Using Path-based Symbolic Execution.

Rajdeep Mukherjee, Saurabh Joshi, John O'Leary, Daniel Kroening, Tom Melham

CoRR, 2020

DIRECT - Digital Intertextual Resonances in Early Chinese Texts.

Gian Duri Rominger, John O'Leary, Nick Budak

Proceedings of the 15th Annual International Conference of the Alliance of Digital Humanities Organizations, 2020

Learning Concise Models from Long Execution Traces.

Natasha Yogananda Jeppu, Thomas F. Melham, Daniel Kroening, John O'Leary

Proceedings of the 57th ACM/IEEE Design Automation Conference, 2020

2019

CREST: Hardware Formal Verification with ANSI-C Reference Specifications.

Andreas Tiemeyer, Tom Melham, Daniel Kroening, John O'Leary

CoRR, 2019

2018

Resource-Aware Large-Scale Cooperative Three-Dimensional Mapping Using Multiple Mobile Devices.

Chao X. Guo, Kourosh Sartipi, Ryan C. DuToit, Georgios A. Georgiou, Ruipeng Li, John O'Leary, Esha D. Nerurkar, Joel A. Hesch, Stergios I. Roumeliotis

IEEE Trans. Robotics, 2018

2016

Large-scale cooperative 3D visual-inertial mapping in a Manhattan world.

Chao X. Guo, Kourosh Sartipi, Ryan C. DuToit, Georgios A. Georgiou, Ruipeng Li, John O'Leary, Esha D. Nerurkar, Joel A. Hesch, Stergios I. Roumeliotis

Proceedings of the 2016 IEEE International Conference on Robotics and Automation, 2016

2013

Symbolic verification of timed asynchronous hardware protocols.

Krishnaji Desai, Kenneth S. Stevens, John O'Leary

Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2013

2011

Static consistency checking for Verilog wire interconnects - Using dependent types to check the sanity of Verilog descriptions.

Cherif R. Salama, Gregory Malecha, Walid Taha, Jim Grundy, John O'Leary

High. Order Symb. Comput., 2011

2010

Synthesizable High Level Hardware Descriptions.

Jennifer Gillenwater, Gregory Malecha, Cherif R. Salama, Angela Yun Zhu, Walid Taha, Jim Grundy, John O'Leary

New Gener. Comput., 2010

2009

Theorem Proving in Intel Hardware Design.

John O'Leary

Proceedings of the First NASA Formal Methods Symposium, 2009

2008

Synthesizable high level hardware descriptions: using statically typed two-level languages to guarantee verilog synthesizability.

Jennifer Gillenwater, Gregory Malecha, Cherif R. Salama, Angela Yun Zhu, Walid Taha, Jim Grundy, John O'Leary

Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2008

2006

Mothers of Pipelines.

Sava Krstic, Robert B. Jones, John O'Leary

Proceedings of the Combined Proceedings of the Fourth Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR 2006) and the First International Workshop on Probabilistic Automata and Logics (PaUL 2006), 2006

Preface.

Ganesh Gopalakrishnan, John O'Leary

Proceedings of the Thread Verification Workshop, 2006

Synchronous Elastic Networks.

Sava Krstic, Jordi Cortadella, Michael Kishinevsky, John O'Leary

Proceedings of the Formal Methods in Computer-Aided Design, 6th International Conference, 2006

Synchronous Elastic Circuits.

Michael Kishinevsky, Jordi Cortadella, Bill Grundmann, Sava Krstic, John O'Leary

Proceedings of the Computer Science, 2006

2005

Panel on design for verification.

Tevfik Bultan, Constance L. Heitmeyer, John O'Leary

Proceedings of the 3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 2005

2004

Formal verification in Intel CPU design.

John O'Leary

Proceedings of the 2nd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2004), 2004

Rob Tristan Gerth: 1956?2003.

John O'Leary, Marly Roncken

Proceedings of the Computer Aided Verification, 16th International Conference, 2004

2003

Formal verification - prove it or pitch it.

Rajesh K. Gupta, Shishpal Rawat, Sandeep K. Shukla, Brian Bailey, Daniel K. Beece, Masahiro Fujita, Carl Pixley, John O'Leary, Fabio Somenzi

Proceedings of the 40th Design Automation Conference, 2003

1997

Synchronous emulation of asynchronous circuits.

John O'Leary, Geoffrey Brown

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

Verified Compilation of Communicating Processes into Clocked Circuits.

John O'Leary, Geoffrey Brown, Wayne Luk

Formal Aspects Comput., 1997

1996

Retargeting a Hardware Compiler Using Protokol Converters.

Geoffrey Brown, Wayne Luk, John O'Leary

Formal Aspects Comput., 1996

1995

Developing Interface Libraries for Reconfigurable Data Acquisition Boards.

Alan S. Wenban, Geoffrey Brown, John O'Leary

Proceedings of the Field-Programmable Logic and Applications, 5th International Workshop, 1995

1994

Retargeting a hardware compiler proof using protocol converters.

Geoffrey Brown, Wayne Luk, John O'Leary

Proceedings of the International Symposium on Advanced Research in Asynchronous Circuits and Systems, 1994

1993

Codesign of Communication Protocols.

Alan S. Wenban, John O'Leary, Geoffrey Brown

Computer, 1993