Write a Blog >>
CC 2020
Sat 22 - Wed 26 February 2020 San Diego, California, United States
Sat 22 Feb 2020 10:30 - 10:52 - Session 1 Novel Language Constructs Chair(s): Pavlos Petoumenos

Unlike CPUs and GPUs, it is possible to use custom fixed-point data types, specified as a tuple (\alpha, \beta)(α,β), on FPGAs. The parameters \alphaα and \betaβ denote the number of integral and fractional bitwidths respectively. The power and area savings while performing arithmetic operations on fixed-point data types are well known to be significant over using floating-point data types.

In this paper, we propose a hybrid approach involving interval analysis and SMT solvers, for estimating integral bitwidths at different compute stages, in an image processing pipeline, specified using a domain-specific language (DSL) such as PolyMage. The DSL specification facilitates the compiler analysis to infer the underlying computational structure with ease. We also propose a simple and practical profile-driven greedy heuristic search technique for fractional bitwidth analysis. Using the Horn-Schunck Optical Flow benchmark program, we demonstrate where the conventional range analysis approaches fail, and how we overcome them using the hybrid technique proposed in this paper. The integral bitwidth estimates provided by the hybrid technique are upto 3x times better when compared with interval analysis.

Sat 22 Feb
Times are displayed in time zone: Pacific Time (US & Canada) change

10:30 - 12:00: Session 1 Novel Language Constructs Main Conference
Chair(s): Pavlos PetoumenosUniversity of Manchester
10:30 - 10:52
Research paper
Bitwidth Customization in Image Processing Pipelines using Interval Analysis and SMT Solvers
Main Conference
Suresh PuriniInternational Institute of Information Technology Hyderabad, Vinamra BenaraUC Berkeley, Ziaul ChowdhuryInternational Institute of Information Technology Hyderabad, Uday BondhugulaIndian Institute of Science
10:52 - 11:15
Research paper
Is Stateful Packrat Parsing Really Linear in Practice? -- A Counter-Example, An Improved Grammar and Its Parsing Algorithms --
Main Conference
Nariyoshi ChidaNTT Secure Platform Laboratories, Yuhei KawakoyaNTT Secure Platform Laboratories, Dai IkarashiNTT Secure Platform Laboratories, Kenji TakahashiNTT Security, Koushik SenUniversity of California, Berkeley
11:15 - 11:37
Research paper
Automatically Harnessing Sparse Acceleration
Main Conference
Philip GinsbachUniversity of Edinburgh, Bruce CollieUniversity of Edinburgh, Michael F. P. O'BoyleUniversity of Edinburgh
11:37 - 12:00
Research paper
Compiling First-order Functions to Session-Typed Parallel Code
Main Conference
David Castro-PerezImperial College London, Nobuko YoshidaImperial College London