Jeremy Pope

Gästforskare vid Funktionell programmering

Källa: chalmers.se
gravatar.com image

Visar 6 publikationer

2024

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

Jeremy Pope, Carl-Johan Seger, Henrik Jansson Valter
Proceedings - 2024 22nd ACM-IEEE International Symposium on Formal Methods and Models for System Design, MEMOCODE 2024, p. 87-97
Paper i proceeding
2023

Bifrodie;st: Creating Hardware with Building Blocks

Jeremy Pope, Carl-Johan Seger
Forum on Specification and Design Languages. Vol. 2023-September
Paper i proceeding
2020

Stately: An FSM Design Tool.

Jeremy Pope, Jules Saget, Carl-Johan Seger
2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2020
Paper i proceeding
2020

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

Jeremy Pope, Jules Saget, Carl-Johan Seger
2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2020
Paper i proceeding

Ladda ner publikationslistor

Du kan ladda ner denna lista till din dator.

Filtrera och ladda ner publikationslista

Som inloggad användare hittar du ytterligare funktioner i MyResearch.

Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:

Zotero Connector
Mendeley Web Importer

Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.

Det finns inga projekt att visa.
Det kan finnas fler projekt där Jeremy Pope medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.