Einar Broch Johnsen
Einar Broch Johnsen
Home
Talks
Recent Talks
All Talks
Publications
Recent Publications
All Publications
Projects
Recent Projects
All Projects
Sirius
Service
Recent Service
All Service
Teaching
Contact
Light
Dark
Automatic
Multicore
A Formal Model of Parallel Execution on Multicore Architectures with Multilevel Caches
Science of Computer Programming
179
: 24-53, 2019
Shiji Bijo
,
Einar Broch Johnsen
,
Violet Ka I Pun
,
Silvia Lizeth Tapia Tarifa
Preprint
Cite
Project
DOI
Deployment by Construction for Multicore Architectures
Proc. ISoLa 2018
Shiji Bijo
,
Einar Broch Johnsen
,
Violet Ka I Pun
,
Christoph Seidl
,
Silvia Lizeth Tapia Tarifa
Preprint
Cite
Project
DOI
A Formal Model of Parallel Execution on Multicore Architectures with Multilevel Caches
Proc. FACS 2017
Shiji Bijo
,
Einar Broch Johnsen
,
Violet Ka I Pun
,
Silvia Lizeth Tapia Tarifa
Preprint
Cite
Project
DOI
An Operational Semantics of Cache Coherent Multicore Architectures
Proc. SAC 2016
Shiji Bijo
,
Einar Broch Johnsen
,
Violet Ka I Pun
,
Silvia Lizeth Tapia Tarifa
Preprint
Cite
Project
DOI
A Maude Framework for Cache Coherent Multicore Architectures
Proc. WRLA 2016
Shiji Bijo
,
Einar Broch Johnsen
,
Violet Ka I Pun
,
Silvia Lizeth Tapia Tarifa
Preprint
Cite
Project
DOI
Cite
×