BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Italy
6 × USA
Collaborated with:
S.Moore E.Czaplicki B.Livshits S.Müller R.Rugina Anitha Gollamudi A.C.Myers C.Dimoulas N.Nystrom Gian Pietro Farina M.Gaboardi A.Johnson L.Waye D.King R.B.Findler M.Flatt Jean Yang 0001 Travis Hance T.H.Austin A.Solar-Lezama C.Flanagan J.Liu X.Qi K.Vikram L.Zheng X.Zheng
Talks about:
secur (6) automat (3) program (2) languag (2) toward (2) extens (2) enforc (2) applic (2) access (2) declassifi (1)

Person: Stephen Chong

DBLP DBLP: Chong:Stephen

Contributed to:

PLDI 20152015
OSDI 20142014
PLDI 20132013
POPL 20132013
OOPSLA 20122012
SOSP 20072007
OOPSLA 20042004
SAS 20032003
OOPSLA 20162016
PLDI 20162016
PPDP 20192019

Wrote 12 papers:

PLDI-2015-JohnsonWMC #dependence #graph #security
Exploring and enforcing security guarantees via program dependence graphs (AJ, LW, SM, SC), pp. 291–302.
OSDI-2014-MooreDKC #named #scripting language
SHILL: A Secure Shell Scripting Language (SM, CD, DK, SC), pp. 183–199.
PLDI-2013-CzaplickiC #functional #programming #user interface
Asynchronous functional reactive programming for GUIs (EC, SC), pp. 411–422.
POPL-2013-LivshitsC #automation #classification #security #towards
Towards fully automatic placement of security sanitizers and declassifiers (BL, SC), pp. 385–398.
OOPSLA-2012-MullerC #concurrent #towards
Towards a practical secure concurrent language (SM, SC), pp. 57–74.
SOSP-2007-ChongLMQVZZ #automation #clustering #web
Secure web application via automatic partitioning (SC, JL, ACM, XQ, KV, LZ, XZ), pp. 31–44.
OOPSLA-2004-NystromCM #inheritance #scalability
Scalable extensibility via nested inheritance (NN, SC, ACM), pp. 99–115.
SAS-2003-ChongR #data type #recursion #static analysis
Static Analysis of Accessed Regions in Recursive Data Structures (SC, RR), pp. 463–482.
OOPSLA-2016-GollamudiC #automation #policy #security #using
Automatic enforcement of expressive security policies using enclaves (AG, SC), pp. 494–513.
OOPSLA-2016-MooreDFFC #contract #data access
Extensible access control with authorization contracts (SM, CD, RBF, MF, SC), pp. 214–233.
PLDI-2016-YangHASFC #data flow #information management #precise
Precise, dynamic information flow for database-backed applications (JY0, TH, THA, ASL, CF, SC), pp. 631–647.
PPDP-2019-FarinaCG #execution #relational #symbolic computation
Relational Symbolic Execution (GPF, SC, MG), p. 14.

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.