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: Reis:Gabriel_Dos
Contributed to:
2015
20152013
2012
20122011201020062006Wrote 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.