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 × Austria
1 × India
2 × Japan
2 × USA
Collaborated with:
∅ F.Pottier J.Protzenko V.Vafeiadis S.Chakraborty R.Morisset F.Z.Nardelli
Talks about:
share (3) optim (2) approach (1) pattern (1) optimis (1) invalid (1) freedom (1) axiomat (1) memori (1) compil (1)

Person: Thibaut Balabonski

DBLP DBLP: Balabonski:Thibaut

Contributed to:

POPL 20152015
FLOPS 20142014
ICFP 20132013
POPL 20122012
RTA 20122012
PPDP 20102010

Wrote 6 papers:

POPL-2015-VafeiadisBCMN #compilation #memory management #optimisation #what
Common Compiler Optimisations are Invalid in the C11 Memory Model and what we can do about it (VV, TB, SC, RM, FZN), pp. 209–220.
FLOPS-2014-BalabonskiPP
Type Soundness and Race Freedom for Mezzo (TB, FP, JP), pp. 253–269.
ICFP-2013-Balabonski
Weak optimality, and the meaning of sharing (TB), pp. 263–274.
POPL-2012-Balabonski #approach #lazy evaluation
A unified approach to fully lazy sharing (TB), pp. 469–480.
RTA-2012-Balabonski #axiom
Axiomatic Sharing-via-Labelling (TB), pp. 85–100.
PPDP-2010-Balabonski
Optimality for dynamic patterns (TB), pp. 231–242.
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.