Formalizing Constructive Quantifier Elimination in Agda. - Jeremy Pope (MSFP@FSCD, 2018)

Cephalopode: A custom processor aimed at functional language execution for IoT devices. - Jeremy Pope; Jules Saget; Carl-Johan H. Seger (MEMOCODE, 2020)

Stately: An FSM Design Tool. - Jeremy Pope; Jules Saget; Carl-Johan H. Seger (MEMOCODE, 2020)

Bifröst: Creating Hardware With Building Blocks. - Jeremy Pope; Carl-Johan H. Seger (FDL, 2023)

Higher-order Hardware: Implementation and Evaluation of the Cephalopode Graph Reduction Processor. - Jeremy Pope; Carl-Johan H. Seger; Henrik Valter (MEMOCODE, 2024)