Reed Muller 2011 Workshop

Reed Muller 2011 Tentative Program

Printable version of program for ULSI, ISMVL and Reed-Muller workshop [pdf]

May 25

19:00 - 19:10 Opening remarks

19:10 - 20:00 Invited talk 1: Overview about Low-Level and High-Level Decision Diagrams for Diagnostic Modeling of Digital Systems
R. Ubar

20:00 - 21:15 Session 1: Transforms
Direct Reed-Muller Transform of Digital Logic Netlists
M. A. Thornton and J. Dworak
Adaptive Hardware Based on the Inverse Walsh Transform
O. Keren
Computing Fast Spectral Transforms on Graphics Processing Units Using OpenCL
 D. B. Gajić and R. Stanković

May 26

8:30 - 9:45 Session 2: Optimization
Linear Transformations for Variable Reduction
T. Sasao
Rule-Based Optimization of AND-XOR Expressions
D. Knysh, E. Dubrova
An Algorithm for Producing Median Formulas for Boolean Functions
M. Couceiro, E. Lehtonen, J.-L. Marichal, and T. Waldhauser

9:45 - 10:30 Invited talk 2: Cryptographic Nonlinearity,
K. Nyberg

10:30-10:50 Coffee break

10:50-12:30 Session 3: Reversible Logic
Improving ESOP-based Synthesis of Reversible Logic
N.M. Nayeem and J.E. Rice
Decomposition of Reversible Logic Function Based on Cube-Reordering
M. Lukac, M. Kameyama, M. Perkowski, and P. Kerntopf
Online Testable Ternary Reversible Circuit
M. R. Rahman, and J. E.Rice

12:10-13:30 Lunch

13:30-15:10 Session 4: Cryptographic Boolean Functions & DDs
Classification and Generation of Bent Functions,
B. Steinbach and C. Posthoff
Representation of Resilient Boolean Functions Using Binary Decision Diagrams
S. Stankovic and J. Astola
Remarks on Different Decision Diagrams
R. Stankovic, R. Ubar, and J. Astola
Linear Algorithms for Testing Superpositional Graphs
A. Peder, H. Nextra, J. Raik, M. Tombak, and R. Ubar

15:10 - 15:30 Coffee break

15:30 - 16:45  Session 5: Quantum & Probabilistic

Mixed Polarity Reed Muller expressions for Quantum Computing Circuits
C. Moraga
Reducing Quantum Cost in Reversible Toffoli Circuits
M. Szyprowski and P. Kerntopf
Probabilistic AND-EXOR Networks
S. N. Yanushkevich, A. H. Tran, V. P. Shmerko, E. N. Zaitseva, V. Levashenko
16:45 - 17:15 Planning future RM workshops