Christian Wimmer

Orcid: 0009-0003-3213-9306

According to our database1, Christian Wimmer authored at least 88 papers between 2000 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Scaling Type-Based Points-to Analysis with Saturation.
Proc. ACM Program. Lang., 2024

Finding Cuts in Static Analysis Graphs to Debloat Software.
Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

Setup of a Drone-Based SAR Experiment to Analyze a Boreal Forest.
Proceedings of the IGARSS 2024, 2024

Locating Buried Bodies Using SAR Tomography.
Proceedings of the IGARSS 2024, 2024

2023
Comparing Rapid Type Analysis with Points-To Analysis in GraalVM Native Image.
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.
J. Open Source Softw., December, 2022

2021
Compiler-assisted object inlining with value fields.
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).
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.
Proceedings of the DLS 2021: Proceedings of the 17th ACM SIGPLAN International Symposium on Dynamic Languages, 2021

2020
Drone-borne Differential SAR Interferometry.
Remote. Sens., 2020

Scalable pointer analysis of data structures using semantic models.
Proceedings of the CC '20: 29th International Conference on Compiler Construction, 2020

2019
Initialize once, start fast: application initialization at build time.
Proc. ACM Program. Lang., 2019

2017
Applying Optimizations for Dynamically-typed Languages to Java.
Proceedings of the 14th International Conference on Managed Languages and Runtimes, 2017

Practical partial evaluation for high-performance dynamic language runtimes.
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.
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.
Proceedings of the 2017 IEEE International Geoscience and Remote Sensing Symposium, 2017

One compiler: deoptimization to optimized code.
Proceedings of the 26th International Conference on Compiler Construction, 2017

2016
The Dual-Band PolInSAR Method for Forest Parametrization.
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.
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.
Remote. Sens., 2016

Bringing low-level languages to the JVM: efficient execution of LLVM IR on Truffle.
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.
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.
Proceedings of the 2016 IEEE International Geoscience and Remote Sensing Symposium, 2016

2015
Phase Offset Calculation for Airborne InSAR DEM Generation Without Corner Reflectors.
IEEE Trans. Geosci. Remote. Sens., 2015

Snippets: Taking the High Road to a Low Level.
ACM Trans. Archit. Code Optim., 2015

Safe and efficient hybrid memory management for Java.
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.
Proceedings of the 2015 IEEE International Geoscience and Remote Sensing Symposium, 2015

Performance assessment of the InSAeS4 interferometric products.
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.
Proceedings of the 2015 IEEE International Geoscience and Remote Sensing Symposium, 2015

Java-to-JavaScript translation via structured control flow reconstruction of compiler IR.
Proceedings of the 11th Symposium on Dynamic Languages, 2015

2014
Trace transitioning and exception handling in a trace-based JIT compiler for java.
ACM Trans. Archit. Code Optim., 2014

Comparing points-to static analysis with runtime recorded profiling data.
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.
Proceedings of the 2014 IEEE Geoscience and Remote Sensing Symposium, 2014

TELAER airborne SAR system upgraded to the interferometrio mode: Flight test result.
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.
Proceedings of the 2014 IEEE Geoscience and Remote Sensing Symposium, 2014

A domain-specific language for building self-optimizing AST interpreters.
Proceedings of the Generative Programming: Concepts and Experiences, 2014

2013
Maxine: An approachable virtual machine for, and in, java.
ACM Trans. Archit. Code Optim., 2013

Unrestricted and safe dynamic code evolution for Java.
Sci. Comput. Program., 2013

Context-sensitive trace inlining for Java.
Comput. Lang. Syst. Struct., 2013

An algorithm for phase-offset evaluation in InSAR DEM generation.
Proceedings of the SAR Image Analysis, 2013

Deriving code coverage information from profiling data recorded for a trace-based just-in-time compiler.
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.
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.
Proceedings of the SPLASH'13, 2013

An intermediate representation for speculative optimizations in a dynamic compiler.
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.
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.
Proceedings of the 2013 IEEE International Geoscience and Remote Sensing Symposium, 2013

Automatic construction of inlining heuristics using machine learning.
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.
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2012

Evaluation of trace inlining heuristics for Java.
Proceedings of the ACM Symposium on Applied Computing, 2012

Truffle: a self-optimizing runtime system.
Proceedings of the SPLASH'12, 2012

