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 × USA
Collaborated with:
N.Hasabnis R.Sekar Zelalem Birhanu Aweke Salessawi Ferede Yitbarek R.Das M.Hicks Yossi Oren T.M.Austin
Talks about:
generat (2) architectur (1) softwar (1) rowhamm (1) protect (1) correct (1) against (1) specif (1) attack (1) check (1)

Person: Rui Qiao


Contributed to:

CGO 20152015
ASPLOS 20162016

Wrote 2 papers:

CGO-2015-HasabnisQS #architecture #code generation #correctness #specification
Checking correctness of code generator architecture specifications (NH, RQ, RS), pp. 167–178.
ASPLOS-2016-AwekeYQDHOA #named
ANVIL: Software-Based Protection Against Next-Generation Rowhammer Attacks (ZBA, SFY, RQ, RD, MH, YO, TMA), pp. 743–755.

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.