Markus Püschel
Markus Püschel
Sandra Schneider
Sandra Schneider
Administrative Assistant
Bastian Seifert
Bastian Seifert
Eliza Wszola
Eliza Wszoła
PhD student
Chris Wendler
Chris Wendler
PhD student
Joao Rivera
Joao Rivera
PhD student
Vedran Mihal
Vedran Mihal
PhD student
Tommaso Pegolotti
Tommaso Pegolotti
PhD student


With last employer I am aware of.


  • Hang Yu, ETH, 2020/2021
    Cascination, Switzerland

  • Tyler Smith, ETH, 2018/2019
    Neural Magic, USA

  • Marcela Zuluaga, ETH, 2011-2014

  • Christian Berger, CMU, 2009/2010
    Marvell Inc., USA

  • Yevgen Voronenko, CMU 2008/2009
    Accuray Inc., USA

  • Paolo D’Alberto, CMU, 2006/2007
    FastMMW, USA

  • Franz Franchetti, CMU, 2005/2006
    Professor, Carnegie Mellon University, USA


  • Gagandeep Singh (with Martin Vechev), ETH, September 2020 (ACM SIGPLAN John C. Reynolds Doctoral Dissertation Award 2021)
    Scalable Automated Reasoning for Programs and Deep Learning Assistant Professor, UIUC, USA

  • Alen Stojanov, ETH, May 2019
    Building Abstractions for Staged DSLs in Performance-Oriented Program Generators
    Apple, Zurich

  • François Serre, ETH, April 2019
    Optimal Streaming Permutations and Transforms: Theory and Implementation
    Swisscom, Switzerland

  • Daniele Spampinato, ETH, April 2017
    A Linear Algebra Compiler for Small Problem Sizes
    Huawei, Switzerland

  • Georg Ofenbeck, ETH, April 2017
    Generic Programming in Space and Time
    Swisscom, Switzerland

  • Victoria Caparrós Cabezas, ETH, March 2017
    A DAG-Based Approach to Modeling Bottlenecks on Modern Microarchitectures
    RavenPack, Spain

  • João Mota (with João Xavier and Pedro Aguiar, IST, Lisbon, Portugal), CMU, October 2013
    Communication-Efficient Algorithms For Distributed Optimization
    Assistant Professor, Heriot-Watt University, UK

  • Aliaksei Sandryhaila (with Jelena Kovacevic), CMU, November 2010
    Algebraic Signal Processing: Modeling and Subband Analysis

  • Srinivas Chellappa, CMU, August 2010
    Computer Generation of Fourier Transform Libraries for Distributed Memory Architectures
    Pure Storage, USA

  • Frédéric de Mesmay, CMU, May 2010
    On the Computer Generation of Adaptive Numerical Libraries
    Padoa, France

  • Yevgen Voronenko, CMU, May 2008
    (ECE/CMU best thesis award 2008)
    Library Generation for Linear Transforms RefleXion Medical, CA

  • Sungchul Han (with Rohit Negi), CMU, December 2007
    A Flexible Decoder and Performance Evaluation of Array-Structured LDPC Codes
    Samsung, South Korea

  • Aca Gacic (with José Moura), CMU, December 2004
    Automatic Implementation and Platform Adaptation of Discrete Filtering and Wavelet Algorithms
    DocEcho, USA


Projects in bold let to a publication.

  • Karel Jílek (with Joao Rivera): Automatically Improving the Accuracy of Sound Floating-Point Computations, ETH 2021
  • Jakob Roffler (with Joao Rivera): Mixed-Precision Tuning for Sound Floating-Point Computations, ETH 2021
  • Hugo Polsinelli (with Chris Wendler): Lattice Convolutional Neural Networks, ETH 2021
  • Hleb Makarchuk (with Gagandeep Singh): Fast and precise k-ReLu, ETH 2020
  • Christoph Müller (with Gagandeep Singh and Martin Vechev): Fast Robustness Certification on a GPU, ETH 2019
  • Jonas Stulz (with Tyler Smith): Low-Precision Quantized Matrix-Matrix Multiplication for Neural Networks, ETH 2018
  • Ivaylo Toskov (with Alen Stojanov): Explicit SIMD instructions into JVM using LMS, ETH 2017
  • Nikos Kyrtatas (with Daniele Spampinato): Generating Basic Linear Algebra Computations for Embedded Processors, ETH 2014
  • Gagandeep Singh (with Martin Vechev): Fast Algorithm for Octagon Abstract Domain, ETH 2014
  • Benjamin Hess (with Thomas Gross): Locality Friendly Interface Enhancements for Numerical Functions, ETH 2013
  • Jörn Schumacher: High Performance Sparse Fast Fourier Transform, ETH 2013
  • Maksim Rubanov (with Georg Ofenbeck): Extensions of the Roofline Model, ETH 2013
  • Leo Büttiker (with Georg Ofenbeck): Rewrite Engine for Staged Expressions, ETH 2013
  • Giovanni A. Garcia (with Andreas Krause), Fast submodular function optimization, ETH 2012
  • François Serre (with Marcela Zuluaga), IP generator for matrix multiplication, ETH, 2012
  • Ruedi Steinmann (with Georg Ofenbeck), Applying the roofline model, ETH, 2012
  • Clemens Tummeltshammer (with Jelena Kovacevic, Manfred Deistler), TU Vienna 2009
  • Alex Samborskiy (with Jelena Kovacevic), CMU, 2007
  • Adam Zelinski (with James Hoe), CMU, 2003
  • Smarahara Misra (with James Hoe), CMU, 2003
  • Elijah Liu, CMU (with José Moura), CMU, 2003
  • Peter Tummeltshammer (with Andreas Steininger, Christoph Ueberhuber, James Hoe), TU Vienna, 2003


  • Felix Sarnthein-Lotichius (with Chris Wendler): Jordan Chevalley Decomposition - Implementation and Numerical Analysis, ETH 2019

System Scientist

  • Volodymyr Arbatov, CMU, 2009/2010

Exchange/Visiting Students

  • Panagiotis Misiakos (NTU Athens), summer fellow 2019
  • Ehsan Mokhtarian (Sharif), summer fellow 2018
  • Afra Amini (Sharif), summer fellow 2017
  • Nicola Zago (U. Padova), 2013
  • Guillaume Sergent (ENS Lyon), 2012
  • Kush Batia (IIT New Delhi), 2012
  • Sanja Cvijic (U. Belgrad), 2008
  • Clemens Tummeltshammer (TU Vienna), 2008
  • Leonid Dzinevski (U. Ss Cyril and Methodius, Macedonia), 2007
  • Hao Shen (TU Denmark), 2006 and 2008
  • Peter Tummeltshammer (TU Vienna), 2003
  • Franz Franchetti (TU Vienna), 2001 and 2002

Undergraduate Students Supervised

Honor’s projects:

  • Yanjing Li, 2005/2006
  • Joseph Trapasso 2005/2006
  • Woon Ho Jung 2004/2005
  • Adam Zelinski 2003

Other research projects (mostly REUs): Bocong Liu, Eric Lee Turner (2009), Hye Young Han, Patra Pantupat (2007), Jonathan Gross, Paul Thurlow (2006), Joohoon Lee, Chris Wegrzyn (2005), Lei Tie, Leo Soong, Thammanit Pipatsrisawat, Peter Milder, Inpyo Hong, Ernest Chan (2004), Woon Ho Jung, Lawrence Chang, Trevor Carlsen (2003), Saumitra Das, Edward Wertz (2002), Max Khusid, David Wang (2001), Prabhav Agarwalla, Adrian Sox (2000)