Travelled to:2 × USA
Collaborated with:R.Sekar R.Qiao A.Misra
Talks about:generat (2) check (2) code (2) architectur (1) represent (1) intermedi (1) instruct (1) approach (1) leverag (1) extract (1)
Person: Niranjan Hasabnis
DBLP: Hasabnis:Niranjan
Contributed to:
20152012
2016
2016Wrote 4 papers:
- CGO-2015-HasabnisQS #architecture #code generation #correctness #specification
- Checking correctness of code generator architecture specifications (NH, RQ, RS), pp. 167–178.
- CGO-2012-HasabnisMS #bound
- Light-weight bounds checking (NH, AM, RS), pp. 135–144.
- 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.