BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Italy
Collaborated with:
A.Karkare D.P.0001 T.Kasampalis V.S.Adve G.Rosu
Talks about:
architectur (1) instruct (1) complet (1) analysi (1) sensit (1) semant (1) precis (1) formal (1) shape (1) level (1)

Person: Sandeep Dasgupta

DBLP DBLP: Dasgupta:Sandeep

Contributed to:

SAC 20122012
PLDI 20192019

Wrote 2 papers:

SAC-2012-DasguptaK #analysis #precise #using
Precise shape analysis using field sensitivity (SD, AK), pp. 1300–1307.
PLDI-2019-Dasgupta0KAR #architecture #semantics #set
A complete formal semantics of x86-64 user-level instruction set architecture (SD, DP0, TK, VSA, GR), pp. 1133–1148.
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.