VTT's database entries

Full list of publications

Refereed Articles
2014
[2] NUMA Computing with Hardware and Software Co-Support on Configurable Emulated Shared Memory Architectures (Martti Forsell, Erik Hansson, Christoph Kessler, Jari-Matti Mäkelä, Ville Leppänen), In International Journal of Networking and Computing, volume 4, 2014. [bibtex] [pdf]
2012
[1]Security Monitors for Java Programs with MPL (Ville Leppänen, Jari-Matti Mäkelä), In International Journal on Information Technologies and Security, Technical University of Sofia, volume 4, 2012. [bibtex]
Refereed Conference Papers
2014
[14]Diversification of system calls in Linux binaries (Sampsa Rauti, Samuel Laurén, Shohreh Hosseinzadeh, Jari-Matti Mäkelä, Sami Hyrynsalmi, Ville Leppänen), In Proceedings of the 6th International Conference on Trustworthy Systems (InTrust 2014), 2014. [bibtex]
[13]Thick control flows -- An imperative version of stream programming (Jari-Matti Mäkelä, Martti Forsell, Ville Leppänen), In Yhdistetyt tietojenkäsittelypäivät 2014, 2014. [bibtex]
2013
[12]Composable Hierarchical Synchronization Support for REPLICA (Jari-Matti Mäkelä, Ville Leppänen, Martti Forsell), 2013. [bibtex]
[11]Towards a Parallel Debugging Framework for the Massively Multi-threaded, Step-synchronous REPLICA Architecture (Jari-Matti Mäkelä, Ville Leppänen, Martti Forsell), 2013. [bibtex]
2012
[10]Design of the Language Replica for Hybrid PRAM-NUMA Many-Core Architectures (Jari-Matti Mäkelä, Erik Hansson, Daniel Åkeson, Martti Forsell, Christoph Kessler, V. Leppänen), In 10th IEEE International Symposium on Parallel and Distributed Processing with Applications, ISPA 2012, IEEE, 2012. [bibtex]
[9]Preliminary Analysis of Feasible Benchmark Problems for the Hydrid PRAM/NUMA REPLICA Architecture (Jari-Matti Mäkelä, Ville Leppänen, Martti Forsell), 2012. [bibtex]
2011
[8]RISC-Based Moving Threads Multicore Architecture (Jari-Matti Mäkelä, Ville Leppänen, Martti Forsell), 2011. [bibtex]
[7]A RISC-Based Moving Tiny Threads Architecture (Ville Leppänen, Jari-Matti Mäkelä, Martti Forsell), 2011. [bibtex]
[6]Thick Control Flows: Introduction and Prospects (Ville Leppänen, Martti Forsell, Jari-Matti Mäkelä), 2011. [bibtex]
2010
[5]SMASim: A Cycle-accurate Scalable Multi-core Architecture Simulator (Jari-Matti Mäkelä, Ville Leppänen), volume 1, 2010. [bibtex]
[4]Towards Programming on the Moving Threads Architecture (Jari-Matti Mäkelä, Ville Leppänen), 2010. [bibtex]
2009
[3]Experiences with Embedding MPL Security Monitors into Java Programs (Jari-Matti Mäkelä, Ville Leppänen), ACM, 2009. [bibtex]
[2]MVTsim -- Software Simulator for Multicore on Chip Parallel Computer Architectures (Jari-Matti Mäkelä, Jani Paakkulainen, Ville Leppänen), ACM, 2009. [bibtex] [doi]
[1]Outline of RISC-based Core for Multiprocessor on Chip Architecture Supporting Moving Threads (Jani Paakkulainen, Jari-Matti Mäkelä, Ville Leppänen, Martti Forsell), ACM, 2009. [bibtex] [doi]
Refereed Workshop Papers
2013
[4]Hardware and Software Support for NUMA Computing on Configurable Emulated Shared Memory Architectures (Martti Forsell, Erik Hansson, Christoph Kessler, Jari-Matti Mäkelä, Ville Leppänen), In Parallel and Distributed Processing Symposium Workshops PhD Forum (IPDPSW), 2013 IEEE 27th International, 2013. [bibtex] [doi]
[3]Synchronization Property Checking and Inference in a Lock-step Synchronous Parallel Replica Language, In Proceedings of the Nordic Workshop on Programming Theory (Vain Jüri Uustalu Tarmo, ed.), 2013. [bibtex]
[2]Reducing the Complexity of Debugging Parallel REPLICA Programs with Pluggable Abstraction Patterns (Jari-Matti Mäkelä, Ville Leppänen, Martti Forsell), In Sixth Swedish Workshop on Multicore Computing (Tomas Nordström, Zain-ul Abdin, eds.), Swedish Multicore Initiative, 2013. [bibtex]
2011
[1]Design Principles of the Programming Language Replica for Hybrid PRAM-NUMA Many-Core Architectures (Jari-Matti Mäkelä, Erik Hansson, Martti Forsell, Christoph Kessler, Ville Leppänen), In Proceedings of 4th Swedish Workshop on Multi-Core Computing, 2011. [bibtex]
Other Publications
2012
[6]REPLICA Language Specification (Jari-Matti Mäkelä, Erik Hansson, Martti Forsell, Christoph Kessler, Ville Leppänen), In preparation, 2012. [bibtex]
2011
[5] Moniydinsuorittimien rinnakkaisohjelmointi / Parallel programming on multi-core architectures (Jari-Matti Mäkelä), Master's thesis, University of Turku, 2011. [bibtex] [pdf]
[4]MOTHC Compiler Manual, Version 1.0 (Jari-Matti Mäkelä, Ville Leppänen), Technical report, TUCS, 2011. [bibtex]
2010
[3]SMASim Manual, version 1.0 (Jari-Matti Mäkelä, Jani Paakkulainen, Ville Leppänen), Technical report, TUCS, 2010. [bibtex]
2008
[2] Sovellusaluekohtaisten kielten sulauttaminen metaohjelmoinnilla D-kielessä (Jari-Matti Mäkelä), Master's thesis, University of Turku, 2008. [bibtex] [pdf]
[1] MPL/AspectJ Manual, version 1.0 (Jari-Matti Mäkelä, Tomi Karlstedt, Ville Leppänen), Turku Centre for Computer Science, 2008. (www.tucs.fi) [bibtex] [pdf]

Last modified: 2014/04/01