John Matthews

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	Byron Cook	[4] [6]
2	Anton T. Dahbura	[1]
3	Matthew K. Farrens	[2]
4	Brian Huffman	[13]
5	Rajeev Joshi	[10]
6	Richard B. Kieburtz (Dick Kieburtz)	[6]
7	Sava Krstic	[8] [11] [12]
8	Leslie Lamport	[9] [10]
9	John Launchbury	[4] [6] [7]
10	Charles U. Martel	[1] [3]
11	J. Strother Moore	[14]
12	Lee Pike	[15]
13	Andrew R. Pleszkun	[2]
14	Sandip Ray	[14]
15	Mark Shields	[15]
16	Arun K. Somani	[1]
17	Serdar Tasiran	[10]
18	Srinivasan Tridandapani	[1]
19	Mark R. Tuttle	[9] [10]
20	Gary S. Tyson	[2]
21	Daron Vroon	[14]
22	Peter White	[13]
23	Yuan Yu	[9] [10]

Colors in the list of coauthors