Patrick Lam

other persons with the same name:

• Patrick Lam

	2008
18		Eric Bodden, Patrick Lam, Laurie J. Hendren: Object representatives: a uniform abstraction for pointer information. BCS Int. Acad. Conf. 2008: 391-405
17		Eric Bodden, Patrick Lam, Laurie J. Hendren: Finding programming errors earlier by evaluating runtime monitors ahead-of-time. SIGSOFT FSE 2008: 36-47
	2007
16		Patrick Lam, Martin C. Rinard: Static Verification of Design Constraints and Software Correctness Properties in the Hob System. IPDPS 2007: 1-6
15		Eric Bodden, Laurie J. Hendren, Patrick Lam, Ondrej Lhoták, Nomair A. Naeem: Collaborative Runtime Verification with Tracematches. RV 2007: 22-37
	2006
14		Thomas Wies, Viktor Kuncak, Patrick Lam, Andreas Podelski, Martin C. Rinard: Field Constraint Analysis. VMCAI 2006: 157-173
13		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
12		Patrick Lam, Viktor Kuncak, Martin C. Rinard: Crosscutting techniques in program specification and analysis. AOSD 2005: 169-180
11		Patrick Lam, Viktor Kuncak, Martin C. Rinard: Hob: A Tool for Verifying Data Structure Consistency. CC 2005: 237-241
10		Patrick Lam, Viktor Kuncak, Martin C. Rinard: Generalized Typestate Checking for Data Structure Consistency. VMCAI 2005: 430-447
9		Viktor Kuncak, Patrick Lam, Karen Zee, Martin C. Rinard: Implications of a Data Structure Consistency Checking System. VSTTE 2005: 214-226
	2004
8		Viktor Kuncak, Patrick Lam, Martin C. Rinard: Roles Are Really Great! CoRR cs.PL/0408013: (2004)
7		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		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		Viktor Kuncak, Patrick Lam, Martin C. Rinard: Role analysis. POPL 2002: 17-32
	2001
4		Viktor Kuncak, Patrick Lam, Martin C. Rinard: A Language for Role Specifications. LCPC 2001: 366-382
	2000
3		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		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		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	[15] [17] [18]
2	Phong Co	[1]
3	Etienne M. Gagnon (Etienne Gagnon)	[1] [2] [3]
4	Charles Godin	[2]
5	Laurie J. Hendren	[1] [2] [3] [15] [17] [18]
6	Viktor Kuncak	[4] [5] [7] [8] [9] [10] [11] [12] [13] [14]
7	Ondrej Lhoták	[15]
8	Nomair A. Naeem	[15]
9	Andreas Podelski	[14]
10	Patrice Pominville	[3]
11	Chrislain Razafimahefa	[2]
12	Martin C. Rinard	[4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [16]
13	Vijay Sundaresan	[1] [2] [3]
14	Raja Vallée-Rai	[1] [2] [3]
15	Thomas Wies	[14]
16	Karen Zee	[9] [13]

Colors in the list of coauthors