| Practical Dynamic Reconstruction Of Control Flow Graphs | 0 | 0.34 | 2021 |
| Mapping Computations in Heterogeneous Multicore Systems with Statistical Regression on Inputs | 0 | 0.34 | 2020 |
| Data-flow analysis and optimization for data coherence in heterogeneous architectures | 1 | 0.40 | 2019 |
| SIoT: Securing Internet of Things through distributed systems analysis. | 5 | 0.41 | 2019 |
| Automatic parallelization of recursive functions with rewriting rules | 0 | 0.34 | 2019 |
| From Java to FPGA: An Experience with the Intel HARP System | 0 | 0.34 | 2018 |
| The computer for the 21st century: present security & privacy challenges. | 1 | 0.38 | 2018 |
| Data Coherence Analysis and Optimization for Heterogeneous Computing | 0 | 0.34 | 2017 |
| Proof-Carrying Sensing: Towards Real-World Authentication in Cyber-Physical Systems | 0 | 0.34 | 2017 |
| JetsonLEAP: a Framework to Measure Power on a Heterogeneous System-on-a-Chip Device. | 0 | 0.34 | 2017 |
| Function Call Re-Vectorization. | 0 | 0.34 | 2017 |
| Smov: Array Bound-Check And Access In A Single Instruction | 0 | 0.34 | 2016 |
| Automatic Insertion of Copy Annotation in Data-Parallel Programs | 0 | 0.34 | 2016 |
| Sparse representation of implicit flows with applications to side-channel detection. | 16 | 0.65 | 2016 |
| Selected papers of the Brazilian Symposium on Programming Languages 2014 (SBLP'14). | 0 | 0.34 | 2016 |
| Restrictification of function arguments. | 3 | 0.39 | 2016 |
| Inference of peak density of indirect branches to detect ROP attacks. | 1 | 0.35 | 2016 |
| SIoT: securing the internet of things through distributed system analysis | 7 | 0.44 | 2015 |
| The Dinamica Virtual Machine for Geosciences. | 2 | 0.36 | 2015 |
| Fusion of Calling Sites | 0 | 0.34 | 2015 |
| Runtime pointer disambiguation | 7 | 0.47 | 2015 |
| A case for a fast trip count predictor. | 2 | 0.37 | 2015 |
| Thread scheduling and memory coalescing for dynamic vectorization of SPMD workloads. | 4 | 0.43 | 2014 |
| Efficient static checker for tainted variable attacks | 5 | 0.41 | 2014 |
| Just-in-time value specialization. | 3 | 0.42 | 2014 |
| Compiler support for selective page migration in NUMA architectures | 18 | 0.55 | 2014 |
| Divergence analysis | 2 | 0.38 | 2013 |
| Automatic parallelization of canonical loops | 3 | 0.37 | 2013 |
| Profiling divergences in GPU applications. | 5 | 0.44 | 2013 |
| Parameter based constant propagation | 0 | 0.34 | 2012 |
| Spill code placement for SIMD machines | 4 | 0.45 | 2012 |
| Optimizing a geomodeling domain specific language | 3 | 0.39 | 2012 |
| Speed and precision in range analysis | 4 | 0.48 | 2012 |
| Decoupled graph-coloring register allocation with hierarchical aliasing | 1 | 0.36 | 2011 |
| Dynamic elimination of overflow tests in a trace compiler | 7 | 0.48 | 2011 |
| Tainted flow analysis on e-SSA-form programs | 4 | 0.43 | 2011 |
| Performance Debugging of GPGPU Applications with the Divergence Map | 3 | 0.42 | 2010 |
| Energy Per Useful Packet Optimization on a TDMA WSN Channel | 2 | 0.38 | 2010 |
| SSA Elimination after Register Allocation | 7 | 0.48 | 2009 |
| Register allocation by puzzle solving | 29 | 1.00 | 2008 |
| Aliased register allocation for straight-line programs is NP-complete | 7 | 0.45 | 2008 |
| A framework for end-to-end verification and evaluation of register allocators | 7 | 0.44 | 2007 |
| Register allocation after classical SSA elimination is NP-Complete | 12 | 0.66 | 2006 |
| Arcademis: a framework for object-oriented communication middleware development | 10 | 0.65 | 2006 |
| Register allocation via coloring of chordal graphs | 29 | 0.97 | 2005 |
| A Coordination Model for ad hoc Mobile Systems | 2 | 0.37 | 2003 |
