Carl-Johan Seger

Forskningsprofessor at Functional Programming

Contact Details

Publications (6)
Projects (3)

Showing 6 publications

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 in proceeding

2023

Bifrodie;st: Creating Hardware with Building Blocks

Jeremy Pope, Carl-Johan Seger

Forum on Specification and Design Languages. Vol. 2023-September

Paper in proceeding

2021

Formal Verification of Complex Data Paths: An Industrial Experience

Carl-Johan Seger

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 13047 LNCS, p. 697-716

Paper in proceeding

Show project

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 in 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 in proceeding

2017

Symbolic trajectory evaluation for word-level verification: theory and implementation

S. Chakraborty, Z. Khasidashvili, Carl-Johan Seger et al

Formal Methods in System Design. Vol. 50 (2-3), p. 317-352

Journal article

Download publication list

You can download this list to your computer.

Filter and download publication list

As logged in user (Chalmers employee) you find more export functions in MyResearch.

You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:

Zotero Connector
Mendeley Web Importer

The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.

Showing 3 research projects

2018–2021

Securing Multi-Cycle Hardware Architectures

Carl-Johan Seger Functional Programming

Alejandro Russo Information Security

Intel Corporation

2018–

Octopi: Secure Programming for the Internet of Things

Koen Lindström Claessen Functional Programming

Carl-Johan Seger Functional Programming

John Hughes Functional Programming

Alejandro Russo Information Security

Mary Sheeran Functional Programming

Swedish Foundation for Strategic Research (SSF)

4 publications exist

2018–2023

Octopi: Säker Programering för Sakernas Internet

Alejandro Russo Information Security

Mary Sheeran Functional Programming

John Hughes Functional Programming

Koen Lindström Claessen Functional Programming

Carl-Johan Seger Functional Programming

Swedish Foundation for Strategic Research (SSF)

26 publications exist

There might be more projects where Carl-Johan Seger participates, but you have to be logged in as a Chalmers employee to see them.