John O'Leary

2009
17	EE	Cherif 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: 121-130
2008
16	EE	Jennifer Gillenwater, Gregory Malecha, Cherif 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: 41-50
15	EE	John O'Leary, Bratin Saha, Mark R. Tuttle: Model checking transactional memory with spin. PODC 2008: 424
14	EE	David James, Tim Leonard, John O'Leary, Murali Talupur, Mark R. Tuttle: Extracting models from design documents with mapster. PODC 2008: 456
2007
13	EE	Sava Krstic, Robert B. Jones, John O'Leary: Mothers of Pipelines. Electr. Notes Theor. Comput. Sci. 174(8): 7-22 (2007)
12	EE	Ganesh Gopalakrishnan, John O'Leary: Preface. Electr. Notes Theor. Comput. Sci. 174(9): 1-4 (2007)
2006
11	EE	Michael Kishinevsky, Jordi Cortadella, Bill Grundmann, Sava Krstic, John O'Leary: Synchronous Elastic Circuits. CSR 2006: 3-5
10	EE	Sava Krstic, Jordi Cortadella, Michael Kishinevsky, John O'Leary: Synchronous Elastic Networks. FMCAD 2006: 19-30
2005
9	EE	Tevfik Bultan, Constance L. Heitmeyer, John O'Leary: Panel on design for verification. MEMOCODE 2005: 232-235
2004
8	EE	John O'Leary, Marly Roncken: Rob Tristan Gerth: 1956?2003. CAV 2004: 1-14
7	EE	John O'Leary: Formal verification in Intel CPU design. MEMOCODE 2004: 152
2003
6	EE	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: 710-711
1997
5		John O'Leary, Geoffrey Brown, Wayne Luk: Verified Compilation of Communicating Processes into Clocked Circuits. Formal Asp. Comput. 9(5-6): 537-559 (1997)
4	EE	John O'Leary, Geoffrey Brown: Synchronous emulation of asynchronous circuits. IEEE Trans. on CAD of Integrated Circuits and Systems 16(2): 205-209 (1997)
1996
3		Geoffrey Brown, Wayne Luk, John O'Leary: Retargeting a Hardware Compiler Using Protokol Converters. Formal Asp. Comput. 8(2): 209-237 (1996)
1995
2		Alan S. Wenban, Geoffrey Brown, John O'Leary: Developing Interface Libraries for Reconfigurable Data Acquisition Boards. FPL 1995: 331-340
1993
1		Alan S. Wenban, John O'Leary, Geoffrey Brown: Codesign of Communication Protocols. IEEE Computer 26(12): 46-52 (1993)

Coauthor Index

1	Brian Bailey	[6]
2	Daniel K. Beece	[6]
3	Geoffrey Brown	[1] [2] [3] [4] [5]
4	Tevfik Bultan	[9]
5	Jordi Cortadella	[10] [11]
6	Masahiro Fujita	[6]
7	Jennifer Gillenwater	[16]
8	Ganesh Gopalakrishnan	[12]
9	Bill Grundmann	[11]
10	Jim Grundy	[16] [17]
11	Rajesh K. Gupta (Rajesh Gupta)	[6]
12	Constance L. Heitmeyer (Connie Heitmeyer)	[9]
13	David James	[14]
14	Robert B. Jones	[13]
15	Michael Kishinevsky	[10] [11]
16	Sava Krstic	[10] [11] [13]
17	Tim Leonard	[14]
18	Wayne Luk	[3] [5]
19	Gregory Malecha	[16] [17]
20	Carl Pixley	[6]
21	Shishpal Rawat	[6]
22	Marly Roncken	[8]
23	Bratin Saha	[15]
24	Cherif Salama	[16] [17]
25	Sandeep K. Shukla	[6]
26	Fabio Somenzi	[6]
27	Walid Taha	[16] [17]
28	Murali Talupur	[14]
29	Mark R. Tuttle	[14] [15]
30	Alan S. Wenban	[1] [2]
31	Angela Yun Zhu	[16]

Colors in the list of coauthors