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 × Spain
1 × Switzerland
7 × USA
Collaborated with:
B.Stroustrup M.Lopez Y.Solodkyy T.Ramananandro X.Leroy C.J.Casey C.Chojnacki D.Gregor J.Järvi J.G.Siek A.Lumsdaine
Talks about:
program (4) concept (2) object (2) type (2) open (2) construct (1) linguist (1) destruct (1) constant (1) support (1)

Person: Gabriel Dos Reis

DBLP DBLP: Reis:Gabriel_Dos

Contributed to:

GPCE 20152015
SAC 20152015
GPCE 20132013
OOPSLA 20122012
POPL 20122012
POPL 20112011
SAC 20102010
OOPSLA 20062006
POPL 20062006

Wrote 9 papers:

GPCE-2015-LopezCRC #programming
Safer SDN programming through Arbiter (ML, CJC, GDR, CC), pp. 65–74.
SAC-2015-LopezR #analysis #metaprogramming
Meta-programming with well-typed code analysis (ML, GDR), pp. 2119–2121.
GPCE-2013-SolodkyyRS #c++ #pattern matching
Open pattern matching for C++ (YS, GDR, BS), pp. 33–42.
OOPSLA-2012-SolodkyyRS #c++ #performance
Open and efficient type switch for C++ (YS, GDR, BS), pp. 963–982.
POPL-2012-RamananandroRL #c++ #resource management #semantics
A mechanized semantics for C++ object construction and destruction, with applications to resource management (TR, GDR, XL), pp. 521–532.
POPL-2011-RamananandroRL #c++ #inheritance #layout #multi #verification
Formal verification of object layout for c++ multiple inheritance (TR, GDR, XL), pp. 67–80.
SAC-2010-ReisS #constant #programming language
General constant expressions for system programming languages (GDR, BS), pp. 2131–2136.
OOPSLA-2006-GregorJSSRL #c++ #concept #named #programming
Concepts: linguistic support for generic programming in C++ (DG, JJ, JGS, BS, GDR, AL), pp. 291–310.
POPL-2006-ReisS #c++ #concept #specification
Specifying C++ concepts (GDR, BS), pp. 295–308.

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.