Christian Wimmer

93 papers A* 2A 6B 7C 26Misc 2Journal 24Unranked 24
YearRankTypeTitle / Venue / Authors
2026 — conf
From AI Literacy to AI Use: Evidence from a Multi-Organization Upskilling Program.
HICSS
Christian Wimmer, Theresa Treffers, Isabell M. Welpe
2025 A conf
SkipFlow: Improving the Precision of Points-to Analysis using Primitive Values and Predicate Edges.
CGO
David Kozak, Codrut Stancu, Tomás Vojnar, Christian Wimmer
2025 J jnl
SkipFlow: Improving the Precision of Points-to Analysis using Primitive Values and Predicate Edges.
CoRR
David Kozak, Codrut Stancu, Tomás Vojnar, Christian Wimmer
2024 A conf
Finding Cuts in Static Analysis Graphs to Debloat Software.
ISSTA
Christoph Blumschein, Fabio Niephaus, Codrut Stancu, Christian Wimmer, Jens Lincke, Robert Hirschfeld
2024 C conf
Locating Buried Bodies Using SAR Tomography.
IGARSS
Gian Oré, Eduardo Freitas, Christian Wimmer, Hugo E. Hernández-Figueroa, Karin K. De Vicente, João Machado
2024 J jnl
Scaling Type-Based Points-to Analysis with Saturation.
Proc. ACM Program. Lang.
Christian Wimmer, Codrut Stancu, David Kozak, Thomas Würthinger
2024 C conf
Setup of a Drone-Based SAR Experiment to Analyze a Boreal Forest.
IGARSS
Henrik J. Persson, Ritwika Mukhopadhyay, Rubén Valbuena, Alina V. Shevchenko, Linda Lück, Martin Herold, Mahdi Motagh, Gian Oré, Eduardo Freitas, Christian Wimmer, Hugo E. Hernández-Figueroa
2023 C conf
Comparing Rapid Type Analysis with Points-To Analysis in GraalVM Native Image.
MPLR
David Kozak, Vojin Jovanovic, Codrut Stancu, Tomás Vojnar, Christian Wimmer
2023 J jnl
Comparing Rapid Type Analysis with Points-To Analysis in GraalVM Native Image.
CoRR
David Kozak, Vojin Jovanovic, Codrut Stancu, Tomás Vojnar, Christian Wimmer
2022 J jnl
GNU Data Language 1.0: a free/libre and open-source drop-in replacement for IDL/PV-WAVE.
J. Open Source Softw.
Jeongbin Park, Gilles Duvert, Alain Coulais, Gregory V. Jung, Sylwester Arabas, Brian Barker, Takeshi Enomoto, Sylvain Flinois, Oliver Gressel, Tomas Hillberg, Thibault Huillet, Jan Kohnert, Orion Poplawski, Eloi Rozier de Linage, Remi A. Solås, Luke Stagner, Ole Streicher, James Tappin, Thierry Thomas, Jingwei Wang, Christian Wimmer
2021 C conf
CompGen: generation of fast JIT compilers in a multi-language VM.
DLS
Florian Latifi, David Leopoldseder, Christian Wimmer, Hanspeter Mössenböck
2021 A* conf
Compiler-assisted object inlining with value fields.
PLDI
Rodrigo Bruno, Vojin Jovanovic, Christian Wimmer, Gustavo Alonso
2021 — conf
GraalVM native image: large-scale static analysis for Java (keynote).
VMIL@SPLASH
Christian Wimmer
2020 J jnl
Drone-borne Differential SAR Interferometry.
Remote. Sens.
Dieter Luebeck, Christian Wimmer, Laila F. Moreira, Marlon S. Alcântara, Gian Oré, Juliana A. Góes, Luciano P. Oliveira, Bárbara Teruel, Leonardo S. Bins, Lucas H. Gabrielli, Hugo E. Hernández-Figueroa
2020 B conf
Scalable pointer analysis of data structures using semantic models.
CC
Pratik Fegade, Christian Wimmer
2019 J jnl
Initialize once, start fast: application initialization at build time.
Proc. ACM Program. Lang.
Christian Wimmer, Codrut Stancu, Peter Hofer, Vojin Jovanovic, Paul Wögerer, Peter B. Kessler, Oleg Pliss, Thomas Würthinger
2017 — conf
Applying Optimizations for Dynamically-typed Languages to Java.
ManLang
Matthias Grimmer, Stefan Marr, Mario Kahlhofer, Christian Wimmer, Thomas Würthinger, Hanspeter Mössenböck
2017 C conf
BMINSAR: A novel approach for InSAR phase denoising by clustering and block matching.
IGARSS
Thiago Luiz Morais Barreto, Rafael A. S. Rosa, Christian Wimmer, João R. Moreira, Leonardo S. Bins, Jurandy Almeida, Fabio A. M. Cappabianco
2017 C conf
Deforestation detection in Amazon rainforest with multitemporal X-band and p-band sar images using cross-coherences and superpixels.
IGARSS
Rafael A. S. Rosa, David Fernandes, Thiago Luiz Morais Barreto, Christian Wimmer, Joao B. Nogueira
2017 B conf
One compiler: deoptimization to optimized code.
CC
Christian Wimmer, Vojin Jovanovic, Erik Eckstein, Thomas Würthinger
2017 A* conf
Practical partial evaluation for high-performance dynamic language runtimes.
PLDI
Thomas Würthinger, Christian Wimmer, Christian Humer, Andreas Wöß, Lukas Stadler, Chris Seaton, Gilles Duboscq, Doug Simon, Matthias Grimmer
2016 — conf
Bringing low-level languages to the JVM: efficient execution of LLVM IR on Truffle.
VMIL@SPLASH
Manuel Rigger, Matthias Grimmer, Christian Wimmer, Thomas Würthinger, Hanspeter Mössenböck
2016 C conf
Change detection under the forest in multitemporal full-polarimetric P-band SAR images using Pauli decomposition.
IGARSS
Rafael A. S. Rosa, David Fernandes, Thiago Luiz Morais Barreto, Christian Wimmer, Joao B. Nogueira
2016 J jnl
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.
Thiago L. M. Barreto, Rafael A. S. Rosa, Christian Wimmer, João R. Moreira, Leonardo S. Bins, Fabio Augusto Menocci Cappabianco, Jurandy Almeida
2016 C conf
Deforestation change detection using high-resolution multi-temporal X-Band SAR images and supervised learning classification.
IGARSS
Thiago Luiz Morais Barreto, Rafael A. S. Rosa, Christian Wimmer, Joao B. Nogueira, Jurandy Almeida, Fabio Augusto Menocci Cappabianco
2016 J jnl
The Dual-Band PolInSAR Method for Forest Parametrization.
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens.
Gustavo Hiroshi Xavier Shiroma, Karlus Alexander Câmara de Macedo, Christian Wimmer, João R. Moreira, David Fernandes
2016 J jnl
The InSAeS4 Airborne X-Band Interferometric SAR System: A First Assessment on Its Imaging and Topographic Mapping Capabilities.
Remote. Sens.
Stefano Perna, Carmen Esposito, Tiago Amaral, Paolo Berardino, Giuseppe Jackson, João R. Moreira, Antonio Pauciullo, Eurico Vaz Junior, Christian Wimmer, Riccardo Lanari
2015 C conf
Automatic change detection in multitemporal X- and P-band SAR images using Gram-Schmidt process.
IGARSS
Rafael A. S. Rosa, David Fernandes, Joao B. Nogueira, Christian Wimmer
2015 C conf
Java-to-JavaScript translation via structured control flow reconstruction of compiler IR.
DLS
David Leopoldseder, Lukas Stadler, Christian Wimmer, Hanspeter Mössenböck
2015 C conf
Performance assessment of the InSAeS4 interferometric products.
IGARSS
Stefano Perna, Carmen Esposito, Paolo Berardino, Giuseppe Jackson, Antonio Pauciullo, Christian Wimmer, Riccardo Lanari
2015 J jnl
Phase Offset Calculation for Airborne InSAR DEM Generation Without Corner Reflectors.
IEEE Trans. Geosci. Remote. Sens.
Stefano Perna, Carmen Esposito, Paolo Berardino, Antonio Pauciullo, Christian Wimmer, Riccardo Lanari
2015 C conf
Safe and efficient hybrid memory management for Java.
ISMM
Liviu Codrut Stancu, Christian Wimmer, Stefan Brunthaler, Per Larsen, Michael Franz
2015 J jnl
Snippets: Taking the High Road to a Low Level.
ACM Trans. Archit. Code Optim.
Doug Simon, Christian Wimmer, Bernhard Urban, Gilles Duboscq, Lukas Stadler, Thomas Würthinger
2015 C conf
Time series of airborne DInSAR data over the Amazon flooded vegetation: Water level changes.
IGARSS
Karlus A. C. de Macedo, Christian Wimmer
2014 B conf
A domain-specific language for building self-optimizing AST interpreters.
GPCE
Christian Humer, Christian Wimmer, Christian Wirth, Andreas Wöß, Thomas Würthinger
2014 C conf
Combining dual-band capability and PolInSAR technique for forest ground and canopy estimation.
IGARSS
Gustavo H. X. Shiroma, Karlus A. C. de Macedo, Christian Wimmer, David Fernandes, Thiago Luiz Morais Barreto
2014 — conf
Comparing points-to static analysis with runtime recorded profiling data.
PPPJ
Liviu Codrut Stancu, Christian Wimmer, Stefan Brunthaler, Per Larsen, Michael Franz
2014 C conf
Highly accurate and precise airborne single-pass interferometry for DEM generation over challenging terrain.
IGARSS
Karlus Alexander Câmara de Macedo, Christian Wimmer, João R. Moreira
2014 C conf
TELAER airborne SAR system upgraded to the interferometrio mode: Flight test result.
IGARSS
Stefano Perna, Tiago Amaral, Paolo Berardino, Carmen Esposito, Antonio Pauciullo, Eurico Vaz Junior, Christian Wimmer, Riccardo Lanari
2014 J jnl
Trace transitioning and exception handling in a trace-based JIT compiler for java.
ACM Trans. Archit. Code Optim.
Christian Häubl, Christian Wimmer, Hanspeter Mössenböck
2013 C conf
A method for InSAR phase-offset calculation without using ground control points.
IGARSS
Stefano Perna, Carmen Esposito, Riccardo Lanari, Antonio Pauciullo, Christian Wimmer, Paolo Berardino
2013 — conf
An algorithm for phase-offset evaluation in InSAR DEM generation.
SAR
Stefano Perna, Carmen Esposito, Riccardo Lanari, Antonio Pauciullo, Christian Wimmer, Paolo Berardino
2013 — conf
An intermediate representation for speculative optimizations in a dynamic compiler.
VMIL@SPLASH
Gilles Duboscq, Thomas Würthinger, Lukas Stadler, Christian Wimmer, Doug Simon, Hanspeter Mössenböck
2013 A conf
Automatic construction of inlining heuristics using machine learning.
CGO
Sameer Kulkarni, John Cavazos, Christian Wimmer, Doug Simon
2013 J jnl
Context-sensitive trace inlining for Java.
Comput. Lang. Syst. Struct.
Christian Häubl, Christian Wimmer, Hanspeter Mössenböck
2013 — conf
Deriving code coverage information from profiling data recorded for a trace-based just-in-time compiler.
PPPJ
Christian Häubl, Christian Wimmer, Hanspeter Mössenböck
2013 J jnl
Maxine: An approachable virtual machine for, and in, java.
ACM Trans. Archit. Code Optim.
Christian Wimmer, Michael Haupt, Michael L. Van de Vanter, Mick J. Jordan, Laurent Daynès, Doug Simon
2013 — conf
One VM to rule them all.
Onward!
Thomas Würthinger, Christian Wimmer, Andreas Wöß, Lukas Stadler, Gilles Duboscq, Christian Humer, Gregor Richards, Doug Simon, Mario Wolczko
2013 C conf
Precise azimuth-to-frequency mapping for effective and efficient compensation of motion errors in airborne SAR.
IGARSS
Stefano Perna, Paolo Berardino, Carmen Esposito, Gianfranco Fornaro, Riccardo Lanari, Antonio Pauciullo, Christian Wimmer, Virginia Zamparelli
2013 J jnl
Unrestricted and safe dynamic code evolution for Java.
Sci. Comput. Program.
Thomas Würthinger, Christian Wimmer, Lukas Stadler
2013 — conf
ZipPy on truffle: a fast and simple implementation of python.
SPLASH (Companion Volume)
Christian Wimmer, Stefan Brunthaler
2012 C conf
Capabilities of the TELAER airborne SAR system upgraded to the multi-antenna mode.
IGARSS
Stefano Perna, Paolo Berardino, Filippo Britti, Ciro Cirillo, Carmen Esposito, Gianfranco Fornaro, Dieter Lübeck, Giulio Monaldi, João R. Moreira, Antonio Pauciullo, Stefano Trinca, Eurico Vaz Junior, Christian Wimmer, Virginia Zamparelli, Riccardo Lanari
2012 Misc conf
Evaluation of trace inlining heuristics for Java.
SAC
Christian Häubl, Christian Wimmer, Hanspeter Mössenböck
2012 — conf
Fine-grained modularity and reuse of virtual machine components.
AOSD
Christian Wimmer, Stefan Brunthaler, Per Larsen, Michael Franz
2012 J jnl
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.
Karlus A. C. de Macedo, Christian Wimmer, Thiago L. M. Barreto, Dieter Lübeck, João R. Moreira, Lis M. L. Rabaco, Wilson J. de Oliveira
2012 Misc conf
Migration und Anpassung von Benutzeroberflächen für Touchscreens.
MuC
Christian Wimmer, Steffen Lohmann, Michael Raschke, Thomas Schlegel
2012 C conf
Self-optimizing AST interpreters.
DLS
Thomas Würthinger, Andreas Wöß, Lukas Stadler, Gilles Duboscq, Doug Simon, Christian Wimmer
2012 — conf
Truffle: a self-optimizing runtime system.
SPLASH
Christian Wimmer, Thomas Würthinger
2011 C conf
Compartmental memory management in a modern web browser.
ISMM
Gregor Wagner, Andreas Gal, Christian Wimmer, Brendan Eich, Michael Franz
2011 — ch.
Compiler-Generated Software Diversity.
Moving Target Defense
Todd Jackson, Babak Salamat, Andrei Homescu, Karthikeyan Manivannan, Gregor Wagner, Andreas Gal, Stefan Brunthaler, Christian Wimmer, Michael Franz
2011 J jnl
Erratum to "Compact and Efficient Strings for Java" [Science of Computer Programming 75 (2010) 1077-1094].
Sci. Comput. Program.
Christian Häubl, Christian Wimmer, Hanspeter Mössenböck
2011 C conf
Long-term airborne DInSAR measurements: P- and X-band cases.
IGARSS
Karlus Alexander Câmara de Macedo, Christian Wimmer, Thiago Luiz Morais Barreto, Dieter Lübeck, João R. Moreira, Lis M. L. Rabaco, Wilson J. de Oliveira
2011 — ed.
Proceedings of the 9th International Conference on Principles and Practice of Programming in Java, PPPJ 2011, Kongens Lyngby, Denmark, August 24-26, 2011
PPPJ
Christian W. Probst, Christian Wimmer
2011 J jnl
Runtime Defense against Code Injection Attacks Using Replicated Execution.
IEEE Trans. Dependable Secur. Comput.
Babak Salamat, Todd Jackson, Gregor Wagner, Christian Wimmer, Michael Franz
2011 A conf
Safe and atomic run-time code evolution for Java and its application to dynamic AOP.
OOPSLA
Thomas Würthinger, Danilo Ansaloni, Walter Binder, Christian Wimmer, Hanspeter Mössenböck
2011 C conf
The impact of optional type information on jit compilation of dynamically typed languages.
DLS
Mason Chang, Bernd Mathiske, Edwin W. Smith, Avik Chaudhuri, Andreas Gal, Michael Bebenita, Christian Wimmer, Michael Franz
2010 C conf
Airborne DInSAR time series at X-Band.
IGARSS
Stefano Perna, Christian Wimmer, João R. Moreira, Gianfranco Fornaro
2010 J jnl
Automatic feedback-directed object fusing.
ACM Trans. Archit. Code Optim.
Christian Wimmer, Hanspeter Mössenböck
2010 J jnl
Compact and efficient strings for Java.
Sci. Comput. Program.
Christian Häubl, Christian Wimmer, Hanspeter Mössenböck
2010 — conf
Decentralized information flow control on a bare-metal JVM.
CSIIRW
Karthikeyan Manivannan, Christian Wimmer, Michael Franz
2010 — conf
Dynamic code evolution for Java.
PPPJ
Thomas Würthinger, Christian Wimmer, Lukas Stadler
2010 — conf
Efficient coroutines for the Java platform.
PPPJ
Lukas Stadler, Thomas Würthinger, Christian Wimmer
2010 A conf
Linear scan register allocation on SSA form.
CGO
Christian Wimmer, Michael Franz
2010 — conf
Multi-variant program execution for vulnerability detection and analysis.
CSIIRW
Todd Jackson, Christian Wimmer, Michael Franz
2010 — conf
Trace-based compilation in execution environments without interpreters.
PPPJ
Michael Bebenita, Mason Chang, Gregor Wagner, Andreas Gal, Christian Wimmer, Michael Franz
2009 — conf
Airborne D-InSAR at X-band: Results with the Complete Repeat-pass Processing Methodology.
IGARSS (4)
Karlus Alexander Câmara de Macedo, Christian Wimmer, Silvio E. Barbin, Stefano Perna
2009 J jnl
Array bounds check elimination in the context of deoptimization.
Sci. Comput. Program.
Thomas Würthinger, Christian Wimmer, Hanspeter Mössenböck
2009 — conf
Lazy continuations for Java virtual machines.
PPPJ
Lukas Stadler, Christian Wimmer, Thomas Würthinger, Hanspeter Mössenböck, John Rose
2009 C conf
Optimization of dynamic languages using hierarchical layering of virtual machines.
DLS
Alexander Yermolovich, Christian Wimmer, Michael Franz
2009 — conf
Phase detection using trace compilation.
PPPJ
Christian Wimmer, Marcelo Silva Cintra, Michael Bebenita, Mason Chang, Andreas Gal, Michael Franz
2009 — conf
SlimVM: a small footprint Java virtual machine for connected embedded systems.
PPPJ
Christoph Kerschbaumer, Gregor Wagner, Christian Wimmer, Andreas Gal, Christian Steger, Michael Franz
2009 B conf
Tracing for web 3.0: trace compilation for the next generation web applications.
VEE
Mason Chang, Edwin W. Smith, Rick Reitmaier, Michael Bebenita, Andreas Gal, Christian Wimmer, Brendan Eich, Michael Franz
2008 A conf
Automatic array inlining in java virtual machines.
CGO
Christian Wimmer, Hanspeter Mössenböck
2008 J jnl
Design of the Java HotSpot™ client compiler for Java 6.
ACM Trans. Archit. Code Optim.
Thomas Kotzmann, Christian Wimmer, Hanspeter Mössenböck, Thomas Rodriguez, Kenneth B. Russell, David Cox
2008 — conf
Optimized strings for the Java HotSpot™ virtual machine.
PPPJ
Christian Häubl, Christian Wimmer, Hanspeter Mössenböck
2008 B conf
Visualization of Program Dependence Graphs.
CC
Thomas Würthinger, Christian Wimmer, Hanspeter Mössenböck
2008 J jnl
X-Band Airborne Differential Interferometry: Results of the OrbiSAR Campaign Over the Perugia Area.
IEEE Trans. Geosci. Remote. Sens.
Stefano Perna, Christian Wimmer, João R. Moreira, Gianfranco Fornaro
2007 — conf
Array bounds check elimination for the Java HotSpot™ client compiler.
PPPJ
Thomas Würthinger, Christian Wimmer, Hanspeter Mössenböck
2007 B conf
Automatic feedback-directed object inlining in the java hotspot
VEE
Christian Wimmer, Hanspeter Mössenböck
2007 C conf
X-band airborne differential interferometry over the Perugia area.
IGARSS
Stefano Perna, Christian Wimmer, João R. Moreira, Gianfranco Fornaro
2006 — conf
Automatic Object Colocation Based on Read Barriers.
JMLC
Christian Wimmer, Hanspeter Mössenböck
2005 B conf
Optimized interval splitting in a linear scan register allocator.
VEE
Christian Wimmer, Hanspeter Mössenböck
2000 J jnl
Generation of high precision DEMs of the Wadden Sea with airborne interferometric SAR.
IEEE Trans. Geosci. Remote. Sens.
Christian Wimmer, Robert Siegmund, Marcus Schwäbisch, João R. Moreira