|
/
|
Tobias Grosser
|
|
Анализировать url
|
|
/
|
Tobias Grosser
|
|
Анализировать url
|
|
/pub/lopoukhinemultilevelcompilerbackend2025
|
<b class="css-a5veuf e1u42a7y9"><div class="css-vh0n1k e1u42a7y7">CGO</div>A Multi-level Compiler Backend for Accelerated Micro-kernels Targeting RISC-V ISA Extensions</b><p class="css-ixn9j7 e1u42a7y8"><span>Alexandre Lopoukhine</span>, <span>Federico Ficarelli</span>, <span>Christos Vasiladiotis</span>, <span>Anton Lydike</span>, <span>Josse Van Delm</span>, <span>Alban Dutilleul</span>, <span>Luca Benini</span>, <span>Marian Verhelst</span>, <span>Tobias Grosser</span></p>
|
|
Анализировать url
|
|
/pub/10.1145/3729309
|
<b class="css-a5veuf e1u42a7y9"><div class="css-vh0n1k e1u42a7y7">PLDI</div>First-Class Verification Dialects for MLIR</b><p class="css-ixn9j7 e1u42a7y8"><span>Mathieu Fehr</span>, <span>Yuyou Fan</span>, <span>Hugo Pompougnac</span>, <span>John Regehr</span>, <span>Tobias Grosser</span></p>
|
|
Анализировать url
|
|
/pub/10.1145/3763148
|
<b class="css-a5veuf e1u42a7y9"><div class="css-vh0n1k e1u42a7y7">OOPSLA</div>Certified Decision Procedures for Width-Independent Bitvector Predicates</b><p class="css-ixn9j7 e1u42a7y8"><span>Siddharth Bhat</span>, <span>Léo Stefanesco</span>, <span>Chris Hughes</span>, <span>Tobias Grosser</span></p>
|
|
Анализировать url
|
|
/pub/10.1145/3763167
|
<b class="css-a5veuf e1u42a7y9"><div class="css-vh0n1k e1u42a7y7">OOPSLA</div>Interactive Bitvector Reasoning using Verified Bit-Blasting</b><p class="css-ixn9j7 e1u42a7y8"><span>Henrik Böving</span>, <span>Siddharth Bhat</span>, <span>Luisa Cicolini</span>, <span>Alex Keizer</span>, <span>Léon Frenot</span>, <span>Abdalrhman Mohamed</span>, <span>Léo Stefanesco</span>, <span>Harun Khan</span>, <span>Joshua Clune</span>, <span>Clark Barrett</span>, <span>Tobias Grosser</span></p>
|
|
Анализировать url
|
|
/pub/10.1145/3720506
|
<b class="css-a5veuf e1u42a7y9"><div class="css-vh0n1k e1u42a7y7">OOPSLA</div>Compressed and Parallelized Structured Tensor Algebra</b><p class="css-ixn9j7 e1u42a7y8"><span>Mahdi Ghorbani</span>, <span>Emilien Bauer</span>, <span>Tobias Grosser</span>, <span>Amir Shaikhha</span></p>
|
|
Анализировать url
|
|
/pub/vandelm2026configurationwall
|
<b class="css-a5veuf e1u42a7y9"><div class="css-vh0n1k e1u42a7y7">ASPLOS</div>The Configuration Wall: Characterization and Elimination of Accelerator Configuration Overhead</b><p class="css-ixn9j7 e1u42a7y8"><span>Josse Van Delm</span>, <span>Anton Lydike</span>, <span>Joren Dumoulin</span>, <span>Jonas Crols</span>, <span>Xiaoling Yi</span>, <span>Ryan Antonio</span>, <span>Jackson Woodruff</span>, <span>Tobias Grosser</span>, <span>Marian Verhelst</span></p>
|
|
Анализировать url
|
|
/pub/bhat_et_al:lipics.itp.2024.9
|
<b class="css-a5veuf e1u42a7y9"><div class="css-vh0n1k e1u42a7y7">ITP</div>Verifying Peephole Rewriting in SSA Compiler IRs</b><p class="css-ixn9j7 e1u42a7y8"><span>Siddharth Bhat</span>, <span>Alex Keizer</span>, <span>Chris Hughes</span>, <span>Andrés Goens</span>, <span>Tobias Grosser</span></p>
|
|
Анализировать url
|
|
/pub/pitchanathan2024sdbm
|
<b class="css-a5veuf e1u42a7y9"><div class="css-vh0n1k e1u42a7y7">CAV</div>Strided Difference Bound Matrices</b><p class="css-ixn9j7 e1u42a7y8"><span>Arjun Pitchanathan</span>, <span>Albert Cohen</span>, <span>Oleksandr Zinenko</span>, <span>Tobias Grosser</span></p>
|
|
Анализировать url
|
|
/pub/pitchanathan2024falcon
|
<b class="css-a5veuf e1u42a7y9"><div class="css-vh0n1k e1u42a7y7">PLDI</div>Falcon: A Scalable Analytical Cache Model</b><p class="css-ixn9j7 e1u42a7y8"><span>Arjun Pitchanathan</span>, <span>Kunwar Grover</span>, <span>Tobias Grosser</span></p>
|
|
Анализировать url
|
|
/pub/bisbas2024stencil
|
<b class="css-a5veuf e1u42a7y9"><div class="css-vh0n1k e1u42a7y7">ASPLOS</div>A shared compilation stack for distributed-memory parallelism in stencil DSLs</b><p class="css-ixn9j7 e1u42a7y8"><span>George Bisbas</span>, <span>Anton Lydike</span>, <span>Emilien Bauer</span>, <span>Nick Brown</span>, <span>Mathieu Fehr</span>, <span>Lawrence Mitchell</span>, <span>Gabriel Rodriguez-Canal</span>, <span>Maurice Jamieson</span>, <span>Paul H. J. Kelly</span>, <span>Michel Steuwer</span>, <span>Tobias Grosser</span></p>
|
|
Анализировать url
|
|
/pub/koehler2024guided
|
<b class="css-a5veuf e1u42a7y9"><div class="css-vh0n1k e1u42a7y7">POPL</div>Guided Equality Saturation</b><p class="css-ixn9j7 e1u42a7y8"><span>Thomas Koehler</span>, <span>Andrés Goens</span>, <span>Siddharth Bhat</span>, <span>Tobias Grosser</span>, <span>Phil Trinder</span>, <span>Michel Steuwer</span></p>
|
|
Анализировать url
|
|
/pub/brauckmann2023mlirsynth
|
<b class="css-a5veuf e1u42a7y9"><div class="css-vh0n1k e1u42a7y7">PACT</div>mlirSynth: Automatic, Retargetable Program Raising in Multi-Level IR using Program Synthesis</b><p class="css-ixn9j7 e1u42a7y8"><span>Alexander Brauckmann</span>, <span>Elizabeth Polgreen</span>, <span>Tobias Grosser</span>, <span>Michael FP O'Boyle</span></p>
|
|
Анализировать url
|
|
/pub/fehr2023sidekick
|
<b class="css-a5veuf e1u42a7y9"><div class="css-vh0n1k e1u42a7y7">arXiv</div>Sidekick compilation with xDSL</b><p class="css-ixn9j7 e1u42a7y8"><span>Mathieu Fehr</span>, <span>Michel Weber</span>, <span>Christian Ulmann</span>, <span>Alexandre Lopoukhine</span>, <span>Martin Lücke</span>, <span>Théo Degioanni</span>, <span>Michel Steuwer</span>, <span>Tobias Grosser</span></p>
|
|
Анализировать url
|
|
/pub/singhbuilding
|
<b class="css-a5veuf e1u42a7y9"><div class="css-vh0n1k e1u42a7y7">IMPACT</div>Building a Static HLS Pass with FPL</b><p class="css-ixn9j7 e1u42a7y8"><span>Kunwar Shaanjeet Singh</span>, <span>Arjun Pitchanathan</span>, <span>Julian Oppermann</span>, <span>Mike Urbach</span>, <span>Tobias Grosser</span></p>
|
|
Анализировать url
|
|
/pub/theodoridis2022understanding
|
<b class="css-a5veuf e1u42a7y9"><div class="css-vh0n1k e1u42a7y7">ASPLOS</div>Understanding and Exploiting Optimal Function Inlining</b><p class="css-ixn9j7 e1u42a7y8"><span>Theodoros Theodoridis</span>, <span>Tobias Grosser</span>, <span>Zhendong Su</span></p>
|
|
Анализировать url
|
|
/pub/fehr2022irdl
|
<b class="css-a5veuf e1u42a7y9"><div class="css-vh0n1k e1u42a7y7">PLDI</div>IRDL: An IR Definition Language for SSA Compilers</b><p class="css-ixn9j7 e1u42a7y8"><span>Mathieu Fehr</span>, <span>Jeff Niu</span>, <span>River Riddle</span>, <span>Mehdi Amini</span>, <span>Zhendong Su</span>, <span>Tobias Grosser</span></p>
|
|
Анализировать url
|
|
/pub/lascu22metamorphic
|
<b class="css-a5veuf e1u42a7y9"><div class="css-vh0n1k e1u42a7y7">ICST</div>Metamorphic Fuzzing of C++ Libraries</b><p class="css-ixn9j7 e1u42a7y8"><span>Andrei Lascu</span>, <span>Alastair Donaldson</span>, <span>Tobias Grosser</span>, <span>Torsten Hoefler</span></p>
|
|
Анализировать url
|
|
/pub/bhat22lambda
|
<b class="css-a5veuf e1u42a7y9"><div class="css-vh0n1k e1u42a7y7">CGO</div>Lambda the Ultimate SSA: Optimizing Functional Programs in SSA</b><p class="css-ixn9j7 e1u42a7y8"><span>Siddharth Bhat</span>, <span>Tobias Grosser</span></p>
|
|
Анализировать url
|
|
/pub/10.1145/3497776.3517772
|
<b class="css-a5veuf e1u42a7y9"><div class="css-vh0n1k e1u42a7y7">CC</div>QSSA: An SSA-Based IR for Quantum Computing</b><p class="css-ixn9j7 e1u42a7y8"><span>Anurudh Peduri</span>, <span>Siddharth Bhat</span>, <span>Tobias Grosser</span></p>
|
|
Анализировать url
|
|
/pub/10.1145/3497776.3517775
|
<b class="css-a5veuf e1u42a7y9"><div class="css-vh0n1k e1u42a7y7">CC</div>QRANE: Lifting QASM Programs to an Affine IR</b><p class="css-ixn9j7 e1u42a7y8"><span>Blake Gerard</span>, <span>Tobias Grosser</span>, <span>Martin Kong</span></p>
|
|
Анализировать url
|
|
/compiler-social-2026-06-04
|
<div class="css-67e8yo e1dwow1d5"><div class="css-l6wvp9 e1dwow1d4">Compiler Social - 04.06.26</div><div class="css-shwt4b e1dwow1d3">From Software Programs to Digital Circuits</div></div>
|
|
Анализировать url
|
|
/compiler-social-2025-06-05
|
<div class="css-67e8yo e1dwow1d5"><div class="css-l6wvp9 e1dwow1d4">Compiler Social - 05.06.25</div><div class="css-shwt4b e1dwow1d3">Translation Validation for LLVM's AArch64 Backend</div></div>
|
|
Анализировать url
|
|
/compiler-social-2025-02-12
|
<div class="css-67e8yo e1dwow1d5"><div class="css-l6wvp9 e1dwow1d4">Compiler Social - 12.02.25</div><div class="css-shwt4b e1dwow1d3">Hardware Datapath: For Machine Learning and Beyond</div></div>
|
|
Анализировать url
|
|
/compiler-social-2024-12-04
|
<div class="css-67e8yo e1dwow1d5"><div class="css-l6wvp9 e1dwow1d4">Compiler Social - 04.12.24</div><div class="css-shwt4b e1dwow1d3">MLIR Formal Semantics & Arcilator</div></div>
|
|
Анализировать url
|
|
/compiler-social-2024-09-03
|
<div class="css-67e8yo e1dwow1d5"><div class="css-l6wvp9 e1dwow1d4">Compiler Social - 03.09.24</div><div class="css-shwt4b e1dwow1d3">Quidditch & Mojo</div></div>
|
|
Анализировать url
|
|
/compiler-social-2024-06-19
|
<div class="css-67e8yo e1dwow1d5"><div class="css-l6wvp9 e1dwow1d4">Compiler Social - 19.06.24</div><div class="css-shwt4b e1dwow1d3">Hyperblock Scheduling for Verified High-Level Synthesis</div></div>
|
|
Анализировать url
|
|
/compiler-social-2024-02-07
|
<div class="css-67e8yo e1dwow1d5"><div class="css-l6wvp9 e1dwow1d4">Compiler Social - 07.02.24</div><div class="css-shwt4b e1dwow1d3">The Compilation Game: Unifying AI, Hardware Design, Quantum, Climate Modelling, and Verification</div></div>
|
|
Анализировать url
|
|
/compiler-social-2023-02-22
|
<div class="css-67e8yo e1dwow1d5"><div class="css-l6wvp9 e1dwow1d4">Compiler Social - 22.02.23</div><div class="css-shwt4b e1dwow1d3">Towards MLIR-based single pass SYCL compilation</div></div>
|
|
Анализировать url
|
PrestaShop