Lehrstuhl für Technische Informatik - Rechnernetze

Seminar Topics

List of Topics

• Topic 1: Coarse Grained Reconfigurable Architectures (CGRAs)
• Topic 2: Mixed Precision Computation
• Topic 3: Verification of Quantum Programs
• Topic 4: Qubit Mapping and Routing
• Topic 5: Graphical languages for quantum computing
• Topic 6: Opportunities and challenges of quantum computing with neutral atoms
• Topic 7: Theoretical Quantum Advantage - Why to build a Quantum Computer?
• Topic 8: Quantum algorithm for solving linear systems of equations
• Topic 9: Testing of functionally equivalent programs
• Topic 10: Use Cases for Multi-Variant Execution
• Topic 11: Integration of Knowledge in Neurosymbolic AI
• Topic 12: The Evolution of IEEE 802.11
• Topic 13: AI-Driven Tactical Analysis in Football:
• Topic 14: The Role of Artificial Intelligence in Football Scouting
• Topic 15: Scientific computing on Nvidia's ARM-based Grace CPU and Hopper GPU
• Topic 16: Methods of Reuse Distance for Caches

Topic 1: Coarse Grained Reconfigurable Architectures (CGRAs)

• A Survey of Coarse-Grained Reconfigurable Architecture and Design: Taxonomy, Challenges, and Applications
• A Survey on Coarse-Grained Reconfigurable Architectures From a Performance Perspective

Topic 2: Mixed Precision Computation

• Hardware Trends Impacting Floating-Point Computations In Scientific Applications
• Mixed-precision numerics in scientific applications: survey and perspectives

Topic 3: Verification of Quantum Programs

• QWIRE Practice: Formal Verification of Quantum Circuits in Coq
• Verification of Quantum Computation: An Overview of Existing Approaches
• Towards Large-scale Functional Verification of Universal Quantum Circuits
• Proving Quantum Programs Correct

Topic 4: Qubit Mapping and Routing

• An Efficient Methodology for Mapping Quantum Circuits to the IBM QX Architectures
• MQT QMAP: Efficient Quantum Circuit Mapping
• On the qubit routing problem

Topic 5: Graphical languages for quantum computing

• ZX-calculus
• ZW-calculus
• ZH-calculus

Topic 6: Opportunities and challenges of quantum computing with neutral atoms

• Overview
• Quantum processor model
• Comparison to other hardware platforms

Topic 7: Theoretical Quantum Advantage - Why to build a Quantum Computer?

• Quantum Complexity Theory
• Quantum Algorithms
• https://quantumalgorithmzoo.org/

Topic 8: Quantum algorithm for solving linear systems of equations

• HHL Algorithm
• Reference implementation of HHL:
  • https://github.com/Classiq/classiq-library/blob/main/algorithms/hhl/hhl/hhl.ipynb
  • https://github.com/quantumlib/Cirq/blob/main/examples/grover.py

Topic 9: Testing of functionally equivalent programs

• Cross-coverage testing of functionally equivalent programs
• PEQtest: Testing functional equivalence
• Automatic mining of functionally equivalent code fragments via random testing

Topic 10: Use Cases for Multi-Variant Execution

• Taming Parallelism in a Multi-Variant Execution Environment
• Dual Execution for On the Fly Fine Grained Execution Comparison

Topic 11: Integration of Knowledge in Neurosymbolic AI

• Neurosymbolic AI: The 3rd Wave
• Neurosymbolic Programming for Science
• Neuro-symbolic artificial intelligence: a survey

Topic 12: The Evolution of IEEE 802.11

• IEEE 802.11be – Wi-Fi 7: New Challenges and Opportunities
• IEEE 802.11be Wi-Fi 7: Feature Summary and Performance Evaluation
• What Will Wi-Fi 8 Be? A Primer on IEEE 802.11bn Ultra High Reliability

Topic 13: AI-Driven Tactical Analysis in Football

• Automated Detection of Complex Tactical Patterns in Football
• TacticAI: an AI assistant for football tactics
• Prediction of defensive success in elite soccer using machine learning

Topic 14: The Role of Artificial Intelligence in Football Scouting

• Stacking-based deep neural network for player scouting in football 1
• Extraction of Positional Player Data from Broadcast Soccer Videos

Topic 15: Scientific computing on Nvidia's ARM-based Grace CPU and Hopper GPU

• Harnessing Integrated CPU-GPU System Memory for HPC: a first look into Grace Hopper
• Nvidia Hopper GPU and Grace CPU Highlights
• First Impressions of the NVIDIA Grace CPU Superchip and NVIDIA Grace Hopper Superchip for Scientific Workloads
• NVIDIA Grace Superchip Early Evaluation for HPC Applications

Topic 16: Methods of Reuse Distance for Caches

• ReuseTracker: Fast Yet Accurate Multicore Reuse Distance Analyzer