[Pl-seminar] 6/19 Seminar: Jeremy Gibbons: Asymmetric Numeral Systems

[Justin R. Slepak]

Jeremy Gibbons (University of Oxford)
Asymmetric Numeral Systems

10:00 AM on Wednesday, June 19, 2019
366 WVH (http://www.ccs.neu.edu/home/wand/directions.html)

Abstract: Asymmetric Numeral Systems (ANS) are an entropy-based encoding method introduced by Jarek Duda in 2007, combining the Shannon-optimal compression effectiveness of arithmetic coding with the execution efficiency of Huffman coding. Existing presentations of the ANS encoding and decoding algorithms are somewhat obscured by the lack of suitable presentation techniques; I will present an equational derivation, calculational where it can be, and highlighting the creative leaps where it cannot. This is work to appear at Mathematics of Program Construction in October.

Bio: Jeremy Gibbons is Professor of Computing at the University of Oxford, and head of the Algebra of Programming research group there. His research interests are in programming languages, especially functional programming. He is Editor-in-Chief of the Journal of Functional Programming, Past Chair of IFIP WG2.1 on Algorithmic Languages and Calculi, and Past Vice Chair of ACM SIGPLAN.

---
Justin Slepak
PhD student, Computer Science dept.