Once Bittern, Twice Shy
Conference talk, Scottish Programming Languages Symposium (20th anniversary edition), Glasgow, Scotland
HAFLANG presentation at the 20th anniversary edition of SPLS.
Talks and presentations
Cloaca: A Concurrent Hardware Garbage Collector for Non-strict Functional Languages
Conference talk, Haskell Symposium 2024, Milan, Italy
Conference presentation for the paper accepted at the Haskell Symposium 2024.
Revisiting hardware architectures for lazy functional languages with Heron
Conference talk, Various (incl. Workshop on Hardware Acceleration of Functional and Declarative Languages), Edinburgh, Scotland
A presentation covering the HAFLANG project’s single-core processor for a lazy functional language. Details the surface language, hardware graph reduction, and concurrent hardware garbage collection.
Heron: Modern Hardware Graph Reduction
Conference talk, Symposium on Implementation and Application of Functional Languages, Braga, Portugal
Conference presentation for the paper accepted at IFL 2023.
Low-cost, High-speed Parallel FIR Filters for RFSoC Front-Ends Enabled by CλaSH
Conference talk, Asilomar Conference on Signals, Systems and Computers (virtual), Pacific Grove, California
Conference presentation for the paper accepted at Asilomar 2021.
On Applications of Dependent Types to Parameterised Digital Signal Processing Circuits
Conference talk, IEEE International Midwest Symposium on Circuits and Systems (virtual), Lansing, Michigan
Conference presentation for the paper accepted at MWSCAS 2021.
PYNQ Bootcamp
Workshop, St. Vrain Valley Schools, Longmont, Colorado
A week-long embedded systems bootcamp for 8th–12th grade students, delivered with a mix of talks, hands-on tutorials with Jupyter Notebooks, and specialised breakout sessions. Topics included microprocessors, FPGAs, basic I/O, audio processing, computer vision, robotics, and Python. The students then completed their own hackathon projects on the theme of sustainability. One system was an autonomous janitor that used computer vision techniques to identify trash and clean it up!
PYNQ RFSoC Workshop
Workshop, xSight 20, Los Angeles, California
An workshop exploring system design with the Xilinx RFSoC devices, delivered in an hands-on session with Jupyter Notebooks running on RFSoC development boards. Materials cover direct RF sampling, digital up/down conversion, hardware error correction, and fundamental DSP topics. First delivered at Xilinx’s xSight 20 conference to approximately 80 attendees over two days.
TEMPEST Attacks Against AES
Conference talk, hardwear.io Hardware Security Conference 2017, The Hauge, The Netherlands
Side-channel attacks can recover secret keys from cryptographic algorithms (including the pervasive AES) using measurements such as power use. However, these previously-known attacks on AES tend to require unrestricted, physical access to the device. Using improved antenna and signal processing, Fox-IT and Riscure show how to covertly recover the encryption key from two realistic AES-256 implementations while: