Fernando Magno Quintão Pereira - researchr profile publications

researchr

explore
calendar
search

You are not signed in
Sign in
Sign up

Publications with a 'Fernando Magno Quintão Pereira' as author, editor, or advisor:

AutoParBench: a unified test framework for OpenMP-based parallelizersGleison Souza Diniz Mendonca, Chunhua Liao, Fernando Magno Quintão Pereira. ics 2020: [doi]
More than meets the eye: invisible instructionsGuilherme V. Leobas, Breno Campos Ferreira Guimarães, Fernando Magno Quintão Pereira. SBLP 2018: 27-34 [doi]
Parameterized Construction of Program Representations for Sparse Dataflow AnalysesAndre Luiz Camargos Tavares, Benoit Boissinot, Fernando Magno Quintão Pereira, Fabrice Rastello. CC 2014: 18-39 [doi]
Arcademis: a framework for object-oriented communication middleware developmentFernando Magno Quintão Pereira, Marco Tulio de Oliveira Valente, Roberto da Silva Bigonha, Mariza Andrade da Silva Bigonha. SPE, 36(5):495-512, 2006. [doi]
Proof-Carrying Sensing: Towards Real-World Authentication in Cyber-Physical SystemsMin Wu, Fernando Magno Quintão Pereira, Jie Liu, Heitor S. Ramos, Mário S. Alvim, Leonardo B. Oliveira. sensys 2017: [doi]
Instruction visibility in SPEC CPU2017Andrei Rimsa Álvares, José Nelson Amaral, Fernando Magno Quintão Pereira. JCL (JVLC), 66:101062, 2021. [doi]
Runtime pointer disambiguationPéricles Alves, Fabian Gruber, Johannes Doerfert, Alexandros Lamprineas, Tobias Grosser, Fabrice Rastello, Fernando Magno Quintão Pereira. OOPSLA 2015: 589-606 [doi]
Pointer disambiguation via strict inequalitiesMaroua Maalej, Vitor Paisante, Pedro Ramos, Laure Gonnord, Fernando Magno Quintão Pereira. CGO 2017: 134-147 [doi]
Register Allocation Via Coloring of Chordal GraphsFernando Magno Quintão Pereira, Jens Palsberg. aplas 2005: 315-329 [doi]
Aliased Register Allocation for Straight-Line Programs Is NP-CompleteJonathan K. Lee, Jens Palsberg, Fernando Magno Quintão Pereira. icalp 2007: 680-691 [doi]
Automatic parallelization of canonical loopsLeonardo Luiz Padovani da Mata, Fernando Magno Quintão Pereira, Renato Ferreira. SCP, 78(8):1193-1206, 2013. [doi]
Qubit allocation as a combination of subgraph isomorphism and token swappingMarcos Yukio Siraichi, Vinícius Fernandes dos Santos, Caroline Collange, Fernando Magno Quintão Pereira. PACMPL, 3(OOPSLA), 2019. [doi]
Profiling divergences in GPU applicationsBruno Coutinho, Diogo Sampaio, Fernando Magno Quintão Pereira, Wagner Meira Jr.. concurrency, 25(6):775-789, 2013. [doi]
Combining range and inequality information for pointer disambiguationMaroua Maalej, Vitor Paisante, Fernando Magno Quintão Pereira, Laure Gonnord. SCP, 152:161-184, 2018. [doi]
Divergence analysisDiogo Sampaio, Rafael Martins de Souza, Sylvain Collange, Fernando Magno Quintão Pereira. TOPLAS, 35(4):13, 2013. [doi]
A Comparative Study on the Accuracy and the Speed of Static and Dynamic Program ClassifiersAnderson Faustino da Silva, Jerónimo Castrillón, Fernando Magno Quintão Pereira. CC 2025: 13-24 [doi]
Automatic Inference of Loop Complexity Through Polynomial InterpolationFrancisco Demontiê, Junio Cezar, Mariza Andrade da Silva Bigonha, Frederico Campos, Fernando Magno Quintão Pereira. SBLP 2015: 1-15 [doi]
A polynomial time exact solution to the bit-aware register binding problemMichael Canesche, Ricardo S. Ferreira, José Augusto Miranda Nacif, Fernando Magno Quintão Pereira. CC 2022: 29-40 [doi]
A Coordination Model for ad hoc Mobile SystemsMarco Tulio de Oliveira Valente, Fernando Magno Quintão Pereira, Roberto da Silva Bigonha, Mariza Andrade da Silva Bigonha. europar 2003: 1074-1081 [doi]
Proceedings of the Workshop Dedicated to Jens Palsberg on the Occasion of His 60th Birthday, JENSFEST 2024, Pasadena, CA, USA, 22 October 2024Mayur Naik, Fernando Magno Quintão Pereira, Ben L. Titzer, editors, ACM, 2024. [doi]
Divergence Analysis and OptimizationsBruno Coutinho, Diogo Sampaio, Fernando Magno Quintão Pereira, Wagner Meira Jr.. IEEEpact 2011: 320-329 [doi]
Static placement of computation on heterogeneous devicesGabriel Poesia, Breno Campos Ferreira Guimarães, Fabricio Ferracioli, Fernando Magno Quintão Pereira. PACMPL, 1(OOPSLA), 2017. [doi]
The Dinamica Virtual Machine for GeosciencesBruno Morais Ferreira, Britaldo Silveira Soares-Filho, Fernando Magno Quintão Pereira. SBLP 2015: 44-58 [doi]
Data Coherence Analysis and Optimization for Heterogeneous ComputingRafael Cardoso Fernandes Sousa, Marcio Machado Pereira, Fernando Magno Quintão Pereira, Guido Araujo. sbac-pad 2017: 9-16 [doi]
A Framework for End-to-End Verification and Evaluation of Register AllocatorsV. Krishna Nandivada, Fernando Magno Quintão Pereira, Jens Palsberg. SAS 2007: 153-169 [doi]
Memory-Safe Elimination of Side ChannelsLuigi Soares, Fernando Magno Quintão Pereira. CGO 2021: 200-210 [doi]
Automatic annotation of tasks in structured codePedro Ramos, Gleison Souza Diniz Mendonca, Divino Soares, Guido Araújo, Fernando Magno Quintão Pereira. IEEEpact 2018: [doi]
Performance Debugging of GPGPU Applications with the Divergence MapBruno Coutinho, Diogo Sampaio, Fernando Magno Quintão Pereira, Wagner Meira Jr.. sbac-pad 2010: 33-40 [doi]
VESPA: static profiling for binary optimizationAngelica Aparecida Moreira, Guilherme Ottoni, Fernando Magno Quintão Pereira. PACMPL, 5(ICFP):1-28, 2021. [doi]
Dynamic dispatch of context-sensitive optimizationsGabriel Poesia, Fernando Magno Quintão Pereira. PACMPL, 4(OOPSLA), 2020. [doi]
The computer for the 21st century: present security & privacy challengesLeonardo B. Oliveira, Fernando Magno Quintão Pereira, Rafael Misoczki, Diego F. Aranha, Fábio Borges, Michele Nogueira, Michelle Wangham, Min Wu, Jie Liu. jisa, 9(1), 2018. [doi]
Taskminer: automatic identification of tasksPedro Ramos, Gleison Souza Diniz Mendonca, Guilherme V. Leobas, Fernando Magno Quintão Pereira. SBLP 2018: 11-18 [doi]
Selected papers of the Brazilian Symposium on Programming Languages 2014 (SBLP'14)Fernando Magno Quintão Pereira. SCP, 119:1-2, 2016. [doi]
Divergence Analysis with Affine ConstraintsDiogo Sampaio, Rafael Martins, Sylvain Collange, Fernando Magno Quintão Pereira. sbac-pad 2012: 67-74 [doi]
ANGHABENCH: A Suite with One Million Compilable C Benchmarks for Code-Size ReductionAnderson Faustino da Silva, Bruno Conde Kind, José Wesley de Souza Magalhães, Jerônimo Nunes Rocha, Breno Campos Ferreira Guimarães, Fernando Magno Quintão Pereira. CGO 2021: 378-390 [doi]
Efficient static checker for tainted variable attacksAndrei Rimsa, Marcelo d'Amorim, Fernando Magno Quintão Pereira, Roberto da Silva Bigonha. SCP, 80:91-105, 2014. [doi]
Register allocation by puzzle solvingFernando Magno Quintão Pereira, Jens Palsberg. PLDI 2008: 216-226 [doi]
Dynamic Elimination of Overflow Tests in a Trace CompilerRodrigo Sol, Christophe Guillon, Fernando Magno Quintão Pereira, Mariza Andrade da Silva Bigonha. CC 2011: 2-21 [doi]
Exploring the space of optimization sequences for code-size reduction: insights and toolsAnderson Faustino da Silva, Bernardo N. B. de Lima, Fernando Magno Quintão Pereira. CC 2021: 47-58 [doi]
The Computer for the 21st Century: Security & Privacy Challenges after 25 YearsLeonardo B. Oliveira, Fernando Magno Quintão Pereira, Rafael Misoczki, Diego F. Aranha, Fábio Borges, Jie Liu. icccn 2017: 1-10 [doi]
Program representations for predictive compilation: State of affairs in the early 20'sAnderson Faustino da Silva, Edson Borin, Fernando Magno Quintão Pereira, Nilton Luiz Queiroz Junior, Otávio Oliveira Napoli. JCL (JVLC), 73:101171, 2022. [doi]
Detection and treatment of string events in the limitAlexander Holmquist, Vitor Emanuel, Fernando C. Alves, Fernando Magno Quintão Pereira. JCL (JVLC), 81:101299, 2024. [doi]
Speed and Precision in Range AnalysisVictor Hugo Sperle Campos, Raphael Ernani Rodrigues, Igor Rafael de Assis Costa, Fernando Magno Quintão Pereira. SBLP 2012: 42-56 [doi]
The Dinamica EGO virtual machineBruno Morais Ferreira, Britaldo Silveira Soares-Filho, Fernando Magno Quintão Pereira. SCP, 173:3-20, 2019. [doi]
Aliased register allocation for straight-line programs is NP-completeJonathan K. Lee, Jens Palsberg, Fernando Magno Quintão Pereira. TCS, 407(1-3):258-273, 2008. [doi]
Validation of memory accesses through symbolic analysesHenrique Nazaré, Izabela Maffra, Willer Santos, Leonardo Barbosa, Laure Gonnord, Fernando Magno Quintão Pereira. OOPSLA 2014: 791-809 [doi]
Register Allocation After Classical SSA Elimination is NP-CompleteFernando Magno Quintão Pereira, Jens Palsberg. fossacs 2006: 79-93 [doi]
Data-flow analysis and optimization for data coherence in heterogeneous architecturesRafael C. F. Sousa, Marcio Machado Pereira, Fernando Magno Quintão Pereira, Guido Araujo. jpdc, 130:126-139, 2019. [doi]
Inference of peak density of indirect branches to detect ROP attacksMateus Tymburibá, Rubens E. A. Moreira, Fernando Magno Quintão Pereira. CGO 2016: 150-159 [doi]
JetsonLeap: A Framework to Measure Energy-Aware Code Optimizations in Embedded and Heterogeneous SystemsTarsila Bessa, Pedro Quintão, Michael Frank, Fernando Magno Quintão Pereira. SBLP 2016: 16-30 [doi]
Automatic inspection of program state in an uncooperative environmentJosé Wesley de Souza Magalhães, Chunhua Liao, Fernando Magno Quintão Pereira. SPE, 52(12):2727-2758, 2022. [doi]
JetsonLEAP: A framework to measure power on a heterogeneous system-on-a-chip deviceTarsila Bessa, Christopher J. Gull, Pedro Quintão, Michael Frank, José Augusto Miranda Nacif, Fernando Magno Quintão Pereira. SCP, 173:21-36, 2019. [doi]
Tainted Flow Analysis on e-SSA-Form ProgramsAndrei Rimsa, Marcelo d Amorim, Fernando Magno Quintão Pereira. CC 2011: 124-143 [doi]
Automatic Synthesis of Specialized Hash FunctionsRenato B. Hoffmann, Leonardo G. Faé, Dalvan Griebler, Xinliang David Li, Fernando Magno Quintão Pereira. CGO 2025: 317-330 [doi]
Sparse representation of implicit flows with applications to side-channel detectionBruno Rodrigues, Fernando Magno Quintão Pereira, Diego F. Aranha. CC 2016: 110-120 [doi]
On-line synthesis of parsers for string eventsJoão Saffran, Haniel Barbosa, Fernando Magno Quintão Pereira, Srinivas Vladamani. JCL (JVLC), 62:101022, 2021. [doi]
DawnCC: Automatic Annotation for Data Parallelism and OffloadingGleison Souza Diniz Mendonca, Breno Campos Ferreira Guimaraes, Péricles Alves, Marcio Machado Pereira, Guido Araujo, Fernando Magno Quintão Pereira. taco, 14(2), 2017. [doi]
SIoT: Securing Internet of Things through distributed systems analysisFernando Augusto Teixeira, Fernando Magno Quintão Pereira, Hao Chi Wong, José Marcos S. Nogueira, Leonardo B. Oliveira. fgcs, 92:1172-1186, 2019. [doi]
Impacto de Ofuscadores e Otimizadores de Código na Acurácia de Classificadores de ProgramasThaís Damásio, Michael Canesche, Vinícius Pacheco, Anderson Faustino da Silva, Fernando Magno Quintão Pereira. SBLP 2022: 68-75 [doi]
An Algebraic Framework for Parallelizing Recurrence in Functional ProgrammingRodrigo C. O. Rocha, Luís Fabrício Wanderley Góes, Fernando Magno Quintão Pereira. SBLP 2016: 140-155 [doi]
Hapi: A domain-specific language for the declaration of access policiesVinícius Julião Ramos, Alexander Holmquist, Fernando Magno Quintão Pereira. JCL (JVLC), 72:101153, 2022. [doi]
Lushu: Ofuscação de Dados Sigilosos via Reconhecimento de Linguagens a partir de ExemplosAlexander Holmquist, Vitor Emanuel, Fernando Magno Quintão Pereira. SBLP 2023: 91-98 [doi]
Inference of static semantics for incomplete C programsLeandro T. C. Melo, Rodrigo G. Ribeiro, Marcus R. de Araújo, Fernando Magno Quintão Pereira. PACMPL, 2(POPL), 2018. [doi]
Thread scheduling and memory coalescing for dynamic vectorization of SPMD workloadsTeo Milanez, Sylvain Collange, Fernando Magno Quintão Pereira, Wagner Meira Jr., Renato Ferreira. pc, 40(9):548-558, 2014. [doi]
New Optimization Sequences for Code-Size Reduction for the LLVM Compilation InfrastructureAnderson Faustino da Silva, Edson Borin, Fernando Magno Quintão Pereira, Otávio Oliveira Napoli, Vanderson Martins do Rosário. SBLP 2021: 33-40 [doi]
The Essence of the Flyweight Design PatternFernando Magno Quintão Pereira, Caio Raposo. BIRTHDAY 2024: 30-38 [doi]
Honey Potion: An eBPF Backend for ElixirKael Soares Augusto, Vinícius Pacheco, Marcos A. Vieira, Rodrigo Geraldo Ribeiro, Fernando Magno Quintão Pereira. CGO 2025: 660-674 [doi]
SSA Elimination after Register AllocationFernando Magno Quintão Pereira, Jens Palsberg. CC 2009: 158-173 [doi]
Restrictification of function argumentsVictor Hugo Sperle Campos, Péricles Rafael Oliveira Alves, Henrique Nazaré Santos, Fernando Magno Quintão Pereira. CC 2016: 163-173 [doi]
Symbolic range analysis of pointersVitor Paisante, Maroua Maalej, Leonardo Barbosa, Laure Gonnord, Fernando Magno Quintão Pereira. CGO 2016: 171-181 [doi]
Reducing the Overhead of Exact Profiling by Reusing Affine VariablesLeon Frenot, Fernando Magno Quintão Pereira. CC 2024: 150-161 [doi]
Optimizing a Geomodeling Domain Specific LanguageBruno Morais Ferreira, Fernando Magno Quintão Pereira, Hermann Rodrigues, Britaldo Silveira Soares-Filho. SBLP 2012: 87-101 [doi]
The Language LinF for Fractal SpecificationFernando Magno Quintão Pereira, Leonardo T. Rolla, Cristiano G. Rezende, Rodrigo L. Carceroni. sibgrapi 2003: 67-74 [doi]
Just-in-time value specializationIgor Rafael de Assis Costa, Péricles Rafael Oliveira Alves, Henrique Nazare Santos, Fernando Magno Quintão Pereira. CGO 2013: 1-11 [doi]
Type Inference for C: Applications to the Static Analysis of Incomplete ProgramsLeandro T. C. Melo, Rodrigo Geraldo Ribeiro, Breno Campos Ferreira Guimarães, Fernando Magno Quintão Pereira. TOPLAS, 42(3), 2020. [doi]
Tactics for Remote Method InvocationFernando Magno Quintão Pereira, Marco Tulio de Oliveira Valente, Wagner Salazar Pires, Roberto da Silva Bigonha, Mariza Andrade da Silva Bigonha. jucs, 10(7):824-842, 2004. [doi]
Just-in-time value specializationIgor Rafael de Assis Costa, Henrique Nazare Santos, Péricles Rafael Oliveira Alves, Fernando Magno Quintão Pereira. Comp. Lang., Syst. \& Struct., 40(2):37-52, 2014. [doi]
Parameter Based Constant PropagationPéricles Rafael Oliveira Alves, Igor Rafael de Assis Costa, Fernando Magno Quintão Pereira, Eduardo Lage Figueiredo. SBLP 2012: 57-71 [doi]
Efficient and Precise Dynamic Construction of Control Flow GraphsAndrei Rimsa, José Nelson Amaral, Fernando Magno Quintão Pereira. SBLP 2019: 19-26 [doi]
Semiring optimizations: dynamic elision of expressions with identity and absorbing elementsGuilherme V. Leobas, Fernando Magno Quintão Pereira. PACMPL, 4(OOPSLA), 2020. [doi]
A Game-Based Framework to Compare Program Classifiers and EvadersThaís Damásio, Michael Canesche, Vinícius Pacheco, Marcus Botacin, Anderson Faustino da Silva, Fernando Magno Quintão Pereira. CGO 2023: 108-121 [doi]
A case for a fast trip count predictorPéricles Rafael Oliveira Alves, Raphael Ernani Rodrigues, Rafael Martins de Souza, Fernando Magno Quintão Pereira. ipl, 115(2):146-150, 2015. [doi]
Demand-driven less-than analysisJunio Cezar R. da Silva, Fernando Magno Quintão Pereira. SBLP 2017: [doi]
Automatic Insertion of Copy Annotation in Data-Parallel ProgramsGleison Souza Diniz Mendonca, Breno Campos Ferreira Guimaraes, Péricles Rafael Oliveira Alves, Fernando Magno Quintão Pereira, Marcio Machado Pereira, Guido Araujo. sbac-pad 2016: 34-41 [doi]
Spill Code Placement for SIMD MachinesDiogo Nunes Sampaio, Elie Gedeon, Fernando Magno Quintão Pereira, Sylvain Collange. SBLP 2012: 12-26 [doi]
Static Prediction of Silent StoresFernando Magno Quintão Pereira, Guilherme V. Leobas, Abdoulaye Gamatié. taco, 15(4), 2019. [doi]
Fusion of Operators of Computational Graphs via Greedy Clustering: The XNNC ExperienceMichael Canesche, Vanderson Martins do Rosario, Edson Borin, Fernando Magno Quintão Pereira. CC 2025: 117-127 [doi]
Function Call Re-VectorizationRubens E. A. Moreira, Sylvain Collange, Fernando Magno Quintão Pereira. ppopp 2017: 313-326 [doi]
Lazy Evaluation for the Lazy: Automatically Transforming Call-by-Value into Call-by-NeedBreno Campos Ferreira Guimarães, Fernando Magno Quintão Pereira. CC 2023: 239-249 [doi]
Qubit allocationMarcos Yukio Siraichi, Vinícius Fernandes dos Santos, Sylvain Collange, Fernando Magno Quintão Pereira. CGO 2018: 113-125 [doi]
Fusion of Calling SitesDouglas do Couto Teixeira, Sylvain Collange, Fernando Magno Quintão Pereira. sbac-pad 2015: 90-97 [doi]
Multilayer ROP Protection Via Microarchitectural Units Available in Commodity HardwareMateus Tymburibá, Hugo Sousa, Fernando Magno Quintão Pereira. dsn 2019: 315-327 [doi]
Compiler-assisted adaptive program scheduling in big.LITTLE systems: posterMarcelo Novaes, Vinicius Petrucci, Abdoulaye Gamatié, Fernando Magno Quintão Pereira. ppopp 2019: 429-430 [doi]
A fast and low-overhead technique to secure programs against integer overflowsRaphael Ernani Rodrigues, Victor Hugo Sperle Campos, Fernando Magno Quintão Pereira. CGO 2013: 1-11 [doi]
A Compiler-Centric Infra-Structure for Whole-Board Energy Measurement on Heterogeneous Android SystemsJunio Cezar Ribeiro da Silva, Fernando Magno Quintão Pereira, Michael Frank, Abdoulaye Gamatié. recosoc 2018: 1-8 [doi]
Automatic parallelization of recursive functions with rewriting rulesRodrigo C. O. Rocha, Luís F. W. Góes, Fernando Magno Quintão Pereira. SCP, 173:128-152, 2019. [doi]
Data and Instruction Uniformity in Minimal Multi-threadingTeo Milanez, Sylvain Collange, Fernando Magno Quintão Pereira, Wagner Meira Jr., Renato Ferreira. sbac-pad 2012: 270-277 [doi]
From Java to FPGA: An Experience with the Intel HARP SystemPedro Caldeira, Jeronimo Costa Penha, Lucas Bragança, Ricardo Ferreira, José Augusto Miranda Nacif, Renato Ferreira, Fernando Magno Quintão Pereira. sbac-pad 2018: 17-24 [doi]
Programming Languages - 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. ProceedingsFernando Magno Quintão Pereira, editor, Volume 8771 of Lecture Notes in Computer Science, Springer, 2014. [doi]
The Droplet Search Algorithm for Kernel SchedulingMichael Canesche, Vanderson Martins do Rosário, Edson Borin, Fernando Magno Quintão Pereira. taco, 21(2):35, June 2024. [doi]
SMOV: Array Bound-Check and access in a single instructionAntonio Maia, Leandro Melo, Fernando Magno Quintão Pereira, Omar P. Vilela Neto, Leonardo B. Oliveira. ccnc 2016: 745-751 [doi]
Side-channel Elimination via Partial Control-flow LinearizationLuigi Soares, Michael Canesche, Fernando Magno Quintão Pereira. TOPLAS, 45(2), June 2023. [doi]
Defending Code from the Internet of Things against Buffer OverflowFernando Augusto Teixeira, Gustavo V. Machado, Pablo M. Fonseca, Fernando Magno Quintão Pereira, Hao Chi Wong, José Marcos S. Nogueira, Leonardo B. Oliveira. sbrc 2014: 293-301 [doi]
Guided just-in-time specializationCaio Lima, Junio Cezar R. da Silva, Guilherme V. Leobas, Erven Rohou, Fernando Magno Quintão Pereira. SCP, 185, 2020. [doi]
Static Single Information FormFernando Magno Quintão Pereira, Fabrice Rastello. In Fabrice Rastello, Florent Bouchez-Tichadou, editors, SSA-based Compiler Design. pages 165-184, Springer, 2022. [doi]
SIoT: securing the internet of things through distributed system analysisFernando Augusto Teixeira, Gustavo V. Machado, Fernando Magno Quintão Pereira, Hao Chi Wong, José Marcos S. Nogueira, Leonardo B. Oliveira. ipsn 2015: 310-321 [doi]
Decoupled graph-coloring register allocation with hierarchical aliasingAndre Luiz Camargos Tavares, Quentin Colombet, Mariza Andrade da Silva Bigonha, Christophe Guillon, Fernando Magno Quintão Pereira, Fabrice Rastello. scopes 2011: 1-10 [doi]
A Class of Programs that Admit Exact Complexity Analysis via Newton?s Polynomial InterpolationRafael Sumitani, Lucas Silva, Frederico Campos, Fernando Magno Quintão Pereira. SBLP 2023: 50-55 [doi]
YACOS: a Complete Infrastructure to the Design and Exploration of Code Optimization SequencesAndré Felipe Zanella, Anderson Faustino da Silva, Fernando Magno Quintão Pereira. SBLP 2020: 56-63 [doi]

All Publications

Filter by Year

Filter by Type

Filter by Topic

Filter by Venue

Filter by Co-author

Filter by Top terms

Download

External Links

Profile Name

Statistics

Aliases

Researchr

Fernando Magno Quintão Pereira's Profile

Unidentified Publications