John O'Leary

Publication Activity (10 Years)

Years Active: 1993-2021
Publications (10 Years): 9

Top Topics

Manhattan World

Hardware And Software

Top Venues

IEEE Trans. Robotics

Publications

Guanyang Wang, John O'Leary, Pierre Jacob
Maximal Couplings of the Metropolis-Hastings Algorithm. AISTATS (2021)
Gian Duri Rominger, John O'Leary, Nick Budak
DIRECT - Digital Intertextual Resonances in Early Chinese Texts. DH (2020)
Natasha Yogananda Jeppu, Thomas F. Melham, Daniel Kroening, John O'Leary
Learning Concise Models from Long Execution Traces. DAC (2020)
Rajdeep Mukherjee, Saurabh Joshi, John O'Leary, Daniel Kroening, Tom Melham
Hardware/Software Co-verification Using Path-based Symbolic Execution. CoRR (2020)
Natasha Yogananda Jeppu, Tom Melham, Daniel Kroening, John O'Leary
Learning Concise Models from Long Execution Traces. CoRR (2020)
Kelsey Warkentin, Douglas Stow, Kellie Uyeda, John O'Leary, Julie Lambert, Andrew Loerch, Lloyd Coulter
Shrub Fractional Cover Estimation and Mapping of San Clemente Island Shrubland Based on Airborne Multispectral Imagery and Lidar Data. Remote. Sens. 12 (21) (2020)
Andreas Tiemeyer, Tom Melham, Daniel Kroening, John O'Leary
CREST: Hardware Formal Verification with ANSI-C Reference Specifications. CoRR (2019)
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
Resource-Aware Large-Scale Cooperative Three-Dimensional Mapping Using Multiple Mobile Devices. IEEE Trans. Robotics 34 (5) (2018)
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
Large-scale cooperative 3D visual-inertial mapping in a Manhattan world. ICRA (2016)
Krishnaji Desai, Kenneth S. Stevens, John O'Leary
Symbolic verification of timed asynchronous hardware protocols. ISVLSI (2013)
Cherif R. Salama, Gregory Malecha, Walid Taha, Jim Grundy, John O'Leary
Static consistency checking for Verilog wire interconnects - Using dependent types to check the sanity of Verilog descriptions. High. Order Symb. Comput. 24 (1-2) (2011)
Jennifer Gillenwater, Gregory Malecha, Cherif R. Salama, Angela Yun Zhu, Walid Taha, Jim Grundy, John O'Leary
Synthesizable High Level Hardware Descriptions. New Gener. Comput. 28 (4) (2010)
Cherif R. Salama, Gregory Malecha, Walid Taha, Jim Grundy, John O'Leary
Static consistency checking for verilog wire interconnects: using dependent types to check the sanity of verilog descriptions. PEPM (2009)
John O'Leary
Theorem Proving in Intel Hardware Design. NASA Formal Methods (2009)
Jennifer Gillenwater, Gregory Malecha, Cherif R. Salama, Angela Yun Zhu, Walid Taha, Jim Grundy, John O'Leary
Synthesizable high level hardware descriptions: using statically typed two-level languages to guarantee verilog synthesizability. PEPM (2008)
Sava Krstic, Robert B. Jones, John O'Leary
Mothers of Pipelines. Electron. Notes Theor. Comput. Sci. 174 (8) (2007)
Ganesh Gopalakrishnan, John O'Leary
Preface. Electron. Notes Theor. Comput. Sci. 174 (9) (2007)
Michael Kishinevsky, Jordi Cortadella, Bill Grundmann, Sava Krstic, John O'Leary
Synchronous Elastic Circuits. CSR (2006)
Sava Krstic, Jordi Cortadella, Michael Kishinevsky, John O'Leary
Synchronous Elastic Networks. FMCAD (2006)
Tevfik Bultan, Constance L. Heitmeyer, John O'Leary
Panel on design for verification. MEMOCODE (2005)
John O'Leary, Marly Roncken
Rob Tristan Gerth: 1956?2003. CAV (2004)
John O'Leary
Formal verification in Intel CPU design. MEMOCODE (2004)
Rajesh K. Gupta, Shishpal Rawat, Sandeep K. Shukla, Brian Bailey, Daniel K. Beece, Masahiro Fujita, Carl Pixley, John O'Leary, Fabio Somenzi
Formal verification - prove it or pitch it. DAC (2003)
John O'Leary, Geoffrey Brown, Wayne Luk
Verified Compilation of Communicating Processes into Clocked Circuits. Formal Aspects Comput. 9 (5-6) (1997)
John O'Leary, Geoffrey Brown
Synchronous emulation of asynchronous circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 16 (2) (1997)
Geoffrey Brown, Wayne Luk, John O'Leary
Retargeting a Hardware Compiler Using Protokol Converters. Formal Aspects Comput. 8 (2) (1996)
Alan S. Wenban, Geoffrey Brown, John O'Leary
Developing Interface Libraries for Reconfigurable Data Acquisition Boards. FPL (1995)
Geoffrey Brown, Wayne Luk, John O'Leary
Retargeting a hardware compiler proof using protocol converters. ASYNC (1994)
Alan S. Wenban, John O'Leary, Geoffrey Brown
Codesign of Communication Protocols. Computer 26 (12) (1993)