Christian Wimmer

Hugo E. Hernández-Figueroa

Karin K. De Vicente

João Machado

Proceedings of the IGARSS 2024, 2024

2023

Comparing Rapid Type Analysis with Points-To Analysis in GraalVM Native Image.

[BibT_eX]

[DOI]

Proceedings of the 20th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, 2023

2022

GNU Data Language 1.0: a free/libre and open-source drop-in replacement for IDL/PV-WAVE.

[BibT_eX]

[DOI]

J. Open Source Softw., December, 2022

2021

Compiler-assisted object inlining with value fields.

[BibT_eX]

[DOI]

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

GraalVM native image: large-scale static analysis for Java (keynote).

[BibT_eX]

[DOI]

Hugo E. Hernández-Figueroa

Proceedings of the VMIL 2021: Proceedings of the 13th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages, 2021

CompGen: generation of fast JIT compilers in a multi-language VM.

[BibT_eX]

[DOI]

Proceedings of the DLS 2021: Proceedings of the 17th ACM SIGPLAN International Symposium on Dynamic Languages, 2021

2020

Drone-borne Differential SAR Interferometry.

[BibT_eX]

[DOI]

Remote. Sens., 2020

Scalable pointer analysis of data structures using semantic models.

[BibT_eX]

[DOI]

Pratik Fegade

Proceedings of the CC '20: 29th International Conference on Compiler Construction, 2020

2019

Initialize once, start fast: application initialization at build time.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2019

2017

Applying Optimizations for Dynamically-typed Languages to Java.

[BibT_eX]

[DOI]

Proceedings of the 14th International Conference on Managed Languages and Runtimes, 2017

Practical partial evaluation for high-performance dynamic language runtimes.

[BibT_eX]

[DOI]

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

Deforestation detection in Amazon rainforest with multitemporal X-band and p-band sar images using cross-coherences and superpixels.

[BibT_eX]

[DOI]

Rafael A. S. Rosa

Joao B. Nogueira

Proceedings of the 2017 IEEE International Geoscience and Remote Sensing Symposium, 2017

BMINSAR: A novel approach for InSAR phase denoising by clustering and block matching.

[BibT_eX]

[DOI]

Gustavo Hiroshi Xavier Shiroma

Fabio A. M. Cappabianco

Proceedings of the 2017 IEEE International Geoscience and Remote Sensing Symposium, 2017

One compiler: deoptimization to optimized code.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on Compiler Construction, 2017

2016

The Dual-Band PolInSAR Method for Forest Parametrization.

[BibT_eX]

[DOI]

João R. Moreira

Fabio Augusto Menocci Cappabianco

IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2016

Classification of Detected Changes From Multitemporal High-Res Xband SAR Images: Intensity and Texture Descriptors From SuperPixels.

[BibT_eX]

[DOI]

Jurandy Almeida

IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2016

The InSAeS4 Airborne X-Band Interferometric SAR System: A First Assessment on Its Imaging and Topographic Mapping Capabilities.

[BibT_eX]

[DOI]

Remote. Sens., 2016

Bringing low-level languages to the JVM: efficient execution of LLVM IR on Truffle.

[BibT_eX]

[DOI]

Proceedings of the 8th International Workshop on Virtual Machines and Intermediate Languages, 2016

Change detection under the forest in multitemporal full-polarimetric P-band SAR images using Pauli decomposition.

[BibT_eX]

[DOI]

Rafael A. S. Rosa

Joao B. Nogueira

Proceedings of the 2016 IEEE International Geoscience and Remote Sensing Symposium, 2016

Deforestation change detection using high-resolution multi-temporal X-Band SAR images and supervised learning classification.

[BibT_eX]

[DOI]

Fabio Augusto Menocci Cappabianco

Proceedings of the 2016 IEEE International Geoscience and Remote Sensing Symposium, 2016

2015

Phase Offset Calculation for Airborne InSAR DEM Generation Without Corner Reflectors.

[BibT_eX]

[DOI]

IEEE Trans. Geosci. Remote. Sens., 2015

Snippets: Taking the High Road to a Low Level.

[BibT_eX]

[DOI]

ACM Trans. Archit. Code Optim., 2015

Safe and efficient hybrid memory management for Java.

[BibT_eX]

[DOI]

Proceedings of the 2015 ACM SIGPLAN International Symposium on Memory Management, 2015

Automatic change detection in multitemporal X- and P-band SAR images using Gram-Schmidt process.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE International Geoscience and Remote Sensing Symposium, 2015

Performance assessment of the InSAeS4 interferometric products.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE International Geoscience and Remote Sensing Symposium, 2015

Time series of airborne DInSAR data over the Amazon flooded vegetation: Water level changes.

[BibT_eX]

[DOI]

Karlus A. C. de Macedo

