Jeremy Pope

According to our database, Jeremy Pope authored at least 4 papers between 2018 and 2023.

Collaborative distances:

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

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