Patrick Lam

other persons with the same name:

• Patrick Lam

2007
15	EE	Patrick Lam, Martin C. Rinard: Static Verification of Design Constraints and Software Correctness Properties in the Hob System. IPDPS 2007: 1-6
14	EE	Eric Bodden, Laurie J. Hendren, Patrick Lam, Ondrej Lhoták, Nomair A. Naeem: Collaborative Runtime Verification with Tracematches. RV 2007: 22-37
2006
13	EE	Thomas Wies, Viktor Kuncak, Patrick Lam, Andreas Podelski, Martin C. Rinard: Field Constraint Analysis. VMCAI 2006: 157-173
12	EE	Viktor Kuncak, Patrick Lam, Karen Zee, Martin C. Rinard: Modular Pluggable Analyses for Data Structure Consistency. IEEE Trans. Software Eng. 32(12): 988-1005 (2006)
2005
11	EE	Patrick Lam, Viktor Kuncak, Martin C. Rinard: Crosscutting techniques in program specification and analysis. AOSD 2005: 169-180
10	EE	Patrick Lam, Viktor Kuncak, Martin C. Rinard: Hob: A Tool for Verifying Data Structure Consistency. CC 2005: 237-241
9	EE	Patrick Lam, Viktor Kuncak, Martin C. Rinard: Generalized Typestate Checking for Data Structure Consistency. VMCAI 2005: 430-447
2004
8	EE	Viktor Kuncak, Patrick Lam, Martin C. Rinard: Roles Are Really Great! CoRR cs.PL/0408013: (2004)
7	EE	Patrick Lam, Viktor Kuncak, Martin C. Rinard: Generalized typestate checking using set interfaces and pluggable analyses. SIGPLAN Notices 39(3): 46-55 (2004)
2003
6	EE	Patrick Lam, Martin C. Rinard: A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information. ECOOP 2003: 275-302
2002
5	EE	Viktor Kuncak, Patrick Lam, Martin C. Rinard: Role analysis. POPL 2002: 17-32
2001
4	EE	Viktor Kuncak, Patrick Lam, Martin C. Rinard: A Language for Role Specifications. LCPC 2001: 366-382
2000
3	EE	Raja Vallée-Rai, Etienne Gagnon, Laurie J. Hendren, Patrick Lam, Patrice Pominville, Vijay Sundaresan: Optimizing Java Bytecode Using the Soot Framework: Is It Feasible? CC 2000: 18-34
2	EE	Vijay Sundaresan, Laurie J. Hendren, Chrislain Razafimahefa, Raja Vallée-Rai, Patrick Lam, Etienne Gagnon, Charles Godin: Practical virtual method call resolution for Java. OOPSLA 2000: 264-280
1999
1	EE	Raja Vallée-Rai, Phong Co, Etienne Gagnon, Laurie J. Hendren, Patrick Lam, Vijay Sundaresan: Soot - a Java bytecode optimization framework. CASCON 1999: 13

Coauthor Index

1	Eric Bodden	[14]
2	Phong Co	[1]
3	Etienne M. Gagnon (Etienne Gagnon)	[1] [2] [3]
4	Charles Godin	[2]
5	Laurie J. Hendren	[1] [2] [3] [14]
6	Viktor Kuncak	[4] [5] [7] [8] [9] [10] [11] [12] [13]
7	Ondrej Lhoták	[14]
8	Nomair A. Naeem	[14]
9	Andreas Podelski	[13]
10	Patrice Pominville	[3]
11	Chrislain Razafimahefa	[2]
12	Martin C. Rinard	[4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [15]
13	Vijay Sundaresan	[1] [2] [3]
14	Raja Vallée-Rai	[1] [2] [3]
15	Thomas Wies	[13]
16	Karen Zee	[12]

Colors in the list of coauthors