Tobias Grosser

Registered user since Mon 19 Sep 2016

Name:Tobias Grosser
Country:United Kingdom
Affiliation:University of Edinburgh
Research interests:Compilers, HPC, EDA, Open-Source

Contributions

CGO 2024 General Co-Chair in Organizing Committee
PLDI 2023 Committee Member in SRC Reviewers within the SRC-track
ICST 2023 Author of Metamorphic Fuzzing of C++ Libraries within the Previous Editions-track
PPoPP 2023 PC Member in Program Committee within the Main Conference-track
LCTES 2022 Session Chair of Keynote (part of LCTES 2022)
General Chair in Organizing Committee within the LCTES 2022-track
Session Chair of Keynote (part of LCTES 2022)
PLDI 2022 Author of (OOPSLA 2021) FPL: fast Presburger arithmetic through transprecision within the SIGPLAN Track-track
Author of IRDL: An IR Definition Language for SSA Compilers within the PLDI-track
ICST 2022 Author of Metamorphic Fuzzing of C++ Libraries within the Research Papers-track
CGO 2022 Author of Lambda the Ultimate SSA: Optimizing Functional Programs in SSA within the Main Conference-track
Session Chair of Session #3: Domain-Specific Compilation (part of Main Conference)
Committee Member in Program Committee within the Main Conference-track
CC 2022 Author of QSSA: An SSA-Based IR for Quantum Computing within the CC Research Papers-track
Author of QRANE: Lifting QASM Programs to an Affine IR within the CC Research Papers-track
MoreVMs 2022 Programme Committee in Program Committee within the MoreVMs'22-track
SPLASH 2021 Author of FPL: Fast Presburger Arithmetic through Transprecision within the OOPSLA-track
VMIL 2021 Author of Cross-Domain Compilation: Exploiting Synergies Across the CS Community within the VMIL 2021-track
MET 2021 Author of Dreaming up Metamorphic Relations: Experiences from Three Fuzzer Tools within the MET 2021-track
PPoPP 2021 Author of Extracting Clean Performance Models from Tainted Programs within the Main Conference-track
CGO 2021 Author of Progressive Raising in Multi-level IR within the Main Conference-track
SPLASH 2020 Author of Fast Linear Programming through Transprecision Computing on Small and Sparse Data within the OOPSLA-track
Mentor in Mentors within the PLMW-track
PLDI 2020 Author of LLHD: A Multi-level Intermediate Representation for Hardware Description Languages within the PLDI Research Papers-track
CC 2020 Author of Mixed-Data-Model Heterogeneous Compilation and OpenMP Offloading within the Main Conference-track
PLDI 2019 Author of A Fast Analytical Model of Fully Associative Caches within the PLDI Research Papers-track
MoreVMs 2018 Committee Member in Program Committee within the MoreVMs 2018-track
ARRAY 2017 Committee Member in Program Committee within the ARRAY 2017-track
PLDI 2017 Author of Polyhedral Compilation within the PLDI Tutorials-track
Committee Member in SRC Panel
Publicity Chair in Organizing Committee
PLDI 2016 Author of Polyhedral AST generation is more than scanning polyhedra [TOPLAS] within the Research Papers-track
SPLASH 2015 Author of Runtime Pointer Disambiguation within the OOPSLA-track
Author of Runtime Pointer Disambiguation within the OOPSLA Artifacts-track
DSLDI Author of PENCIL: A platform-neutral intermediate language for the parallelizing compilation of DSLs within the DSLDI-track