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