other persons with the same name:
- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j6 |      | Brian Demsky, Patrick Lam: Views: Synthesizing fine-grained concurrency control. ACM Trans. Softw. Eng. Methodol. 22(1): 4 (2013) |
| 2012 | ||
| j5 | | Eric Bodden, Patrick Lam, Laurie J. Hendren: Partially Evaluating Finite-State Runtime Monitors Ahead of Time. ACM Trans. Program. Lang. Syst. 34(2): 7 (2012) |
| c25 | | |
| 2011 | ||
| c24 | | Jon Eyolfson, Lin Tan, Patrick Lam: Do time of day and developer experience affect commit bugginess. MSR 2011: 153-162 |
| 2010 | ||
| j4 | | Eric Bodden, Laurie J. Hendren, Patrick Lam, Ondrej Lhoták, Nomair A. Naeem: Collaborative Runtime Verification with Tracematches. J. Log. Comput. 20(3): 707-723 (2010) |
| j3 | | Sebastian Fischmeister, Patrick Lam: Time-aware Instrumentation of Real-time Programs. IEEE Trans. Industrial Informatics 6(4): 652-663 (2010) |
| c23 | | |
| c22 | | Eric Bodden, Patrick Lam: Clara: Partially Evaluating Runtime Monitors at Compile Time - Tutorial Supplement. RV 2010: 74-88 |
| c21 | | Eric Bodden, Patrick Lam, Laurie J. Hendren: Clara: A Framework for Partially Evaluating Finite-State Runtime Monitors Ahead of Time. RV 2010: 183-197 |
| c20 | | Jeff Zarnett, Mahesh V. Tripunitara, Patrick Lam: Role-based access control (RBAC) in Java via proxy objects using annotations. SACMAT 2010: 79-88 |
| 2009 | ||
| c19 | | Jeff Zarnett, Patrick Lam, Mahesh V. Tripunitara: Method-Specific Java Access Control via RMI Proxy Objects Using Annotations. ICISS 2009: 301-309 |
| c18 | | Sebastian Fischmeister, Patrick Lam: On Time-Aware Instrumentation of Programs. IEEE Real-Time and Embedded Technology and Applications Symposium 2009: 305-314 |
| 2008 | ||
| c17 | | Eric Bodden, Patrick Lam, Laurie J. Hendren: Object representatives: a uniform abstraction for pointer information. BCS Int. Acad. Conf. 2008: 391-405 |
| c16 | | Eric Bodden, Patrick Lam, Laurie J. Hendren: Finding programming errors earlier by evaluating runtime monitors ahead-of-time. SIGSOFT FSE 2008: 36-47 |
| 2007 | ||
| c15 | | Patrick Lam, Martin C. Rinard: Static Verification of Design Constraints and Software Correctness Properties in the Hob System. IPDPS 2007: 1-6 |
| c14 | | Eric Bodden, Laurie J. Hendren, Patrick Lam, Ondrej Lhoták, Nomair A. Naeem: Collaborative Runtime Verification with Tracematches. RV 2007: 22-37 |
| 2006 | ||
| j2 | | 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) |
| c13 | | Thomas Wies, Viktor Kuncak, Patrick Lam, Andreas Podelski, Martin C. Rinard: Field Constraint Analysis. VMCAI 2006: 157-173 |
| 2005 | ||
| c12 | | Patrick Lam, Viktor Kuncak, Martin C. Rinard: Crosscutting techniques in program specification and analysis. AOSD 2005: 169-180 |
| c11 | | Patrick Lam, Viktor Kuncak, Martin C. Rinard: Hob: A Tool for Verifying Data Structure Consistency. CC 2005: 237-241 |
| c10 | | Patrick Lam, Viktor Kuncak, Martin C. Rinard: Generalized Typestate Checking for Data Structure Consistency. VMCAI 2005: 430-447 |
| c9 | | Viktor Kuncak, Patrick Lam, Karen Zee, Martin C. Rinard: Implications of a Data Structure Consistency Checking System. VSTTE 2005: 214-226 |
| 2004 | ||
| j1 | | Patrick Lam, Viktor Kuncak, Martin C. Rinard: Generalized typestate checking using set interfaces and pluggable analyses. SIGPLAN Notices 39(3): 46-55 (2004) |
| i1 | | |
| 2003 | ||
| c8 | | Patrick Lam, Martin C. Rinard: A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information. ECOOP 2003: 275-302 |
| 2002 | ||
| c7 | | |
| 2001 | ||
| c6 | | Viktor Kuncak, Patrick Lam, Martin C. Rinard: A Language for Role Specifications. LCPC 2001: 366-382 |
| 2000 | ||
| c5 | | 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 |
| c4 | | Raja Vallée-Rai, Patrick Lam, Clark Verbrugge, Patrice Pominville, Feng Qian: Soot (poster session): a Java bytecode optimization and annotation framework. OOPSLA Addendum 2000: 113-114 |
| c3 | | Karel Driesen, Patrick Lam, Jerome Miecznikowski, Feng Qian, Derek Rayside: On the predictability of Java byte codes (abstract) (poster session). OOPSLA Addendum 2000: 127-128 |
| c2 | | 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 | ||
| c1 | | Raja Vallée-Rai, Phong Co, Etienne Gagnon, Laurie J. Hendren, Patrick Lam, Vijay Sundaresan: Soot - a Java bytecode optimization framework. CASCON 1999: 13 |
Colors in the list of coauthors
Last update Thu May 23 17:31:29 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page