John O'Leary

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