John O'Leary
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
9
Active years
1995–2021
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | AISTATS | Maximal Couplings of the Metropolis-Hastings Algorithm. | Guanyang Wang, John O'Leary, Pierre Jacob |
| 2020 | DAC | Learning Concise Models from Long Execution Traces. | Natasha Yogananda Jeppu, Thomas F. Melham, Daniel Kroening, John O'Leary |
| 2016 | ICRA | 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 |
| 2009 | PEPM | 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 |
| 2008 | PEPM | 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 |
| 2006 | CSR | Synchronous Elastic Circuits. | Michael Kishinevsky, Jordi Cortadella, Bill Grundmann, Sava Krstic, John O'Leary |
| 2006 | FMCAD | Synchronous Elastic Networks. | Sava Krstic, Jordi Cortadella, Michael Kishinevsky, John O'Leary |
| 2005 | MEMOCODE | Panel on design for verification. | Tevfik Bultan, Constance L. Heitmeyer, John O'Leary |
| 2004 | CAV | Rob Tristan Gerth: 1956?2003. | John O'Leary, Marly Roncken |
| 2004 | MEMOCODE | Formal verification in Intel CPU design. | John O'Leary |
| 2003 | DAC | 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 |
| 1995 | FPL | Developing Interface Libraries for Reconfigurable Data Acquisition Boards. | Alan S. Wenban, Geoffrey Brown, John O'Leary |