Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Fernando Magno Quintão Pereira
@inproceedings{DBLP:conf/cc/FrenotP24,
author = {Leon Frenot and
Fernando Magno Quint{\~{a}}o Pereira},
editor = {Gabriel Rodr{\'{\i}}guez and
P. Sadayappan and
Aravind Sukumaran{-}Rajam},
title = {Reducing the Overhead of Exact Profiling by Reusing Affine Variables},
booktitle = {Proceedings of the 33rd {ACM} {SIGPLAN} International Conference on
Compiler Construction, {CC} 2024, Edinburgh, United Kingdom, March
2-3, 2024},
pages = {150--161},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3640537.3641569},
doi = {10.1145/3640537.3641569},
timestamp = {Mon, 01 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cc/FrenotP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/SoaresCP23,
author = {Luigi Soares and
Michael Canesche and
Fernando Magno Quint{\~{a}}o Pereira},
title = {Side-channel Elimination via Partial Control-flow Linearization},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {45},
number = {2},
pages = {13:1--13:43},
year = {2023},
url = {https://doi.org/10.1145/3594736},
doi = {10.1145/3594736},
timestamp = {Sat, 05 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/SoaresCP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/GuimaraesP23,
author = {Breno Campos Ferreira Guimar{\~{a}}es and
Fernando Magno Quint{\~{a}}o Pereira},
editor = {Clark Verbrugge and
Ondrej Lhot{\'{a}}k and
Xipeng Shen},
title = {Lazy Evaluation for the Lazy: Automatically Transforming Call-by-Value
into Call-by-Need},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} International Conference on
Compiler Construction, {CC} 2023, Montr{\'{e}}al, QC, Canada,
February 25-26, 2023},
pages = {239--249},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3578360.3580270},
doi = {10.1145/3578360.3580270},
timestamp = {Mon, 20 Feb 2023 14:33:53 +0100},
biburl = {https://dblp.org/rec/conf/cc/GuimaraesP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cgo/DamasioCPBSP23,
author = {Tha{\'{\i}}s Dam{\'{a}}sio and
Michael Canesche and
Vin{\'{\i}}cius Pacheco and
Marcus Botacin and
Anderson Faustino da Silva and
Fernando Magno Quint{\~{a}}o Pereira},
editor = {Christophe Dubach and
Derek Bruening and
Ben Hardekopf},
title = {A Game-Based Framework to Compare Program Classifiers and Evaders},
booktitle = {Proceedings of the 21st {ACM/IEEE} International Symposium on Code
Generation and Optimization, {CGO} 2023, Montr{\'{e}}al, QC,
Canada, 25 February 2023- 1 March 2023},
pages = {108--121},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3579990.3580012},
doi = {10.1145/3579990.3580012},
timestamp = {Fri, 24 Feb 2023 14:00:38 +0100},
biburl = {https://dblp.org/rec/conf/cgo/DamasioCPBSP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sblp/SumitaniSCP23,
author = {Rafael Sumitani and
Lucas Silva and
Frederico Campos and
Fernando Magno Quint{\~{a}}o Pereira},
title = {A Class of Programs that Admit Exact Complexity Analysis via Newton?s
Polynomial Interpolation},
booktitle = {Proceedings of the {XXVII} Brazilian Symposium on Programming Languages,
{SBLP} 2023, Campo Grande, MS, Brazil, September 25-29, 2023},
pages = {50--55},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3624309.3624311},
doi = {10.1145/3624309.3624311},
timestamp = {Thu, 09 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sblp/SumitaniSCP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sblp/HolmquistEP23,
author = {Alexander Holmquist and
Vitor Emanuel and
Fernando Magno Quint{\~{a}}o Pereira},
title = {Lushu: Ofusca{\c{c}}{\~{a}}o de Dados Sigilosos via Reconhecimento
de Linguagens a partir de Exemplos},
booktitle = {Proceedings of the {XXVII} Brazilian Symposium on Programming Languages,
{SBLP} 2023, Campo Grande, MS, Brazil, September 25-29, 2023},
pages = {91--98},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3624309.3624310},
doi = {10.1145/3624309.3624310},
timestamp = {Thu, 09 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sblp/HolmquistEP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-14122,
author = {Michael Canesche and
Roland Leissa and
Fernando Magno Quint{\~{a}}o Pereira},
title = {Preparing Reproducible Scientific Artifacts using Docker},
journal = {CoRR},
volume = {abs/2308.14122},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2308.14122},
doi = {10.48550/ARXIV.2308.14122},
eprinttype = {arXiv},
eprint = {2308.14122},
timestamp = {Fri, 01 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-14122.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/MagalhaesLP22,
author = {Jos{\'{e}} Wesley de Souza Magalh{\~{a}}es and
Chunhua Liao and
Fernando Magno Quint{\~{a}}o Pereira},
title = {Automatic inspection of program state in an uncooperative environment},
journal = {Softw. Pract. Exp.},
volume = {52},
number = {12},
pages = {2727--2758},
year = {2022},
url = {https://doi.org/10.1002/spe.3146},
doi = {10.1002/SPE.3146},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/spe/MagalhaesLP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlc/RamosHP22,
author = {Vin{\'{\i}}cius Juli{\~{a}}o Ramos and
Alexander Holmquist and
Fernando Magno Quint{\~{a}}o Pereira},
title = {Hapi: {A} domain-specific language for the declaration of access policies},
journal = {J. Comput. Lang.},
volume = {72},
pages = {101153},
year = {2022},
url = {https://doi.org/10.1016/j.cola.2022.101153},
doi = {10.1016/J.COLA.2022.101153},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/vlc/RamosHP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlc/SilvaBPJN22,
author = {Anderson Faustino da Silva and
Edson Borin and
Fernando Magno Quint{\~{a}}o Pereira and
Nilton Luiz Queiroz Junior and
Ot{\'{a}}vio Oliveira Napoli},
title = {Program representations for predictive compilation: State of affairs
in the early 20's},
journal = {J. Comput. Lang.},
volume = {73},
pages = {101171},
year = {2022},
url = {https://doi.org/10.1016/j.cola.2022.101171},
doi = {10.1016/J.COLA.2022.101171},
timestamp = {Fri, 02 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/vlc/SilvaBPJN22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/CanescheFNP22,
author = {Michael Canesche and
Ricardo S. Ferreira and
Jos{\'{e}} Augusto Miranda Nacif and
Fernando Magno Quint{\~{a}}o Pereira},
editor = {Bernhard Egger and
Aaron Smith},
title = {A polynomial time exact solution to the bit-aware register binding
problem},
booktitle = {{CC} '22: 31st {ACM} {SIGPLAN} International Conference on Compiler
Construction, Seoul, South Korea, April 2 - 3, 2022},
pages = {29--40},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3497776.3517773},
doi = {10.1145/3497776.3517773},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cc/CanescheFNP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sblp/DamasioCPSP22,
author = {Tha{\'{\i}}s Dam{\'{a}}sio and
Michael Canesche and
Vin{\'{\i}}cius Pacheco and
Anderson Faustino da Silva and
Fernando Magno Quint{\~{a}}o Pereira},
editor = {Marcelo de Almeida Maia and
F{\'{a}}bio Dor{\c{c}}a and
Rafael Dias Ara{\'{u}}jo and
Cristiano Damiani Vasconcellos},
title = {Impacto de Ofuscadores e Otimizadores de C{\'{o}}digo na Acur{\'{a}}cia
de Classificadores de Programas},
booktitle = {{SBLP} 2022: {XXVI} Brazilian Symposium on Programming Languages,
Virtual Event Brazil, October 6 - 7, 2022},
pages = {68--75},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3561320.3561322},
doi = {10.1145/3561320.3561322},
timestamp = {Fri, 10 Feb 2023 23:17:12 +0100},
biburl = {https://dblp.org/rec/conf/sblp/DamasioCPSP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/22/PereiraR22,
author = {Fernando Magno Quint{\~{a}}o Pereira and
Fabrice Rastello},
editor = {Fabrice Rastello and
Florent Bouchez{-}Tichadou},
title = {Static Single Information Form},
booktitle = {SSA-based Compiler Design},
pages = {165--184},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-80515-9\_13},
doi = {10.1007/978-3-030-80515-9\_13},
timestamp = {Thu, 23 Feb 2023 08:52:21 +0100},
biburl = {https://dblp.org/rec/books/sp/22/PereiraR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/MoreiraOP21,
author = {Angelica Aparecida Moreira and
Guilherme Ottoni and
Fernando Magno Quint{\~{a}}o Pereira},
title = {{VESPA:} static profiling for binary optimization},
journal = {Proc. {ACM} Program. Lang.},
volume = {5},
number = {{OOPSLA}},
pages = {1--28},
year = {2021},
url = {https://doi.org/10.1145/3485521},
doi = {10.1145/3485521},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/MoreiraOP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/RimsaAP21,
author = {Andrei Rimsa and
Jos{\'{e}} Nelson Amaral and
Fernando M. Q. Pereira},
title = {Practical dynamic reconstruction of control flow graphs},
journal = {Softw. Pract. Exp.},
volume = {51},
number = {2},
pages = {353--384},
year = {2021},
url = {https://doi.org/10.1002/spe.2907},
doi = {10.1002/SPE.2907},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/spe/RimsaAP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/SilvaLPGP21,
author = {Junio Cezar Ribeiro da Silva and
Lorena Le{\~{a}}o and
Vinicius Petrucci and
Abdoulaye Gamati{\'{e}} and
Fernando Magno Quint{\~{a}}o Pereira},
title = {Mapping Computations in Heterogeneous Multicore Systems with Statistical
Regression on Program Inputs},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {20},
number = {6},
pages = {112:1--112:35},
year = {2021},
url = {https://doi.org/10.1145/3478288},
doi = {10.1145/3478288},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/SilvaLPGP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlc/SaffranBPV21,
author = {Jo{\~{a}}o Saffran and
Haniel Barbosa and
Fernando Magno Quint{\~{a}}o Pereira and
Srinivas Vladamani},
title = {On-line synthesis of parsers for string events},
journal = {J. Comput. Lang.},
volume = {62},
pages = {101022},
year = {2021},
url = {https://doi.org/10.1016/j.cola.2021.101022},
doi = {10.1016/J.COLA.2021.101022},
timestamp = {Thu, 25 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/vlc/SaffranBPV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlc/AlvaresAP21,
author = {Andrei Rimsa {\'{A}}lvares and
Jos{\'{e}} Nelson Amaral and
Fernando Magno Quint{\~{a}}o Pereira},
title = {Instruction visibility in {SPEC} {CPU2017}},
journal = {J. Comput. Lang.},
volume = {66},
pages = {101062},
year = {2021},
url = {https://doi.org/10.1016/j.cola.2021.101062},
doi = {10.1016/J.COLA.2021.101062},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/vlc/AlvaresAP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/SilvaLP21,
author = {Anderson Faustino da Silva and
Bernardo N. B. de Lima and
Fernando Magno Quint{\~{a}}o Pereira},
editor = {Aaron Smith and
Delphine Demange and
Rajiv Gupta},
title = {Exploring the space of optimization sequences for code-size reduction:
insights and tools},
booktitle = {{CC} '21: 30th {ACM} {SIGPLAN} International Conference on Compiler
Construction, Virtual Event, Republic of Korea, March 2-3, 2021},
pages = {47--58},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3446804.3446849},
doi = {10.1145/3446804.3446849},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cc/SilvaLP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cgo/SoaresP21,
author = {Luigi Soares and
Fernando Magno Quint{\~{a}}o Pereira},
editor = {Jae W. Lee and
Mary Lou Soffa and
Ayal Zaks},
title = {Memory-Safe Elimination of Side Channels},
booktitle = {{IEEE/ACM} International Symposium on Code Generation and Optimization,
{CGO} 2021, Seoul, South Korea, February 27 - March 3, 2021},
pages = {200--210},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/CGO51591.2021.9370305},
doi = {10.1109/CGO51591.2021.9370305},
timestamp = {Fri, 19 Mar 2021 12:51:20 +0100},
biburl = {https://dblp.org/rec/conf/cgo/SoaresP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cgo/SilvaKMRGP21,
author = {Anderson Faustino da Silva and
Bruno Conde Kind and
Jos{\'{e}} Wesley de Souza Magalh{\~{a}}es and
Jer{\^{o}}nimo Nunes Rocha and
Breno Campos Ferreira Guimar{\~{a}}es and
Fernando Magno Quint{\~{a}}o Pereira},
editor = {Jae W. Lee and
Mary Lou Soffa and
Ayal Zaks},
title = {{ANGHABENCH:} {A} Suite with One Million Compilable {C} Benchmarks
for Code-Size Reduction},
booktitle = {{IEEE/ACM} International Symposium on Code Generation and Optimization,
{CGO} 2021, Seoul, South Korea, February 27 - March 3, 2021},
pages = {378--390},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/CGO51591.2021.9370322},
doi = {10.1109/CGO51591.2021.9370322},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cgo/SilvaKMRGP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sblp/SilvaBPNR21,
author = {Anderson Faustino da Silva and
Edson Borin and
Fernando Magno Quint{\~{a}}o Pereira and
Ot{\'{a}}vio Oliveira Napoli and
Vanderson Martins do Ros{\'{a}}rio},
editor = {Cristiano D. Vasconcellos and
Karina Girardi Roggia and
Paulo Bousfield and
Vanessa Collereii and
Jo{\~{a}}o Paulo Fernandes and
M{\'{a}}rio Pereira},
title = {New Optimization Sequences for Code-Size Reduction for the {LLVM}
Compilation Infrastructure},
booktitle = {SBLP'21: 25th Brazilian Symposium on Programming Languages, Joinville,
Brazil, 27 September 2021 - 1 October 2021},
pages = {33--40},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3475061.3475085},
doi = {10.1145/3475061.3475085},
timestamp = {Mon, 28 Aug 2023 21:17:54 +0200},
biburl = {https://dblp.org/rec/conf/sblp/SilvaBPNR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/LeobasP20,
author = {Guilherme V. Leobas and
Fernando Magno Quint{\~{a}}o Pereira},
title = {Semiring optimizations: dynamic elision of expressions with identity
and absorbing elements},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{OOPSLA}},
pages = {131:1--131:28},
year = {2020},
url = {https://doi.org/10.1145/3428199},
doi = {10.1145/3428199},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/LeobasP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/PoesiaP20,
author = {Gabriel Poesia and
Fernando Magno Quint{\~{a}}o Pereira},
title = {Dynamic dispatch of context-sensitive optimizations},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{OOPSLA}},
pages = {167:1--167:28},
year = {2020},
url = {https://doi.org/10.1145/3428235},
doi = {10.1145/3428235},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/PoesiaP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/LimaSLRP20,
author = {Caio Lima and
Junio Cezar R. da Silva and
Guilherme V. Leobas and
Erven Rohou and
Fernando Magno Quint{\~{a}}o Pereira},
title = {Guided just-in-time specialization},
journal = {Sci. Comput. Program.},
volume = {185},
year = {2020},
url = {https://doi.org/10.1016/j.scico.2019.102318},
doi = {10.1016/J.SCICO.2019.102318},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/LimaSLRP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/MeloRGP20,
author = {Leandro T. C. Melo and
Rodrigo Geraldo Ribeiro and
Breno Campos Ferreira Guimar{\~{a}}es and
Fernando Magno Quint{\~{a}}o Pereira},
title = {Type Inference for {C:} Applications to the Static Analysis of Incomplete
Programs},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {42},
number = {3},
pages = {15:1--15:71},
year = {2020},
url = {https://doi.org/10.1145/3421472},
doi = {10.1145/3421472},
timestamp = {Fri, 11 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/MeloRGP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ics/MendoncaLP20,
author = {Gleison Souza Diniz Mendonca and
Chunhua Liao and
Fernando Magno Quint{\~{a}}o Pereira},
editor = {Eduard Ayguad{\'{e}} and
Wen{-}mei W. Hwu and
Rosa M. Badia and
H. Peter Hofstee},
title = {AutoParBench: a unified test framework for OpenMP-based parallelizers},
booktitle = {{ICS} '20: 2020 International Conference on Supercomputing, Barcelona
Spain, June, 2020},
pages = {28:1--28:10},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3392717.3392744},
doi = {10.1145/3392717.3392744},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ics/MendoncaLP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbesc/SilvaLPGP20,
author = {Junio Cezar R. da Silva and
Lorena Le{\~{a}}o and
Vinicius Petrucci and
Abdoulaye Gamati{\'{e}} and
Fernando M. Q. Pereira},
title = {Mapping Computations in Heterogeneous Multicore Systems with Statistical
Regression on Inputs},
booktitle = {X Brazilian Symposium on Computing Systems Engineering, {SBESC} 2020,
Florianopolis, Brazil, November 24-27, 2020},
pages = {1--8},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/SBESC51047.2020.9277863},
doi = {10.1109/SBESC51047.2020.9277863},
timestamp = {Wed, 16 Dec 2020 14:36:21 +0100},
biburl = {https://dblp.org/rec/conf/sbesc/SilvaLPGP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sblp/ZanellaSP20,
author = {Andr{\'{e}} Felipe Zanella and
Anderson Faustino da Silva and
Fernando Magno Quint{\~{a}}o Pereira},
editor = {Everton Cavalcante and
Francisco Dantas and
Tha{\'{\i}}s Batista},
title = {{YACOS:} a Complete Infrastructure to the Design and Exploration of
Code Optimization Sequences},
booktitle = {{SBLP} '20: 24th Brazilian Symposium on Programming Languages, Natal,
Rio Grande do Norte, Brazil, October 19-23, 2020},
pages = {56--63},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3427081.3427089},
doi = {10.1145/3427081.3427089},
timestamp = {Tue, 26 Oct 2021 09:35:17 +0200},
biburl = {https://dblp.org/rec/conf/sblp/ZanellaSP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/TeixeiraPWNO19,
author = {Fernando Augusto Teixeira and
Fernando Magno Quint{\~{a}}o Pereira and
Hao Chi Wong and
Jos{\'{e}} Marcos S. Nogueira and
Leonardo B. Oliveira},
title = {SIoT: Securing Internet of Things through distributed systems analysis},
journal = {Future Gener. Comput. Syst.},
volume = {92},
pages = {1172--1186},
year = {2019},
url = {https://doi.org/10.1016/j.future.2017.08.010},
doi = {10.1016/J.FUTURE.2017.08.010},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fgcs/TeixeiraPWNO19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/SousaPPA19,
author = {Rafael C. F. Sousa and
M{\'{a}}rcio Machado Pereira and
Fernando Magno Quint{\~{a}}o Pereira and
Guido Araujo},
title = {Data-flow analysis and optimization for data coherence in heterogeneous
architectures},
journal = {J. Parallel Distributed Comput.},
volume = {130},
pages = {126--139},
year = {2019},
url = {https://doi.org/10.1016/j.jpdc.2019.04.004},
doi = {10.1016/J.JPDC.2019.04.004},
timestamp = {Tue, 09 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jpdc/SousaPPA19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/SiraichiSCP19,
author = {Marcos Yukio Siraichi and
Vin{\'{\i}}cius Fernandes dos Santos and
Caroline Collange and
Fernando Magno Quint{\~{a}}o Pereira},
title = {Qubit allocation as a combination of subgraph isomorphism and token
swapping},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{OOPSLA}},
pages = {120:1--120:29},
year = {2019},
url = {https://doi.org/10.1145/3360546},
doi = {10.1145/3360546},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/SiraichiSCP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/FerreiraSP19,
author = {Bruno Morais Ferreira and
Britaldo Silveira Soares{-}Filho and
Fernando Magno Quint{\~{a}}o Pereira},
title = {The Dinamica {EGO} virtual machine},
journal = {Sci. Comput. Program.},
volume = {173},
pages = {3--20},
year = {2019},
url = {https://doi.org/10.1016/j.scico.2018.02.002},
doi = {10.1016/J.SCICO.2018.02.002},
timestamp = {Wed, 08 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/FerreiraSP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BessaGQFNP19,
author = {Tarsila Bessa and
Christopher J. Gull and
Pedro Quint{\~{a}}o and
Michael Frank and
Jos{\'{e}} Augusto Miranda Nacif and
Fernando Magno Quint{\~{a}}o Pereira},
title = {JetsonLEAP: {A} framework to measure power on a heterogeneous system-on-a-chip
device},
journal = {Sci. Comput. Program.},
volume = {173},
pages = {21--36},
year = {2019},
url = {https://doi.org/10.1016/j.scico.2017.08.017},
doi = {10.1016/J.SCICO.2017.08.017},
timestamp = {Mon, 03 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/BessaGQFNP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/RochaGP19,
author = {Rodrigo C. O. Rocha and
Lu{\'{\i}}s F. W. G{\'{o}}es and
Fernando Magno Quint{\~{a}}o Pereira},
title = {Automatic parallelization of recursive functions with rewriting rules},
journal = {Sci. Comput. Program.},
volume = {173},
pages = {128--152},
year = {2019},
url = {https://doi.org/10.1016/j.scico.2018.01.004},
doi = {10.1016/J.SCICO.2018.01.004},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/RochaGP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/taco/PereiraLG19,
author = {Fernando Magno Quint{\~{a}}o Pereira and
Guilherme V. Leobas and
Abdoulaye Gamati{\'{e}}},
title = {Static Prediction of Silent Stores},
journal = {{ACM} Trans. Archit. Code Optim.},
volume = {15},
number = {4},
pages = {44:1--44:26},
year = {2019},
url = {https://doi.org/10.1145/3280848},
doi = {10.1145/3280848},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/taco/PereiraLG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cgo/RodriguesGP19,
author = {Marcus Rodrigues and
Breno Guimar{\~{a}}es and
Fernando Magno Quint{\~{a}}o Pereira},
editor = {Mahmut Taylan Kandemir and
Alexandra Jimborean and
Tipp Moseley},
title = {Generation of In-Bounds Inputs for Arrays in Memory-Unsafe Languages},
booktitle = {{IEEE/ACM} International Symposium on Code Generation and Optimization,
{CGO} 2019, Washington, DC, USA, February 16-20, 2019},
pages = {136--148},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/CGO.2019.8661178},
doi = {10.1109/CGO.2019.8661178},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/cgo/RodriguesGP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/TymburibaSP19,
author = {Mateus Tymburib{\'{a}} and
Hugo Sousa and
Fernando Magno Quint{\~{a}}o Pereira},
title = {Multilayer {ROP} Protection Via Microarchitectural Units Available
in Commodity Hardware},
booktitle = {49th Annual {IEEE/IFIP} International Conference on Dependable Systems
and Networks, {DSN} 2019, Portland, OR, USA, June 24-27, 2019},
pages = {315--327},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/DSN.2019.00042},
doi = {10.1109/DSN.2019.00042},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/dsn/TymburibaSP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/NovaesPGP19,
author = {Marcelo Novaes and
Vinicius Petrucci and
Abdoulaye Gamati{\'{e}} and
Fernando Magno Quint{\~{a}}o Pereira},
editor = {Jeffrey K. Hollingsworth and
Idit Keidar},
title = {Compiler-assisted adaptive program scheduling in big.LITTLE systems:
poster},
booktitle = {Proceedings of the 24th {ACM} {SIGPLAN} Symposium on Principles and
Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA,
February 16-20, 2019},
pages = {429--430},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3293883.3301493},
doi = {10.1145/3293883.3301493},
timestamp = {Sun, 12 Jun 2022 19:46:08 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/NovaesPGP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sblp/RimsaAP19,
author = {Andrei Rimsa and
Jos{\'{e}} Nelson Amaral and
Fernando Magno Quint{\~{a}}o Pereira},
title = {Efficient and Precise Dynamic Construction of Control Flow Graphs},
booktitle = {Proceedings of the {XXIII} Brazilian Symposium on Programming Languages,
{SBLP} 2019, Salvador, Brazil, September 23-27, 2019},
pages = {19--26},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3355378.3355383},
doi = {10.1145/3355378.3355383},
timestamp = {Wed, 09 Oct 2019 17:39:50 +0200},
biburl = {https://dblp.org/rec/conf/sblp/RimsaAP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sblp/GuimaraesMSP19,
author = {Breno Campos Ferreira Guimar{\~{a}}es and
Jos{\'{e}} Wesley de S. Magalh{\~{a}}es and
Anderson Faustino da Silva and
Fernando M. Q. Pereira},
title = {Synthesis of Benchmarks for the {C} Programming Language by Mining
Software Repositories},
booktitle = {Proceedings of the {XXIII} Brazilian Symposium on Programming Languages,
{SBLP} 2019, Salvador, Brazil, September 23-27, 2019},
pages = {62--69},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3355378.3355380},
doi = {10.1145/3355378.3355380},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sblp/GuimaraesMSP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-07038,
author = {Marcelo Novaes and
Vinicius Petrucci and
Abdoulaye Gamati{\'{e}} and
Fernando Magno Quint{\~{a}}o Pereira},
title = {Compiler-assisted Adaptive Program Scheduling in big.LITTLE Systems},
journal = {CoRR},
volume = {abs/1903.07038},
year = {2019},
url = {http://arxiv.org/abs/1903.07038},
eprinttype = {arXiv},
eprint = {1903.07038},
timestamp = {Mon, 01 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1903-07038.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jisa/OliveiraPMABNWW18,
author = {Leonardo B. Oliveira and
Fernando Magno Quint{\~{a}}o Pereira and
Rafael Misoczki and
Diego F. Aranha and
F{\'{a}}bio Borges and
Michele Nogueira and
Michelle S. Wangham and
Min Wu and
Jie Liu},
title = {The computer for the 21st century: present security {\&} privacy
challenges},
journal = {J. Internet Serv. Appl.},
volume = {9},
number = {1},
pages = {24:1--24:25},
year = {2018},
url = {https://doi.org/10.1186/s13174-018-0095-2},
doi = {10.1186/S13174-018-0095-2},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jisa/OliveiraPMABNWW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/MeloRAP18,
author = {Leandro T. C. Melo and
Rodrigo Geraldo Ribeiro and
Marcus R. de Ara{\'{u}}jo and
Fernando Magno Quint{\~{a}}o Pereira},
title = {Inference of static semantics for incomplete {C} programs},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{POPL}},
pages = {29:1--29:28},
year = {2018},
url = {https://doi.org/10.1145/3158117},
doi = {10.1145/3158117},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/MeloRAP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/MaalejPPG18,
author = {Maroua Maalej and
Vitor Paisante and
Fernando Magno Quint{\~{a}}o Pereira and
Laure Gonnord},
title = {Combining range and inequality information for pointer disambiguation},
journal = {Sci. Comput. Program.},
volume = {152},
pages = {161--184},
year = {2018},
url = {https://doi.org/10.1016/j.scico.2017.10.014},
doi = {10.1016/J.SCICO.2017.10.014},
timestamp = {Tue, 02 Jan 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/MaalejPPG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEpact/RamosMSAP18,
author = {Pedro Ramos and
Gleison Souza Diniz Mendonca and
Divino Soares and
Guido Ara{\'{u}}jo and
Fernando Magno Quint{\~{a}}o Pereira},
editor = {Skevos Evripidou and
Per Stenstr{\"{o}}m and
Michael F. P. O'Boyle},
title = {Automatic annotation of tasks in structured code},
booktitle = {Proceedings of the 27th International Conference on Parallel Architectures
and Compilation Techniques, {PACT} 2018, Limassol, Cyprus, November
01-04, 2018},
pages = {31:1--31:13},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3243176.3243200},
doi = {10.1145/3243176.3243200},
timestamp = {Wed, 21 Nov 2018 12:44:10 +0100},
biburl = {https://dblp.org/rec/conf/IEEEpact/RamosMSAP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cgo/SiraichiSCP18,
author = {Marcos Yukio Siraichi and
Vin{\'{\i}}cius Fernandes dos Santos and
Caroline Collange and
Fernando Magno Quint{\~{a}}o Pereira},
editor = {Jens Knoop and
Markus Schordan and
Teresa Johnson and
Michael F. P. O'Boyle},
title = {Qubit allocation},
booktitle = {Proceedings of the 2018 International Symposium on Code Generation
and Optimization, {CGO} 2018, V{\"{o}}sendorf / Vienna, Austria,
February 24-28, 2018},
pages = {113--125},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3168822},
doi = {10.1145/3168822},
timestamp = {Fri, 18 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cgo/SiraichiSCP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/recosoc/SilvaPFG18,
author = {Junio Cezar Ribeiro da Silva and
Fernando Magno Quint{\~{a}}o Pereira and
Michael Frank and
Abdoulaye Gamati{\'{e}}},
editor = {Sma{\"{\i}}l Niar and
Mazen A. R. Saghir},
title = {A Compiler-Centric Infra-Structure for Whole-Board Energy Measurement
on Heterogeneous Android Systems},
booktitle = {13th International Symposium on Reconfigurable Communication-centric
Systems-on-Chip, ReCoSoC 2018, Lille, France, July 9-11, 2018},
pages = {1--8},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/ReCoSoC.2018.8449378},
doi = {10.1109/RECOSOC.2018.8449378},
timestamp = {Mon, 03 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/recosoc/SilvaPFG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbac-pad/CaldeiraPBFNFP18,
author = {Pedro Caldeira and
Jeronimo Costa Penha and
Lucas Bragan{\c{c}}a and
Ricardo Ferreira and
Jos{\'{e}} Augusto Miranda Nacif and
Renato Ferreira and
Fernando Magno Quint{\~{a}}o Pereira},
title = {From Java to {FPGA:} An Experience with the Intel {HARP} System},
booktitle = {30th International Symposium on Computer Architecture and High Performance
Computing, {SBAC-PAD} 2018, Lyon, France, September 24-27, 2018},
pages = {17--24},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/CAHPC.2018.8645951},
doi = {10.1109/CAHPC.2018.8645951},
timestamp = {Sat, 01 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbac-pad/CaldeiraPBFNFP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sblp/RamosMLP18,
author = {Pedro Ramos and
Gleison Souza Diniz Mendonca and
Guilherme V. Leobas and
Fernando Magno Quint{\~{a}}o Pereira},
editor = {Carlos Camar{\~{a}}o and
Martin Sulzmann},
title = {Taskminer: automatic identification of tasks},
booktitle = {Proceedings of the {XXII} Brazilian Symposium on Programming Languages,
{SBLP} 2018, Sao Carlos, Brazil, September 20-21, 2018},
pages = {11--18},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3264637.3264639},
doi = {10.1145/3264637.3264639},
timestamp = {Wed, 01 Jun 2022 08:38:39 +0200},
biburl = {https://dblp.org/rec/conf/sblp/RamosMLP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sblp/LeobasGP18,
author = {Guilherme V. Leobas and
Breno Campos Ferreira Guimar{\~{a}}es and
Fernando Magno Quint{\~{a}}o Pereira},
editor = {Carlos Camar{\~{a}}o and
Martin Sulzmann},
title = {More than meets the eye: invisible instructions},
booktitle = {Proceedings of the {XXII} Brazilian Symposium on Programming Languages,
{SBLP} 2018, Sao Carlos, Brazil, September 20-21, 2018},
pages = {27--34},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3264637.3264641},
doi = {10.1145/3264637.3264641},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sblp/LeobasGP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/PoesiaGFP17,
author = {Gabriel Poesia and
Breno Campos Ferreira Guimar{\~{a}}es and
Fabricio Ferracioli and
Fernando Magno Quint{\~{a}}o Pereira},
title = {Static placement of computation on heterogeneous devices},
journal = {Proc. {ACM} Program. Lang.},
volume = {1},
number = {{OOPSLA}},
pages = {50:1--50:28},
year = {2017},
url = {https://doi.org/10.1145/3133874},
doi = {10.1145/3133874},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/PoesiaGFP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/taco/MendoncaGAPAP17,
author = {Gleison Souza Diniz Mendonca and
Breno Campos Ferreira Guimar{\~{a}}es and
P{\'{e}}ricles Alves and
M{\'{a}}rcio Machado Pereira and
Guido Araujo and
Fernando Magno Quint{\~{a}}o Pereira},
title = {DawnCC: Automatic Annotation for Data Parallelism and Offloading},
journal = {{ACM} Trans. Archit. Code Optim.},
volume = {14},
number = {2},
pages = {13:1--13:25},
year = {2017},
url = {https://doi.org/10.1145/3084540},
doi = {10.1145/3084540},
timestamp = {Tue, 09 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/taco/MendoncaGAPAP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cgo/MaalejPRGP17,
author = {Maroua Maalej and
Vitor Paisante and
Pedro Ramos and
Laure Gonnord and
Fernando Magno Quint{\~{a}}o Pereira},
editor = {Vijay Janapa Reddi and
Aaron Smith and
Lingjia Tang},
title = {Pointer disambiguation via strict inequalities},
booktitle = {Proceedings of the 2017 International Symposium on Code Generation
and Optimization, {CGO} 2017, Austin, TX, USA, February 4-8, 2017},
pages = {134--147},
publisher = {{ACM}},
year = {2017},
url = {http://dl.acm.org/citation.cfm?id=3049848},
timestamp = {Mon, 06 Feb 2017 08:11:47 +0100},
biburl = {https://dblp.org/rec/conf/cgo/MaalejPRGP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icccn/OliveiraPMABL17,
author = {Leonardo B. Oliveira and
Fernando Magno Quint{\~{a}}o Pereira and
Rafael Misoczki and
Diego F. Aranha and
F{\'{a}}bio Borges and
Jie Liu},
title = {The Computer for the 21st Century: Security {\&} Privacy Challenges
after 25 Years},
booktitle = {26th International Conference on Computer Communication and Networks,
{ICCCN} 2017, Vancouver, BC, Canada, July 31 - Aug. 3, 2017},
pages = {1--10},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/ICCCN.2017.8038394},
doi = {10.1109/ICCCN.2017.8038394},
timestamp = {Thu, 23 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icccn/OliveiraPMABL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/MoreiraCP17,
author = {Rubens E. A. Moreira and
Caroline Collange and
Fernando Magno Quint{\~{a}}o Pereira},
editor = {Vivek Sarkar and
Lawrence Rauchwerger},
title = {Function Call Re-Vectorization},
booktitle = {Proceedings of the 22nd {ACM} {SIGPLAN} Symposium on Principles and
Practice of Parallel Programming, Austin, TX, USA, February 4-8, 2017},
pages = {313--326},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3018743.3018751},
doi = {10.1145/3018743.3018751},
timestamp = {Fri, 18 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppopp/MoreiraCP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbac-pad/SousaPPA17,
author = {Rafael Cardoso Fernandes Sousa and
M{\'{a}}rcio Machado Pereira and
Fernando Magno Quint{\~{a}}o Pereira and
Guido Araujo},
title = {Data Coherence Analysis and Optimization for Heterogeneous Computing},
booktitle = {29th International Symposium on Computer Architecture and High Performance
Computing, {SBAC-PAD} 2017, Campinas, Brazil, October 17-20, 2017},
pages = {9--16},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/SBAC-PAD.2017.9},
doi = {10.1109/SBAC-PAD.2017.9},
timestamp = {Tue, 09 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbac-pad/SousaPPA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sblp/SilvaP17,
author = {Junio Cezar R. da Silva and
Fernando Magno Quint{\~{a}}o Pereira},
editor = {Fabio Mascarenhas},
title = {Demand-driven less-than analysis},
booktitle = {Proceedings of the 21st Brazilian Symposium on Programming Languages,
{SBLP} 2017, Fortaleza, CE, Brazil, September 21-22, 2017},
pages = {2:1--2:8},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3125374.3125379},
doi = {10.1145/3125374.3125379},
timestamp = {Sat, 10 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sblp/SilvaP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sensys/WuPLRAO17,
author = {Min Wu and
Fernando Magno Quint{\~{a}}o Pereira and
Jie Liu and
Heitor S. Ramos and
M{\'{a}}rio S. Alvim and
Leonardo B. Oliveira},
editor = {M. Rasit Eskicioglu},
title = {Proof-Carrying Sensing: Towards Real-World Authentication in Cyber-Physical
Systems},
booktitle = {Proceedings of the 15th {ACM} Conference on Embedded Network Sensor
Systems, SenSys 2017, Delft, Netherlands, November 06-08, 2017},
pages = {22:1--22:6},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3131672.3131700},
doi = {10.1145/3131672.3131700},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sensys/WuPLRAO17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BessaGQFNP17,
author = {Tarsila Bessa and
Christopher J. Gull and
Pedro Quint{\~{a}}o and
Michael Frank and
Jos{\'{e}} Augusto Miranda Nacif and
Fernando Magno Quint{\~{a}}o Pereira},
title = {JetsonLEAP: a Framework to Measure Power on a Heterogeneous System-on-a-Chip
Device},
journal = {CoRR},
volume = {abs/1706.03042},
year = {2017},
url = {http://arxiv.org/abs/1706.03042},
eprinttype = {arXiv},
eprint = {1706.03042},
timestamp = {Mon, 03 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BessaGQFNP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Pereira16,
author = {Fernando Magno Quint{\~{a}}o Pereira},
title = {Selected papers of the Brazilian Symposium on Programming Languages
2014 (SBLP'14)},
journal = {Sci. Comput. Program.},
volume = {119},
pages = {1--2},
year = {2016},
url = {https://doi.org/10.1016/j.scico.2016.02.001},
doi = {10.1016/J.SCICO.2016.02.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Pereira16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/RodriguesPA16,
author = {Bruno Rodrigues and
Fernando Magno Quint{\~{a}}o Pereira and
Diego F. Aranha},
editor = {Ayal Zaks and
Manuel V. Hermenegildo},
title = {Sparse representation of implicit flows with applications to side-channel
detection},
booktitle = {Proceedings of the 25th International Conference on Compiler Construction,
{CC} 2016, Barcelona, Spain, March 12-18, 2016},
pages = {110--120},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2892208.2892230},
doi = {10.1145/2892208.2892230},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cc/RodriguesPA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/CamposASP16,
author = {Victor Hugo Sperle Campos and
P{\'{e}}ricles Rafael Oliveira Alves and
Henrique Nazar{\'{e}} Santos and
Fernando Magno Quint{\~{a}}o Pereira},
editor = {Ayal Zaks and
Manuel V. Hermenegildo},
title = {Restrictification of function arguments},
booktitle = {Proceedings of the 25th International Conference on Compiler Construction,
{CC} 2016, Barcelona, Spain, March 12-18, 2016},
pages = {163--173},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2892208.2892225},
doi = {10.1145/2892208.2892225},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cc/CamposASP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccnc/MaiaMPNO16,
author = {Antonio Maia and
Leandro T. C. Melo and
Fernando Magno Quint{\~{a}}o Pereira and
Omar P. Vilela Neto and
Leonardo B. Oliveira},
title = {{SMOV:} Array Bound-Check and access in a single instruction},
booktitle = {13th {IEEE} Annual Consumer Communications {\&} Networking Conference,
{CCNC} 2016, Las Vegas, NV, USA, January 9-12, 2016},
pages = {745--751},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/CCNC.2016.7444872},
doi = {10.1109/CCNC.2016.7444872},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ccnc/MaiaMPNO16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cgo/TymburibaMP16,
author = {Mateus Tymburib{\'{a}} and
Rubens E. A. Moreira and
Fernando Magno Quint{\~{a}}o Pereira},
editor = {Bj{\"{o}}rn Franke and
Youfeng Wu and
Fabrice Rastello},
title = {Inference of peak density of indirect branches to detect {ROP} attacks},
booktitle = {Proceedings of the 2016 International Symposium on Code Generation
and Optimization, {CGO} 2016, Barcelona, Spain, March 12-18, 2016},
pages = {150--159},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2854038.2854049},
doi = {10.1145/2854038.2854049},
timestamp = {Sun, 08 Aug 2021 01:40:48 +0200},
biburl = {https://dblp.org/rec/conf/cgo/TymburibaMP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cgo/PaisanteMBGP16,
author = {Vitor Paisante and
Maroua Maalej and
Leonardo Barbosa e Oliveira and
Laure Gonnord and
Fernando Magno Quint{\~{a}}o Pereira},
editor = {Bj{\"{o}}rn Franke and
Youfeng Wu and
Fabrice Rastello},
title = {Symbolic range analysis of pointers},
booktitle = {Proceedings of the 2016 International Symposium on Code Generation
and Optimization, {CGO} 2016, Barcelona, Spain, March 12-18, 2016},
pages = {171--181},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2854038.2854050},
doi = {10.1145/2854038.2854050},
timestamp = {Sun, 08 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cgo/PaisanteMBGP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbac-pad/MendoncaGAPPA16,
author = {Gleison Souza Diniz Mendonca and
Breno Campos Ferreira Guimar{\~{a}}es and
P{\'{e}}ricles Rafael Oliveira Alves and
Fernando Magno Quint{\~{a}}o Pereira and
M{\'{a}}rcio Machado Pereira and
Guido Araujo},
title = {Automatic Insertion of Copy Annotation in Data-Parallel Programs},
booktitle = {28th International Symposium on Computer Architecture and High Performance
Computing, {SBAC-PAD} 2016, Los Angeles, CA, USA, October 26-28, 2016},
pages = {34--41},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/SBAC-PAD.2016.13},
doi = {10.1109/SBAC-PAD.2016.13},
timestamp = {Tue, 09 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbac-pad/MendoncaGAPPA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sblp/BessaQFP16,
author = {Tarsila Bessa and
Pedro Quint{\~{a}}o and
Michael Frank and
Fernando Magno Quint{\~{a}}o Pereira},
editor = {Fernando Castor and
Yu David Liu},
title = {JetsonLeap: {A} Framework to Measure Energy-Aware Code Optimizations
in Embedded and Heterogeneous Systems},
booktitle = {Programming Languages - 20th Brazilian Symposium, {SBLP} 2016, Maring{\'{a}},
Brazil, September 22-23, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9889},
pages = {16--30},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45279-1\_2},
doi = {10.1007/978-3-319-45279-1\_2},
timestamp = {Mon, 03 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sblp/BessaQFP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sblp/RochaGP16,
author = {Rodrigo C. O. Rocha and
Lu{\'{\i}}s F. W. G{\'{o}}es and
Fernando Magno Quint{\~{a}}o Pereira},
editor = {Fernando Castor and
Yu David Liu},
title = {An Algebraic Framework for Parallelizing Recurrence in Functional
Programming},
booktitle = {Programming Languages - 20th Brazilian Symposium, {SBLP} 2016, Maring{\'{a}},
Brazil, September 22-23, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9889},
pages = {140--155},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45279-1\_10},
doi = {10.1007/978-3-319-45279-1\_10},
timestamp = {Mon, 19 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sblp/RochaGP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/AlvesRSP15,
author = {P{\'{e}}ricles Rafael Oliveira Alves and
Raphael Ernani Rodrigues and
Rafael Martins de Souza and
Fernando Magno Quint{\~{a}}o Pereira},
title = {A case for a fast trip count predictor},
journal = {Inf. Process. Lett.},
volume = {115},
number = {2},
pages = {146--150},
year = {2015},
url = {https://doi.org/10.1016/j.ipl.2014.08.008},
doi = {10.1016/J.IPL.2014.08.008},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/AlvesRSP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipsn/TeixeiraMPWNO15,
author = {Fernando Augusto Teixeira and
Gustavo Vieira Machado and
Fernando Magno Quint{\~{a}}o Pereira and
Hao Chi Wong and
Jos{\'{e}} Marcos S. Nogueira and
Leonardo B. Oliveira},
editor = {Suman Nath and
Bhaskar Krishnamachari and
Anthony Rowe},
title = {SIoT: securing the internet of things through distributed system analysis},
booktitle = {Proceedings of the 14th International Conference on Information Processing
in Sensor Networks, {IPSN} 2015, Seattle, WA, USA, April 14-16, 2015},
pages = {310--321},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2737095.2737097},
doi = {10.1145/2737095.2737097},
timestamp = {Tue, 23 May 2023 07:17:06 +0200},
biburl = {https://dblp.org/rec/conf/ipsn/TeixeiraMPWNO15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/AlvesGDLGRP15,
author = {P{\'{e}}ricles Alves and
Fabian Gruber and
Johannes Doerfert and
Alexandros Lamprineas and
Tobias Grosser and
Fabrice Rastello and
Fernando Magno Quint{\~{a}}o Pereira},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {Runtime pointer disambiguation},
booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
25-30, 2015},
pages = {589--606},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814270.2814285},
doi = {10.1145/2814270.2814285},
timestamp = {Wed, 23 Jun 2021 16:58:51 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/AlvesGDLGRP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbac-pad/TeixeiraCP15,
author = {Douglas do Couto Teixeira and
Caroline Collange and
Fernando Magno Quint{\~{a}}o Pereira},
title = {Fusion of Calling Sites},
booktitle = {27th International Symposium on Computer Architecture and High Performance
Computing, {SBAC-PAD} 2015, Florian{\'{o}}polis, Brazil, October
17-21, 2015},
pages = {90--97},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/SBAC-PAD.2015.16},
doi = {10.1109/SBAC-PAD.2015.16},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbac-pad/TeixeiraCP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sblp/DemontieCBCP15,
author = {Francisco Demonti{\^{e}} and
Junio Cezar R. da Silva and
Mariza Andrade da Silva Bigonha and
Frederico Campos and
Fernando Magno Quint{\~{a}}o Pereira},
editor = {Alberto Pardo and
S. Doaitse Swierstra},
title = {Automatic Inference of Loop Complexity Through Polynomial Interpolation},
booktitle = {Programming Languages - 19th Brazilian Symposium {SBLP} 2015, Belo
Horizonte, Brazil, September 24-25, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9325},
pages = {1--15},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24012-1\_1},
doi = {10.1007/978-3-319-24012-1\_1},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sblp/DemontieCBCP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sblp/FerreiraSP15,
author = {Bruno Morais Ferreira and
Britaldo Silveira Soares{-}Filho and
Fernando Magno Quint{\~{a}}o Pereira},
editor = {Alberto Pardo and
S. Doaitse Swierstra},
title = {The Dinamica Virtual Machine for Geosciences},
booktitle = {Programming Languages - 19th Brazilian Symposium {SBLP} 2015, Belo
Horizonte, Brazil, September 24-25, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9325},
pages = {44--58},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24012-1\_4},
doi = {10.1007/978-3-319-24012-1\_4},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sblp/FerreiraSP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/CostaSAP14,
author = {Igor Rafael de Assis Costa and
Henrique Nazar{\'{e}} Santos and
P{\'{e}}ricles Rafael Oliveira Alves and
Fernando Magno Quint{\~{a}}o Pereira},
title = {Just-in-time value specialization},
journal = {Comput. Lang. Syst. Struct.},
volume = {40},
number = {2},
pages = {37--52},
year = {2014},
url = {https://doi.org/10.1016/j.cl.2013.11.001},
doi = {10.1016/J.CL.2013.11.001},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cl/CostaSAP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pc/MilanezCPMF14,
author = {Teo Milanez and
Caroline Collange and
Fernando Magno Quint{\~{a}}o Pereira and
Wagner Meira Jr. and
Renato Ferreira},
title = {Thread scheduling and memory coalescing for dynamic vectorization
of {SPMD} workloads},
journal = {Parallel Comput.},
volume = {40},
number = {9},
pages = {548--558},
year = {2014},
url = {https://doi.org/10.1016/j.parco.2014.03.006},
doi = {10.1016/J.PARCO.2014.03.006},
timestamp = {Fri, 18 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pc/MilanezCPMF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/RimsadPB14,
author = {Andrei Rimsa and
Marcelo d'Amorim and
Fernando Magno Quint{\~{a}}o Pereira and
Roberto da Silva Bigonha},
title = {Efficient static checker for tainted variable attacks},
journal = {Sci. Comput. Program.},
volume = {80},
pages = {91--105},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2013.03.012},
doi = {10.1016/J.SCICO.2013.03.012},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/RimsadPB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEpact/PiccoliSRPBP14,
author = {Guilherme Piccoli and
Henrique Nazar{\'{e}} Santos and
Raphael Ernani Rodrigues and
Christiane Pousa and
Edson Borin and
Fernando Magno Quint{\~{a}}o Pereira},
editor = {Jos{\'{e}} Nelson Amaral and
Josep Torrellas},
title = {Compiler support for selective page migration in {NUMA} architectures},
booktitle = {International Conference on Parallel Architectures and Compilation,
{PACT} '14, Edmonton, AB, Canada, August 24-27, 2014},
pages = {369--380},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2628071.2628077},
doi = {10.1145/2628071.2628077},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEpact/PiccoliSRPBP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/TavaresBPR14,
author = {Andr{\'{e}} Luiz Camargos Tavares and
Benoit Boissinot and
Fernando Magno Quint{\~{a}}o Pereira and
Fabrice Rastello},
editor = {Albert Cohen},
title = {Parameterized Construction of Program Representations for Sparse Dataflow
Analyses},
booktitle = {Compiler Construction - 23rd International Conference, {CC} 2014,
Held as Part of the European Joint Conferences on Theory and Practice
of Software, {ETAPS} 2014, Grenoble, France, April 5-13, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8409},
pages = {18--39},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54807-9\_2},
doi = {10.1007/978-3-642-54807-9\_2},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/cc/TavaresBPR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/NazareMSBGP14,
author = {Henrique Nazar{\'{e}} and
Izabela Maffra and
Willer Santos and
Leonardo Barbosa e Oliveira and
Laure Gonnord and
Fernando Magno Quint{\~{a}}o Pereira},
editor = {Andrew P. Black and
Todd D. Millstein},
title = {Validation of memory accesses through symbolic analyses},
booktitle = {Proceedings of the 2014 {ACM} International Conference on Object Oriented
Programming Systems Languages {\&} Applications, {OOPSLA} 2014,
part of {SPLASH} 2014, Portland, OR, USA, October 20-24, 2014},
pages = {791--809},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2660193.2660205},
doi = {10.1145/2660193.2660205},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/NazareMSBGP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbrc/TeixeiraMFPWNO14,
author = {Fernando Augusto Teixeira and
Gustavo Vieira Machado and
Pablo M. Fonseca and
Fernando Magno Quint{\~{a}}o Pereira and
Hao Chi Wong and
Jos{\'{e}} Marcos S. Nogueira and
Leonardo B. Oliveira},
title = {Defending Code from the Internet of Things against Buffer Overflow},
booktitle = {2014 Brazilian Symposium on Computer Networks and Distributed Systems,
{SBRC} 2014, Florianopolis, Brazil, May 5-9, 2014},
pages = {293--301},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/SBRC.2014.35},
doi = {10.1109/SBRC.2014.35},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbrc/TeixeiraMFPWNO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sblp/2014,
editor = {Fernando Magno Quint{\~{a}}o Pereira},
title = {Programming Languages - 18th Brazilian Symposium, {SBLP} 2014, Maceio,
Brazil, October 2-3, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8771},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11863-5},
doi = {10.1007/978-3-319-11863-5},
isbn = {978-3-319-11862-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sblp/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/TavaresBPR14,
author = {Andr{\'{e}} Luiz Camargos Tavares and
Benoit Boissinot and
Fernando Magno Quint{\~{a}}o Pereira and
Fabrice Rastello},
title = {Parameterized Construction of Program Representations for Sparse Dataflow
Analyses},
journal = {CoRR},
volume = {abs/1403.5952},
year = {2014},
url = {http://arxiv.org/abs/1403.5952},
eprinttype = {arXiv},
eprint = {1403.5952},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/TavaresBPR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/CoutinhoSPM13,
author = {Bruno Coutinho and
Diogo Sampaio and
Fernando Magno Quint{\~{a}}o Pereira and
Wagner Meira Jr.},
title = {Profiling divergences in {GPU} applications},
journal = {Concurr. Comput. Pract. Exp.},
volume = {25},
number = {6},
pages = {775--789},
year = {2013},
url = {https://doi.org/10.1002/cpe.2853},
doi = {10.1002/CPE.2853},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/concurrency/CoutinhoSPM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/MataPF13,
author = {Leonardo Luiz Padovani da Mata and
Fernando Magno Quint{\~{a}}o Pereira and
Renato Ferreira},
title = {Automatic parallelization of canonical loops},
journal = {Sci. Comput. Program.},
volume = {78},
number = {8},
pages = {1193--1206},
year = {2013},
url = {https://doi.org/10.1016/j.scico.2012.09.006},
doi = {10.1016/J.SCICO.2012.09.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/MataPF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/SampaioSCP13,
author = {Diogo Sampaio and
Rafael Martins de Souza and
Caroline Collange and
Fernando Magno Quint{\~{a}}o Pereira},
title = {Divergence analysis},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {35},
number = {4},
pages = {13:1--13:36},
year = {2013},
url = {https://doi.org/10.1145/2523815},
doi = {10.1145/2523815},
timestamp = {Fri, 18 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/SampaioSCP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cgo/CostaASP13,
author = {Igor Rafael de Assis Costa and
P{\'{e}}ricles Rafael Oliveira Alves and
Henrique Nazar{\'{e}} Santos and
Fernando Magno Quint{\~{a}}o Pereira},
title = {Just-in-time value specialization},
booktitle = {Proceedings of the 2013 {IEEE/ACM} International Symposium on Code
Generation and Optimization, {CGO} 2013, Shenzhen, China, February
23-27, 2013},
pages = {29:1--29:11},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/CGO.2013.6495006},
doi = {10.1109/CGO.2013.6495006},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cgo/CostaASP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cgo/RodriguesCP13,
author = {Raphael Ernani Rodrigues and
Victor Hugo Sperle Campos and
Fernando Magno Quint{\~{a}}o Pereira},
title = {A fast and low-overhead technique to secure programs against integer
overflows},
booktitle = {Proceedings of the 2013 {IEEE/ACM} International Symposium on Code
Generation and Optimization, {CGO} 2013, Shenzhen, China, February
23-27, 2013},
pages = {33:1--33:11},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/CGO.2013.6494996},
doi = {10.1109/CGO.2013.6494996},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cgo/RodriguesCP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbac-pad/SampaioMCP12,
author = {Diogo Sampaio and
Rafael Martins de Souza and
Caroline Collange and
Fernando Magno Quint{\~{a}}o Pereira},
editor = {Jairo Panetta and
Jos{\'{e}} E. Moreira and
David A. Padua and
Philippe O. A. Navaux},
title = {Divergence Analysis with Affine Constraints},
booktitle = {{IEEE} 24th International Symposium on Computer Architecture and High
Performance Computing, {SBAC-PAD} 2012, New York, NY, USA, October
24-26, 2012},
pages = {67--74},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/SBAC-PAD.2012.22},
doi = {10.1109/SBAC-PAD.2012.22},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbac-pad/SampaioMCP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbac-pad/MilanezCPMF12,
author = {Teo Milanez and
Caroline Collange and
Fernando Magno Quint{\~{a}}o Pereira and
Wagner Meira Jr. and
Renato Ferreira},
editor = {Jairo Panetta and
Jos{\'{e}} E. Moreira and
David A. Padua and
Philippe O. A. Navaux},
title = {Data and Instruction Uniformity in Minimal Multi-threading},
booktitle = {{IEEE} 24th International Symposium on Computer Architecture and High
Performance Computing, {SBAC-PAD} 2012, New York, NY, USA, October
24-26, 2012},
pages = {270--277},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/SBAC-PAD.2012.21},
doi = {10.1109/SBAC-PAD.2012.21},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbac-pad/MilanezCPMF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sblp/SampaioGPC12,
author = {Diogo Nunes Sampaio and
Elie Gedeon and
Fernando Magno Quint{\~{a}}o Pereira and
Caroline Collange},
editor = {Francisco Heron de Carvalho Junior and
Lu{\'{\i}}s Soares Barbosa},
title = {Spill Code Placement for {SIMD} Machines},
booktitle = {Programming Languages - 16th Brazilian Symposium, {SBLP} 2012, Natal,
Brazil, September 23-28, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7554},
pages = {12--26},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33182-4\_3},
doi = {10.1007/978-3-642-33182-4\_3},
timestamp = {Fri, 18 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sblp/SampaioGPC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sblp/CamposRCP12,
author = {Victor Hugo Sperle Campos and
Raphael Ernani Rodrigues and
Igor Rafael de Assis Costa and
Fernando Magno Quint{\~{a}}o Pereira},
editor = {Francisco Heron de Carvalho Junior and
Lu{\'{\i}}s Soares Barbosa},
title = {Speed and Precision in Range Analysis},
booktitle = {Programming Languages - 16th Brazilian Symposium, {SBLP} 2012, Natal,
Brazil, September 23-28, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7554},
pages = {42--56},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33182-4\_5},
doi = {10.1007/978-3-642-33182-4\_5},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sblp/CamposRCP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sblp/AlvesCPF12,
author = {P{\'{e}}ricles Rafael Oliveira Alves and
Igor Rafael de Assis Costa and
Fernando Magno Quint{\~{a}}o Pereira and
Eduardo Magno Lages Figueiredo},
editor = {Francisco Heron de Carvalho Junior and
Lu{\'{\i}}s Soares Barbosa},
title = {Parameter Based Constant Propagation},
booktitle = {Programming Languages - 16th Brazilian Symposium, {SBLP} 2012, Natal,
Brazil, September 23-28, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7554},
pages = {57--71},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33182-4\_6},
doi = {10.1007/978-3-642-33182-4\_6},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sblp/AlvesCPF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sblp/FerreiraPRS12,
author = {Bruno Morais Ferreira and
Fernando Magno Quint{\~{a}}o Pereira and
Hermann Rodrigues and
Britaldo Silveira Soares{-}Filho},
editor = {Francisco Heron de Carvalho Junior and
Lu{\'{\i}}s Soares Barbosa},
title = {Optimizing a Geomodeling Domain Specific Language},
booktitle = {Programming Languages - 16th Brazilian Symposium, {SBLP} 2012, Natal,
Brazil, September 23-28, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7554},
pages = {87--101},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33182-4\_8},
doi = {10.1007/978-3-642-33182-4\_8},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sblp/FerreiraPRS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEpact/CoutinhoSPM11,
author = {Bruno Coutinho and
Diogo Sampaio and
Fernando Magno Quint{\~{a}}o Pereira and
Wagner Meira Jr.},
editor = {Lawrence Rauchwerger and
Vivek Sarkar},
title = {Divergence Analysis and Optimizations},
booktitle = {2011 International Conference on Parallel Architectures and Compilation
Techniques, {PACT} 2011, Galveston, TX, USA, October 10-14, 2011},
pages = {320--329},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/PACT.2011.63},
doi = {10.1109/PACT.2011.63},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEpact/CoutinhoSPM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/SolGPB11,
author = {Rodrigo Sol and
Christophe Guillon and
Fernando Magno Quint{\~{a}}o Pereira and
Mariza Andrade da Silva Bigonha},
editor = {Jens Knoop},
title = {Dynamic Elimination of Overflow Tests in a Trace Compiler},
booktitle = {Compiler Construction - 20th International Conference, {CC} 2011,
Held as Part of the Joint European Conferences on Theory and Practice
of Software, {ETAPS} 2011, Saarbr{\"{u}}cken, Germany, March
26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6601},
pages = {2--21},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19861-8\_2},
doi = {10.1007/978-3-642-19861-8\_2},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/cc/SolGPB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/RimsadP11,
author = {Andrei Rimsa and
Marcelo d'Amorim and
Fernando Magno Quint{\~{a}}o Pereira},
editor = {Jens Knoop},
title = {Tainted Flow Analysis on e-SSA-Form Programs},
booktitle = {Compiler Construction - 20th International Conference, {CC} 2011,
Held as Part of the Joint European Conferences on Theory and Practice
of Software, {ETAPS} 2011, Saarbr{\"{u}}cken, Germany, March
26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6601},
pages = {124--143},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19861-8\_8},
doi = {10.1007/978-3-642-19861-8\_8},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cc/RimsadP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scopes/TavaresCBGPR11,
author = {Andr{\'{e}} Luiz Camargos Tavares and
Quentin Colombet and
Mariza Andrade da Silva Bigonha and
Christophe Guillon and
Fernando Magno Quint{\~{a}}o Pereira and
Fabrice Rastello},
editor = {Henk Corporaal and
Sander Stuijk},
title = {Decoupled graph-coloring register allocation with hierarchical aliasing},
booktitle = {14th International Workshop on Software and Compilers for Embedded
Systems, {SCOPES} '11, St. Goar, Germany, June 27-28, 2011},
pages = {1--10},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1988932.1988934},
doi = {10.1145/1988932.1988934},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scopes/TavaresCBGPR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/PereiraP10,
author = {Fernando Magno Quint{\~{a}}o Pereira and
Jens Palsberg},
editor = {Rajiv Gupta},
title = {Punctual Coalescing},
booktitle = {Compiler Construction, 19th International Conference, {CC} 2010, Held
as Part of the Joint European Conferences on Theory and Practice of
Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6011},
pages = {165--184},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11970-5\_10},
doi = {10.1007/978-3-642-11970-5\_10},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/cc/PereiraP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbac-pad/CoutinhoSPM10,
author = {Bruno Coutinho and
Diogo Sampaio and
Fernando Magno Quint{\~{a}}o Pereira and
Wagner Meira Jr.},
editor = {Jos{\'{e}} E. Moreira and
Vinod E. F. Rebello and
Bruno Schulze and
Philippe O. A. Navaux},
title = {Performance Debugging of {GPGPU} Applications with the Divergence
Map},
booktitle = {22st International Symposium on Computer Architecture and High Performance
Computing, {SBAC-PAD} 2010, Petropolis, Brazil, October 27-30, 2010},
pages = {33--40},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SBAC-PAD.2010.38},
doi = {10.1109/SBAC-PAD.2010.38},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbac-pad/CoutinhoSPM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/PereiraP09,
author = {Fernando Magno Quint{\~{a}}o Pereira and
Jens Palsberg},
editor = {Oege de Moor and
Michael I. Schwartzbach},
title = {{SSA} Elimination after Register Allocation},
booktitle = {Compiler Construction, 18th International Conference, {CC} 2009, Held
as Part of the Joint European Conferences on Theory and Practice of
Software, {ETAPS} 2009, York, UK, March 22-29, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5501},
pages = {158--173},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00722-4\_12},
doi = {10.1007/978-3-642-00722-4\_12},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/cc/PereiraP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cgo/PereiraB09,
author = {Fernando Magno Quint{\~{a}}o Pereira and
Daniel Berlin},
title = {Wave Propagation and Deep Propagation for Pointer Analysis},
booktitle = {Proceedings of the {CGO} 2009, The Seventh International Symposium
on Code Generation and Optimization, Seattle, Washington, USA, March
22-25, 2009},
pages = {126--135},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/CGO.2009.9},
doi = {10.1109/CGO.2009.9},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cgo/PereiraB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LeePP08,
author = {Jonathan K. Lee and
Jens Palsberg and
Fernando Magno Quint{\~{a}}o Pereira},
title = {Aliased register allocation for straight-line programs is NP-complete},
journal = {Theor. Comput. Sci.},
volume = {407},
number = {1-3},
pages = {258--273},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.05.025},
doi = {10.1016/J.TCS.2008.05.025},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/LeePP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/PereiraP08,
author = {Fernando Magno Quint{\~{a}}o Pereira and
Jens Palsberg},
editor = {Rajiv Gupta and
Saman P. Amarasinghe},
title = {Register allocation by puzzle solving},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2008 Conference on Programming
Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008},
pages = {216--226},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1375581.1375609},
doi = {10.1145/1375581.1375609},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/pldi/PereiraP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/LeePP07,
author = {Jonathan K. Lee and
Jens Palsberg and
Fernando Magno Quint{\~{a}}o Pereira},
editor = {Lars Arge and
Christian Cachin and
Tomasz Jurdzinski and
Andrzej Tarlecki},
title = {Aliased Register Allocation for Straight-Line Programs Is NP-Complete},
booktitle = {Automata, Languages and Programming, 34th International Colloquium,
{ICALP} 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4596},
pages = {680--691},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73420-8\_59},
doi = {10.1007/978-3-540-73420-8\_59},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/LeePP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/NandivadaPP07,
author = {V. Krishna Nandivada and
Fernando Magno Quint{\~{a}}o Pereira and
Jens Palsberg},
editor = {Hanne Riis Nielson and
Gilberto Fil{\'{e}}},
title = {A Framework for End-to-End Verification and Evaluation of Register
Allocators},
booktitle = {Static Analysis, 14th International Symposium, {SAS} 2007, Kongens
Lyngby, Denmark, August 22-24, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4634},
pages = {153--169},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74061-2\_10},
doi = {10.1007/978-3-540-74061-2\_10},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/NandivadaPP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/PereiraVBB06,
author = {Fernando Magno Quint{\~{a}}o Pereira and
Marco T{\'{u}}lio de Oliveira Valente and
Roberto da Silva Bigonha and
Mariza Andrade da Silva Bigonha},
title = {Arcademis: a framework for object-oriented communication middleware
development},
journal = {Softw. Pract. Exp.},
volume = {36},
number = {5},
pages = {495--512},
year = {2006},
url = {https://doi.org/10.1002/spe.706},
doi = {10.1002/SPE.706},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/spe/PereiraVBB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/PereiraP06,
author = {Fernando Magno Quint{\~{a}}o Pereira and
Jens Palsberg},
editor = {Luca Aceto and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {Register Allocation After Classical {SSA} Elimination is NP-Complete},
booktitle = {Foundations of Software Science and Computation Structures, 9th International
Conference, {FOSSACS} 2006, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2006, Vienna, Austria,
March 25-31, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3921},
pages = {79--93},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11690634\_6},
doi = {10.1007/11690634\_6},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/PereiraP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/PereiraP05,
author = {Fernando Magno Quint{\~{a}}o Pereira and
Jens Palsberg},
editor = {Kwangkeun Yi},
title = {Register Allocation Via Coloring of Chordal Graphs},
booktitle = {Programming Languages and Systems, Third Asian Symposium, {APLAS}
2005, Tsukuba, Japan, November 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3780},
pages = {315--329},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11575467\_21},
doi = {10.1007/11575467\_21},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/PereiraP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/PereiraVPBB04,
author = {Fernando Magno Quint{\~{a}}o Pereira and
Marco T{\'{u}}lio de Oliveira Valente and
Wagner Salazar Pires and
Roberto da Silva Bigonha and
Mariza Andrade da Silva Bigonha},
title = {Tactics for Remote Method Invocation},
journal = {J. Univers. Comput. Sci.},
volume = {10},
number = {7},
pages = {824--842},
year = {2004},
url = {https://doi.org/10.3217/jucs-010-07-0824},
doi = {10.3217/JUCS-010-07-0824},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/PereiraVPBB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/ValentePBB03,
author = {Marco T{\'{u}}lio de Oliveira Valente and
Fernando Magno Quint{\~{a}}o Pereira and
Roberto da Silva Bigonha and
Mariza Andrade da Silva Bigonha},
editor = {Harald Kosch and
L{\'{a}}szl{\'{o}} B{\"{o}}sz{\"{o}}rm{\'{e}}nyi and
Hermann Hellwagner},
title = {A Coordination Model for ad hoc Mobile Systems},
booktitle = {Euro-Par 2003. Parallel Processing, 9th International Euro-Par Conference,
Klagenfurt, Austria, August 26-29, 2003. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2790},
pages = {1074--1081},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45209-6\_145},
doi = {10.1007/978-3-540-45209-6\_145},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/europar/ValentePBB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sibgrapi/PereiraRRC03,
author = {Fernando Magno Quint{\~{a}}o Pereira and
Leonardo T. Rolla and
Cristiano G. Rezende and
Rodrigo L. Carceroni},
title = {The Language LinF for Fractal Specification},
booktitle = {16th Brazilian Symposium on Computer Graphics and Image Processing
{(SIBGRAPI} 2003), 12-15 October 2003, Sao Carlos, Brazil},
pages = {67--74},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/SIBGRA.2003.1240993},
doi = {10.1109/SIBGRA.2003.1240993},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sibgrapi/PereiraRRC03.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-21 17:33 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:
