Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Gabriel Dos Reis
@proceedings{DBLP:conf/mkm/2018w,
editor = {Osman Hasan and
Abdou Youssef and
Adam Naumowicz and
William M. Farmer and
Cezary Kaliszyk and
Diane Gallois{-}Wong and
Florian Rabe and
Gabriel Dos Reis and
Grant O. Passmore and
James H. Davenport and
Markus Pfeiffer and
Michael Kohlhase and
Serge Autexier and
Sofi{\`{e}}ne Tahar and
Thomas Koprucki and
Umair Siddique and
Walther Neuper and
Wolfgang Windsteiger and
Wolfgang Schreiner and
Wolfram Sperber and
Zolt{\'{a}}n Kov{\'{a}}cs},
title = {Joint Proceedings of the CME-EI, FMM, CAAT, FVPS, M3SRD, OpenMath
Workshops, Doctoral Program and Work in Progress at the Conference
on Intelligent Computer Mathematics 2018 co-located with the 11th
Conference on Intelligent Computer Mathematics {(CICM} 2018), Hagenberg,
Austria, August 13-17, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2307},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2307},
urn = {urn:nbn:de:0074-2307-7},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mkm/2018w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/LopezCRC15,
author = {Michael Lopez and
C. Jasson Casey and
Gabriel Dos Reis and
Colton Chojnacki},
editor = {Christian K{\"{a}}stner and
Aniruddha S. Gokhale},
title = {Safer {SDN} programming through Arbiter},
booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Generative Programming: Concepts and Experiences, {GPCE} 2015, Pittsburgh,
PA, USA, October 26-27, 2015},
pages = {65--74},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814204.2814218},
doi = {10.1145/2814204.2814218},
timestamp = {Wed, 23 Jun 2021 15:34:31 +0200},
biburl = {https://dblp.org/rec/conf/gpce/LopezCRC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/LopezR15,
author = {Michael Lopez and
Gabriel Dos Reis},
editor = {Roger L. Wainwright and
Juan Manuel Corchado and
Alessio Bechini and
Jiman Hong},
title = {Meta-programming with well-typed code analysis},
booktitle = {Proceedings of the 30th Annual {ACM} Symposium on Applied Computing,
Salamanca, Spain, April 13-17, 2015},
pages = {2119--2121},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2695664.2696012},
doi = {10.1145/2695664.2696012},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/LopezR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/SolodkyyRS13,
author = {Yuriy Solodkyy and
Gabriel Dos Reis and
Bjarne Stroustrup},
editor = {Jaakko J{\"{a}}rvi and
Christian K{\"{a}}stner},
title = {Open pattern matching for {C++}},
booktitle = {Generative Programming: Concepts and Experiences, GPCE'13, Indianapolis,
IN, {USA} - October 27 - 28, 2013},
pages = {33--42},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2517208.2517222},
doi = {10.1145/2517208.2517222},
timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
biburl = {https://dblp.org/rec/conf/gpce/SolodkyyRS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icnp/CaseySRS13,
author = {C. Jasson Casey and
Andrew Sutton and
Gabriel Dos Reis and
Alex Sprintson},
title = {Eliminating network protocol vulnerabilities through abstraction and
systems language design},
booktitle = {2013 21st {IEEE} International Conference on Network Protocols, {ICNP}
2013, G{\"{o}}ttingen, Germany, October 7-10, 2013},
pages = {1--6},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICNP.2013.6733667},
doi = {10.1109/ICNP.2013.6733667},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icnp/CaseySRS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/SolodkyyRS13,
author = {Yuriy Solodkyy and
Gabriel Dos Reis and
Bjarne Stroustrup},
editor = {Antony L. Hosking and
Patrick Th. Eugster},
title = {Open pattern matching for {C++}},
booktitle = {SPLASH'13 - The Proceedings of the 2013 Companion Publication for
Conference on Systems, Programming, {\&} Applications: Software
for Humanity, Indianapolis, IN, USA, October 26-31, 2013},
pages = {97--98},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2508075.2508098},
doi = {10.1145/2508075.2508098},
timestamp = {Mon, 14 Feb 2022 15:11:24 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/SolodkyyRS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CaseySRS13,
author = {C. Jasson Casey and
Andrew Sutton and
Gabriel Dos Reis and
Alex Sprintson},
title = {Eliminating Network Protocol Vulnerabilities Through Abstraction and
Systems Language Design},
journal = {CoRR},
volume = {abs/1311.3336},
year = {2013},
url = {http://arxiv.org/abs/1311.3336},
eprinttype = {arXiv},
eprint = {1311.3336},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CaseySRS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/Reis12,
author = {Gabriel Dos Reis},
editor = {Johan Jeuring and
John A. Campbell and
Jacques Carette and
Gabriel Dos Reis and
Petr Sojka and
Makarius Wenzel and
Volker Sorge},
title = {A System for Axiomatic Programming},
booktitle = {Intelligent Computer Mathematics - 11th International Conference,
{AISC} 2012, 19th Symposium, Calculemus 2012, 5th International Workshop,
{DML} 2012, 11th International Conference, {MKM} 2012, Systems and
Projects, Held as Part of {CICM} 2012, Bremen, Germany, July 8-13,
2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7362},
pages = {295--309},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31374-5\_20},
doi = {10.1007/978-3-642-31374-5\_20},
timestamp = {Sun, 02 Jun 2019 21:23:46 +0200},
biburl = {https://dblp.org/rec/conf/aisc/Reis12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/SolodkyyRS12,
author = {Yuriy Solodkyy and
Gabriel Dos Reis and
Bjarne Stroustrup},
editor = {Gary T. Leavens and
Matthew B. Dwyer},
title = {Open and efficient type switch for {C++}},
booktitle = {Proceedings of the 27th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2012,
part of {SPLASH} 2012, Tucson, AZ, USA, October 21-25, 2012},
pages = {963--982},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2384616.2384686},
doi = {10.1145/2384616.2384686},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/SolodkyyRS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/RamananandroRL12,
author = {Tahina Ramananandro and
Gabriel Dos Reis and
Xavier Leroy},
editor = {John Field and
Michael Hicks},
title = {A mechanized semantics for {C++} object construction and destruction,
with applications to resource management},
booktitle = {Proceedings of the 39th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2012, Philadelphia, Pennsylvania,
USA, January 22-28, 2012},
pages = {521--532},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2103656.2103718},
doi = {10.1145/2103656.2103718},
timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
biburl = {https://dblp.org/rec/conf/popl/RamananandroRL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aisc/2012,
editor = {Johan Jeuring and
John A. Campbell and
Jacques Carette and
Gabriel Dos Reis and
Petr Sojka and
Makarius Wenzel and
Volker Sorge},
title = {Intelligent Computer Mathematics - 11th International Conference,
{AISC} 2012, 19th Symposium, Calculemus 2012, 5th International Workshop,
{DML} 2012, 11th International Conference, {MKM} 2012, Systems and
Projects, Held as Part of {CICM} 2012, Bremen, Germany, July 8-13,
2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7362},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31374-5},
doi = {10.1007/978-3-642-31374-5},
isbn = {978-3-642-31373-8},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/LiR11,
author = {Yue Li and
Gabriel Dos Reis},
title = {An automatic parallelization framework for OpenAxiom},
journal = {{ACM} Commun. Comput. Algebra},
volume = {45},
number = {1/2},
pages = {125--126},
year = {2011},
url = {https://doi.org/10.1145/2016567.2016588},
doi = {10.1145/2016567.2016588},
timestamp = {Wed, 04 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cca/LiR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/ReisS11,
author = {Gabriel Dos Reis and
Bjarne Stroustrup},
title = {A Principled, Complete, and Efficient Representation of {C++}},
journal = {Math. Comput. Sci.},
volume = {5},
number = {3},
pages = {335--356},
year = {2011},
url = {https://doi.org/10.1007/s11786-011-0094-1},
doi = {10.1007/S11786-011-0094-1},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/ReisS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/LiR11,
author = {Yue Li and
Gabriel Dos Reis},
editor = {{\'{E}}ric Schost and
Ioannis Z. Emiris},
title = {An automatic parallelization framework for algebraic computation systems},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2011 (co-located with {FCRC} 2011), San Jose, CA, USA, June 7-11,
2011, Proceedings},
pages = {233--240},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993886.1993923},
doi = {10.1145/1993886.1993923},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/LiR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/ReisML11,
author = {Gabriel Dos Reis and
David C. J. Matthews and
Yue Li},
editor = {James H. Davenport and
William M. Farmer and
Josef Urban and
Florian Rabe},
title = {Retargeting OpenAxiom to Poly/ML: Towards an Integrated Proof Assistants
and Computer Algebra System Framework},
booktitle = {Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011,
and 10th International Conference, {MKM} 2011, Bertinoro, Italy, July
18-23, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6824},
pages = {15--29},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22673-1\_2},
doi = {10.1007/978-3-642-22673-1\_2},
timestamp = {Fri, 20 Nov 2020 16:08:54 +0100},
biburl = {https://dblp.org/rec/conf/mkm/ReisML11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/RamananandroRL11,
author = {Tahina Ramananandro and
Gabriel Dos Reis and
Xavier Leroy},
editor = {Thomas Ball and
Mooly Sagiv},
title = {Formal verification of object layout for c++ multiple inheritance},
booktitle = {Proceedings of the 38th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2011, Austin, TX, USA, January 26-28,
2011},
pages = {67--80},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1926385.1926395},
doi = {10.1145/1926385.1926395},
timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
biburl = {https://dblp.org/rec/conf/popl/RamananandroRL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cap/LiR10,
author = {Yue Li and
Gabriel Dos Reis},
editor = {Marc Moreno Maza and
Jean{-}Louis Roch},
title = {A quantitative study of reductions in algebraic libraries},
booktitle = {Proceedings of the 4th International Workshop on Parallel Symbolic
Computation, {PASCO} 2010, July 21-23, 2010, Grenoble, France},
pages = {98--104},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1837210.1837226},
doi = {10.1145/1837210.1837226},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cap/LiR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/ReisS10,
author = {Gabriel Dos Reis and
Bjarne Stroustrup},
editor = {Sung Y. Shin and
Sascha Ossowski and
Michael Schumacher and
Mathew J. Palakal and
Chih{-}Cheng Hung},
title = {General constant expressions for system programming languages},
booktitle = {Proceedings of the 2010 {ACM} Symposium on Applied Computing (SAC),
Sierre, Switzerland, March 22-26, 2010},
pages = {2131--2136},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1774088.1774537},
doi = {10.1145/1774088.1774537},
timestamp = {Sun, 02 Jun 2019 21:18:37 +0200},
biburl = {https://dblp.org/rec/conf/sac/ReisS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/SmithRJ07,
author = {Jacob N. Smith and
Gabriel Dos Reis and
Jaakko J{\"{a}}rvi},
editor = {Dongming Wang},
title = {Algorithmic differentiation in Axiom},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings},
pages = {347--354},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1277548.1277595},
doi = {10.1145/1277548.1277595},
timestamp = {Mon, 22 Apr 2024 21:24:34 +0200},
biburl = {https://dblp.org/rec/conf/issac/SmithRJ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/GregorJSSRL06,
author = {Douglas P. Gregor and
Jaakko J{\"{a}}rvi and
Jeremy G. Siek and
Bjarne Stroustrup and
Gabriel Dos Reis and
Andrew Lumsdaine},
editor = {Peri L. Tarr and
William R. Cook},
title = {Concepts: linguistic support for generic programming in {C++}},
booktitle = {Proceedings of the 21th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2006,
October 22-26, 2006, Portland, Oregon, {USA}},
pages = {291--310},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1167473.1167499},
doi = {10.1145/1167473.1167499},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/GregorJSSRL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/ReisS06,
author = {Gabriel Dos Reis and
Bjarne Stroustrup},
editor = {J. Gregory Morrisett and
Simon L. Peyton Jones},
title = {Specifying {C++} concepts},
booktitle = {Proceedings of the 33rd {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2006, Charleston, South Carolina,
USA, January 11-13, 2006},
pages = {295--308},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1111037.1111064},
doi = {10.1145/1111037.1111064},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/popl/ReisS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcpc/StroustrupR05,
author = {Bjarne Stroustrup and
Gabriel Dos Reis},
editor = {Eduard Ayguad{\'{e}} and
Gerald Baumgartner and
J. Ramanujam and
P. Sadayappan},
title = {Supporting {SELL} for High-Performance Computing},
booktitle = {Languages and Compilers for Parallel Computing, 18th International
Workshop, {LCPC} 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4339},
pages = {458--465},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-69330-7\_33},
doi = {10.1007/978-3-540-69330-7\_33},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/lcpc/StroustrupR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 02:02 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
