other persons with the same name:
2008 | ||
---|---|---|
17 | EE | 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 | EE | Patrick Lam, Martin C. Rinard: Static Verification of Design Constraints and Software Correctness Properties in the Hob System. IPDPS 2007: 1-6 |
15 | EE | Eric Bodden, Laurie J. Hendren, Patrick Lam, Ondrej Lhoták, Nomair A. Naeem: Collaborative Runtime Verification with Tracematches. RV 2007: 22-37 |
2006 | ||
14 | EE | Thomas Wies, Viktor Kuncak, Patrick Lam, Andreas Podelski, Martin C. Rinard: Field Constraint Analysis. VMCAI 2006: 157-173 |
13 | 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 | ||
12 | EE | Patrick Lam, Viktor Kuncak, Martin C. Rinard: Crosscutting techniques in program specification and analysis. AOSD 2005: 169-180 |
11 | EE | Patrick Lam, Viktor Kuncak, Martin C. Rinard: Hob: A Tool for Verifying Data Structure Consistency. CC 2005: 237-241 |
10 | EE | Patrick Lam, Viktor Kuncak, Martin C. Rinard: Generalized Typestate Checking for Data Structure Consistency. VMCAI 2005: 430-447 |
9 | EE | Viktor Kuncak, Patrick Lam, Karen Zee, Martin C. Rinard: Implications of a Data Structure Consistency Checking System. VSTTE 2005: 214-226 |
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 | [15] [17] |
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] |
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] |