BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Fong:Philip_W=_L=

Contributed to:

SAC 20122012
OOPSLA 20042004
FSE 19981998
ICSE 19981998
ICML 19951995

Wrote 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.
A Quantitative Study of Hypothesis Selection (PWLF), pp. 226–234.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.