Travelled to:1 × Canada
1 × Italy
1 × Spain
5 × USA
Collaborated with:M.S.Lam M.C.Martin ∅ M.C.Rinard V.B.Livshits M.Naik A.Aiken D.Avots M.Carbin C.Unkel
Talks about:analysi (4) program (2) pointer (2) context (2) static (2) sensit (2) inform (2) dynam (2) java (2) base (2)
Person: John Whaley
DBLP: Whaley:John
Contributed to:
2008
2006
20052004
2002
2002
20011999Wrote 8 papers:
- PEPM-2008-LamMLW #data flow #information management #web
- Securing web applications with static and dynamic information flow tracking (MSL, MCM, VBL, JW), pp. 3–12.
- PLDI-2006-NaikAW #concurrent #detection #effectiveness #java
- Effective static race detection for Java (MN, AA, JW), pp. 308–319.
- PODS-2005-LamWLMACU #database #program analysis #query
- Context-sensitive program analysis as database queries (MSL, JW, VBL, MCM, DA, MC, CU), pp. 1–12.
- PLDI-2004-WhaleyL #alias #analysis #diagrams #pointer #using
- Cloning-based context-sensitive pointer alias analysis using binary decision diagrams (JW, MSL), pp. 131–144.
- ISSTA-2002-WhaleyML #automation #component #interface #object-oriented
- Automatic extraction of object-oriented component interfaces (JW, MCM, MSL), pp. 218–228.
- SAS-2002-WhaleyL #analysis #performance #points-to #strict
- An Efficient Inclusion-Based Points-To Analysis for Strictly-Typed Languages (JW, MSL), pp. 180–195.
- OOPSLA-2001-Whaley #compilation #using
- Partial Method Compilation using Dynamic Profile Information (JW), pp. 166–179.
- OOPSLA-1999-WhaleyR #analysis #composition #java #pointer #source code
- Compositional Pointer and Escape Analysis for Java Programs (JW, MCR), pp. 187–206.