学術論文
このページでは、Oracle Labs とその学術協力者によって公開された、Graal コンパイラと Truffle 関連の様々なプレゼンテーションと出版物を説明しています。
Truffle
GraalVM は、Truffle フレームワーク を提供しており、Java でマネージド言語を実装できます。これにより、言語のパフォーマンスが向上し、他の Truffle 言語との統合やツールサポートが可能になります。これらはすべて、Java で抽象構文木 (AST) インタープリタを実装するだけで実現できます。Truffle は解釈中に AST の特殊化を適用するため、部分評価によって、言語専用のコンパイラを作成する必要なく、高度に最適化されたネイティブコードを作成できます。Java VM は、高性能なガベージコレクション、スレッド、並列処理サポートを提供します。
Oracle Labs と外部の研究グループは、JavaScript、Python、Ruby、R、Smalltalk など、さまざまなプログラミング言語を Truffle の上に実装しています。その中には、以前存在していたその言語の最良の実装を既に凌駕しているものもあります。
Christian Humer による Truffle を使用した動的メタコンパイルに関するプレゼンテーション を視聴し、このページにリストされている、ご興味のある Truffle に関する学術論文を確認することをお勧めします。また、ウェブサイト上の包括的な Truffle ドキュメント もご覧いただけます。
Graal コンパイラ
Graal コンパイラは、Java で記述された最適化された動的コンパイラです。高度に構成可能で拡張性が高いため、Java や JavaScript などのさまざまなマネージド言語で、多くのベンチマークにおいて優れたピークパフォーマンスを実現します。これにより、コンパイラの研究は新たなレベルに達しました。研究者は、多くの言語で新しいコンパイラ最適化をすぐに評価できます。Java HotSpot VM などの最新の VM がどのようにコードを最適化するかを知りたい言語実装者の方は、Doug Simon によるプレゼンテーション GraalVM コンパイラを見てみる でその答えを見つけることができます。
このプレゼンテーションでは、以下のトピックを取り上げています。
- ソースから GraalVM ディストリビューションを構築する方法
- コンパイラが開発を簡素化するために Java 言語の機能(アノテーション、単体テスト、個々のコンパイラ最適化のベンチマーク)を使用する方法
- GraalVM プロジェクトで確認すべき主なクラス
- コンパイルラッパーなど
以下にご興味のあるコンパイラに関する学術論文も掲載しています。または、ウェブサイト上の Graal コンパイラ ドキュメント もご覧ください。
学術論文
2024
-
Matteo Oldani、William Blair、Lukas Stadler、Zbynek Slajchrt、Matthias Neugschwandtner Binsweep:静的バイナリ分析と制御フロー整合性による信頼できない命令ストリームの信頼できる制限 Proceedings of the ACM Cloud Computing Security Workshop (CCSW’24) に掲載
-
Florian Huemer、David Leopoldseder、Aleksandar Prokopec、Raphael Mosaner、Hanspeter Moessenboeck Taking a Closer Look: An Outlier-Driven Approach to Compilation-Time Optimization Proceedings of the ECOOP 2024 Doctoral Symposium に掲載
-
Andrej Pecimuth、David Leopoldseder、Petr Tuma Accurate Compilation Replay via Remote JIT Compilation 第21回国際マネージドプログラミング言語およびランタイム会議(MPLR 2024)で発表されたポスター
-
Christoph Blumschein、Fabio Niephaus、Codrut Stancu、Christian Wimmer、Jens Lincke、Robert Hirschfeld Finding Cuts in Static Analysis Graphs to Debloat Software Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis に掲載
-
Ivan Ristovic、Milan Cugurovic、Strahinja Stanojevic、Marko Spasic、Vesna Marinkovic、Milena Vujosevic Janicic Efficient control-flow graph traversal Proceedings of YU INFO 2024s に掲載
-
Christian Wimmer、Codrut Stancu、David Kozak、Thomas Wuerthinger Scaling Type-Based Points-to Analysis with Saturation Proceedings of PLDI 2024 に掲載
-
Milan Cugurovic、Milena Vujosevic Janicic、Vojin Jovanovic、Thomas Wuerthinger GraalSP: Polyglot, Efficient, and Robust Machine Learning-Based Static Profiler Journal of Systems and Software に掲載
2023
-
Maja Vukasovic、Aleksandar Prokopec Exploiting Partially Context-sensitive Profiles to Improve Performance of Hot Code Proceedings of the ACM Transactions on Programming Languages and Systems に掲載
-
Matt D’Souza、James You、Ondrej Lhoták、Aleksandar Prokopec TASTyTruffle: Just-in-Time Specialization of Parametric Polymorphism Proceedings of the ACM on Programming Languages に掲載
-
Matteo Basso、Aleksandar Prokopec、Andrea Rosà、Walter Binder Optimization-Aware Compiler-Level Event Profiling Proceedings of the ACM Transactions on Programming Languages and Systems に掲載
-
Andrej Pecimuth Remote Just-in-Time Compilation for Dynamic Languages Proceedings of the SPLASH 2023 Doctoral Symposium に掲載
-
Andrej Pecimuth、David Leopoldseder、Petr Tuma Diagnosing Compiler Performance by Comparing Optimization Decisions 第20回国際マネージドプログラミング言語およびランタイム会議(MPLR 2023) に掲載
-
Julian Garn、Florian Angerer、Hanspeter Moessenboeck Generating Java Interfaces for Accessing Foreign Objects 第20回国際マネージドプログラミング言語およびランタイム会議(MPLR 2023) に掲載
-
David Kozak、Vojin Jovanovic、Codrut Stancu、Tomas Vojnar、Christian Wimmer Comparing Rapid Type Analysis with Points-To Analysis in GraalVM Native Image 第20回国際マネージドプログラミング言語およびランタイム会議(MPLR 2023) に掲載
2022
-
Jacob Kreindl、Daniele Bonetta、Lukas Stadler、David Leopoldseder、Hanspeter Moessenboeck TruffleTaint: Polyglot Dynamic Taint Analysis on GraalVM 第19回国際マネージドプログラミング言語およびランタイム会議(MPLR’22) に掲載
-
Raphael Mosaner、David Leopoldseder、Wolfgang Kisling、Lukas Stadler、Hanspeter Moessenboeck ML-SOCO: Machine Learning-Based Self-Optimizing Compiler Optimizations 第19回国際マネージドプログラミング言語およびランタイム会議(MPLR’22) に掲載
-
Lukas Makor、Sebastian Kloibhofer、David Leopoldseder、Daniele Bonetta、Lukas Stadler、Hanspeter Moessenboeck Automatic Array Transformation to Columnar Storage at Run Time 第19回国際マネージドプログラミング言語およびランタイム会議(MPLR’22) に掲載
-
Felix Berlakovich、Gergo Barany、Matthias Neugschwandtner Constant Blinding on GraalVM Proceedings of the 15th EUROPEAN WORKSHOP ON SYSTEMS SECURITY に掲載
-
Stefan Reschke、Toni Mattis、Fabio Niephaus、Robert Hirschfeld Toward Just-in-time and Language-agnostic Mutation Testing Proceedings of the MoreVMs’22 workshop at ‹Programming› 2022 に掲載
2021
-
David Justo、Shaoqing Yi、Lukas Stadler、Nadia Polikarpova、Arun Kumar Towards a polyglot framework for factorized ML Proceedings of the VLDB Endowment 14, Issue 12 (VLDB 2021 Industry Track) に掲載
-
Daniele Bonetta、Filippo Schiavio、Walter Binder Language-Agnostic Integrated Queries in a Managed Polyglot Runtime Proceedings of the VLDB Endowment 2021 に掲載
2020
-
Fabio Niephaus、Patrick Rein、Jakob Edding、Jonas Hering、Bastian König、Kolya Opahle、Nico Scordialo、Robert Hirschfeld Example-based Live Programming for Everyone: Building Language-agnostic Tools for Live Programming With LSP and GraalVM Proceedings of the ACM Symposium for New Ideas, New Paradigms, and Reflections on Everything to do with Programming and Software (Onward! 2020) に掲載
-
Jacob Kreindl、Daniele Bonetta、Lukas Stadler、David Leopoldseder、Hanspeter Moessenboeck Multi-language Dynamic Taint Analysis in a Polyglot Virtual Machine 第17回国際マネージドプログラミング言語およびランタイム会議(MPLR 2020) に掲載
-
Alexander Riese、Fabio Niephaus、Tim Felgentreff、Robert Hirschfeld User-Defined Interface Mappings for the GraalVM Proceedings of the Interconnecting Code Workshop (ICW) 2020, companion volume to International Conference on the Art, Science, and Engineering of Programming (‹Programming›) に掲載
-
Jan Ehmueller、Alexander Riese、Hendrik Tjabben、Fabio Niephaus、Robert Hirschfeld Polyglot Code Finder Proceedings of the Programming Experience 2020 (PX/20) Workshop, companion volume to International Conference on the Art, Science, and Engineering of Programming (‹Programming›) に掲載
-
Johannes Henning, Tim Felgentreff, Fabio Niephaus, Robert Hirschfeld GraalPythonのためのプリサイジングとプリトランジショニング戦略に向けて 収録: Proceedings of the Workshop on Modern Language Runtimes, Ecosystems, and VMs (MoreVMs) 2020, companion volume to International Conference on the Art, Science, and Engineering of Programming (‹Programming›)
2019
-
Christian Wimmer, Peter Hofer, Codrut Stancu, Vojin Jovanovic, Peter Kessler, Thomas Wuerthinger, Oleg Pliss, Paul Woegerer 一度初期化、高速起動:ビルド時アプリケーション初期化 収録: Proceedings of the ACM on Programming Languages
-
Fabio Niephaus, Tim Felgentreff, Robert Hirschfeld GraalSqueak:ポリグロットプログラミングのためのSmalltalkベースのツールプラットフォームに向けて 収録: Proceedings of the International Conference on Managed Programming Languages and Runtimes (MPLR 2019)
-
Aleksandar Prokopec, Gilles Duboscq, David Leopoldseder, Thomas Wuerthinger 最適化駆動型インクリメンタルインライン置換アルゴリズム:Just-In-Timeコンパイラ向け 収録: Proceedings of the 2019 International Symposium on Code Generation and Optimization (CGO 2019)
-
Aleksandar Prokopec, Andrea Rosà, David Leopoldseder, Gilles Duboscq, Petr Tůma, Martin Studener, Lubomír Bulej, Yudi Zheng, Alex Villazón, Doug Simon, Thomas Würthinger, Walter Binder Renaissance:JVM上の並列アプリケーションのためのベンチマークスイート 収録: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2019)
-
Christian Humer, Tim Felgentreff, Robert Hirschfeld, Fabio Niephaus, Daniel Stolpe 動的ランタイムのための言語非依存開発環境サポート 収録: Proceedings of the 15th ACM SIGPLAN International Symposium on Dynamic Languages
-
Florian Latifi, David Leopoldseder 実用的な第二フータムラ射影 収録: Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity
-
Jacob Kreindl, Hanspeter Moessenboeck, Daniele Bonetta 効率的な多言語動的汚染解析に向けて 収録: Proceedings of the 16th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes
-
Raphael Mosaner, Hanspeter Moessenboeck, Manuel Rigger, Roland Schatz, David Leopoldseder ループ再構成と抽出による非構造化言語におけるオンスタック置換のサポート 収録: Proceedings of the 16th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes
-
Robert Hirschfeld, Christian Humer, Fabio Niephaus, Daniel Stolpe, Tim Felgentreff 動的ランタイムのための言語非依存開発環境サポート 収録: Proceedings of the 15th ACM SIGPLAN International Symposium on Dynamic Languages
-
Stefan Marr, Manuel Rigger, Bram Adams, Hanspeter Moessenboeck より良いツールの開発のためのGCC組み込み関数の理解 収録: Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering
-
Fabio Niephaus, Tim Felgentreff, and Robert Hirschfeld GraalSqueak:ポリグロットプログラミングのためのSmalltalkベースのツールプラットフォームに向けて 収録: Proceedings of the International Conference on Managed Programming Languages and Runtimes (MPLR) 2019
-
Daniel Stolpe, Tim Felgentreff, Christian Humer, Fabio Niephaus, and Robert Hirschfeld 動的ランタイムのための言語非依存開発環境サポート 収録: Proceedings of the Dynamic Languages Symposium (DLS) 2019
-
Fabio Niephaus, Tim Felgentreff, Tobias Pape, and Robert Hirschfeld 言語実装フレームワークにおけるSmalltalkアクティベーションレコードの効率的な実装 収録: Proceedings of the Workshop on Modern Language Runtimes, Ecosystems, and VMs (MoreVMs) 2019, companion volume to International Conference on the Art, Science, and Engineering of Programming (‹Programming›)
-
Fabio Niephaus, Eva Krebs, Christian Flach, Jens Lincke, and Robert Hirschfeld PolyJuS:GraalVMのためのSqueak/Smalltalkベースのポリグロットノートブックシステム 収録: Proceedings of the Programming Experience 2019 (PX/19) Workshop, companion volume to International Conference on the Art, Science, and Engineering of Programming (‹Programming›)
-
Fabio Niephaus, Tim Felgentreff, and Robert Hirschfeld GraalVMのためのポリグロットアダプタに向けて 収録: Proceedings of the Interconnecting Code Workshop (ICW) 2019, companion volume to International Conference on the Art, Science, and Engineering of Programming (‹Programming›)
2018
-
Kevin Menard, Chris Seaton, Benoit Daloze Rubyのためのロープの特殊化 収録: Proceedings of the 15th International Conference on Managed Languages & Runtimes (ManLang’18)
-
B. Daloze, A. Tal, S. Marr, H. Moessenboeck, E. Petrank 動的言語の並列化:組み込みコレクションの同期 収録: Proceedings of the Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2018)
-
David Leopoldseder, Roland Schatz, Lukas Stadler, Manuel Rigger, Thomas Wuerthinger, Hanspeter Moessenboeck 高速パスループアンローリング:非カウントループ、後続のコンパイラ最適化を可能にする 収録: Proceedings of the 15th International Conference on Managed Languages & Runtimes, Article No. 2 (ManLang’18)
-
David Leopoldseder, Lukas Stadler, Thomas Würthinger, Josef Eisl, Doug Simon, Hanspeter Moessenboeck 支配に基づく複製シミュレーション(DBDS):コンパイラ最適化を可能にするコード複製 収録: Proceedings of the 2018 International Symposium on Code Generation and Optimization (CGO 2018)
-
Matthias Grimmer, Roland Schatz, Chris Seaton, Thomas Wuerthinger, Mikel Lujan 多言語ランタイムにおけるクロス言語相互運用性 収録: ACM Transactions on Programming Languages and Systems (TOPLAS), Vol. 40, No. 2, 2018
-
Fabio Niephaus, Tim Felgentreff, and Robert Hirschfeld GraalSqueak:ASTインタプリタフレームワークで記述された高速Smalltalkバイトコードインタプリタ 収録: Proceedings of the Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs, and Systems (ICOOOLPS) 2018
-
Manuel Rigger, Roland Schatz, Jacob Kreindl, Christian Haeubl, Hanspeter Moessenboeck Sulong、そしてすべての魚に感謝 収録: MoreVMs Workshop on Modern Language Runtimes, Ecosystems, and VMs (MoreVMs 2018)
-
Michael Van De Vanter, Chris Seaton, Michael Haupt, Christian Humer, and Thomas Würthinger 高速で柔軟なポリグロットインストルメンテーションサポート:デバッガおよびその他のツール向け 収録: The Art, Science, and Engineering of Programming, vol. 2, no. 3, 2018, article 14 (<Programming 2018>, Nice, France, April 12, 2018) DOI
2017
-
T. Würthinger, C. Wimmer, C. Humer, A. Wöss, L. Stadler, C. Seaton, G. Duboscq, D. Simon, M. Grimmer 高性能動的言語ランタイムのための実際的な部分評価 収録: Proceedings of the Conference on Programming Language Design and Implementation (PLDI) ビデオ録画 DOI: 10.1145/3062341.3062381
-
Juan Fumero, Michel Steuwer, Lukas Stadler, Christophe Dubach 部分評価によるインタプリタ言語のJust-In-Time GPUコンパイル 収録: Proceedings of the 13th ACM International Conference on Virtual Execution Environments (VEE’17) DOI: 10.1145/3050748.3050761
-
Michael Van De Vanter 高性能ポリグロットVMへの柔軟で低オーバーヘッドのツールサポートの構築(拡張要約) 収録: MoreVMs Workshop on Modern Language Runtimes, Ecosystems, and VMs.
-
Juan Fumero, Michel Steuwer, Lukas Stadler, Christophe Dubach. 動的プログラミング言語のためのOpenCL JITコンパイル 収録: MoreVMs Workshop on Modern Language Runtimes, Ecosystems, and VMs (MoreVMs’17) ビデオ録画
2016
-
Benoit Daloze, Stefan Marr, Daniele Bonetta, Hanspeter Moessenboeck 動的型付け言語のための効率的でスレッドセーフなオブジェクト 収録: Proceedings of the Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA).
-
Manuel Rigger, Matthias Grimmer, Christian Wimmer, Thomas Würthinger, Hanspeter Moessenboeck 低レベル言語のJVMへの導入:Truffle上でのLLVM IRの効率的な実行 収録: Proceedings of the Workshop on Virtual Machines and Intermediate Languages (VMIL).
-
Manuel Rigger, Matthias Grimmer, Hanspeter Moessenboeck Sulong – JVM上でのLLVMベース言語の実行 収録: Proceedings of International Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems (ICOOOLPS).
-
Manuel Rigger Sulong:メモリセーフで効率的なLLVMベース言語の実行 収録: Proceedings of the ECOOP 2016 Doctoral Symposium.
2015
-
Benoit Daloze, Chris Seaton, Daniele Bonetta, Hanspeter Moessenboeck ゲスト言語セーフポイントの技術と応用 収録: Proceedings of the International Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems (ICOOOLPS).
-
Matthias Grimmer, Chris Seaton, Roland Schatz, Würthinger, Hanspeter Moessenboeck 多言語ランタイムにおける高性能クロス言語相互運用性 収録: Proceedings of the 11th Dynamic Language Symposium (DLS).
-
Matthias Grimmer, Chris Seaton, Thomas Würthinger, Hanspeter Moessenboeck モジュール方式での動的言語の構成:動的言語のためのC拡張のサポート 収録: Proceedings of the 14th International Conference on Modularity.
-
Gülfem Savrun-Yeniçeri, Michael Van De Vanter, Per Larsen, Stefan Brunthaler, and Michael Franz 動的言語のための効率的で汎用的なイベントベースのプロファイラフレームワーク 収録: Proceedings of the International Conference on Principles and Practices of Programming on The Java Platform: virtual machines, languages, and tools (PPPJ).
-
Michael Van De Vanter デバッガやその他のツールの構築:「すべてを手に入れる」ことができる(立場表明) 収録: Proceedings of the 10th Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems Workshop (ICOOOLPS).
2014
-
Matthias Grimmer 多言語ランタイムにおける高性能言語相互運用性 収録: Proceedings of the companion publication of the 2014 ACM SIGPLAN conference on Systems, Programming, and Applications: Software for Humanity (SPLASH Companion).
-
Matthias Grimmer, Manuel Rigger, Roland Schatz, Lukas Stadler, Hanspeter Moessenboeck Truffle C:Java仮想マシン上でのCの動的実行 収録: Proceedings of the International Conference on Principles and Practice of Programming in Java (PPPJ).
-
Christian Humer, Christian Wimmer, Christian Wirth, Andreas Wöß, Thomas Würthinger 自己最適化ASTインタプリタ構築のためのドメイン特化言語 収録: Proceedings of the International Conference on Generative Programming: Concepts and Experiences (GPCE).
-
Andreas Wöß, Christian Wirth, Daniele Bonetta, Chris Seaton, Christian Humer, Hanspeter Moessenboeck Truffle言語実装フレームワークのためのオブジェクトストレージモデル 収録: Proceedings of International Conference on Principles and Practice of Programming in Java (PPPJ).
-
Matthias Grimmer、Thomas Würthinger、Andreas Wöß、Hanspeter Moessenboeck JavaScriptからのネイティブバイナリデータアクセスに向けた効率的なアプローチ 第9回オブジェクト指向言語、プログラム、システムの実装、コンパイル、最適化ワークショップ(ICOOOLPS)論文集掲載。
-
Chris Seaton、Michael Van De Vanter、Michael Haupt フルスピードでのデバッグ 第8回動的言語とアプリケーションワークショップ(DYLA)論文集掲載。
2013
-
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! 論文集掲載。Truffleアプローチのビジョンと、インタプリタや動的コンパイラを含む完全なシステムスタックについて説明。
-
Matthias Grimmer、Manuel Rigger、Lukas Stadler、Roland Schatz、Hanspeter Moessenboeck Javaのための効率的なネイティブ関数インタフェース Javaプラットフォーム上でのプログラミングの原則と実践に関する国際会議:仮想マシン、言語、ツール(PPPJ)論文集掲載。
-
Matthias Grimmer Truffle/C VMのためのランタイム環境 リンツヨハネスケプラー大学修士論文、2013年11月。
2012
- Thomas Würthinger、Andreas Wöß、Lukas Stadler、Gilles Duboscq、Doug Simon、Christian Wimmer 自己最適化ASTインタプリタ 動的言語シンポジウム(DLS)論文集掲載。自己最適化および自己特殊化インタプリタの設計と、JavaScriptへの応用について説明。
GraalVMコンパイラに関する論文
2023
- David Leopoldseder、Daniele Bonetta、Lukas Stadler、Hanspeter Moessenboeck、Sebastian Kloibhofer、Lukas Makor 動的コンパイラにおける列状配列のための制御フロー複製 _論文集_掲載。
2023年ジャーナルおよびカンファレンス
2022
-
Felix Berlakovich、Matthias Neugschwandtner、Gergö Barany Look Ma, no constants: GraalVMにおける実践的な定数ブラインディング 第15回欧州システムセキュリティワークショップ(EuroSec ‘22)論文集掲載。
-
Gergo Barany、David Leopoldseder、Hanspeter Moessenboeck、Raphael Mosaner 学習モデルを用いた動的コンパイラにおけるベクトル化ヒューリスティックの改善 SPLASH 2022と同時開催の仮想マシンと言語実装ワークショップ論文集掲載。
-
Stefan Marr、Humphrey Burchell、Fabio Niephaus 実行ベース対構文解析ベースの言語サーバー:動的言語のための言語非依存ツールにおけるトレードオフと機会 SPLASH 2022における第18回動的言語シンポジウム(DLS)論文集掲載。
-
David Leopoldseder、Daniele Bonetta、Lukas Stadler、Hanspeter Moessenboeck、Lukas Makor、Sebastian Kloibhofer 実行時における列状ストレージへの自動配列変換 第19回マネージドプログラミング言語とランタイムに関する国際会議(MPLR’22)論文集掲載。
-
David Leopoldseder、Lukas Stadler、Hanspeter Moessenboeck、Raphael Mosaner、Wolfgang Kisling 機械学習ベースの自己最適化コンパイラヒューリスティック 第19回マネージドプログラミング言語とランタイムに関する国際会議(MPLR’22)論文集掲載。
-
Stefan Reschke、Toni Mattis、Fabio Niephaus、Robert Hirschfeld ジャストインタイムかつ言語非依存の変異テストに向けて ‹Programming› 2022におけるMoreVMs’22ワークショップ論文集掲載。
2021
-
Rodrigo Bruno、Vojin Jovanovic、Christian Wimmer、Gustavo Alonso 値フィールドによるコンパイラ支援オブジェクトインライン化 第42回ACM SIGPLAN国際プログラミング言語設計および実装会議(PLDI 2021)論文集掲載。
-
Raphael Mosaner、David Leopoldseder、Lukas Stadler、Hanspeter Moessenboeck 動的コンパイラにおける複製ヒューリスティックのコードサイズへの影響を予測するための機械学習の利用 第18回ACM SIGPLAN国際マネージドプログラミング言語とランタイム会議(MPLR 2021)論文集掲載。
-
Jacob Kreindl、Daniele Bonetta、Lukas Stadler、David Leopoldseder、Hanspeter Moessenboeck 投機的最適化と動的コンパイルによる低オーバーヘッドな多言語動的汚染解析 第18回ACM SIGPLAN国際マネージドプログラミング言語とランタイム会議(MPLR 2021)論文集掲載。
-
Florian Latifi、David Leopoldseder、Christian Wimmer、Hanspeter Moessenboeck CompGen:多言語VMにおける高速コンパイラの生成 SPLASHカンファレンス2021と同時開催の動的言語シンポジウム、DLS論文集掲載。
-
Matt D’Souzam、Gilles Duboscq、非構造化ループを持つ言語における軽量なオンスタック置換 第13回ACM SIGPLAN国際仮想マシンと中間言語ワークショップ(VMIL 2021)論文集掲載。
-
Sebastian Kloibhofer コンパイラ最適化を促進する実行時データ分析 SPLASH Companion 2021論文集掲載。
-
Lukas Makor 動的ランタイムにおける実行時データ分析 SPLASH Companion 2021論文集掲載。
-
Hugo Guiroux、Jean-Pierre Lozi、Peterson Yuhala、Jämes Ménétrey、Pascal Felber、Valerio Schiavoni、Alain Tchana、Gaël Thomas Montsalvat:GraalVMネイティブイメージのためのIntel SGXシールド MIDDLEWARE 2021 - 第22回ACM/IFIP国際会議2021論文集掲載。
2020
-
Sebastian Kloibhofer、Thomas Pointhuber、Maximilian Heisinger、Hanspeter Moessenboeck、Lukas Stadler、David Leopoldseder SymJEx:GraalVM上でのシンボリック実行 第17回マネージドプログラミング言語とランタイムに関する国際会議(MPLR 2020)論文集掲載。
-
Raphael Mosaner データ駆動型コンパイラ最適化の理解を容易にする機械学習 SPLASH Companion 2020論文集掲載。
-
Aleksandar Prokopec、Andrea Rosà、David Leopoldseder、Gilles Duboscq、Petr Tuma、Martin Studener、Lubomír Bulej、Yudi Zheng、Alex Villazón、Doug Simon、Thomas Würthinger、Walter Binder Renaissance:JVM上の並列アプリケーションのためのベンチマークスイート ソフトウェアエンジニアリング2020論文集掲載。
-
Aleksandar Prokopec、François Farquet、Lubomír Bulej、Vojtech Horký、Petr Tuma Duetベンチマーク:クラウドにおける測定精度の向上 パフォーマンスエンジニアリングに関する国際会議(ICPE 2020)論文集掲載。
-
Aleksandar Prokopec、Trevor Brown、Dan Alistarh 二重対数時間を持つノンブロッキング補間検索ツリー 第25回並列プログラミングの原則と実践に関するシンポジウム(PPoPP 2020)論文集掲載。
-
Sebastian Kloibhofer、Thomas Pointhuber、Maximilian Heisinger、Hanspeter Moessenboeck、Lukas Stadler、David Leopoldseder SymJEx:GraalVM上でのシンボリック実行 第17回マネージドプログラミング言語とランタイムに関する国際会議(MPLR 2020)論文集掲載。
2019
-
Aleksandar Prokopec, Gilles Duboscq, David Leopoldseder, Thomas Wuerthinger 最適化駆動型インクリメンタルインライン置換アルゴリズム:Just-In-Timeコンパイラ向け 収録: Proceedings of the 2019 International Symposium on Code Generation and Optimization (CGO 2019)
-
Aleksandar Prokopec, Andrea Rosà, David Leopoldseder, Gilles Duboscq, Petr Tůma, Martin Studener, Lubomír Bulej, Yudi Zheng, Alex Villazón, Doug Simon, Thomas Würthinger, Walter Binder Renaissance:JVM上の並列アプリケーションのためのベンチマークスイート 収録: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2019)
2018
-
James Clarkson、Juan Fumero、Michalis Papadimitriou、Foivos S. Zakkak、Maria Xekalaki、Christos Kotselidis、Mikel Luján Graalを用いたJavaプログラムにおける高性能異種ハードウェアの活用 第15回マネージド言語&ランタイムに関する国際会議(ManLang’18)論文集掲載。
-
Juan Fumero、Christos Kotselidis。 コンパイラスニペットを用いた異種ハードウェア上での並列処理の活用:Javaリダクションのケーススタディ 第10回ACM SIGPLAN国際仮想マシンと中間言語ワークショップ(VMIL’18)論文集掲載。
2016
-
Josef Eisl、Matthias Grimmer、Doug Simon、Thomas Würthinger、Hanspeter Moessenboeck JITコンパイラにおけるトレースベースのレジスタ割り当て 第13回Javaプラットフォーム上でのプログラミングの原則と実践に関する国際会議:仮想マシン、言語、ツール(PPPJ ‘16)論文集掲載。
-
Stefan Marr、Benoit Daloze、Hanspeter Moessenboeck クロス言語コンパイラベンチマーク:私たちは十分に速くなったか? 第12回動的言語シンポジウム(DLS 2016)論文集掲載。
-
Manuel Rigger、Matthias Grimmer、Christian Wimmer、Thomas Würthinger、Hanspeter Moessenboeck 低レベル言語をJVMにもたらす:Truffle上でのLLVM IRの効率的な実行 第8回国際仮想マシンと中間言語ワークショップ(VMIL 2016)論文集掲載。
-
Manuel Rigger Sulong:メモリセーフで効率的なLLVMベース言語の実行 ECOOP 2016博士論文シンポジウム。
-
Manuel Rigger、Matthias Grimmer、Hanspeter Moessenboeck Sulong - JVM上でのLLVMベース言語の実行 オブジェクト指向言語、プログラム、システムの実装、コンパイル、最適化に関する国際ワークショップ(ICOOOLPS’16)。
-
Luca Salucci、Daniele Bonetta、Walter Binder ビッグデータ分析における動的言語の効率的な埋め込み 分散コンピューティングシステムワークショップに関する国際会議(ICDCSW 2016)。
-
Lukas Stadler、Adam Welc、Christian Humer、Mick Jordan 積極的な投機によるR言語実行の最適化 第12回動的言語シンポジウム(DLS 2016)論文集掲載。
-
Daniele Bonetta、Luca Salucci、Stefan Marr、Walter Binder GEMs:Node.jsのための共有メモリ並列プログラミング 2016 ACM SIGPLAN国際オブジェクト指向プログラミング、システム、言語、アプリケーション会議(OOPSLA 2016)論文集掲載。
-
Benoit Daloze、Stefan Marr、Daniele Bonetta、Hanspeter Moessenboeck 動的型付き言語のための効率的でスレッドセーフなオブジェクト 2016 ACM SIGPLAN国際オブジェクト指向プログラミング、システム、言語、アプリケーション会議(OOPSLA 2016)論文集掲載。
-
Luca Salucci、Daniele Bonetta、Walter Binder Apache Sparkのための軽量な多言語バインディング ヨーロッパ並列処理会議(Euro-Par 2016)。
-
Luca Salucci、Daniele Bonetta、Stefan Marr、Walter Binder 汎用メッセージ:イベントループシステムのための能力ベースの共有メモリ並列処理 第21回ACM SIGPLAN並列プログラミングの原則と実践に関するシンポジウム(PPoPP 2016)論文集掲載。
-
Stefan Marr、Chris Seaton、Stéphane Ducasse ゼロオーバーヘッドメタプログラミング:妥協のない高速なリフレクションとメタオブジェクトプロトコル 第36回ACM SIGPLANプログラミング言語設計および実装会議(PLDI 2016)論文集掲載。
2015
-
Josef Eisl トレースレジスタ割り当て 2015 ACM SIGPLAN国際システム、プログラミング、言語、アプリケーション会議の補足論文集:人類のためのソフトウェア(SPLASH Companion 2015)掲載。
-
Matthias Grimmer、Chris Seaton、Roland Schatz、Thomas Würthinger、Hanspeter Moessenboeck 多言語ランタイムにおける高性能クロス言語相互運用性 第11回動的言語シンポジウム(DLS 2015)論文集掲載。
-
Matthias Grimmer、Roland Schatz、Chris Seaton、Thomas Würthinger、Hanspeter Moessenboeck Java VM上でのCのメモリセーフな実行 第10回ACMセキュリティのためのプログラミング言語と分析ワークショップ(PLAS’15)論文集掲載。
-
Matthias Grimmer, Chris Seaton, Thomas Würthinger, Hanspeter Moessenboeck モジュール方式による動的言語の動的な構成:動的言語のためのC拡張のサポート Proceedings of the 14th International Conference on Modularity (MODULARITY 2015) 収録
-
Doug Simon, Christian Wimmer, Bernhard Urban, Gilles Duboscq, Lukas Stadler, Thomas Würthinger Snippets: 高レベルから低レベルへの道 ACM Transactions on Architecture and Code Optimization (TACO)
-
David Leopoldseder, Lukas Stadler, Christian Wimmer, Hanspeter Moessenboeck コンパイラIRの構造化制御フロー再構成によるJavaからJavaScriptへの変換 Proceedings of the 11th Symposium on Dynamic Languages (DLS 2015) 収録
-
Codruţ Stancu, Christian Wimmer, Stefan Brunthaler, Per Larsen, Michael Franz Javaのための安全で効率的なハイブリッドメモリ管理 Proceedings of the 2015 International Symposium on Memory Management (ISMM ‘15) 収録
-
Gülfem Savrun-Yeniçeri, Michael L. Van de Vanter, Per Larsen, Stefan Brunthaler, Michael Franz 動的言語のための効率的で汎用的なイベントベースのプロファイラフレームワーク Proceedings of the Principles and Practices of Programming on The Java Platform (PPPJ ‘15) 収録
-
Michael L. Van De Vanter デバッガおよびその他のツールの構築:「すべてを手に入れる」ことができる Proceedings of the 10th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems (ICOOOLPS ‘15) 収録
-
Benoit Daloze, Chris Seaton, Daniele Bonetta, Hanspeter Moessenboeck ゲスト言語セーフポイントのためのテクニックとアプリケーション Proceedings of the 10th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems (ICOOOLPS ‘15) 収録
-
Juan Fumero, Toomas Remmelg, Michel Steuwer, Christophe Dubach Javaにおける異種計算のためのランタイムコード生成とデータ管理 Proceedings of the Principles and Practices of Programming on The Java Platform (PPPJ ‘15) 収録
2014
-
Wei Zhang, Per Larsen, Stefan Brunthaler, Michael Franz 最適化されたASTインタープリタにおけるイテレータの高速化 Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications (OOPSLA ‘14) 収録
-
Matthias Grimmer マルチ言語ランタイムにおける高性能言語相互運用性 Proceedings of the companion publication of the 2014 ACM SIGPLAN conference on Systems, Programming, and Applications: Software for Humanity (SPLASH ‘14) 収録
-
Matthias Grimmer, Manuel Rigger, Roland Schatz, Lukas Stadler, Hanspeter Moessenboeck TruffleC:Java仮想マシン上でのCの動的実行 Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java platform: Virtual machines, Languages, and Tools (PPPJ ‘14) 収録
-
Matthias Grimmer, Thomas Würthinger, Andreas Wöß, Hanspeter Moessenboeck JavaScriptからのCデータ構造への効率的なアクセス方法 Proceedings of the 9th International Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems PLE (ICOOOLPS ‘14) 収録
-
Christian Humer, Christian Wimmer, Christian Wirth, Andreas Wöß, Thomas Würthinger 自己最適化ASTインタープリタ構築のためのドメイン特化言語 Proceedings of the 2014 International Conference on Generative Programming: Concepts and Experiences (GPCE 2014) 収録
-
Gilles Duboscq, Thomas Würthinger, Hanspeter Moessenboeck 後悔のない投機:GraalVMコンパイラにおける最適化メタデータの削減 Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java platform: Virtual machines, Languages, and Tools (PPPJ ‘14) 収録
-
Thomas Würthinger GraalとTruffle:多目的ランタイム構築の礎としてのモジュール性と懸念事項の分離 Proceedings of the companion publication of the 13th international conference on Modularity (MODULARITY ‘14) 収録
-
Lukas Stadler, Thomas Würthinger, Hanspeter Moessenboeck Javaのための部分エスケープ解析とスカラー置換 Proceedings of Annual IEEE/ACM International Symposium on Code Generation and Optimization (CGO ‘14) 収録
-
Christian Häubl, Christian Wimmer, Hanspeter Moessenboeck JavaのトレースベースJITコンパイラにおけるトレース遷移と例外処理 ACM Transactions on Architecture and Code Optimization (TACO)
-
Chris Seaton, Michael L. Van De Vanter, Michael Haupt フルスピードでのデバッグ Proceedings of the Workshop on Dynamic Languages and Applications (Dyla’14) 収録
-
Andreas Wöß, Christian Wirth, Daniele Bonetta, Chris Seaton, Christian Humer, Hanspeter Moessenboeck Truffle言語実装フレームワークのためのオブジェクトストレージモデル Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java platform: Virtual machines, Languages, and Tools (PPPJ ‘14) 収録
-
Codruţ Stancu, Christian Wimmer, Stefan Brunthaler, Per Larsen, Michael Franz ポイントツー静的解析とランタイム記録プロファイリングデータの比較 Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java platform: Virtual machines, Languages, and Tools (PPPJ ‘14) 収録
-
Juan Jose Fumero, Michel Steuwer, Christophe Dubach Javaにおける異種計算のためのコンポーザブル配列関数インターフェース Proceedings of ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming (ARRAY’14) 収録
2013
-
Matthias Grimmer, Manuel Rigger, Lukas Stadler, Roland Schatz, Hanspeter Moessenboeck Javaのための効率的なネイティブ関数インターフェース Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools (PPPJ ‘13) 収録
-
Thomas Würthinger, Christian Wimmer, Andreas Wöß, Lukas Stadler, Gilles Duboscq, Christian Humer, Gregor Richards, Doug Simon, Mario Wolczko 万能VM Proceedings of the 2013 ACM international symposium on New ideas, new paradigms, and reflections on programming & software (Onward! 2013) 収録
-
Gilles Duboscq, Thomas Würthinger, Lukas Stadler, Christian Wimmer, Doug Simon, Hanspeter Moessenboeck 動的コンパイラにおける投機的最適化のための中間表現 Proceedings of the 7th ACM workshop on Virtual machines and intermediate languages (VMIL ‘13) 収録
-
Lukas Stadler, Gilles Duboscq, Hanspeter Moessenboeck, Thomas Würthinger, Doug Simon 動的コンパイラ最適化がScalaのパフォーマンスに及ぼす影響に関する実験的研究 Proceedings of the 4th Workshop on Scala (SCALA ‘13) 収録
-
Gilles Duboscq, Lukas Stadler, Thomas Würthinger, Doug Simon, Christian Wimmer, Hanspeter Moessenboeck Graal IR:拡張可能な宣言型中間表現 Proceedings of the Asia-Pacific Programming Languages and Compilers Workshop, 2013 収録
-
Christian Häubl, Christian Wimmer, Hanspeter Moessenboeck Javaのためのコンテキスト依存トレースインライン化 27th ACM Symposium on Applied Computing, Computer Languages, Systems & Structuresにおけるプログラミング言語トラック特集号
-
Christian Wimmer, Stefan Brunthaler Truffle上のZipPy:Pythonの高速かつシンプルな実装 Proceedings of the 2013 companion publication for conference on Systems, programming, & applications: software for humanity (SPLASH ‘13) 収録
-
Christian Häubl, Christian Wimmer, Hanspeter Moessenboeck トレースベースJITコンパイラ用に記録されたプロファイリングデータからのコードカバレッジ情報の導出 Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools (PPPJ ‘13) 収録
2012
-
Lukas Stadler, Gilles Duboscq, Hanspeter Moessenboeck, Thomas Würthinger 動的コンパイラのためのコンパイルキューイングとグラフキャッシング Proceedings of the Workshop on Virtual Machines and Intermediate Languages (VMIL) 2012 収録
-
Thomas Würthinger, Andreas Wöß, Lukas Stadler, Gilles Duboscq, Doug Simon, Christian Wimmer 自己最適化ASTインタープリタ Proceedings of the 8th symposium on Dynamic languages (DLS ‘12) 収録
-
Christian Wimmer, Thomas Würthinger Truffle:自己最適化ランタイムシステム Proceedings of the 3rd annual conference on Systems, programming, and applications: software for humanity (SPLASH ‘12) 収録
-
Christian Häubl, Christian Wimmer, Hanspeter Moessenboeck Javaのためのトレースインライン化ヒューリスティックの評価 Proceedings of the 27th Annual ACM Symposium on Applied Computing (SAC ‘12) 収録