dblp.uni-trier.dewww.uni-trier.de

Patrick Lam

List of publications from the DBLP Bibliography Server - FAQ

other persons with the same name:


Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2008
17EEEric Bodden, Patrick Lam, Laurie J. Hendren: Finding programming errors earlier by evaluating runtime monitors ahead-of-time. SIGSOFT FSE 2008: 36-47
2007
16EEPatrick Lam, Martin C. Rinard: Static Verification of Design Constraints and Software Correctness Properties in the Hob System. IPDPS 2007: 1-6
15EEEric Bodden, Laurie J. Hendren, Patrick Lam, Ondrej Lhoták, Nomair A. Naeem: Collaborative Runtime Verification with Tracematches. RV 2007: 22-37
2006
14EEThomas Wies, Viktor Kuncak, Patrick Lam, Andreas Podelski, Martin C. Rinard: Field Constraint Analysis. VMCAI 2006: 157-173
13EEViktor 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
12EEPatrick Lam, Viktor Kuncak, Martin C. Rinard: Crosscutting techniques in program specification and analysis. AOSD 2005: 169-180
11EEPatrick Lam, Viktor Kuncak, Martin C. Rinard: Hob: A Tool for Verifying Data Structure Consistency. CC 2005: 237-241
10EEPatrick Lam, Viktor Kuncak, Martin C. Rinard: Generalized Typestate Checking for Data Structure Consistency. VMCAI 2005: 430-447
9EEViktor Kuncak, Patrick Lam, Karen Zee, Martin C. Rinard: Implications of a Data Structure Consistency Checking System. VSTTE 2005: 214-226
2004
8EEViktor Kuncak, Patrick Lam, Martin C. Rinard: Roles Are Really Great! CoRR cs.PL/0408013: (2004)
7EEPatrick Lam, Viktor Kuncak, Martin C. Rinard: Generalized typestate checking using set interfaces and pluggable analyses. SIGPLAN Notices 39(3): 46-55 (2004)
2003
6EEPatrick Lam, Martin C. Rinard: A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information. ECOOP 2003: 275-302
2002
5EEViktor Kuncak, Patrick Lam, Martin C. Rinard: Role analysis. POPL 2002: 17-32
2001
4EEViktor Kuncak, Patrick Lam, Martin C. Rinard: A Language for Role Specifications. LCPC 2001: 366-382
2000
3EERaja 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
2EEVijay 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
1EERaja 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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)