Parents
Sign in to add mentor| Monica Lam | grad student | 2007 | Stanford | |
| (Context -sensitive pointer analysis using binary decision diagrams.) | ||||
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Lam MS, Martin M, Livshits B, et al. (2008) Securing web applications with static and dynamic information flow tracking Proceedings of the Acm Sigplan Symposium On Partial Evaluation and Semantics-Based Program Manipulation. 3-12 |
| Naik M, Aiken A, Whaley J. (2006) Effective static race detection for java Proceedings of the Acm Sigplan Conference On Programming Language Design and Implementation (Pldi). 2006: 308-319 |
| Whaley J. (2005) Joeq: A virtual machine and compiler infrastructure Science of Computer Programming. 57: 339-356 |
| Whaley J, Avots D, Carbin M, et al. (2005) Using Datalog with binary decision diagrams for program analysis Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3780: 97-118 |
| Livshits B, Whaley J, Lam MS. (2005) Reflection analysis for java Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3780: 139-160 |
| Lam MS, Whaley J, Benjamin Livshits V, et al. (2005) Context sensitive program analysis as database queries Proceedings of the Acm Sigact-Sigmod-Sigart Symposium On Principles of Database Systems. 1-12 |
| Whaley J, Lam MS. (2004) Cloning-based context-sensitive pointer alias analysis using binary decision diagrams Acm Sigplan Notices. 39: 131-144 |
| Whaley J, Lam MS. (2002) An efficient inclusion-based points-to analysis for strictly-typed languages Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2477: 180-195 |
| Whaley J, Martin MC, Lam MS. (2002) Automatic extraction of object-oriented component interfaces Proceedings of the Acm Sigsoft 2002 International Symposium On Software Testing and Analysis. 221-231 |
| Whaley J. (2001) System checkpointing using reflection and program analysis Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2192: 44-51 |