Proceedings of the 2015 IEEE International Geoscience and Remote Sensing Symposium, 2015

Java-to-JavaScript translation via structured control flow reconstruction of compiler IR.

[BibT_eX]

[DOI]

Proceedings of the 11th Symposium on Dynamic Languages, 2015

2014

Trace transitioning and exception handling in a trace-based JIT compiler for java.

[BibT_eX]

[DOI]

ACM Trans. Archit. Code Optim., 2014

Comparing points-to static analysis with runtime recorded profiling data.

[BibT_eX]

[DOI]

Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, 2014

Combining dual-band capability and PolInSAR technique for forest ground and canopy estimation.

[BibT_eX]

[DOI]

Gustavo H. X. Shiroma

Karlus A. C. de Macedo

Proceedings of the 2014 IEEE Geoscience and Remote Sensing Symposium, 2014

TELAER airborne SAR system upgraded to the interferometrio mode: Flight test result.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE Geoscience and Remote Sensing Symposium, 2014

Highly accurate and precise airborne single-pass interferometry for DEM generation over challenging terrain.

[BibT_eX]

[DOI]

João R. Moreira

Proceedings of the 2014 IEEE Geoscience and Remote Sensing Symposium, 2014

A domain-specific language for building self-optimizing AST interpreters.

[BibT_eX]

[DOI]

Proceedings of the Generative Programming: Concepts and Experiences, 2014

2013

Maxine: An approachable virtual machine for, and in, java.

[BibT_eX]

[DOI]

Michael Haupt

Michael L. Van de Vanter

Mick J. Jordan

Laurent Daynès

Doug Simon

ACM Trans. Archit. Code Optim., 2013

Unrestricted and safe dynamic code evolution for Java.

[BibT_eX]

[DOI]

Lukas Stadler

Sci. Comput. Program., 2013

Context-sensitive trace inlining for Java.

[BibT_eX]

[DOI]

Comput. Lang. Syst. Struct., 2013

An algorithm for phase-offset evaluation in InSAR DEM generation.

[BibT_eX]

[DOI]

Proceedings of the SAR Image Analysis, 2013

Deriving code coverage information from profiling data recorded for a trace-based just-in-time compiler.

[BibT_eX]

[DOI]

Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, 2013

One VM to rule them all.

[BibT_eX]

[DOI]

Proceedings of the ACM Symposium on New Ideas in Programming and Reflections on Software, 2013

ZipPy on truffle: a fast and simple implementation of python.

[BibT_eX]

[DOI]

Stefan Brunthaler

Proceedings of the SPLASH'13, 2013

An intermediate representation for speculative optimizations in a dynamic compiler.

[BibT_eX]

[DOI]

Proceedings of the VMIL@SPLASH '13: Proceedings of the 7th ACM workshop on Virtual machines and intermediate languages, 2013

A method for InSAR phase-offset calculation without using ground control points.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE International Geoscience and Remote Sensing Symposium, 2013

Precise azimuth-to-frequency mapping for effective and efficient compensation of motion errors in airborne SAR.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE International Geoscience and Remote Sensing Symposium, 2013

Automatic construction of inlining heuristics using machine learning.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation and Optimization, 2013

2012

Long-Term Airborne DInSAR Measurements at X- and P-Bands: A Case Study on the Application of Surveying Geohazard Threats to Pipelines.

[BibT_eX]

[DOI]

Karlus A. C. de Macedo

Wilson J. de Oliveira

IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2012

Evaluation of trace inlining heuristics for Java.

[BibT_eX]

[DOI]

Proceedings of the ACM Symposium on Applied Computing, 2012

Truffle: a self-optimizing runtime system.

[BibT_eX]

[DOI]

Proceedings of the SPLASH'12, 2012

Migration und Anpassung von Benutzeroberflächen für Touchscreens.

[BibT_eX]

[DOI]

Proceedings of the Mensch & Computer 2012: interaktiv informiert, 2012

Capabilities of the TELAER airborne SAR system upgraded to the multi-antenna mode.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE International Geoscience and Remote Sensing Symposium, 2012

Self-optimizing AST interpreters.

[BibT_eX]

[DOI]

Proceedings of the 8th Symposium on Dynamic Languages, 2012

Fine-grained modularity and reuse of virtual machine components.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Aspect-oriented Software Development, 2012

2011

Compiler-Generated Software Diversity.

[BibT_eX]

[DOI]

Todd Jackson

Babak Salamat

Andrei Homescu

Karthikeyan Manivannan

Proceedings of the Moving Target Defense, 2011

Runtime Defense against Code Injection Attacks Using Replicated Execution.

[BibT_eX]

[DOI]

IEEE Trans. Dependable Secur. Comput., 2011

