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 × 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.
Type Soundness and Race Freedom for Mezzo (TB, FP, JP), pp. 253–269.
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.
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.