Search the dblp DataBase

Publications of Author

1. Patrick Lam, Viktor Kuncak, Martin C. Rinard
   Crosscutting techniques in program specification and analysis. [Citation Graph (0, 0)][DBLP]
   AOSD, 2005, pp:169-180 [Conf]
   
2. Raja Vallée-Rai, Phong Co, Etienne Gagnon, Laurie J. Hendren, Patrick Lam, Vijay Sundaresan
   Soot - a Java bytecode optimization framework. [Citation Graph (0, 0)][DBLP]
   CASCON, 1999, pp:13- [Conf]
   
3. Patrick Lam, Viktor Kuncak, Martin C. Rinard
   Hob: A Tool for Verifying Data Structure Consistency. [Citation Graph (0, 0)][DBLP]
   CC, 2005, pp:237-241 [Conf]
   
4. 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? [Citation Graph (0, 0)][DBLP]
   CC, 2000, pp:18-34 [Conf]
   
5. Patrick Lam, Martin C. Rinard
   A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information. [Citation Graph (0, 0)][DBLP]
   ECOOP, 2003, pp:275-302 [Conf]
   
6. Viktor Kuncak, Patrick Lam, Martin C. Rinard
   A Language for Role Specifications. [Citation Graph (0, 0)][DBLP]
   LCPC, 2001, pp:366-382 [Conf]
   
7. Vijay Sundaresan, Laurie J. Hendren, Chrislain Razafimahefa, Raja Vallée-Rai, Patrick Lam, Etienne Gagnon, Charles Godin
   Practical virtual method call resolution for Java. [Citation Graph (0, 0)][DBLP]
   OOPSLA, 2000, pp:264-280 [Conf]
   
8. Viktor Kuncak, Patrick Lam, Martin C. Rinard
   Role analysis. [Citation Graph (0, 0)][DBLP]
   POPL, 2002, pp:17-32 [Conf]
   
9. Thomas Wies, Viktor Kuncak, Patrick Lam, Andreas Podelski, Martin C. Rinard
   Field Constraint Analysis. [Citation Graph (0, 0)][DBLP]
   VMCAI, 2006, pp:157-173 [Conf]
   
10. Patrick Lam, Viktor Kuncak, Martin C. Rinard
    Generalized Typestate Checking for Data Structure Consistency. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2005, pp:430-447 [Conf]
    
11. Viktor Kuncak, Patrick Lam, Martin C. Rinard
    Roles Are Really Great! [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
    
12. Patrick Lam, Viktor Kuncak, Martin C. Rinard
    Generalized typestate checking using set interfaces and pluggable analyses. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 2004, v:39, n:3, pp:46-55 [Journal]
    
13. Viktor Kuncak, Patrick Lam, Karen Zee, Martin C. Rinard
    Modular Pluggable Analyses for Data Structure Consistency. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2006, v:32, n:12, pp:988-1005 [Journal]
    
14. Patrick Lam, Martin C. Rinard
    Static Verification of Design Constraints and Software Correctness Properties in the Hob System. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2007, pp:1-6 [Conf]
    
15. 
    Method-Specific Java Access Control via RMI Proxy Objects Using Annotations. [Citation Graph (, )][DBLP]
    
    
16. 
    Views: object-inspired concurrency control. [Citation Graph (, )][DBLP]
    
    
17. 
    On Time-Aware Instrumentation of Programs. [Citation Graph (, )][DBLP]
    
    
18. 
    Role-based access control (RBAC) in Java via proxy objects using annotations. [Citation Graph (, )][DBLP]
    
    
19. 
    Finding programming errors earlier by evaluating runtime monitors ahead-of-time. [Citation Graph (, )][DBLP]
    
    
20. 
    Collaborative Runtime Verification with Tracematches. [Citation Graph (, )][DBLP]
    
    
21. 
    Implications of a Data Structure Consistency Checking System. [Citation Graph (, )][DBLP]
    
    
22. 
    Object representatives: a uniform abstraction for pointer information. [Citation Graph (, )][DBLP]