BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
6 × USA
Collaborated with:
N.Hasabnis D.C.DuVarney R.Qiao A.Misra P.Saxena V.Puranik W.Xu V.N.Venkatakrishnan S.Basu S.Bhatkar V.Kuznetsov L.Szekeres M.Payer G.Candea D.Song
Talks about:
code (4) approach (2) generat (2) execut (2) effici (2) applic (2) check (2) instrumentationwith (1) architectur (1) transform (1)

Person: R. Sekar


Contributed to:

CGO 20152015
OSDI 20142014
CGO 20122012
CGO 20082008
FSE 20042004
SOSP 20032003
FSE 20162016
ASPLOS 20162016

Wrote 8 papers:

CGO-2015-HasabnisQS #architecture #code generation #correctness #specification
Checking correctness of code generator architecture specifications (NH, RQ, RS), pp. 167–178.
Code-Pointer Integrity (VK, LS, MP, GC, RS, DS), pp. 147–163.
CGO-2012-HasabnisMS #bound
Light-weight bounds checking (NH, AM, RS), pp. 135–144.
CGO-2008-SaxenaSP #fine-grained #performance
Efficient fine-grained binary instrumentationwith applications to taint-tracking (PS, RS, VP), pp. 74–83.
FSE-2004-XuDS #c #memory management #performance #safety #source code
An efficient and backwards-compatible transformation to ensure memory safety of C programs (WX, DCD, RS), pp. 117–126.
SOSP-2003-SekarVBBD #approach #execution
Model-carrying code: a practical approach for safe execution of untrusted applications (RS, VNV, SB, SB, DCD), pp. 15–28.
FSE-2016-HasabnisS #code generation #execution #semantics #symbolic computation
Extracting instruction semantics via symbolic execution of code generators (NH, RS), pp. 301–313.
ASPLOS-2016-HasabnisS #approach #assembly #compilation #novel #representation
Lifting Assembly to Intermediate Representation: A Novel Approach Leveraging Compilers (NH, RS), pp. 311–324.

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.