Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Patrick Lam" ( http://dblp.L3S.de/Authors/Patrick_Lam )

URL (Homepage):  http://plam.lcs.mit.edu/  Author page on DBLP  Author page in RDF  Community of Patrick Lam in ASPL-2

Publication years (Num. hits)
1999-2007 (16) 2008-2011 (11)
Publication types (Num. hits)
article(5) inproceedings(22)
Venues (Conferences, Journals, ...)
RV(3) CC(2) VMCAI(2) AOSD(1) BCS Int. Acad. Conf.(1) CASCON(1) CoRR(1) ECOOP(1) ICISS(1) ICSE(1) IEEE Real-Time and Embedded Te...(1) IEEE Trans. Industrial Informa...(1) IEEE Trans. Software Eng.(1) IPDPS(1) J. Log. Comput.(1) LCPC(1) More (+10 of total 23)
Authors
Patrick Lam(27) Martin C. Rinard(12) Viktor Kuncak(10) Laurie J. Hendren(8) Eric Bodden(6) Etienne Gagnon(3) Raja Vallée-Rai(3) Vijay Sundaresan(3) Jeff Zarnett(2) Karen Zee(2) Mahesh V. Tripunitara(2) Nomair A. Naeem(2) Ondrej Lhoták(2) Sebastian Fischmeister(2) Andreas Podelski(1) Brian Demsky(1) More (+10 of total 23)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 26 occurrences of 22 keywords
Results
Found 27 publication records. Showing 27 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Jon Eyolfson, Lin Tan, Patrick Lam Do time of day and developer experience affect commit bugginess. Search on Bibsonomy MSR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Sebastian Fischmeister, Patrick Lam Time-aware Instrumentation of Real-time Programs. Search on Bibsonomy IEEE Trans. Industrial Informatics The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Eric Bodden, Laurie J. Hendren, Patrick Lam, Ondrej Lhoták, Nomair A. Naeem Collaborative Runtime Verification with Tracematches. Search on Bibsonomy J. Log. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Eric Bodden, Patrick Lam Clara: Partially Evaluating Runtime Monitors at Compile Time - Tutorial Supplement. Search on Bibsonomy RV The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Eric Bodden, Patrick Lam, Laurie J. Hendren Clara: A Framework for Partially Evaluating Finite-State Runtime Monitors Ahead of Time. Search on Bibsonomy RV The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jeff Zarnett, Mahesh V. Tripunitara, Patrick Lam Role-based access control (RBAC) in Java via proxy objects using annotations. Search on Bibsonomy SACMAT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF proxy objects, java, access control, RBAC, rmi
1Brian Demsky, Patrick Lam Views: object-inspired concurrency control. Search on Bibsonomy ICSE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF concurrency, language design, static verification
1Jeff Zarnett, Patrick Lam, Mahesh V. Tripunitara Method-Specific Java Access Control via RMI Proxy Objects Using Annotations. Search on Bibsonomy ICISS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Sebastian Fischmeister, Patrick Lam On Time-Aware Instrumentation of Programs. Search on Bibsonomy IEEE Real-Time and Embedded Technology and Applications Symposium The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Eric Bodden, Patrick Lam, Laurie J. Hendren Object representatives: a uniform abstraction for pointer information. Search on Bibsonomy BCS Int. Acad. Conf. The full citation details ... 2008 DBLP  BibTeX  RDF
1Eric Bodden, Patrick Lam, Laurie J. Hendren Finding programming errors earlier by evaluating runtime monitors ahead-of-time. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF machine learning, static analysis, runtime verification, points-to analysis, static verification
1Eric Bodden, Laurie J. Hendren, Patrick Lam, Ondrej Lhoták, Nomair A. Naeem Collaborative Runtime Verification with Tracematches. Search on Bibsonomy RV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Patrick Lam, Martin C. Rinard Static Verification of Design Constraints and Software Correctness Properties in the Hob System. Search on Bibsonomy IPDPS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Viktor Kuncak, Patrick Lam, Karen Zee, Martin C. Rinard Modular Pluggable Analyses for Data Structure Consistency. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF formal methods, data structure, program analysis, program verification, invariant, shape analysis, Typestate, programming language design
1Thomas Wies, Viktor Kuncak, Patrick Lam, Andreas Podelski, Martin C. Rinard Field Constraint Analysis. Search on Bibsonomy VMCAI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Patrick Lam, Viktor Kuncak, Martin C. Rinard Crosscutting techniques in program specification and analysis. Search on Bibsonomy AOSD The full citation details ... 2005 DBLP  DOI  BibTeX  RDF aspect-oriented programming, program verification, crosscutting concerns, static analysis tools
1Viktor Kuncak, Patrick Lam, Karen Zee, Martin C. Rinard Implications of a Data Structure Consistency Checking System. Search on Bibsonomy VSTTE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Patrick Lam, Viktor Kuncak, Martin C. Rinard Hob: A Tool for Verifying Data Structure Consistency. Search on Bibsonomy CC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Patrick Lam, Viktor Kuncak, Martin C. Rinard Generalized Typestate Checking for Data Structure Consistency. Search on Bibsonomy VMCAI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Patrick Lam, Viktor Kuncak, Martin C. Rinard Generalized typestate checking using set interfaces and pluggable analyses. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Viktor Kuncak, Patrick Lam, Martin C. Rinard Roles Are Really Great! Search on Bibsonomy CoRR The full citation details ... 2004 DBLP  BibTeX  RDF
1Patrick Lam, Martin C. Rinard A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information. Search on Bibsonomy ECOOP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Viktor Kuncak, Patrick Lam, Martin C. Rinard Role analysis. Search on Bibsonomy POPL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Viktor Kuncak, Patrick Lam, Martin C. Rinard A Language for Role Specifications. Search on Bibsonomy LCPC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Raja Vallée-Rai, Etienne Gagnon, Laurie J. Hendren, Patrick Lam, Patrice Pominville, Vijay Sundaresan Optimizing Java Bytecode Using the Soot Framework: Is It Feasible? Search on Bibsonomy CC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Vijay Sundaresan, Laurie J. Hendren, Chrislain Razafimahefa, Raja Vallée-Rai, Patrick Lam, Etienne Gagnon, Charles Godin Practical virtual method call resolution for Java. Search on Bibsonomy OOPSLA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Java
1Raja Vallée-Rai, Phong Co, Etienne Gagnon, Laurie J. Hendren, Patrick Lam, Vijay Sundaresan Soot - a Java bytecode optimization framework. Search on Bibsonomy CASCON The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Java
Displaying result #1 - #27 of 27 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.