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:
2 × USA
Collaborated with:
W.Mansky S.Zdancewic J.Kang C.Hur V.Vafeiadis
Talks about:
memori (2) model (2) sequenti (1) support (1) pointer (1) axiomat (1) specif (1) formal (1) integ (1) cast (1)

Person: Dmitri Garbuzov

DBLP DBLP: Garbuzov:Dmitri

Contributed to:

CAV 20152015
PLDI 20152015

Wrote 2 papers:

CAV-2015-ManskyGZ #axiom #memory management #modelling #specification
An Axiomatic Specification for Sequential Memory Models (WM, DG, SZ), pp. 413–428.
PLDI-2015-KangHMGZV #c #memory management
A formal C memory model supporting integer-pointer casts (JK, CKH, WM, DG, SZ, VV), pp. 326–335.
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.