Jeremy Pope

According to our database, Jeremy Pope authored at least 5 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

Higher-order Hardware: Implementation and Evaluation of the Cephalopode Graph Reduction Processor.

Jeremy Pope, Carl-Johan H. Seger, Henrik Valter

Proceedings of the 22nd ACM-IEEE International Symposium on Formal Methods and Models for System Design, 2024

2023

Bifröst: Creating Hardware With Building Blocks.

Jeremy Pope, Carl-Johan H. Seger

Proceedings of the Forum on Specification & Design Languages, 2023

2020

Stately: An FSM Design Tool.

Jeremy Pope, Jules Saget, Carl-Johan H. Seger

Proceedings of the 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2020

Cephalopode: A custom processor aimed at functional language execution for IoT devices.

Jeremy Pope, Jules Saget, Carl-Johan H. Seger

Proceedings of the 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2020

2018

Formalizing Constructive Quantifier Elimination in Agda.

Jeremy Pope

Proceedings of the 7th Workshop on Mathematically Structured Functional Programming, 2018