Login / Signup
Shiji Bijo
Publication Activity (10 Years)
Years Active: 2016-2019
Publications (10 Years): 5
Top Topics
Operational Semantics
Multicore Processors
Parallel Execution
Memory Access
Top Venues
SAC
Sci. Comput. Program.
FACS
WRLA
</>
Publications
</>
Shiji Bijo
,
Einar Broch Johnsen
,
Ka I Pun
,
Silvia Lizeth Tapia Tarifa
A formal model of data access for multicore architectures with multilevel caches.
Sci. Comput. Program.
179 (2019)
Shiji Bijo
,
Einar Broch Johnsen
,
Ka I Pun
,
Christoph Seidl
,
Silvia Lizeth Tapia Tarifa
Deployment by Construction for Multicore Architectures.
ISoLA (1)
(2018)
Shiji Bijo
,
Einar Broch Johnsen
,
Ka I Pun
,
Silvia Lizeth Tapia Tarifa
A Formal Model of Parallel Execution on Multicore Architectures with Multilevel Caches.
FACS
(2017)
Shiji Bijo
,
Einar Broch Johnsen
,
Ka I Pun
,
Silvia Lizeth Tapia Tarifa
An operational semantics of cache coherent multicore architectures.
SAC
(2016)
Shiji Bijo
,
Einar Broch Johnsen
,
Ka I Pun
,
Silvia Lizeth Tapia Tarifa
A Maude Framework for Cache Coherent Multicore Architectures.
WRLA
(2016)