Erratum to "Compact and Efficient Strings for Java" [Science of Computer Programming 75 (2010) 1077-1094].

[BibT_eX]

[DOI]

Sci. Comput. Program., 2011

Safe and atomic run-time code evolution for Java and its application to dynamic AOP.

[BibT_eX]

[DOI]

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Compartmental memory management in a modern web browser.

[BibT_eX]

[DOI]

Proceedings of the 10th International Symposium on Memory Management, 2011

Long-term airborne DInSAR measurements: P- and X-band cases.

[BibT_eX]

[DOI]

Dieter Lübeck

João R. Moreira

Lis M. L. Rabaco

Wilson J. de Oliveira

Proceedings of the 2011 IEEE International Geoscience and Remote Sensing Symposium, 2011

The impact of optional type information on jit compilation of dynamically typed languages.

[BibT_eX]

[DOI]

Proceedings of the 7th Symposium on Dynamic Languages, 2011

2010

Automatic feedback-directed object fusing.

[BibT_eX]

[DOI]

ACM Trans. Archit. Code Optim., 2010

Compact and efficient strings for Java.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2010

Dynamic code evolution for Java.

[BibT_eX]

[DOI]

Lukas Stadler

Proceedings of the 8th International Conference on Principles and Practice of Programming in Java, 2010

Efficient coroutines for the Java platform.

[BibT_eX]

[DOI]

Lukas Stadler

Proceedings of the 8th International Conference on Principles and Practice of Programming in Java, 2010

Trace-based compilation in execution environments without interpreters.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Principles and Practice of Programming in Java, 2010

Airborne DInSAR time series at X-Band.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Geoscience & Remote Sensing Symposium, 2010

Decentralized information flow control on a bare-metal JVM.

[BibT_eX]

[DOI]

Karthikeyan Manivannan

Proceedings of the 6th Cyber Security and Information Intelligence Research Workshop, 2010

Multi-variant program execution for vulnerability detection and analysis.

[BibT_eX]

[DOI]

Todd Jackson

Proceedings of the 6th Cyber Security and Information Intelligence Research Workshop, 2010

Linear scan register allocation on SSA form.

[BibT_eX]

[DOI]

Proceedings of the CGO 2010, 2010

2009

Array bounds check elimination in the context of deoptimization.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2009

Tracing for web 3.0: trace compilation for the next generation web applications.

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on Virtual Execution Environments, 2009

Phase detection using trace compilation.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Principles and Practice of Programming in Java, 2009

Lazy continuations for Java virtual machines.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Principles and Practice of Programming in Java, 2009

SlimVM: a small footprint Java virtual machine for connected embedded systems.

[BibT_eX]

[DOI]

Christoph Kerschbaumer

Proceedings of the 7th International Conference on Principles and Practice of Programming in Java, 2009

Airborne D-InSAR at X-band: Results with the Complete Repeat-pass Processing Methodology.

[BibT_eX]

[DOI]

Silvio E. Barbin

Stefano Perna

Proceedings of the IEEE International Geoscience & Remote Sensing Symposium, 2009

Optimization of dynamic languages using hierarchical layering of virtual machines.

[BibT_eX]

[DOI]

Alexander Yermolovich

Proceedings of the 5th Symposium on Dynamic Languages, 2009

2008

X-Band Airborne Differential Interferometry: Results of the OrbiSAR Campaign Over the Perugia Area.

[BibT_eX]

[DOI]

IEEE Trans. Geosci. Remote. Sens., 2008

Design of the Java HotSpot™ client compiler for Java 6.

[BibT_eX]

[DOI]

ACM Trans. Archit. Code Optim., 2008

Optimized strings for the Java HotSpot™ virtual machine.

[BibT_eX]

[DOI]

Proceedings of the 6th International Symposium on Principles and Practice of Programming in Java, 2008

Automatic array inlining in java virtual machines.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Symposium on Code Generation and Optimization (CGO 2008), 2008

Visualization of Program Dependence Graphs.

[BibT_eX]

[DOI]

Proceedings of the Compiler Construction, 17th International Conference, 2008

2007

Automatic feedback-directed object inlining in the java hotspot<sup>TM</sup> virtual machine.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on Virtual Execution Environments, 2007

Array bounds check elimination for the Java HotSpot™ client compiler.

[BibT_eX]

[DOI]

Proceedings of the 5th International Symposium on Principles and Practice of Programming in Java, 2007

X-band airborne differential interferometry over the Perugia area.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Geoscience & Remote Sensing Symposium, 2007

2006

Automatic Object Colocation Based on Read Barriers.

[BibT_eX]

[DOI]

Proceedings of the Modular Programming Languages, 7th Joint Modular Languages Conference, 2006

2005

Optimized interval splitting in a linear scan register allocator.

[BibT_eX]

[DOI]