default search action
Christian Wimmer
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j22]Christian Wimmer, Codrut Stancu, David Kozak, Thomas Würthinger:
Scaling Type-Based Points-to Analysis with Saturation. Proc. ACM Program. Lang. 8(PLDI): 990-1013 (2024) - [c65]Gian Oré, Eduardo Freitas, Christian Wimmer, Hugo E. Hernández-Figueroa, Karin K. De Vicente, João Machado:
Locating Buried Bodies Using SAR Tomography. IGARSS 2024: 1964-1966 - [c64]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:
Setup of a Drone-Based SAR Experiment to Analyze a Boreal Forest. IGARSS 2024: 4535-4538 - [c63]Christoph Blumschein, Fabio Niephaus, Codrut Stancu, Christian Wimmer, Jens Lincke, Robert Hirschfeld:
Finding Cuts in Static Analysis Graphs to Debloat Software. ISSTA 2024: 603-614 - 2023
- [c62]David Kozak, Vojin Jovanovic, Codrut Stancu, Tomás Vojnar, Christian Wimmer:
Comparing Rapid Type Analysis with Points-To Analysis in GraalVM Native Image. MPLR 2023: 129-142 - [i1]David Kozak, Vojin Jovanovic, Codrut Stancu, Tomás Vojnar, Christian Wimmer:
Comparing Rapid Type Analysis with Points-To Analysis in GraalVM Native Image. CoRR abs/2308.16566 (2023) - 2022
- [j21]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:
GNU Data Language 1.0: a free/libre and open-source drop-in replacement for IDL/PV-WAVE. J. Open Source Softw. 7(80): 4633 (2022) - 2021
- [c61]Florian Latifi, David Leopoldseder, Christian Wimmer, Hanspeter Mössenböck:
CompGen: generation of fast JIT compilers in a multi-language VM. DLS 2021: 35-47 - [c60]Christian Wimmer:
GraalVM native image: large-scale static analysis for Java (keynote). VMIL@SPLASH 2021: 3 - [c59]Rodrigo Bruno, Vojin Jovanovic, Christian Wimmer, Gustavo Alonso:
Compiler-assisted object inlining with value fields. PLDI 2021: 128-141 - 2020
- [j20]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:
Drone-borne Differential SAR Interferometry. Remote. Sens. 12(5): 778 (2020) - [c58]Pratik Fegade, Christian Wimmer:
Scalable pointer analysis of data structures using semantic models. CC 2020: 39-50
2010 – 2019
- 2019
- [j19]Christian Wimmer, Codrut Stancu, Peter Hofer, Vojin Jovanovic, Paul Wögerer, Peter B. Kessler, Oleg Pliss, Thomas Würthinger:
Initialize once, start fast: application initialization at build time. Proc. ACM Program. Lang. 3(OOPSLA): 184:1-184:29 (2019) - 2017
- [c57]Christian Wimmer, Vojin Jovanovic, Erik Eckstein, Thomas Würthinger:
One compiler: deoptimization to optimized code. CC 2017: 55-64 - [c56]Thiago Luiz Morais Barreto, Rafael A. S. Rosa, Christian Wimmer, João R. Moreira, Leonardo S. Bins, Jurandy Almeida, Fabio A. M. Cappabianco:
BMINSAR: A novel approach for InSAR phase denoising by clustering and block matching. IGARSS 2017: 2357-2360 - [c55]Rafael A. S. Rosa, David Fernandes, Thiago Luiz Morais Barreto, Christian Wimmer, Joao B. Nogueira:
Deforestation detection in Amazon rainforest with multitemporal X-band and p-band sar images using cross-coherences and superpixels. IGARSS 2017: 3015-3018 - [c54]Thomas Würthinger, Christian Wimmer, Christian Humer, Andreas Wöß, Lukas Stadler, Chris Seaton, Gilles Duboscq, Doug Simon, Matthias Grimmer:
Practical partial evaluation for high-performance dynamic language runtimes. PLDI 2017: 662-676 - [c53]Matthias Grimmer, Stefan Marr, Mario Kahlhofer, Christian Wimmer, Thomas Würthinger, Hanspeter Mössenböck:
Applying Optimizations for Dynamically-typed Languages to Java. ManLang 2017: 12-22 - 2016
- [j18]Stefano Perna, Carmen Esposito, Tiago Amaral, Paolo Berardino, Giuseppe Jackson, João R. Moreira, Antonio Pauciullo, Eurico Vaz Junior, Christian Wimmer, Riccardo Lanari:
The InSAeS4 Airborne X-Band Interferometric SAR System: A First Assessment on Its Imaging and Topographic Mapping Capabilities. Remote. Sens. 8(1): 40 (2016) - [j17]Gustavo Hiroshi Xavier Shiroma, Karlus Alexander Câmara de Macedo, Christian Wimmer, João R. Moreira, David Fernandes:
The Dual-Band PolInSAR Method for Forest Parametrization. IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. 9(7): 3189-3201 (2016) - [j16]Thiago L. M. Barreto, Rafael A. S. Rosa, Christian Wimmer, João R. Moreira, Leonardo S. Bins, Fabio Augusto Menocci Cappabianco, Jurandy Almeida:
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. 9(12): 5436-5448 (2016) - [c52]Thiago Luiz Morais Barreto, Rafael A. S. Rosa, Christian Wimmer, Joao B. Nogueira, Jurandy Almeida, Fabio Augusto Menocci Cappabianco:
Deforestation change detection using high-resolution multi-temporal X-Band SAR images and supervised learning classification. IGARSS 2016: 5201-5204 - [c51]Rafael A. S. Rosa, David Fernandes, Thiago Luiz Morais Barreto, Christian Wimmer, Joao B. Nogueira:
Change detection under the forest in multitemporal full-polarimetric P-band SAR images using Pauli decomposition. IGARSS 2016: 6213-6216 - [c50]Manuel Rigger, Matthias Grimmer, Christian Wimmer, Thomas Würthinger, Hanspeter Mössenböck:
Bringing low-level languages to the JVM: efficient execution of LLVM IR on Truffle. VMIL@SPLASH 2016: 6-15 - 2015
- [j15]Doug Simon, Christian Wimmer, Bernhard Urban, Gilles Duboscq, Lukas Stadler, Thomas Würthinger:
Snippets: Taking the High Road to a Low Level. ACM Trans. Archit. Code Optim. 12(2): 20:20:1-20:20:25 (2015) - [j14]Stefano Perna, Carmen Esposito, Paolo Berardino, Antonio Pauciullo, Christian Wimmer, Riccardo Lanari:
Phase Offset Calculation for Airborne InSAR DEM Generation Without Corner Reflectors. IEEE Trans. Geosci. Remote. Sens. 53(5): 2713-2726 (2015) - [c49]David Leopoldseder, Lukas Stadler, Christian Wimmer, Hanspeter Mössenböck:
Java-to-JavaScript translation via structured control flow reconstruction of compiler IR. DLS 2015: 91-103 - [c48]Stefano Perna, Carmen Esposito, Paolo Berardino, Giuseppe Jackson, Antonio Pauciullo, Christian Wimmer, Riccardo Lanari:
Performance assessment of the InSAeS4 interferometric products. IGARSS 2015: 782-785 - [c47]Rafael A. S. Rosa, David Fernandes, Joao B. Nogueira, Christian Wimmer:
Automatic change detection in multitemporal X- and P-band SAR images using Gram-Schmidt process. IGARSS 2015: 2797-2800 - [c46]Karlus A. C. de Macedo, Christian Wimmer:
Time series of airborne DInSAR data over the Amazon flooded vegetation: Water level changes. IGARSS 2015: 5252-5255 - [c45]Liviu Codrut Stancu, Christian Wimmer, Stefan Brunthaler, Per Larsen, Michael Franz:
Safe and efficient hybrid memory management for Java. ISMM 2015: 81-92 - 2014
- [j13]Christian Häubl, Christian Wimmer, Hanspeter Mössenböck:
Trace transitioning and exception handling in a trace-based JIT compiler for java. ACM Trans. Archit. Code Optim. 11(1): 6:1-6:26 (2014) - [c44]Christian Humer, Christian Wimmer, Christian Wirth, Andreas Wöß, Thomas Würthinger:
A domain-specific language for building self-optimizing AST interpreters. GPCE 2014: 123-132 - [c43]Karlus Alexander Câmara de Macedo, Christian Wimmer, João R. Moreira:
Highly accurate and precise airborne single-pass interferometry for DEM generation over challenging terrain. IGARSS 2014: 394-397 - [c42]Stefano Perna, Tiago Amaral, Paolo Berardino, Carmen Esposito, Antonio Pauciullo, Eurico Vaz Junior, Christian Wimmer, Riccardo Lanari:
TELAER airborne SAR system upgraded to the interferometrio mode: Flight test result. IGARSS 2014: 2245-2248 - [c41]Gustavo H. X. Shiroma, Karlus A. C. de Macedo, Christian Wimmer, David Fernandes, Thiago Luiz Morais Barreto:
Combining dual-band capability and PolInSAR technique for forest ground and canopy estimation. IGARSS 2014: 4592-4595 - [c40]Liviu Codrut Stancu, Christian Wimmer, Stefan Brunthaler, Per Larsen, Michael Franz:
Comparing points-to static analysis with runtime recorded profiling data. PPPJ 2014: 157-168 - 2013
- [j12]Christian Häubl, Christian Wimmer, Hanspeter Mössenböck:
Context-sensitive trace inlining for Java. Comput. Lang. Syst. Struct. 39(4): 123-141 (2013) - [j11]Thomas Würthinger, Christian Wimmer, Lukas Stadler:
Unrestricted and safe dynamic code evolution for Java. Sci. Comput. Program. 78(5): 481-498 (2013) - [j10]Christian Wimmer, Michael Haupt, Michael L. Van de Vanter, Mick J. Jordan, Laurent Daynès, Doug Simon:
Maxine: An approachable virtual machine for, and in, java. ACM Trans. Archit. Code Optim. 9(4): 30:1-30:24 (2013) - [c39]Sameer Kulkarni, John Cavazos, Christian Wimmer, Doug Simon:
Automatic construction of inlining heuristics using machine learning. CGO 2013: 9:1-9:12 - [c38]Stefano Perna, Paolo Berardino, Carmen Esposito, Gianfranco Fornaro, Riccardo Lanari, Antonio Pauciullo, Christian Wimmer, Virginia Zamparelli:
Precise azimuth-to-frequency mapping for effective and efficient compensation of motion errors in airborne SAR. IGARSS 2013: 938-941 - [c37]Stefano Perna, Carmen Esposito, Riccardo Lanari, Antonio Pauciullo, Christian Wimmer, Paolo Berardino:
A method for InSAR phase-offset calculation without using ground control points. IGARSS 2013: 2059-2062 - [c36]Gilles Duboscq, Thomas Würthinger, Lukas Stadler, Christian Wimmer, Doug Simon, Hanspeter Mössenböck:
An intermediate representation for speculative optimizations in a dynamic compiler. VMIL@SPLASH 2013: 1-10 - [c35]Christian Wimmer, Stefan Brunthaler:
ZipPy on truffle: a fast and simple implementation of python. SPLASH (Companion Volume) 2013: 17-18 - [c34]Thomas Würthinger, Christian Wimmer, Andreas Wöß, Lukas Stadler, Gilles Duboscq, Christian Humer, Gregor Richards, Doug Simon, Mario Wolczko:
One VM to rule them all. Onward! 2013: 187-204 - [c33]Christian Häubl, Christian Wimmer, Hanspeter Mössenböck:
Deriving code coverage information from profiling data recorded for a trace-based just-in-time compiler. PPPJ 2013: 1-12 - [c32]Stefano Perna, Carmen Esposito, Riccardo Lanari, Antonio Pauciullo, Christian Wimmer, Paolo Berardino:
An algorithm for phase-offset evaluation in InSAR DEM generation. SAR 2013: 88910A - 2012
- [j9]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:
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. 5(3): 990-1005 (2012) - [c31]Christian Wimmer, Stefan Brunthaler, Per Larsen, Michael Franz:
Fine-grained modularity and reuse of virtual machine components. AOSD 2012: 203-214 - [c30]Thomas Würthinger, Andreas Wöß, Lukas Stadler, Gilles Duboscq, Doug Simon, Christian Wimmer:
Self-optimizing AST interpreters. DLS 2012: 73-82 - [c29]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:
Capabilities of the TELAER airborne SAR system upgraded to the multi-antenna mode. IGARSS 2012: 1545-1548 - [c28]Christian Wimmer, Steffen Lohmann, Michael Raschke, Thomas Schlegel:
Migration und Anpassung von Benutzeroberflächen für Touchscreens. MuC 2012: 93-102 - [c27]Christian Wimmer, Thomas Würthinger:
Truffle: a self-optimizing runtime system. SPLASH 2012: 13-14 - [c26]Christian Häubl, Christian Wimmer, Hanspeter Mössenböck:
Evaluation of trace inlining heuristics for Java. SAC 2012: 1871-1876 - 2011
- [j8]Christian Häubl, Christian Wimmer, Hanspeter Mössenböck:
Erratum to "Compact and Efficient Strings for Java" [Science of Computer Programming 75 (2010) 1077-1094]. Sci. Comput. Program. 76(11): 1073 (2011) - [j7]Babak Salamat, Todd Jackson, Gregor Wagner, Christian Wimmer, Michael Franz:
Runtime Defense against Code Injection Attacks Using Replicated Execution. IEEE Trans. Dependable Secur. Comput. 8(4): 588-601 (2011) - [c25]Mason Chang, Bernd Mathiske, Edwin W. Smith, Avik Chaudhuri, Andreas Gal, Michael Bebenita, Christian Wimmer, Michael Franz:
The impact of optional type information on jit compilation of dynamically typed languages. DLS 2011: 13-24 - [c24]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:
Long-term airborne DInSAR measurements: P- and X-band cases. IGARSS 2011: 1175-1178 - [c23]Gregor Wagner, Andreas Gal, Christian Wimmer, Brendan Eich, Michael Franz:
Compartmental memory management in a modern web browser. ISMM 2011: 119-128 - [c22]Thomas Würthinger, Danilo Ansaloni, Walter Binder, Christian Wimmer, Hanspeter Mössenböck:
Safe and atomic run-time code evolution for Java and its application to dynamic AOP. OOPSLA 2011: 825-844 - [p1]Todd Jackson, Babak Salamat, Andrei Homescu, Karthikeyan Manivannan, Gregor Wagner, Andreas Gal, Stefan Brunthaler, Christian Wimmer, Michael Franz:
Compiler-Generated Software Diversity. Moving Target Defense 2011: 77-98 - [e1]Christian W. Probst, Christian Wimmer:
Proceedings of the 9th International Conference on Principles and Practice of Programming in Java, PPPJ 2011, Kongens Lyngby, Denmark, August 24-26, 2011. ACM 2011, ISBN 978-1-4503-0935-6 [contents] - 2010
- [j6]Christian Häubl, Christian Wimmer, Hanspeter Mössenböck:
Compact and efficient strings for Java. Sci. Comput. Program. 75(11): 1077-1094 (2010) - [j5]Christian Wimmer, Hanspeter Mössenböck:
Automatic feedback-directed object fusing. ACM Trans. Archit. Code Optim. 7(2): 7:1-7:35 (2010) - [c21]Christian Wimmer, Michael Franz:
Linear scan register allocation on SSA form. CGO 2010: 170-179 - [c20]Todd Jackson, Christian Wimmer, Michael Franz:
Multi-variant program execution for vulnerability detection and analysis. CSIIRW 2010: 38 - [c19]Karthikeyan Manivannan, Christian Wimmer, Michael Franz:
Decentralized information flow control on a bare-metal JVM. CSIIRW 2010: 64 - [c18]Stefano Perna, Christian Wimmer, João R. Moreira, Gianfranco Fornaro:
Airborne DInSAR time series at X-Band. IGARSS 2010: 2868-2871 - [c17]Thomas Würthinger, Christian Wimmer, Lukas Stadler:
Dynamic code evolution for Java. PPPJ 2010: 10-19 - [c16]Lukas Stadler, Thomas Würthinger, Christian Wimmer:
Efficient coroutines for the Java platform. PPPJ 2010: 20-28 - [c15]Michael Bebenita, Mason Chang, Gregor Wagner, Andreas Gal, Christian Wimmer, Michael Franz:
Trace-based compilation in execution environments without interpreters. PPPJ 2010: 59-68
2000 – 2009
- 2009
- [j4]Thomas Würthinger, Christian Wimmer, Hanspeter Mössenböck:
Array bounds check elimination in the context of deoptimization. Sci. Comput. Program. 74(5-6): 279-295 (2009) - [c14]Alexander Yermolovich, Christian Wimmer, Michael Franz:
Optimization of dynamic languages using hierarchical layering of virtual machines. DLS 2009: 79-88 - [c13]Karlus Alexander Câmara de Macedo, Christian Wimmer, Silvio E. Barbin, Stefano Perna:
Airborne D-InSAR at X-band: Results with the Complete Repeat-pass Processing Methodology. IGARSS (4) 2009: 861-864 - [c12]Christoph Kerschbaumer, Gregor Wagner, Christian Wimmer, Andreas Gal, Christian Steger, Michael Franz:
SlimVM: a small footprint Java virtual machine for connected embedded systems. PPPJ 2009: 133-142 - [c11]Lukas Stadler, Christian Wimmer, Thomas Würthinger, Hanspeter Mössenböck, John Rose:
Lazy continuations for Java virtual machines. PPPJ 2009: 143-152 - [c10]Christian Wimmer, Marcelo Silva Cintra, Michael Bebenita, Mason Chang, Andreas Gal, Michael Franz:
Phase detection using trace compilation. PPPJ 2009: 172-181 - [c9]Mason Chang, Edwin W. Smith, Rick Reitmaier, Michael Bebenita, Andreas Gal, Christian Wimmer, Brendan Eich, Michael Franz:
Tracing for web 3.0: trace compilation for the next generation web applications. VEE 2009: 71-80 - 2008
- [j3]Thomas Kotzmann, Christian Wimmer, Hanspeter Mössenböck, Thomas Rodriguez, Kenneth B. Russell, David Cox:
Design of the Java HotSpot™ client compiler for Java 6. ACM Trans. Archit. Code Optim. 5(1): 7:1-7:32 (2008) - [j2]Stefano Perna, Christian Wimmer, João R. Moreira, Gianfranco Fornaro:
X-Band Airborne Differential Interferometry: Results of the OrbiSAR Campaign Over the Perugia Area. IEEE Trans. Geosci. Remote. Sens. 46(2): 489-503 (2008) - [c8]Thomas Würthinger, Christian Wimmer, Hanspeter Mössenböck:
Visualization of Program Dependence Graphs. CC 2008: 193-196 - [c7]Christian Wimmer, Hanspeter Mössenböck:
Automatic array inlining in java virtual machines. CGO 2008: 14-23 - [c6]Christian Häubl, Christian Wimmer, Hanspeter Mössenböck:
Optimized strings for the Java HotSpot™ virtual machine. PPPJ 2008: 105-114 - 2007
- [c5]Stefano Perna, Christian Wimmer, João R. Moreira, Gianfranco Fornaro:
X-band airborne differential interferometry over the Perugia area. IGARSS 2007: 4878-4881 - [c4]Thomas Würthinger, Christian Wimmer, Hanspeter Mössenböck:
Array bounds check elimination for the Java HotSpot™ client compiler. PPPJ 2007: 125-133 - [c3]Christian Wimmer, Hanspeter Mössenböck:
Automatic feedback-directed object inlining in the java hotspotTM virtual machine. VEE 2007: 12-21 - 2006
- [c2]Christian Wimmer, Hanspeter Mössenböck:
Automatic Object Colocation Based on Read Barriers. JMLC 2006: 326-345 - 2005
- [c1]Christian Wimmer, Hanspeter Mössenböck:
Optimized interval splitting in a linear scan register allocator. VEE 2005: 132-141 - 2000
- [j1]Christian Wimmer, Robert Siegmund, Marcus Schwäbisch, João R. Moreira:
Generation of high precision DEMs of the Wadden Sea with airborne interferometric SAR. IEEE Trans. Geosci. Remote. Sens. 38(5): 2234-2245 (2000)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:16 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint