John Matthews

2008
17	EE	Lukas Bulwahn, Alexander Krauss, Florian Haftmann, Levent Erkök, John Matthews: Imperative Functional Programming with Isabelle/HOL. TPHOLs 2008: 134-149
16	EE	Sandip Ray, Warren A. Hunt Jr., John Matthews, J. Strother Moore: A Mechanical Analysis of Program Verification Strategies. J. Autom. Reasoning 40(4): 245-269 (2008)
2006
15	EE	Lee Pike, Mark Shields, John Matthews: A verifying core for a cryptographic language compiler. ACL2 2006: 1-10
14	EE	John Matthews, J. Strother Moore, Sandip Ray, Daron Vroon: Verification Condition Generation Via Theorem Proving. LPAR 2006: 362-376
2005
13	EE	Brian Huffman, John Matthews, Peter White: Axiomatic Constructor Classes in Isabelle/HOLCF. TPHOLs 2005: 147-162
2004
12	EE	Sava Krstic, John Matthews: Semantics of the reFLect language. PPDP 2004: 32-42
2003
11	EE	Sava Krstic, John Matthews: Inductive Invariants for Nested Recursion. TPHOLs 2003: 253-269
10	EE	Rajeev Joshi, Leslie Lamport, John Matthews, Serdar Tasiran, Mark R. Tuttle, Yuan Yu: Checking Cache-Coherence Protocols with TLA+. Formal Methods in System Design 22(2): 125-131 (2003)
2002
9	EE	Leslie Lamport, John Matthews, Mark R. Tuttle, Yuan Yu: Specifying and verifying systems with TLA+. ACM SIGOPS European Workshop 2002: 45-48
8	EE	Sava Krstic, John Matthews: Verifying BDD Algorithms through Monadic Interpretation. VMCAI 2002: 182-195
1999
7	EE	John Matthews, John Launchbury: Elementary Microarchitecture Algebra. CAV 1999: 288-300
6	EE	Byron Cook, John Launchbury, John Matthews, Richard B. Kieburtz: Formal Verification of Explicitly Parallel Microprocessors. CHARME 1999: 23-36
5	EE	John Matthews: Recursive Function Definition over Coinductive Types. TPHOLs 1999: 73-90
1998
4	EE	John Matthews, Byron Cook, John Launchbury: Microprocessor Specification in Hawk. ICCL 1998: 90-101
1996
3	EE	John Matthews, Charles U. Martel: Parallel Algorithms Using Unreliable Broadcasts. IPPS 1996: 692-696
1995
2	EE	Gary S. Tyson, Matthew K. Farrens, John Matthews, Andrew R. Pleszkun: A modified approach to data cache management. MICRO 1995: 93-103
1		Srinivasan Tridandapani, Anton T. Dahbura, Arun K. Somani, Charles U. Martel, John Matthews: Free Performance and Fault Tolerance: Using System Idle Capacity Efficiently (Panel). SIGMETRICS 1995: 60-61

Coauthor Index

1	Lukas Bulwahn	[17]
2	Byron Cook	[4] [6]
3	Anton T. Dahbura	[1]
4	Levent Erkök	[17]
5	Matthew K. Farrens	[2]
6	Florian Haftmann	[17]
7	Brian Huffman	[13]
8	Warren A. Hunt Jr.	[16]
9	Rajeev Joshi	[10]
10	Richard B. Kieburtz (Dick Kieburtz)	[6]
11	Alexander Krauss	[17]
12	Sava Krstic	[8] [11] [12]
13	Leslie Lamport	[9] [10]
14	John Launchbury	[4] [6] [7]
15	Charles U. Martel	[1] [3]
16	J. Strother Moore	[14] [16]
17	Lee Pike	[15]
18	Andrew R. Pleszkun	[2]
19	Sandip Ray	[14] [16]
20	Mark Shields	[15]
21	Arun K. Somani	[1]
22	Serdar Tasiran	[10]
23	Srinivasan Tridandapani	[1]
24	Mark R. Tuttle	[9] [10]
25	Gary S. Tyson	[2]
26	Daron Vroon	[14]
27	Peter White	[13]
28	Yuan Yu	[9] [10]

Colors in the list of coauthors