Fernando Magno Quintão Pereira

According to our database1, Fernando Magno Quintão Pereira authored at least 87 papers between 2003 and 2021.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
Practical dynamic reconstruction of control flow graphs.
Softw. Pract. Exp., 2021

Exploring the space of optimization sequences for code-size reduction: insights and tools.
Proceedings of the CC '21: 30th ACM SIGPLAN International Conference on Compiler Construction, 2021

2020
Type Inference for C: Applications to the Static Analysis of Incomplete Programs.
ACM Trans. Program. Lang. Syst., 2020

Guided just-in-time specialization.
Sci. Comput. Program., 2020

Dynamic dispatch of context-sensitive optimizations.
Proc. ACM Program. Lang., 2020

Semiring optimizations: dynamic elision of expressions with identity and absorbing elements.
Proc. ACM Program. Lang., 2020

Mapping Computations in Heterogeneous Multicore Systems with Statistical Regression on Inputs.
Proceedings of the X Brazilian Symposium on Computing Systems Engineering, 2020

AutoParBench: a unified test framework for OpenMP-based parallelizers.
Proceedings of the ICS '20: 2020 International Conference on Supercomputing, 2020

2019
Static Prediction of Silent Stores.
ACM Trans. Archit. Code Optim., 2019

Automatic parallelization of recursive functions with rewriting rules.
Sci. Comput. Program., 2019

The Dinamica EGO virtual machine.
Sci. Comput. Program., 2019

JetsonLEAP: A framework to measure power on a heterogeneous system-on-a-chip device.
Sci. Comput. Program., 2019

Qubit allocation as a combination of subgraph isomorphism and token swapping.
Proc. ACM Program. Lang., 2019

Data-flow analysis and optimization for data coherence in heterogeneous architectures.
J. Parallel Distributed Comput., 2019

SIoT: Securing Internet of Things through distributed systems analysis.
Future Gener. Comput. Syst., 2019

Compiler-assisted Adaptive Program Scheduling in big.LITTLE Systems.
CoRR, 2019

Efficient and Precise Dynamic Construction of Control Flow Graphs.
Proceedings of the XXIII Brazilian Symposium on Programming Languages, 2019

Synthesis of Benchmarks for the C Programming Language by Mining Software Repositories.
Proceedings of the XXIII Brazilian Symposium on Programming Languages, 2019

Compiler-assisted adaptive program scheduling in big.LITTLE systems: poster.
Proceedings of the 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2019

Multilayer ROP Protection Via Microarchitectural Units Available in Commodity Hardware.
Proceedings of the 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2019

Generation of In-Bounds Inputs for Arrays in Memory-Unsafe Languages.
Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2019

2018
Combining range and inequality information for pointer disambiguation.
Sci. Comput. Program., 2018

Inference of static semantics for incomplete C programs.
Proc. ACM Program. Lang., 2018

The computer for the 21st century: present security & privacy challenges.
J. Internet Serv. Appl., 2018

Taskminer: automatic identification of tasks.
Proceedings of the XXII Brazilian Symposium on Programming Languages, 2018

More than meets the eye: invisible instructions.
Proceedings of the XXII Brazilian Symposium on Programming Languages, 2018

From Java to FPGA: An Experience with the Intel HARP System.
Proceedings of the 30th International Symposium on Computer Architecture and High Performance Computing, 2018

A Compiler-Centric Infra-Structure for Whole-Board Energy Measurement on Heterogeneous Android Systems.
Proceedings of the 13th International Symposium on Reconfigurable Communication-centric Systems-on-Chip, 2018

Qubit allocation.
Proceedings of the 2018 International Symposium on Code Generation and Optimization, 2018

Automatic annotation of tasks in structured code.
Proceedings of the 27th International Conference on Parallel Architectures and Compilation Techniques, 2018

2017
DawnCC: Automatic Annotation for Data Parallelism and Offloading.
ACM Trans. Archit. Code Optim., 2017

Static placement of computation on heterogeneous devices.
Proc. ACM Program. Lang., 2017

Proof-Carrying Sensing: Towards Real-World Authentication in Cyber-Physical Systems.
Proceedings of the 15th ACM Conference on Embedded Network Sensor Systems, 2017

Demand-driven less-than analysis.
Proceedings of the 21st Brazilian Symposium on Programming Languages, 2017

Data Coherence Analysis and Optimization for Heterogeneous Computing.
Proceedings of the 29th International Symposium on Computer Architecture and High Performance Computing, 2017

Function Call Re-Vectorization.
Proceedings of the 22nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2017

The Computer for the 21st Century: Security & Privacy Challenges after 25 Years.
Proceedings of the 26th International Conference on Computer Communication and Networks, 2017

Pointer disambiguation via strict inequalities.
Proceedings of the 2017 International Symposium on Code Generation and Optimization, 2017

