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.

Country: Switzerland

Affiliation: ETH Zürich

Personal website: http://people.inf.ethz.ch/markusp/

Research interests: Program generation, software performance, program analysis, signal processing, hardware design, theory

Contributions

Scala 2019Author of Stage Polymorphism Based on Types for a Typeless Language: MATLAB in LMS within the Scala 2019-track
GPCE 2019Author of A Stage-Polymorphic IR for Compiling MATLAB-Style Dynamic Tensor Expressions within the GPCE 2019-track
PLDI 2019Committee Member in External Review Committee within the PLDI Research Papers-track
POPL 2019Author of An Abstract Domain for Certifying Neural Networks within the Research Papers-track
GPCE 2017Committee 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 2018Author 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 2017Committee Member in Programme Committee within the PEPM 2017-track
Committee Member in Programme Committee
DSLDI 2016Author of Program Generation for Linear Algebra Using Multiple Layers of DSLs within the DSLDI-track
Scala 2016Author of RandIR: Differential Testing for Embedded Compilers within the Scala-track
POPL 2017Author of Fast Polyhedra Abstract Domain within the POPL-track
PLDI 2017Tutorial organizer of Scala, LMS and Delite for High-Performance DSLs and Program Generators within the PLDI Tutorials-track
PLDI 2015Author of Making Numerical Program Analysis Fast within the Research Papers-track
GPCE 2013Author of Spiral in Scala: Towards the Systematic Construction of Generators for Performance Libraries within the Research Papers-track
SPLASH 2013Committee Member in Program Committee within the GPCE-track