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 Zurich

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

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

Contributions

ECOOP 2022	Author of A Compiler for Sound Floating-Point Computations within the Hub Talks-track
CGO 2022	Committee Member in Program Committee within the Main Conference-track Author of A Compiler for Sound Floating-Point Computations using Affine Arithmetic 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
PLDI 2021	Committee Member in Program Committee within the PLDI-track
CGO 2021	Author of An Interval Compiler for Sound Floating Point Computations within the Main Conference-track
PLDI 2020	Author of Learning Fast and Precise Numerical Analysis within the PLDI Research Papers-track
GPCE 2019	Author of A Stage-Polymorphic IR for Compiling MATLAB-Style Dynamic Tensor Expressions within the GPCE 2019-track
Scala 2019	Author of Stage Polymorphism Based on Types for a Typeless Language: MATLAB in LMS within the Scala 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
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
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
PLDI 2017	Tutorial organizer of Scala, LMS and Delite for High-Performance DSLs and Program Generators within the PLDI Tutorials-track
POPL 2017	Author of Fast Polyhedra Abstract Domain within the POPL-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
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