2016
Selected papers of the Brazilian Symposium on Programming Languages 2014 (SBLP'14).
Sci. Comput. Program., 2016

An Algebraic Framework for Parallelizing Recurrence in Functional Programming.
Proceedings of the Programming Languages - 20th Brazilian Symposium, 2016

JetsonLeap: A Framework to Measure Energy-Aware Code Optimizations in Embedded and Heterogeneous Systems.
Proceedings of the Programming Languages - 20th Brazilian Symposium, 2016

Automatic Insertion of Copy Annotation in Data-Parallel Programs.
Proceedings of the 28th International Symposium on Computer Architecture and High Performance Computing, 2016

Inference of peak density of indirect branches to detect ROP attacks.
Proceedings of the 2016 International Symposium on Code Generation and Optimization, 2016

Symbolic range analysis of pointers.
Proceedings of the 2016 International Symposium on Code Generation and Optimization, 2016

SMOV: Array Bound-Check and access in a single instruction.
Proceedings of the 13th IEEE Annual Consumer Communications & Networking Conference, 2016

Sparse representation of implicit flows with applications to side-channel detection.
Proceedings of the 25th International Conference on Compiler Construction, 2016

Restrictification of function arguments.
Proceedings of the 25th International Conference on Compiler Construction, 2016

2015
A case for a fast trip count predictor.
Inf. Process. Lett., 2015

The Dinamica Virtual Machine for Geosciences.
Proceedings of the Programming Languages, 2015

Automatic Inference of Loop Complexity Through Polynomial Interpolation.
Proceedings of the Programming Languages, 2015

Fusion of Calling Sites.
Proceedings of the 27th International Symposium on Computer Architecture and High Performance Computing, 2015

Runtime pointer disambiguation.
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

SIoT: securing the internet of things through distributed system analysis.
Proceedings of the 14th International Conference on Information Processing in Sensor Networks, 2015

2014
Efficient static checker for tainted variable attacks.
Sci. Comput. Program., 2014

Thread scheduling and memory coalescing for dynamic vectorization of SPMD workloads.
Parallel Comput., 2014

Just-in-time value specialization.
Comput. Lang. Syst. Struct., 2014

Defending Code from the Internet of Things against Buffer Overflow.
Proceedings of the 2014 Brazilian Symposium on Computer Networks and Distributed Systems, 2014

Validation of memory accesses through symbolic analyses.
Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

Parameterized Construction of Program Representations for Sparse Dataflow Analyses.
Proceedings of the Compiler Construction - 23rd International Conference, 2014

Compiler support for selective page migration in NUMA architectures.
Proceedings of the International Conference on Parallel Architectures and Compilation, 2014

2013
Divergence analysis.
ACM Trans. Program. Lang. Syst., 2013

Automatic parallelization of canonical loops.
Sci. Comput. Program., 2013

Profiling divergences in GPU applications.
Concurr. Comput. Pract. Exp., 2013

A fast and low-overhead technique to secure programs against integer overflows.
Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation and Optimization, 2013

2012
Spill Code Placement for SIMD Machines.
Proceedings of the Programming Languages - 16th Brazilian Symposium, 2012

Optimizing a Geomodeling Domain Specific Language.
Proceedings of the Programming Languages - 16th Brazilian Symposium, 2012

Speed and Precision in Range Analysis.
Proceedings of the Programming Languages - 16th Brazilian Symposium, 2012

Parameter Based Constant Propagation.
Proceedings of the Programming Languages - 16th Brazilian Symposium, 2012

Divergence Analysis with Affine Constraints.
Proceedings of the IEEE 24th International Symposium on Computer Architecture and High Performance Computing, 2012

Data and Instruction Uniformity in Minimal Multi-threading.
Proceedings of the IEEE 24th International Symposium on Computer Architecture and High Performance Computing, 2012

2011
Decoupled graph-coloring register allocation with hierarchical aliasing.
Proceedings of the 14th International Workshop on Software and Compilers for Embedded Systems, 2011

Dynamic Elimination of Overflow Tests in a Trace Compiler.
Proceedings of the Compiler Construction - 20th International Conference, 2011

Tainted Flow Analysis on e-SSA-Form Programs.
Proceedings of the Compiler Construction - 20th International Conference, 2011

Divergence Analysis and Optimizations.
Proceedings of the 2011 International Conference on Parallel Architectures and Compilation Techniques, 2011

2010
Performance Debugging of GPGPU Applications with the Divergence Map.
Proceedings of the 22st International Symposium on Computer Architecture and High Performance Computing, 2010

Punctual Coalescing.
Proceedings of the Compiler Construction, 19th International Conference, 2010

2009
Wave Propagation and Deep Propagation for Pointer Analysis.
Proceedings of the CGO 2009, 2009

SSA Elimination after Register Allocation.
Proceedings of the Compiler Construction, 18th International Conference, 2009

2008
Aliased register allocation for straight-line programs is NP-complete.
Theor. Comput. Sci., 2008

Register allocation by puzzle solving.
Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008

2007
A Framework for End-to-End Verification and Evaluation of Register Allocators.
Proceedings of the Static Analysis, 14th International Symposium, 2007

2006
Arcademis: a framework for object-oriented communication middleware development.
Softw. Pract. Exp., 2006

Register Allocation After Classical SSA Elimination is NP-Complete.
Proceedings of the Foundations of Software Science and Computation Structures, 2006

2005
Register Allocation Via Coloring of Chordal Graphs.
Proceedings of the Programming Languages and Systems, Third Asian Symposium, 2005

2004
Tactics for Remote Method Invocation.
J. Univers. Comput. Sci., 2004

2003
The Language LinF for Fractal Specification.
Proceedings of the 16th Brazilian Symposium on Computer Graphics and Image Processing (SIBGRAPI 2003), 2003

A Coordination Model for ad hoc Mobile Systems.
Proceedings of the Euro-Par 2003. Parallel Processing, 2003


  Loading...