Markus Püschel

Registered user since Sun 3 Jul 2016

Name:Markus Püschel
Bio:

Markus Püschel is a Professor and former Department Head of Computer Science at ETH Zurich, Switzerland. Before, he was a Professor of Electrical and Computer Engineering at Carnegie Mellon University, where he still has an adjunct status. He received his Diploma (M.Sc.) in Mathematics and his Doctorate (Ph.D.) in Computer Science, in 1995 and 1998, respectively, both from the University of Karlsruhe, Germany.

Affiliation:ETH Zurich, Switzerland
Research interests:Program generation, software performance, program analysis, signal processing, hardware design, theory

Contributions

CGO 2022 Committee Member in Program Committee within the Main Conference-track
POPL 2022 Author of PRIMA: General and Precise Neural Network Certification via Scalable Convex Hull Approximations within the POPL-track
CGO 2021 Author of An Interval Compiler for Sound Floating Point Computations within the Main Conference-track
PLDI 2021 Committee Member in Program Committee within the PLDI-track
PLDI 2020 Author of Learning Fast and Precise Numerical Analysis within the PLDI Research Papers-track
Scala 2019 Author of Stage Polymorphism Based on Types for a Typeless Language: MATLAB in LMS within the Scala 2019-track
GPCE 2019 Author of A Stage-Polymorphic IR for Compiling MATLAB-Style Dynamic Tensor Expressions within the GPCE 2019-track
PLDI 2019 Committee Member in External Review Committee within the PLDI Research Papers-track
POPL 2019 Author of An Abstract Domain for Certifying Neural Networks within the Research Papers-track
GPCE 2017 Committee Member in Program Committee within the GPCE 2017-track
Author of Staging for Generic Programming in Space and Time within the GPCE 2017-track
POPL 2018 Author of A Practical Construction for Decomposing Numerical Abstract Domains within the Artifact Evaluation-track
Author of A Practical Construction for Decomposing Numerical Abstract Domains within the Research Papers-track
PEPM 2017 Committee Member in Programme Committee within the PEPM 2017-track
Committee Member in Programme Committee
DSLDI 2016 Author of Program Generation for Linear Algebra Using Multiple Layers of DSLs within the DSLDI-track
Scala 2016 Author of RandIR: Differential Testing for Embedded Compilers within the Scala-track
POPL 2017 Author of Fast Polyhedra Abstract Domain within the POPL-track
PLDI 2017 Tutorial organizer of Scala, LMS and Delite for High-Performance DSLs and Program Generators within the PLDI Tutorials-track
PLDI 2015 Author of Making Numerical Program Analysis Fast within the Research Papers-track
GPCE 2013 Author of Spiral in Scala: Towards the Systematic Construction of Generators for Performance Libraries within the Research Papers-track
SPLASH 2013 Committee Member in Program Committee within the GPCE-track
SPLASH 2011 Keynote Speaker of Automatic Performance Programming? within the Keynotes-track
Author of Automatic Performance Programming? within the Onward! -track