other persons with the same name:
| 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 |
| 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] |