The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Patrick Lam: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002