Jari-Matti
Mäkelä
yliopisto-opettaja, ohjelmistotekniikka
MSc
Ota yhteyttä
Linkit
Julkaisut
Composable Hierarchical Synchronization Support for REPLICA (2013)
(Vertaisarvioitu artikkeli konferenssijulkaisussa (A4))Synchronization property checking and inference in a lock-step synchronous parallel Replica language (2013)
Nordic Workshop on Programming Theory
(Vertaisarvioitu artikkeli konferenssijulkaisussa (A4))
Towards a parallel debugging framework for the massively multi-threaded, step-synchronous REPLICA architecture (2013)
(Vertaisarvioitu artikkeli konferenssijulkaisussa (A4))Reducing the complexity of debugging parallel REPLICA programs with pluggable abstraction patterns (2013)
Swedish Workshop on Multicore Computing
(Muu (O2))
Preliminary Analysis of Feasible Benchmark Problems for the Hydrid PRAM/NUMA REPLICA Architecture (2012)
International Conference on Computer Systems and Technologies
(Vertaisarvioitu artikkeli konferenssijulkaisussa (A4))
Design of the Language Replica for Hybrid PRAM-NUMA Many-core Architectures (2012)
International Symposium on Parallel and Distributed Processing with Applications
(Vertaisarvioitu artikkeli konferenssijulkaisussa (A4))
Security Monitors for Java Programs with MPL (2012)
International Journal on Information Technologies and Security
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
Thick Control Flows: Introduction and Prospects (2011)
(Vertaisarvioitu artikkeli konferenssijulkaisussa (A4))MOTHC Compiler Manual, Version 1.0 (2011)
TUCS Publication Series
(Julkaistu kehittämis- tai tutkimusraportti taikka -selvitys (D4))