Travelled to:1 × Canada
1 × Italy
1 × Japan
2 × USA
Collaborated with:∅ M.M.Anwar R.D.Cameron P.T.Devanbu S.G.Stubblebine
Talks about:verif (2) link (2) architectur (1) hypothesi (1) techniqu (1) pluggabl (1) facebook (1) softwar (1) quantit (1) protect (1)
Person: Philip W. L. Fong
DBLP: Fong:Philip_W=_L=
Contributed to:
2012
2004
1998
1998
1995Wrote 5 papers:
- SAC-2012-AnwarF #data access #network #policy #social #visualisation
- A visualization tool for evaluating access control policies in facebook-style social network systems (MMA, PWLF), pp. 1443–1450.
- OOPSLA-2004-Fong #verification #virtual machine
- Pluggable verification modules: an extensible protection mechanism for the JVM (PWLF), pp. 404–418.
- FSE-1998-FongC #architecture #composition #mobile #proving #verification
- Proof Linking: An Architecture for Modular Verification of Dynamically-Linked Mobile Code (PWLF, RDC), pp. 222–230.
- ICSE-1998-DevanbuFS #re-engineering
- Techniques for Trusted Software Engineering (PTD, PWLF, SGS), pp. 126–135.
- ICML-1995-Fong
- A Quantitative Study of Hypothesis Selection (PWLF), pp. 226–234.