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 × Portugal
4 × USA
Collaborated with:
N.Zeldovich R.Chandra X.Wang M.F.Kaashoek S.Kashyap C.Min B.Lee C.Song H.Chen M.Shah N.Narula Mohan Kumar Steffen Maass Ján Veselý Zi Yan A.Bhattacharjee T.Krishna
Talks about:
web (4) recoveri (3) intrus (3) applic (3) audit (2) interconnect (1) disclosur (1) asynchron (1) translat (1) retroact (1)

Person: Taesoo Kim

DBLP DBLP: Kim:Taesoo

Contributed to:

SOSP 20152015
OSDI 20142014
SOSP 20132013
OSDI 20122012
SOSP 20112011
OSDI 20102010
ASPLOS 20182018

Wrote 7 papers:

SOSP-2015-MinKLSK #correctness #debugging #file system #semantics
Cross-checking semantic correctness: the case of finding file system bugs (CM, SK, BL, CS, TK), pp. 361–377.
OSDI-2014-ChenKWZK #identification #web
Identifying Information Disclosure in Web Applications with Retroactive Auditing (HC, TK, XW, NZ, MFK), pp. 555–569.
SOSP-2013-ChandraKZ #web #web service
Asynchronous intrusion recovery for interconnected web services (RC, TK, NZ), pp. 213–227.
OSDI-2012-KimCZ #performance #web
Efficient Patch-based Auditing for Web Application Vulnerabilities (TK, RC, NZ), pp. 193–206.
SOSP-2011-ChandraKSNZ #web
Intrusion recovery for database-backed web applications (RC, TK, MS, NN, NZ), pp. 101–114.
OSDI-2010-KimWZK #using
Intrusion Recovery Using Selective Re-execution (TK, XW, NZ, MFK), pp. 89–104.
ASPLOS-2018-KumarMKVYKBK #lazy evaluation #named
LATR: Lazy Translation Coherence (MK, SM, SK, JV, ZY, TK, AB, TK), pp. 651–664.

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.