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
DBLP: Sekar:R=
Contributed to:
Wrote 8 papers:
- CGO-2015-HasabnisQS #architecture #code generation #correctness #specification
- Checking correctness of code generator architecture specifications (NH, RQ, RS), pp. 167–178.
- OSDI-2014-KuznetsovSPCSS
- 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.