Migration und Anpassung von Benutzeroberflächen für Touchscreens.
Proceedings of the Mensch & Computer 2012: interaktiv informiert, 2012

Capabilities of the TELAER airborne SAR system upgraded to the multi-antenna mode.
Proceedings of the 2012 IEEE International Geoscience and Remote Sensing Symposium, 2012

Self-optimizing AST interpreters.
Proceedings of the 8th Symposium on Dynamic Languages, 2012

Fine-grained modularity and reuse of virtual machine components.
Proceedings of the 11th International Conference on Aspect-oriented Software Development, 2012

2011
Compiler-Generated Software Diversity.
Proceedings of the Moving Target Defense, 2011

Runtime Defense against Code Injection Attacks Using Replicated Execution.
IEEE Trans. Dependable Secur. Comput., 2011

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

Safe and atomic run-time code evolution for Java and its application to dynamic AOP.
Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Compartmental memory management in a modern web browser.
Proceedings of the 10th International Symposium on Memory Management, 2011

Long-term airborne DInSAR measurements: P- and X-band cases.
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.
Proceedings of the 7th Symposium on Dynamic Languages, 2011

2010
Automatic feedback-directed object fusing.
ACM Trans. Archit. Code Optim., 2010

Compact and efficient strings for Java.
Sci. Comput. Program., 2010

Dynamic code evolution for Java.
Proceedings of the 8th International Conference on Principles and Practice of Programming in Java, 2010

Efficient coroutines for the Java platform.
Proceedings of the 8th International Conference on Principles and Practice of Programming in Java, 2010

Trace-based compilation in execution environments without interpreters.
Proceedings of the 8th International Conference on Principles and Practice of Programming in Java, 2010

Airborne DInSAR time series at X-Band.
Proceedings of the IEEE International Geoscience & Remote Sensing Symposium, 2010

Decentralized information flow control on a bare-metal JVM.
Proceedings of the 6th Cyber Security and Information Intelligence Research Workshop, 2010

Multi-variant program execution for vulnerability detection and analysis.
Proceedings of the 6th Cyber Security and Information Intelligence Research Workshop, 2010

Linear scan register allocation on SSA form.
Proceedings of the CGO 2010, 2010

2009
Array bounds check elimination in the context of deoptimization.
Sci. Comput. Program., 2009

Tracing for web 3.0: trace compilation for the next generation web applications.
Proceedings of the 5th International Conference on Virtual Execution Environments, 2009

Phase detection using trace compilation.
Proceedings of the 7th International Conference on Principles and Practice of Programming in Java, 2009

Lazy continuations for Java virtual machines.
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.
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.
Proceedings of the IEEE International Geoscience & Remote Sensing Symposium, 2009

Optimization of dynamic languages using hierarchical layering of virtual machines.
Proceedings of the 5th Symposium on Dynamic Languages, 2009

2008
X-Band Airborne Differential Interferometry: Results of the OrbiSAR Campaign Over the Perugia Area.
IEEE Trans. Geosci. Remote. Sens., 2008

Design of the Java HotSpot™ client compiler for Java 6.
ACM Trans. Archit. Code Optim., 2008

Optimized strings for the Java HotSpot™ virtual machine.
Proceedings of the 6th International Symposium on Principles and Practice of Programming in Java, 2008

Automatic array inlining in java virtual machines.
Proceedings of the Sixth International Symposium on Code Generation and Optimization (CGO 2008), 2008

Visualization of Program Dependence Graphs.
Proceedings of the Compiler Construction, 17th International Conference, 2008

2007
Automatic feedback-directed object inlining in the java hotspot<sup>TM</sup> virtual machine.
Proceedings of the 3rd International Conference on Virtual Execution Environments, 2007

Array bounds check elimination for the Java HotSpot™ client compiler.
Proceedings of the 5th International Symposium on Principles and Practice of Programming in Java, 2007

X-band airborne differential interferometry over the Perugia area.
Proceedings of the IEEE International Geoscience & Remote Sensing Symposium, 2007

2006
Automatic Object Colocation Based on Read Barriers.
Proceedings of the Modular Programming Languages, 7th Joint Modular Languages Conference, 2006

2005
Optimized interval splitting in a linear scan register allocator.
Proceedings of the 1st International Conference on Virtual Execution Environments, 2005

2000
Generation of high precision DEMs of the Wadden Sea with airborne interferometric SAR.
IEEE Trans. Geosci. Remote. Sens., 2000


  Loading...