Markus Püschel - Concepedia

Author

Markus Püschel

Also Known As

Alistarh, Dan, E. A. O’Brien, M Püschel, M. Puschel, M. Püschel, M.. Puschel, Markus Puschel, Markus Püschel, Markus Püschel, P\"uschel, Markus

306

Publications

7.6K

Citations

H-Index

161

Concepts

All Affiliations

Carnegie Mellon University ETH Zurich University College London Intel (United States)

About

Markus Püschel is an author at Carnegie Mellon University specializing in engineering, computer science, and computer engineering.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	42	105	6.5K
2	Natural Sciences	7	7	293
3	Business	1	1	67
4	Health Sciences	1	1	15
5	Management	1	1	46

Markus Püschel

115

Publications

6.9K

Citations

H-Index

Page 1

	Year	Citations
SPIRAL: Code Generation for DSP Transforms Markus Püschel, José M. F. Moura, Jeremy Johnson, Proceedings of the IEEE Dsp TransformsEngineeringAdvanced ComputingCompiler TechnologyHardware Algorithm	2005	822
An abstract domain for certifying neural networks Gagandeep Singh, Timon Gehr, Markus Püschel, Proceedings of the ACM on Programming Languages Artificial IntelligenceGeometric LearningConvolutional Neural NetworkEngineeringMachine Learning	2019	587
Multiplierless multiple constant multiplication Yevgen Voronenko, Markus Püschel ACM Transactions on Algorithms EngineeringAdvanced ComputingComputer ArchitectureComputational ComplexityApplied Algebra	2007	420
D-ADMM: A Communication-Efficient Distributed Algorithm for Separable Optimization João F. C. Mota, João Xavier, Pedro M. Q. Aguiar, IEEE Transactions on Signal Processing Mathematical ProgrammingDistributed AlgorithmEngineeringContinuous OptimizationDistributed Coordination	2013	371
Fast and Effective Robustness Certification Gagandeep Singh, Timon Gehr, Matthew Mirman, neural information processing systems EngineeringVerificationRobustness TestingSoftware AnalysisFormal Verification	2018	260
Distributed Basis Pursuit João F. C. Mota, João Xavier, Pedro M. Q. Aguiar, IEEE Transactions on Signal Processing	2012	218
Spiral: A Generator for Platform-Adapted Libraries of Signal Processing Alogorithms Markus Püschel, José M. F. Moura, Bryan Singer, The International Journal of High Performance Computing Applications Formula GeneratorEngineeringAdvanced ComputingCompiler TechnologySoftware Systems	2004	184
Computer Generation of Hardware for Linear Digital Signal Processing Transforms Peter Milder, Franz Franchetti, James C. Hoe, ACM Transactions on Design Automation of Electronic Systems EngineeringAnalog DesignLinear TransformsHardware AlgorithmComputer Architecture	2012	120
The Algebraic Approach to the Discrete Cosine and Sine Transforms and Their Fast Algorithms Markus Püschel, José M. F. Moura SIAM Journal on Computing Mathematical ProgrammingNumerical AnalysisSpectral TheoryEngineeringAlgebraic Approach	2003	116
Algebraic Signal Processing Theory: Cooley–Tukey Type Algorithms for Real DFTs Yevgen Voronenko, Markus Püschel IEEE Transactions on Signal Processing EngineeringReal DftsIntegral TransformAlgorithmic LibraryFilter Bank	2008	115

Page 1