John W. O'Leary

2007
11	EE	Ariel Cohen, John W. O'Leary, Amir Pnueli, Mark R. Tuttle, Lenore D. Zuck: Verifying Correctness of Transactional Memories. FMCAD 2007: 37-44
2006
10	EE	Jim Grundy, Thomas F. Melham, John W. O'Leary: A reflective functional language for hardware design and theorem proving. J. Funct. Program. 16(2): 157-196 (2006)
2005
9	EE	Carl-Johan H. Seger, Robert B. Jones, John W. O'Leary, Thomas F. Melham, Mark Aagaard, Clark Barrett, Don Syme: An industrially effective environment for formal hardware verification. IEEE Trans. on CAD of Integrated Circuits and Systems 24(9): 1381-1405 (2005)
2002
8		Mark Aagaard, John W. O'Leary: Formal Methods in Computer-Aided Design, 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings Springer 2002
2001
7	EE	Robert B. Jones, John W. O'Leary, Carl-Johan H. Seger, Mark Aagaard, Thomas F. Melham: Practical Formal Verification in Microprocessor Design. IEEE Design & Test of Computers 18(4): 16-25 (2001)
2000
6	EE	Mark Aagaard, Robert B. Jones, Thomas F. Melham, John W. O'Leary, Carl-Johan H. Seger: A Methodology for Large-Scale Hardware Verification. FMCAD 2000: 263-282
1999
5	EE	Mark Aagaard, Thomas F. Melham, John W. O'Leary: Xs are for Trajectory Evaluation, Booleans are for Theorem Proving. CHARME 1999: 202-218
1996
4		Yirng-An Chen, Edmund M. Clarke, Pei-Hsin Ho, Yatin Vasant Hoskote, Timothy Kam, Manpreet Khaira, John W. O'Leary, Xudong Zhao: Verification of All Circuits in a Floating-Point Unit Using Word-Level Model Checking. FMCAD 1996: 19-33
1995
3	EE	Miriam Leeser, John W. O'Leary: Verification of a subtractive radix-2 square root algorithm and implementation. ICCD 1995: 526-531
1994
2		John W. O'Leary, Miriam Leeser, Jason Hickey, Mark Aagaard: Non-Restoring Integer Square Root: A Case Study in Design by Principled Optimization. TPCD 1994: 52-71
1993
1		John W. O'Leary, Mark H. Linderman, Miriam Leeser, Mark Aagaard: HML: A Hardware Description Language Based on Standard ML. CHDL 1993: 327-334

Coauthor Index

1	Mark Aagaard	[1] [2] [5] [6] [7] [8] [9]
2	Clark W. Barrett (Clark Barrett)	[9]
3	Yirng-An Chen	[4]
4	Edmund M. Clarke	[4]
5	Ariel Cohen	[11]
6	Jim Grundy	[10]
7	Jason Hickey	[2]
8	Pei-Hsin Ho	[4]
9	Yatin Vasant Hoskote	[4]
10	Robert B. Jones	[6] [7] [9]
11	Timothy Kam	[4]
12	Manpreet Khaira	[4]
13	Miriam Leeser	[1] [2] [3]
14	Mark H. Linderman	[1]
15	Thomas F. Melham	[5] [6] [7] [9] [10]
16	Amir Pnueli	[11]
17	Carl-Johan H. Seger	[6] [7] [9]
18	Don Syme	[9]
19	Mark R. Tuttle	[11]
20	Xudong Zhao	[4]
21	Lenore D. Zuck	[11]

Colors in the list of coauthors