Workshop Program (Room: Zenit)

08:15 - 10:00    HiPEAC Conference Keynote

10:00 - 11:00    Welcome

Invited Talk
Cristiano Malossi, IBM Research Zurich
How Algorithm Re-engineering Can Open the Way to ExaScale

11:00 - 11:30    Coffee Break

11:30 - 13:00    Session 1: Approximation at the Hardware Level

Session Chair: Pedro Trancoso (University of Cyprus)

11:30 - 11:50
Cong Hao and Takeshi Yoshimura. EACH: An Energy-Efficient High-Level Synthesis Framework for Approximate Computing.

11:50 - 12:10
Magnus Själander, Gustaf Borgström and Stefanos Kaxiras. Improving Error-Resilience of Emerging Multi-Value Technologies.

12:10 - 12:30
Alessandro Vallero, Alessandro Savino, Gianfranco Michele Maria Politano, Stefano Di Carlo, Athanasios Chatzidimitriou, Sotiris Tselonis, Manolis Kaliorakis, Dimitris Gizopoulos, Marc Riera, Ramon Canal, Antonio Gonzalez, Maha Kooli, Alberto Bosio and Giorgio Di Natale. Early Component-Based System Reliability Analysis for Approximate Computing Systems.

12:30 - 12:50
Alberto Bosio, Philippe Debaud, Patrick Girard, Stephane Guilhot, Miroslav Valka and Arnaud Virazel. Under-limits Voltage Scaling: The benefit of Approximate Computing.

12:50 - 13:00
Germán León, Rafael Mayo and Enrique S. Quintana-Orti. Stationary Iterative Solvers with Adaptive Precision on FPGAs.

13:00 - 14:00    Lunch Break

14:00 - 15:30    Session 2: Approximation Modelling and Applications

Session Chair: Christos Antonopoulos (University of Thessaly)

14:00 - 14:20
Lukas Holik, Ondrej Lengal, Adam Rogalewicz, Lukas Sekanina, Zdenek Vasicek and Tomas Vojnar. . Towards Formal Relaxed Equivalence Checking in Approximate Computing Methodology.

14:20 - 14:40
Patrick Judd, Jorge Albericio, Tayler Hetherington, Tor Aamodt, Natalie Enright Jerger and Andreas Moshovos. Proteus: Exploiting Numerical Precision Variability in Deep Neural Networks.

14:40 - 15:00
Valery Kritchallo, Erik Vermij, Koen Bertels and Zaid Al-Ars. Fidelity Slider: a User-Defined Method to Trade off Accuracy for Performance in Canny Edge Detector.

15:00 - 15:20
Jens Deussen, Jan Riehme and Uwe Naumann. A Case Study for Interval Adjoint Significance Analysis.

15:20 - 15:30
Lukas Sekanina and Zdenek Vasicek. Genetic Improvement for Approximate Computing.

15:30 - 16:00    Coffee Break

16:00 - 17:15    Session 3: Approximation at the Software Level

Session Chair: Lucas Sekanina (Brno University of Technology)

16:00 - 16:20
Konstantinos Parasyris, Vassilis Vassiliadis, Christos Antonopoulos, Nikolaos Bellas and Spyros Lalis. Compiler Techniques for Protection of Critical Instructions on Faulty Architectures.

16:20 - 16:40
Aurangzeb and Rudolf Eigenmann. History-based Piecewise Approximation Scheme for Procedures.

16:40 - 17:00
Damien Couroussé, Caroline Quéva and Henri-Pierre Charles. Approximate Computing on Resource-Constrained Embedded Devices with Runtime Code Generation.

17:00 - 17:10
Chhaya Trehan, Hans Vandierendonck, Georgios Karakonstantis and Dimitrios S. Nikolopoulos. Energy Optimization of Parallel Workloads on Unreliable Hardware.